runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366610-1305410273/watcher-3366610-1305410273 -o /tmp/evaluation-result-3366610-1305410273/solver-3366610-1305410273 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366610-1305410273.cnf
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.19 4.37 5.82 5/320 8411
/proc/meminfo: memFree=11108676/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 652629654 52396032 352 33554432000 4194304 4580107 140735318381200 18446744073709551615 47532917069337 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 12792 352 302 95 0 7774 0
[pid=8411/tid=8412] ppid=8409 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652629655 52396032 352 33554432000 4194304 4580107 140735318381200 18446744073709551615 47532917069337 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652629655 52396032 352 33554432000 4194304 4580107 140735318381200 18446744073709551615 47532917069337 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652629655 52396032 352 33554432000 4194304 4580107 140735318381200 18446744073709551615 47532917069740 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.371035 s]
/proc/loadavg: 4.19 4.37 5.82 5/320 8411
/proc/meminfo: memFree=11108676/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=291832 CPUtime=1.44 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 2827 0 0 0 144 0 0 0 18 0 4 0 652629654 298835968 2066 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 72958 2066 377 95 0 67940 0
[pid=8411/tid=8412] ppid=8409 vsize=291832 CPUtime=0.36 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 719 0 0 0 36 0 0 0 18 0 4 0 652629655 298835968 2066 33554432000 4194304 4580107 140735318381200 18446744073709551615 212436060295 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=291832 CPUtime=0.36 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 570 0 0 0 36 0 0 0 18 0 4 0 652629655 298835968 2066 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=291832 CPUtime=0.35 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 584 0 0 0 35 0 0 0 18 0 4 0 652629655 298835968 2066 33554432000 4194304 4580107 140735318381200 18446744073709551615 4485991 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 291832
[startup+0.814537 s]
/proc/loadavg: 4.19 4.37 5.82 5/320 8411
/proc/meminfo: memFree=11108676/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=284428 CPUtime=3.22 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 4606 0 0 0 321 1 0 0 18 0 4 0 652629654 291254272 2368 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 71107 2368 377 95 0 66089 0
[pid=8411/tid=8412] ppid=8409 vsize=284428 CPUtime=0.8 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1111 0 0 0 80 0 0 0 18 0 4 0 652629655 291254272 2368 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=284428 CPUtime=0.8 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1038 0 0 0 80 0 0 0 18 0 4 0 652629655 291254272 2368 33554432000 4194304 4580107 140735318381200 18446744073709551615 4316617 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=284428 CPUtime=0.79 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1050 0 0 0 79 0 0 0 19 0 4 0 652629655 291254272 2368 33554432000 4194304 4580107 140735318381200 18446744073709551615 4302360 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.22
Current children cumulated vsize (KiB) 284428
[startup+0.90052 s]
/proc/loadavg: 4.19 4.37 5.82 5/320 8411
/proc/meminfo: memFree=11108676/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=284600 CPUtime=3.57 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 4807 0 0 0 356 1 0 0 18 0 4 0 652629654 291430400 2569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294535 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 71150 2569 377 95 0 66132 0
[pid=8411/tid=8412] ppid=8409 vsize=284600 CPUtime=0.89 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1156 0 0 0 89 0 0 0 18 0 4 0 652629655 291430400 2569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=284600 CPUtime=0.89 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1082 0 0 0 89 0 0 0 18 0 4 0 652629655 291430400 2569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=284600 CPUtime=0.88 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1108 0 0 0 88 0 0 0 19 0 4 0 652629655 291430400 2569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 284600
[startup+1.0005 s]
/proc/loadavg: 4.19 4.37 5.82 5/320 8411
/proc/meminfo: memFree=11108676/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=284600 CPUtime=3.97 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 5078 0 0 0 396 1 0 0 19 0 4 0 652629654 291430400 2840 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 71150 2840 378 95 0 66132 0
[pid=8411/tid=8412] ppid=8409 vsize=284600 CPUtime=0.99 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1220 0 0 0 99 0 0 0 19 0 4 0 652629655 291430400 2840 33554432000 4194304 4580107 140735318381200 18446744073709551615 4321334 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=284600 CPUtime=0.99 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1143 0 0 0 99 0 0 0 19 0 4 0 652629655 291430400 2840 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=284600 CPUtime=0.98 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1191 0 0 0 98 0 0 0 19 0 4 0 652629655 291430400 2840 33554432000 4194304 4580107 140735318381200 18446744073709551615 4320939 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 284600
[startup+1.50041 s]
/proc/loadavg: 4.19 4.37 5.82 5/320 8411
/proc/meminfo: memFree=11108676/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=285020 CPUtime=5.96 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 7789 0 0 0 595 1 0 0 20 0 4 0 652629654 291860480 4203 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 71255 4204 379 95 0 66237 0
[pid=8411/tid=8412] ppid=8409 vsize=285020 CPUtime=1.49 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1598 0 0 0 149 0 0 0 19 0 4 0 652629655 291860480 4204 33554432000 4194304 4580107 140735318381200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=285020 CPUtime=1.49 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1533 0 0 0 149 0 0 0 19 0 4 0 652629655 291860480 4204 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=285020 CPUtime=1.48 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 1579 0 0 0 148 0 0 0 20 0 4 0 652629655 291860480 4204 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285020
[startup+3.1011 s]
/proc/loadavg: 4.73 4.48 5.85 9/324 8415
/proc/meminfo: memFree=11064872/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=291888 CPUtime=12.35 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 16181 0 0 0 1233 2 0 0 25 0 4 0 652629654 298893312 8120 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 72972 8120 379 95 0 67954 0
[pid=8411/tid=8412] ppid=8409 vsize=291888 CPUtime=3.09 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 3687 0 0 0 309 0 0 0 25 0 4 0 652629655 298893312 8120 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=291888 CPUtime=3.09 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 4163 0 0 0 309 0 0 0 25 0 4 0 652629655 298893312 8120 33554432000 4194304 4580107 140735318381200 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=291888 CPUtime=3.06 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 4033 0 0 0 306 0 0 0 25 0 4 0 652629655 298893312 8120 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 291888
[startup+6.30049 s]
/proc/loadavg: 4.99 4.54 5.86 9/324 8415
/proc/meminfo: memFree=11041396/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=292648 CPUtime=25.11 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 25220 0 0 0 2507 4 0 0 25 0 4 0 652629654 299671552 11068 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 73162 11068 379 95 0 68144 0
[pid=8411/tid=8412] ppid=8409 vsize=292648 CPUtime=6.29 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 6603 0 0 0 628 1 0 0 25 0 4 0 652629655 299671552 11068 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=292648 CPUtime=6.29 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 6720 0 0 0 628 1 0 0 25 0 4 0 652629655 299671552 11068 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=292648 CPUtime=6.22 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 5641 0 0 0 622 0 0 0 25 0 4 0 652629655 299671552 11068 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 292648
[startup+12.7003 s]
/proc/loadavg: 5.31 4.62 5.87 9/324 8415
/proc/meminfo: memFree=11012392/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=299912 CPUtime=50.68 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 41157 0 0 0 5060 8 0 0 25 0 4 0 652629654 307109888 15902 33554432000 4194304 4580107 140735318381200 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 74978 15902 379 95 0 69960 0
[pid=8411/tid=8412] ppid=8409 vsize=299912 CPUtime=12.7 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 10331 0 0 0 1268 2 0 0 25 0 4 0 652629655 307109888 15908 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=299912 CPUtime=12.7 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 9639 0 0 0 1268 2 0 0 25 0 4 0 652629655 307109888 15908 33554432000 4194304 4580107 140735318381200 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=299912 CPUtime=12.57 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 9683 0 0 0 1256 1 0 0 25 0 4 0 652629655 307109888 15908 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 299912
[startup+25.5008 s]
/proc/loadavg: 5.73 4.73 5.90 9/324 8415
/proc/meminfo: memFree=10965768/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=300832 CPUtime=101.72 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 62533 0 0 0 10160 12 0 0 25 0 4 0 652629654 308051968 21390 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 75208 21390 379 95 0 70190 0
[pid=8411/tid=8412] ppid=8409 vsize=300832 CPUtime=25.49 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 16445 0 0 0 2546 3 0 0 25 0 4 0 652629655 308051968 21390 33554432000 4194304 4580107 140735318381200 18446744073709551615 4320840 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=300832 CPUtime=25.49 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 15236 0 0 0 2546 3 0 0 25 0 4 0 652629655 308051968 21390 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=300832 CPUtime=25.24 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 13589 0 0 0 2522 2 0 0 25 0 4 0 652629655 308051968 21390 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 300832
[startup+51.1009 s]
/proc/loadavg: 6.57 5.01 5.96 9/324 8416
/proc/meminfo: memFree=10925380/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=304100 CPUtime=203.86 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 94671 0 0 0 20365 21 0 0 25 0 4 0 652629654 311398400 26334 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 76025 26334 379 95 0 71007 0
[pid=8411/tid=8412] ppid=8409 vsize=304100 CPUtime=51.09 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 25266 0 0 0 5104 5 0 0 25 0 4 0 652629655 311398400 26334 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=304100 CPUtime=51.09 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 23511 0 0 0 5103 6 0 0 25 0 4 0 652629655 311398400 26335 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=304100 CPUtime=50.59 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 20767 0 0 0 5055 4 0 0 25 0 4 0 652629655 311398400 26335 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 304100
[startup+102.301 s]
/proc/loadavg: 7.50 5.52 6.08 9/324 8417
/proc/meminfo: memFree=10874376/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=318720 CPUtime=408.14 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 144801 0 0 0 40780 34 0 0 25 0 4 0 652629654 326369280 31969 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 79680 31969 379 95 0 74662 0
[pid=8411/tid=8412] ppid=8409 vsize=318720 CPUtime=102.29 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 37407 0 0 0 10221 8 0 0 25 0 4 0 652629655 326369280 31969 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=318720 CPUtime=102.29 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 34796 0 0 0 10220 9 0 0 25 0 4 0 652629655 326369280 31969 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=318720 CPUtime=101.27 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 34944 0 0 0 10120 7 0 0 25 0 4 0 652629655 326369280 31969 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.14
Current children cumulated vsize (KiB) 318720
[startup+162.301 s]
################
# More data... #
################
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 65354 0 0 0 27933 16 0 0 25 0 4 0 652629655 393723904 57104 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1126.36
Current children cumulated vsize (KiB) 384496
[startup+342.3 s]
/proc/loadavg: 8.18 6.95 6.53 9/324 8435
/proc/meminfo: memFree=10636600/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=394000 CPUtime=1365.71 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 291024 0 0 0 136489 82 0 0 25 0 4 0 652629654 403456000 62031 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 98500 62031 379 95 0 93482 0
[pid=8411/tid=8412] ppid=8409 vsize=394000 CPUtime=342.29 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 67784 0 0 0 34212 17 0 0 25 0 4 0 652629655 403456000 62031 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=394000 CPUtime=342.28 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 72728 0 0 0 34205 23 0 0 25 0 4 0 652629655 403456000 62031 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=394000 CPUtime=338.87 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 73136 0 0 0 33868 19 0 0 25 0 4 0 652629655 403456000 62031 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1365.71
Current children cumulated vsize (KiB) 394000
[startup+402.301 s]
/proc/loadavg: 8.30 7.21 6.64 9/324 8437
/proc/meminfo: memFree=10585736/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=406564 CPUtime=1604.3 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 313965 0 0 0 160340 90 0 0 25 0 4 0 652629654 416321536 67201 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 101641 67201 379 95 0 96623 0
[pid=8411/tid=8412] ppid=8409 vsize=406564 CPUtime=402.16 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 70812 0 0 0 40197 19 0 0 25 0 4 0 652629655 416321536 67201 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=406564 CPUtime=402.28 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 82447 0 0 0 40202 26 0 0 25 0 4 0 652629655 416321536 67201 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=406564 CPUtime=398.28 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 78425 0 0 0 39807 21 0 0 25 0 4 0 652629655 416321536 67201 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1604.3
Current children cumulated vsize (KiB) 406564
[startup+462.301 s]
/proc/loadavg: 8.23 7.38 6.74 9/324 8439
/proc/meminfo: memFree=10576540/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=441560 CPUtime=1843.69 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 336636 0 0 0 184272 97 0 0 25 0 4 0 652629654 452157440 72569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 110390 72569 379 95 0 105372 0
[pid=8411/tid=8412] ppid=8409 vsize=441560 CPUtime=462.16 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 76202 0 0 0 46195 21 0 0 25 0 4 0 652629655 452157440 72569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=441560 CPUtime=462.27 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 90625 0 0 0 46199 28 0 0 25 0 4 0 652629655 452157440 72569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=441560 CPUtime=457.68 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 82977 0 0 0 45746 22 0 0 25 0 4 0 652629655 452157440 72569 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1843.69
Current children cumulated vsize (KiB) 441560
[startup+522.301 s]
/proc/loadavg: 8.08 7.49 6.81 9/324 8440
/proc/meminfo: memFree=10532976/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=442024 CPUtime=2083.1 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 361719 0 0 0 208203 107 0 0 25 0 4 0 652629654 452632576 79741 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 110506 79741 379 95 0 105488 0
[pid=8411/tid=8412] ppid=8409 vsize=442024 CPUtime=522.16 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 82009 0 0 0 52193 23 0 0 25 0 4 0 652629655 452632576 79741 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=442024 CPUtime=522.27 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 97508 0 0 0 52197 30 0 0 25 0 4 0 652629655 452632576 79741 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=442024 CPUtime=517.08 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 90710 0 0 0 51682 26 0 0 25 0 4 0 652629655 452632576 79741 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2083.1
Current children cumulated vsize (KiB) 442024
Solver just ended. Dumping a history of the last processes samples
[startup+525.411 s]
/proc/loadavg: 8.08 7.49 6.81 9/324 8441
/proc/meminfo: memFree=10554304/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=460844 CPUtime=2095.5 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 364233 0 0 0 209442 108 0 0 25 0 4 0 652629654 471904256 73229 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 115211 73230 379 95 0 110193 0
[pid=8411/tid=8412] ppid=8409 vsize=460844 CPUtime=525.27 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 82210 0 0 0 52504 23 0 0 25 0 4 0 652629655 471904256 73230 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=460844 CPUtime=525.39 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 98482 0 0 0 52508 31 0 0 25 0 4 0 652629655 471904256 73230 33554432000 4194304 4580107 140735318381200 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=460844 CPUtime=520.16 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 91042 0 0 0 51990 26 0 0 25 0 4 0 652629655 471904256 73230 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2095.5
Current children cumulated vsize (KiB) 460844
[startup+531.8 s]
/proc/loadavg: 8.07 7.51 6.82 9/324 8441
/proc/meminfo: memFree=10546364/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=460844 CPUtime=2120.99 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 366399 0 0 0 211990 109 0 0 25 0 4 0 652629654 471904256 75337 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 115211 75337 379 95 0 110193 0
[pid=8411/tid=8412] ppid=8409 vsize=460844 CPUtime=531.66 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 82637 0 0 0 53143 23 0 0 25 0 4 0 652629655 471904256 75337 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=460844 CPUtime=531.77 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 99049 0 0 0 53146 31 0 0 25 0 4 0 652629655 471904256 75337 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=460844 CPUtime=526.49 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 91647 0 0 0 52623 26 0 0 25 0 4 0 652629655 471904256 75337 33554432000 4194304 4580107 140735318381200 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2120.99
Current children cumulated vsize (KiB) 460844
[startup+538.201 s]
/proc/loadavg: 8.06 7.52 6.83 9/324 8441
/proc/meminfo: memFree=10542392/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=526380 CPUtime=2146.53 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 368982 0 0 0 214543 110 0 0 25 0 4 0 652629654 539013120 77920 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 131595 77920 379 95 0 126577 0
[pid=8411/tid=8412] ppid=8409 vsize=526380 CPUtime=538.06 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 83930 0 0 0 53782 24 0 0 25 0 4 0 652629655 539013120 77920 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=526380 CPUtime=538.18 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 99443 0 0 0 53786 32 0 0 25 0 4 0 652629655 539013120 77920 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=526380 CPUtime=532.83 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 92138 0 0 0 53256 27 0 0 25 0 4 0 652629655 539013120 77920 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2146.53
Current children cumulated vsize (KiB) 526380
[startup+539.801 s]
/proc/loadavg: 8.06 7.52 6.83 9/324 8441
/proc/meminfo: memFree=10537432/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=526380 CPUtime=2152.91 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 369357 0 0 0 215180 111 0 0 25 0 4 0 652629654 539013120 78295 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 131595 78295 379 95 0 126577 0
[pid=8411/tid=8412] ppid=8409 vsize=526380 CPUtime=539.66 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 84046 0 0 0 53942 24 0 0 25 0 4 0 652629655 539013120 78295 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=526380 CPUtime=539.78 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 99529 0 0 0 53946 32 0 0 25 0 4 0 652629655 539013120 78295 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=526380 CPUtime=534.41 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 92239 0 0 0 53414 27 0 0 25 0 4 0 652629655 539013120 78295 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2152.91
Current children cumulated vsize (KiB) 526380
[startup+541.4 s]
/proc/loadavg: 8.06 7.52 6.84 9/324 8441
/proc/meminfo: memFree=10540904/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=526432 CPUtime=2159.3 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 370545 0 0 0 215819 111 0 0 25 0 4 0 652629654 539066368 77082 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294551 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 131608 77082 379 95 0 126590 0
[pid=8411/tid=8412] ppid=8409 vsize=526432 CPUtime=541.26 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 84165 0 0 0 54102 24 0 0 25 0 4 0 652629655 539066368 77082 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=526432 CPUtime=541.38 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 99613 0 0 0 54106 32 0 0 25 0 4 0 652629655 539066368 77082 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=526432 CPUtime=535.99 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 93154 0 0 0 53572 27 0 0 25 0 4 0 652629655 539066368 77082 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2159.3
Current children cumulated vsize (KiB) 526432
[startup+542.2 s]
/proc/loadavg: 8.06 7.52 6.84 9/324 8441
/proc/meminfo: memFree=10545616/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=526432 CPUtime=2162.49 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 370787 0 0 0 216138 111 0 0 25 0 4 0 652629654 539066368 77324 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 131608 77324 379 95 0 126590 0
[pid=8411/tid=8412] ppid=8409 vsize=526432 CPUtime=542.06 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 84217 0 0 0 54182 24 0 0 25 0 4 0 652629655 539066368 77324 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=526432 CPUtime=542.18 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 99654 0 0 0 54186 32 0 0 25 0 4 0 652629655 539066368 77324 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=526432 CPUtime=536.78 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 93261 0 0 0 53651 27 0 0 25 0 4 0 652629655 539066368 77324 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2162.49
Current children cumulated vsize (KiB) 526432
[startup+542.6 s]
/proc/loadavg: 8.06 7.52 6.84 9/324 8441
/proc/meminfo: memFree=10545616/32951124 swapFree=67093864/67111528
[pid=8411] ppid=8409 vsize=526432 CPUtime=2164.09 cores=0,2,4,6
/proc/8411/stat : 8411 (strangenight2-m) R 8409 8411 7962 0 -1 4202496 370910 0 0 0 216298 111 0 0 25 0 4 0 652629654 539066368 77447 33554432000 4194304 4580107 140735318381200 18446744073709551615 4316561 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/8411/statm: 131608 77447 379 95 0 126590 0
[pid=8411/tid=8412] ppid=8409 vsize=526432 CPUtime=542.46 cores=0,2,4,6
/proc/8411/task/8412/stat : 8412 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 84243 0 0 0 54222 24 0 0 25 0 4 0 652629655 539066368 77447 33554432000 4194304 4580107 140735318381200 18446744073709551615 4321023 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8411/tid=8413] ppid=8409 vsize=526432 CPUtime=542.58 cores=0,2,4,6
/proc/8411/task/8413/stat : 8413 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 99672 0 0 0 54226 32 0 0 25 0 4 0 652629655 539066368 77447 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8411/tid=8414] ppid=8409 vsize=526432 CPUtime=537.18 cores=0,2,4,6
/proc/8411/task/8414/stat : 8414 (strangenight2-m) R 8409 8411 7962 0 -1 4202560 93318 0 0 0 53691 27 0 0 25 0 4 0 652629655 539066368 77447 33554432000 4194304 4580107 140735318381200 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2164.09
Current children cumulated vsize (KiB) 526432
Child status: 10
Real time (s): 542.69
CPU time (s): 2164.41
CPU user time (s): 2163.28
CPU system time (s): 1.13083
CPU usage (%): 398.831
Max. virtual memory (cumulated for all children) (KiB): 526432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2163.28
system time used= 1.13083
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 370942
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 9937
runsolver used 1.55276 second user time and 3.88241 second system time
The end