runsolver Copyright (C) 2010 Olivier ROUSSEL

This is runsolver version 3.2.9a (svn: 651)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201012061533/cudf2msu4paranoid-1.0/rand8cc693.cudf.impossible.log.runsolver ./cudf2msu4paranoid-1.0 /home/misc2010/data/2010/impossible//rand8cc693.cudf /home/misc2010/tmp/201012061533/cudf2msu4paranoid-1.0/rand8cc693.cudf.impossible.result 

Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds
Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.33 1.21 1.18 1/45 28381
/proc/meminfo: memFree=894824/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=3024 CPUtime=0
/proc/28381/stat : 28381 (runsolver) R 28380 28381 2059 34821 2220 4202560 72 0 0 0 0 0 0 0 25 0 1 0 876419575 3096576 94 1283457024 134512640 134586868 4293959760 18446744073709551615 4294960130 0 0 0 24578 0 0 0 17 0 0 0 0
/proc/28381/statm: 756 94 62 19 0 54 0

[startup+0.162259 s]
/proc/loadavg: 1.33 1.21 1.18 1/45 28381
/proc/meminfo: memFree=894824/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.215208 s]
/proc/loadavg: 1.33 1.21 1.18 1/45 28381
/proc/meminfo: memFree=894824/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.315226 s]
/proc/loadavg: 1.33 1.21 1.18 1/45 28381
/proc/meminfo: memFree=894824/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+0.715272 s]
/proc/loadavg: 1.33 1.21 1.18 1/45 28381
/proc/meminfo: memFree=894824/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 2572

[startup+1.51537 s]
/proc/loadavg: 1.33 1.21 1.18 2/47 28383
/proc/meminfo: memFree=860836/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=43988 CPUtime=1.42
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 10805 0 16 0 134 8 0 0 25 0 1 0 876419576 45043712 10712 1283457024 134512640 136120023 4288326896 18446744073709551615 134712304 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 10997 10712 139 393 0 10602 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 46560

[startup+3.1156 s]
/proc/loadavg: 1.31 1.20 1.18 2/47 28383
/proc/meminfo: memFree=802060/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=92680 CPUtime=3.02
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 22992 0 16 0 290 12 0 0 25 0 1 0 876419576 94904320 22887 1283457024 134512640 136120023 4288326896 18446744073709551615 134863405 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 23170 22887 178 393 0 22775 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 95252

[startup+6.30674 s]
/proc/loadavg: 1.31 1.20 1.18 2/47 28383
/proc/meminfo: memFree=801688/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=92812 CPUtime=6.21
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 23068 0 16 0 609 12 0 0 25 0 1 0 876419576 95039488 22963 1283457024 134512640 136120023 4288326896 18446744073709551615 134869777 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 23203 22963 182 393 0 22808 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 95384

[startup+12.7089 s]
/proc/loadavg: 1.26 1.20 1.18 2/47 28383
/proc/meminfo: memFree=801688/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=92812 CPUtime=12.61
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 23068 0 16 0 1249 12 0 0 25 0 1 0 876419576 95039488 22963 1283457024 134512640 136120023 4288326896 18446744073709551615 134863605 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 23203 22963 182 393 0 22808 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 95384

[startup+25.5108 s]
/proc/loadavg: 1.22 1.19 1.18 2/47 28383
/proc/meminfo: memFree=801812/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=92036 CPUtime=25.37
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 23068 0 16 0 2525 12 0 0 25 0 1 0 876419576 94244864 22769 1283457024 134512640 136120023 4288326896 18446744073709551615 134869928 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 23009 22769 182 393 0 22614 0
Current children cumulated CPU time (s) 25.37
Current children cumulated vsize (KiB) 94608

[startup+51.1113 s]
/proc/loadavg: 1.14 1.17 1.17 2/47 28383
/proc/meminfo: memFree=759032/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=138828 CPUtime=50.94
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 35038 0 16 0 5077 17 0 0 25 0 1 0 876419576 142159872 34189 1283457024 134512640 136120023 4288326896 18446744073709551615 134869928 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 34707 34189 182 393 0 34312 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 141400

[startup+102.313 s]
/proc/loadavg: 1.06 1.14 1.16 2/47 28383
/proc/meminfo: memFree=515372/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=382420 CPUtime=102.09
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 95359 0 16 0 10173 36 0 0 25 0 1 0 876419576 391598080 94478 1283457024 134512640 136120023 4288326896 18446744073709551615 134878694 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 95605 94478 182 393 0 95210 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 384992

[startup+162.308 s]
/proc/loadavg: 1.02 1.12 1.15 2/47 28383
/proc/meminfo: memFree=289072/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=614220 CPUtime=162
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 152144 0 16 0 16138 62 0 0 25 0 1 0 876419576 628961280 151263 1283457024 134512640 136120023 4288326896 18446744073709551615 134870168 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 153555 151263 182 393 0 153160 0
Current children cumulated CPU time (s) 162
Current children cumulated vsize (KiB) 616792

[startup+222.305 s]
/proc/loadavg: 1.00 1.09 1.14 2/47 28383
/proc/meminfo: memFree=112248/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=786612 CPUtime=221.9
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 195908 0 16 0 22100 90 0 0 25 0 1 0 876419576 805490688 195027 1283457024 134512640 136120023 4288326896 18446744073709551615 134879012 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 196653 195027 182 393 0 196258 0
Current children cumulated CPU time (s) 221.9
Current children cumulated vsize (KiB) 789184

Solver just ended. Dumping a history of the last processes samples

[startup+230.307 s]
/proc/loadavg: 1.00 1.09 1.14 2/47 28383
/proc/meminfo: memFree=92160/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=807204 CPUtime=229.91
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 201147 0 16 0 22900 91 0 0 25 0 1 0 876419576 826576896 200266 1283457024 134512640 136120023 4288326896 18446744073709551615 134879906 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 201801 200266 182 393 0 201406 0
Current children cumulated CPU time (s) 229.91
Current children cumulated vsize (KiB) 809776

[startup+236.709 s]
/proc/loadavg: 1.00 1.09 1.14 2/47 28383
/proc/meminfo: memFree=75544/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=822912 CPUtime=236.29
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 205135 0 16 0 23534 95 0 0 25 0 1 0 876419576 842661888 204254 1283457024 134512640 136120023 4288326896 18446744073709551615 134869928 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 205728 204254 182 393 0 205333 0
Current children cumulated CPU time (s) 236.29
Current children cumulated vsize (KiB) 825484

[startup+243.111 s]
/proc/loadavg: 1.00 1.08 1.14 2/47 28383
/proc/meminfo: memFree=60912/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=836772 CPUtime=242.68
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 208667 0 16 0 24167 101 0 0 25 0 1 0 876419576 856854528 207786 1283457024 134512640 136120023 4288326896 18446744073709551615 134869928 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 209193 207786 182 393 0 208798 0
Current children cumulated CPU time (s) 242.68
Current children cumulated vsize (KiB) 839344

[startup+246.312 s]
/proc/loadavg: 1.00 1.08 1.14 2/47 28383
/proc/meminfo: memFree=55952/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=840704 CPUtime=245.87
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 209887 0 16 0 24485 102 0 0 25 0 1 0 876419576 860880896 208773 1283457024 134512640 136120023 4288326896 18446744073709551615 135521560 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 210176 208773 182 393 0 209781 0
Current children cumulated CPU time (s) 245.87
Current children cumulated vsize (KiB) 843276

[startup+247.112 s]
/proc/loadavg: 1.00 1.08 1.14 2/47 28383
/proc/meminfo: memFree=55952/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=101440 CPUtime=246.67
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 209887 0 16 0 24547 120 0 0 25 0 1 0 876419576 103874560 25120 1283457024 134512640 136120023 4288326896 18446744073709551615 134886408 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 25360 25120 182 393 0 24965 0
Current children cumulated CPU time (s) 246.67
Current children cumulated vsize (KiB) 104012

[startup+247.912 s]
/proc/loadavg: 1.00 1.08 1.13 2/47 28383
/proc/meminfo: memFree=792016/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=101440 CPUtime=247.47
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 209887 0 16 0 24627 120 0 0 25 0 1 0 876419576 103874560 25120 1283457024 134512640 136120023 4288326896 18446744073709551615 134867030 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 25360 25120 182 393 0 24965 0
Current children cumulated CPU time (s) 247.47
Current children cumulated vsize (KiB) 104012

[startup+248.312 s]
/proc/loadavg: 1.00 1.08 1.13 2/47 28383
/proc/meminfo: memFree=792016/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=101440 CPUtime=247.87
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 209887 0 16 0 24667 120 0 0 25 0 1 0 876419576 103874560 25120 1283457024 134512640 136120023 4288326896 18446744073709551615 135521157 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 25360 25120 182 393 0 24965 0
Current children cumulated CPU time (s) 247.87
Current children cumulated vsize (KiB) 104012

[startup+248.404 s]
/proc/loadavg: 1.00 1.08 1.13 2/47 28383
/proc/meminfo: memFree=792016/1048576 swapFree=2078780/2097144
[pid=28381] ppid=28380 vsize=2572 CPUtime=0
/proc/28381/stat : 28381 (cudf2msu4parano) S 28380 28381 2059 34821 2220 4202496 373 0 0 0 0 0 0 0 25 0 1 0 876419575 2633728 270 1283457024 134512640 135304128 4289629440 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0
/proc/28381/statm: 643 270 231 194 0 29 0
[pid=28383] ppid=28381 vsize=100856 CPUtime=247.95
/proc/28383/stat : 28383 (cudf_msu32) R 28381 28381 2059 34821 2220 4202496 209901 0 17 0 24675 120 0 0 25 0 1 0 876419576 103276544 24989 1283457024 134512640 136120023 4288326896 18446744073709551615 135521137 0 0 0 16929 0 0 0 17 0 0 0 0
/proc/28383/statm: 25214 24989 197 393 0 24819 0
Current children cumulated CPU time (s) 247.95
Current children cumulated vsize (KiB) 103428

Child status: 0
Real time (s): 248.419
CPU time (s): 247.964
CPU user time (s): 246.751
CPU system time (s): 1.21207
CPU usage (%): 99.8165
Max. virtual memory (cumulated for all children) (KiB): 844304

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 246.751
system time used= 1.21208
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210285
page faults= 17
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23
involuntary context switches= 3138

runsolver used 0 second user time and 0.004 second system time

The end