runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 935)
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-3174269-1304116475/watcher-3174269-1304116475 -o /tmp/evaluation-result-3174269-1304116475/solver-3174269-1304116475 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174269-1304116475.cnf
running on 4 cores: 1,3,5,7
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: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 47685784291250 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 12803 347 299 106 0 7774 0
[pid=17524/tid=17527] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 47685784291250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 523247934 52441088 347 33554432000 4194304 4627427 140736307416048 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 5 0 0 0
[startup+0.283383 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351016 CPUtime=3.2 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 5380 0 0 0 320 0 0 0 19 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87754 3168 385 106 0 82725 0
[pid=17524/tid=17527] ppid=17520 vsize=351016 CPUtime=0.79 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1232 0 0 0 79 0 0 0 19 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308584 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351016 CPUtime=0.8 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1271 0 0 0 80 0 0 0 19 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351016 CPUtime=0.79 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1107 0 0 0 79 0 0 0 18 0 4 0 523247934 359440384 3168 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 351016
[startup+0.90903 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351556 CPUtime=3.6 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 6130 0 0 0 360 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87889 2907 385 106 0 82860 0
[pid=17524/tid=17527] ppid=17520 vsize=351556 CPUtime=0.89 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1457 0 0 0 89 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351556 CPUtime=0.9 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1504 0 0 0 90 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351556 CPUtime=0.89 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1323 0 0 0 89 0 0 0 19 0 4 0 523247934 359993344 2907 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 351556
[startup+1.00101 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351748 CPUtime=3.97 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 6397 0 0 0 397 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87937 3174 385 106 0 82908 0
[pid=17524/tid=17527] ppid=17520 vsize=351748 CPUtime=0.98 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1515 0 0 0 98 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351748 CPUtime=0.99 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1583 0 0 0 99 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351748 CPUtime=0.99 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1377 0 0 0 99 0 0 0 19 0 4 0 523247934 360189952 3174 33554432000 4194304 4627427 140736307416048 18446744073709551615 4330960 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 351748
[startup+1.101 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=351748 CPUtime=4.38 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 6661 0 0 0 437 1 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308323 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 87937 3438 385 106 0 82908 0
[pid=17524/tid=17527] ppid=17520 vsize=351748 CPUtime=1.08 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1574 0 0 0 108 0 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308268 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=351748 CPUtime=1.09 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1656 0 0 0 109 0 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=351748 CPUtime=1.08 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1451 0 0 0 108 0 0 0 19 0 4 0 523247934 360189952 3438 33554432000 4194304 4627427 140736307416048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 351748
[startup+1.50092 s]
/proc/loadavg: 8.09 8.06 7.75 4/176 17524
/proc/meminfo: memFree=23076908/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=358224 CPUtime=5.97 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 10068 0 0 0 596 1 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 89556 5200 389 106 0 84527 0
[pid=17524/tid=17527] ppid=17520 vsize=358224 CPUtime=1.48 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 2021 0 0 0 148 0 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=358224 CPUtime=1.49 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 2129 0 0 0 149 0 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=358224 CPUtime=1.48 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 1897 0 0 0 148 0 0 0 20 0 4 0 523247934 366821376 5200 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 358224
[startup+3.10062 s]
/proc/loadavg: 8.08 8.06 7.75 10/184 17533
/proc/meminfo: memFree=22988960/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=367104 CPUtime=12.35 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 19993 0 0 0 1232 3 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4334681 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 91776 11231 389 106 0 86747 0
[pid=17524/tid=17527] ppid=17520 vsize=367104 CPUtime=3.07 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 4494 0 0 0 307 0 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4328761 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=367104 CPUtime=3.08 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 5648 0 0 0 308 0 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=367104 CPUtime=3.08 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 4943 0 0 0 307 1 0 0 25 0 4 0 523247934 375914496 11231 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 367104
[startup+6.30702 s]
/proc/loadavg: 8.08 8.06 7.75 9/184 17533
/proc/meminfo: memFree=22969752/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=359112 CPUtime=25.16 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 29976 0 0 0 2510 6 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 89778 13196 389 106 0 84749 0
[pid=17524/tid=17527] ppid=17520 vsize=359112 CPUtime=6.26 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 8489 0 0 0 624 2 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=359112 CPUtime=6.29 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 7740 0 0 0 628 1 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=359112 CPUtime=6.28 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 7279 0 0 0 627 1 0 0 25 0 4 0 523247934 367730688 13196 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 359112
[startup+12.7008 s]
/proc/loadavg: 8.07 8.05 7.75 9/184 17533
/proc/meminfo: memFree=22912428/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=358676 CPUtime=50.71 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 47976 0 0 0 5061 10 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4322568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 89669 23804 389 106 0 84640 0
[pid=17524/tid=17527] ppid=17520 vsize=358676 CPUtime=12.62 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 12119 0 0 0 1260 2 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=358676 CPUtime=12.68 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 12854 0 0 0 1266 2 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=358676 CPUtime=12.68 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 11833 0 0 0 1266 2 0 0 25 0 4 0 523247934 367284224 23804 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 358676
[startup+25.5004 s]
/proc/loadavg: 8.06 8.05 7.76 10/184 17533
/proc/meminfo: memFree=22858748/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=370400 CPUtime=101.83 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 69390 0 0 0 10167 16 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 92600 28848 389 106 0 87571 0
[pid=17524/tid=17527] ppid=17520 vsize=370400 CPUtime=25.35 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 18128 0 0 0 2531 4 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=370400 CPUtime=25.48 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 19266 0 0 0 2545 3 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=370400 CPUtime=25.48 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 17644 0 0 0 2544 4 0 0 25 0 4 0 523247934 379289600 28848 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 370400
[startup+51.1007 s]
/proc/loadavg: 8.04 8.05 7.76 10/184 17534
/proc/meminfo: memFree=22823940/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=370752 CPUtime=204.1 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 96007 0 0 0 20382 28 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 92688 36381 389 106 0 87659 0
[pid=17524/tid=17527] ppid=17520 vsize=370752 CPUtime=50.82 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 27713 0 0 0 5073 9 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=370752 CPUtime=51.08 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 27182 0 0 0 5101 7 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=370752 CPUtime=51.09 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 24070 0 0 0 5102 7 0 0 25 0 4 0 523247934 379650048 36381 33554432000 4194304 4627427 140736307416048 18446744073709551615 4332626 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 370752
[startup+102.301 s]
/proc/loadavg: 8.05 8.05 7.78 9/184 17535
/proc/meminfo: memFree=22779040/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=438516 CPUtime=408.62 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 140387 0 0 0 40820 42 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 109629 42116 389 106 0 104600 0
[pid=17524/tid=17527] ppid=17520 vsize=438516 CPUtime=101.73 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 45874 0 0 0 10159 14 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420275 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=438516 CPUtime=102.28 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 35990 0 0 0 10217 11 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=438516 CPUtime=102.28 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 35273 0 0 0 10218 10 0 0 25 0 4 0 523247934 449040384 42116 33554432000 4194304 4627427 140736307416048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 438516
[startup+162.301 s]
################
# More data... #
################
[pid=17524] ppid=17520 vsize=610948 CPUtime=2805.41 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 377482 0 0 0 280381 160 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 152737 100750 390 106 0 147708 0
[pid=17524/tid=17527] ppid=17520 vsize=610948 CPUtime=698.46 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 128880 0 0 0 69792 54 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=610948 CPUtime=702.3 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 79599 0 0 0 70197 33 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=610948 CPUtime=702.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 95660 0 0 0 70192 39 0 0 25 0 4 0 523247934 625610752 100750 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 610948
[startup+762.301 s]
/proc/loadavg: 8.00 8.03 7.91 9/184 17553
/proc/meminfo: memFree=22269912/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=689636 CPUtime=3045.09 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 404515 0 0 0 304333 176 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 172409 116945 390 106 0 167380 0
[pid=17524/tid=17527] ppid=17520 vsize=689636 CPUtime=758.14 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 135254 0 0 0 75756 58 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=689636 CPUtime=762.3 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 85554 0 0 0 76193 37 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=689636 CPUtime=762.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 103302 0 0 0 76187 44 0 0 25 0 4 0 523247934 706187264 116945 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 689636
[startup+822.301 s]
/proc/loadavg: 8.00 8.02 7.91 10/184 17554
/proc/meminfo: memFree=22251052/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=807584 CPUtime=3284.77 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 428251 0 0 0 328287 190 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 201896 113654 390 106 0 196867 0
[pid=17524/tid=17527] ppid=17520 vsize=807584 CPUtime=817.81 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 139846 0 0 0 81721 60 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=807584 CPUtime=822.3 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 89606 0 0 0 82191 39 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=807584 CPUtime=822.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 110527 0 0 0 82184 47 0 0 25 0 4 0 523247934 826966016 113654 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 807584
[startup+882.3 s]
/proc/loadavg: 8.03 8.03 7.91 10/184 17556
/proc/meminfo: memFree=22239752/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=696956 CPUtime=3524.44 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 451226 0 0 0 352246 198 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 174239 118809 390 106 0 169210 0
[pid=17524/tid=17527] ppid=17520 vsize=696956 CPUtime=877.48 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 147194 0 0 0 87685 63 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=696956 CPUtime=882.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 89821 0 0 0 88191 40 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=696956 CPUtime=882.31 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 117201 0 0 0 88183 48 0 0 25 0 4 0 523247934 713682944 118809 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 696956
[startup+942.3 s]
/proc/loadavg: 8.04 8.03 7.92 11/184 17558
/proc/meminfo: memFree=22228088/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=827220 CPUtime=3764.14 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 471738 0 0 0 376203 211 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309540 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 206805 121925 390 106 0 201776 0
[pid=17524/tid=17527] ppid=17520 vsize=827220 CPUtime=937.16 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 151625 0 0 0 93650 66 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=827220 CPUtime=942.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 95306 0 0 0 94189 42 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=827220 CPUtime=942.32 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 122574 0 0 0 94179 53 0 0 25 0 4 0 523247934 847073280 121925 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 827220
[startup+1002.3 s]
/proc/loadavg: 8.07 8.04 7.93 9/184 17559
/proc/meminfo: memFree=22198432/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=813648 CPUtime=4003.81 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 493221 0 0 0 400158 223 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 203412 130461 390 106 0 198383 0
[pid=17524/tid=17527] ppid=17520 vsize=813648 CPUtime=996.83 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 155768 0 0 0 99616 67 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=813648 CPUtime=1002.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 100763 0 0 0 100186 45 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=813648 CPUtime=1002.32 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 130261 0 0 0 100175 57 0 0 25 0 4 0 523247934 833175552 130461 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.81
Current children cumulated vsize (KiB) 813648
[startup+1062.31 s]
/proc/loadavg: 8.02 8.03 7.93 10/184 17561
/proc/meminfo: memFree=22162336/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=816428 CPUtime=4243.5 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 509904 0 0 0 424117 233 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 204107 125224 390 106 0 199078 0
[pid=17524/tid=17527] ppid=17520 vsize=816428 CPUtime=1056.5 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 159264 0 0 0 105581 69 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=816428 CPUtime=1062.32 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 103041 0 0 0 106185 47 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309217 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=816428 CPUtime=1062.33 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 133060 0 0 0 106174 59 0 0 25 0 4 0 523247934 836022272 125224 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 816428
[startup+1122.3 s]
/proc/loadavg: 8.01 8.02 7.93 10/184 17562
/proc/meminfo: memFree=22168508/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=887704 CPUtime=4483.17 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 527989 0 0 0 448075 242 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 221926 137628 390 106 0 216897 0
[pid=17524/tid=17527] ppid=17520 vsize=887704 CPUtime=1116.17 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 164500 0 0 0 111546 71 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=887704 CPUtime=1122.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 106462 0 0 0 112182 49 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=887704 CPUtime=1122.32 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 137101 0 0 0 112172 60 0 0 25 0 4 0 523247934 909008896 137628 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.17
Current children cumulated vsize (KiB) 887704
[startup+1182.3 s]
/proc/loadavg: 8.07 8.03 7.93 10/184 17564
/proc/meminfo: memFree=22152372/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=887564 CPUtime=4722.85 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 546007 0 0 0 472032 253 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 221891 138694 390 106 0 216862 0
[pid=17524/tid=17527] ppid=17520 vsize=887564 CPUtime=1175.85 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 165876 0 0 0 117513 72 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=887564 CPUtime=1182.31 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 111662 0 0 0 118179 52 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=887564 CPUtime=1182.33 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 141454 0 0 0 118170 63 0 0 25 0 4 0 523247934 908865536 138694 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 887564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 8.05 8.03 7.93 10/184 17565
/proc/meminfo: memFree=22180024/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=834140 CPUtime=4800.36 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 551328 0 0 0 479780 256 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 208535 139543 390 106 0 203506 0
[pid=17524/tid=17527] ppid=17520 vsize=834140 CPUtime=1195.14 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 168582 0 0 0 119441 73 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=834140 CPUtime=1201.72 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 112947 0 0 0 120118 54 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=834140 CPUtime=1201.73 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 141477 0 0 0 120110 63 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 834140
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1201.7 s]
/proc/loadavg: 8.05 8.03 7.93 10/184 17565
/proc/meminfo: memFree=22180024/32951124 swapFree=67111524/67111528
[pid=17524] ppid=17520 vsize=834140 CPUtime=4800.36 cores=1,3,5,7
/proc/17524/stat : 17524 (strangenight2-m) R 17520 17524 17393 0 -1 4202496 551328 0 0 0 479780 256 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/17524/statm: 208535 139543 390 106 0 203506 0
[pid=17524/tid=17527] ppid=17520 vsize=834140 CPUtime=1195.14 cores=1,3,5,7
/proc/17524/task/17527/stat : 17527 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 168582 0 0 0 119441 73 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=17524/tid=17528] ppid=17520 vsize=834140 CPUtime=1201.72 cores=1,3,5,7
/proc/17524/task/17528/stat : 17528 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 112947 0 0 0 120118 54 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=17524/tid=17529] ppid=17520 vsize=834140 CPUtime=1201.73 cores=1,3,5,7
/proc/17524/task/17529/stat : 17529 (strangenight2-m) R 17520 17524 17393 0 -1 4202560 141477 0 0 0 120110 63 0 0 25 0 4 0 523247934 854159360 139543 33554432000 4194304 4627427 140736307416048 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.36
Current children cumulated vsize (KiB) 834140
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.42
CPU user time (s): 4797.82
CPU system time (s): 2.5946
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 935820
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.82
system time used= 2.59461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 551329
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= 480
involuntary context switches= 35133
runsolver used 1.81872 second user time and 4.75228 second system time
The end