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-3175186-1304096639/watcher-3175186-1304096639 -o /tmp/evaluation-result-3175186-1304096639/solver-3175186-1304096639 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175186-1304096639.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: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=117744 CPUtime=0 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 510 0 0 0 0 0 0 0 22 0 4 0 521262114 120569856 439 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516834107 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 29436 467 331 112 0 24401 0
[pid=10557/tid=10558] ppid=10555 vsize=183296 CPUtime=0 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 66 0 0 0 0 0 0 0 23 0 4 0 521262114 187695104 549 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516495045 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=183280 CPUtime=0 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) D 10555 10557 9884 0 -1 4202560 76 0 0 0 0 0 0 0 23 0 4 0 521262114 187678720 556 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516877402 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=199696 CPUtime=0 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 11 0 0 0 0 0 0 0 23 0 4 0 521262114 204488704 562 33554432000 4194304 4650419 140737341961552 18446744073709551615 246516530955 0 0 4096 2 0 0 0 -1 4 0 0 0
[startup+0.0348691 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=216712 CPUtime=0.11 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 1294 0 0 0 11 0 0 0 18 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4369360 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 54178 1213 366 112 0 49143 0
[pid=10557/tid=10558] ppid=10555 vsize=216712 CPUtime=0.03 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 207 0 0 0 3 0 0 0 18 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=216712 CPUtime=0.02 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 214 0 0 0 2 0 0 0 18 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=216712 CPUtime=0.02 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 223 0 0 0 2 0 0 0 23 0 4 0 521262114 221913088 1213 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 216712
[startup+0.100857 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=216852 CPUtime=0.38 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 1421 0 0 0 38 0 0 0 18 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370730 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 54213 1340 366 112 0 49178 0
[pid=10557/tid=10558] ppid=10555 vsize=216852 CPUtime=0.09 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 217 0 0 0 9 0 0 0 18 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=216852 CPUtime=0.09 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 218 0 0 0 9 0 0 0 18 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370701 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=216852 CPUtime=0.09 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 328 0 0 0 9 0 0 0 23 0 4 0 521262114 222056448 1340 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 216852
[startup+0.300821 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=220556 CPUtime=1.17 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 3620 0 0 0 117 0 0 0 18 0 4 0 521262114 225849344 3119 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365323 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 55139 3119 390 112 0 50104 0
[pid=10557/tid=10558] ppid=10555 vsize=220556 CPUtime=0.29 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 830 0 0 0 29 0 0 0 18 0 4 0 521262114 225849344 3119 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=220556 CPUtime=0.29 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 832 0 0 0 29 0 0 0 18 0 4 0 521262114 225849344 3120 33554432000 4194304 4650419 140737341961552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=220556 CPUtime=0.29 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 666 0 0 0 29 0 0 0 23 0 4 0 521262114 225849344 3120 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 220556
[startup+0.700749 s]
/proc/loadavg: 7.59 8.03 8.06 7/184 10557
/proc/meminfo: memFree=25005568/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=222468 CPUtime=2.77 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 5975 0 0 0 277 0 0 0 18 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364762 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 55617 3565 390 112 0 50582 0
[pid=10557/tid=10558] ppid=10555 vsize=222468 CPUtime=0.69 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1400 0 0 0 69 0 0 0 18 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4329260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=222468 CPUtime=0.69 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1420 0 0 0 69 0 0 0 18 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=222468 CPUtime=0.69 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1280 0 0 0 69 0 0 0 25 0 4 0 521262114 227807232 3565 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 222468
[startup+1.5006 s]
/proc/loadavg: 8.03 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24981356/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=223820 CPUtime=5.97 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 10660 0 0 0 596 1 0 0 20 0 4 0 521262114 229191680 5842 33554432000 4194304 4650419 140737341961552 18446744073709551615 4433081 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 55955 5842 392 112 0 50920 0
[pid=10557/tid=10558] ppid=10555 vsize=223820 CPUtime=1.49 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 2235 0 0 0 149 0 0 0 19 0 4 0 521262114 229191680 5843 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=223820 CPUtime=1.49 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 2331 0 0 0 149 0 0 0 19 0 4 0 521262114 229191680 5843 33554432000 4194304 4650419 140737341961552 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=223820 CPUtime=1.48 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 1964 0 0 0 148 0 0 0 25 0 4 0 521262114 229191680 5843 33554432000 4194304 4650419 140737341961552 18446744073709551615 4360299 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 223820
[startup+3.10031 s]
/proc/loadavg: 8.03 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24956812/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=233300 CPUtime=12.36 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 18143 0 0 0 1234 2 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4333600 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 58325 10676 392 112 0 53290 0
[pid=10557/tid=10558] ppid=10555 vsize=233300 CPUtime=3.09 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 3865 0 0 0 309 0 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=233300 CPUtime=3.08 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 4859 0 0 0 308 0 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4438378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=233300 CPUtime=3.07 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 4869 0 0 0 307 0 0 0 25 0 4 0 521262114 238899200 10676 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 233300
[startup+6.30073 s]
/proc/loadavg: 8.03 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24905200/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=234644 CPUtime=25.14 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 26818 0 0 0 2510 4 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 58661 13335 392 112 0 53626 0
[pid=10557/tid=10558] ppid=10555 vsize=234644 CPUtime=6.29 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 6680 0 0 0 628 1 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=234644 CPUtime=6.29 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 6997 0 0 0 628 1 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=234644 CPUtime=6.26 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 6996 0 0 0 625 1 0 0 25 0 4 0 521262114 240275456 13335 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 234644
[startup+12.7006 s]
/proc/loadavg: 8.02 8.11 8.08 9/188 10561
/proc/meminfo: memFree=24859700/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=248684 CPUtime=50.7 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 38214 0 0 0 5063 7 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 62171 18607 392 112 0 57136 0
[pid=10557/tid=10558] ppid=10555 vsize=248684 CPUtime=12.69 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 8965 0 0 0 1268 1 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=248684 CPUtime=12.69 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 9504 0 0 0 1267 2 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=248684 CPUtime=12.62 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 10865 0 0 0 1260 2 0 0 25 0 4 0 521262114 254652416 18607 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 248684
[startup+25.5002 s]
/proc/loadavg: 8.02 8.11 8.08 9/188 10563
/proc/meminfo: memFree=24792112/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=246820 CPUtime=101.83 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 58140 0 0 0 10170 13 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4315464 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 61705 24593 392 112 0 56670 0
[pid=10557/tid=10558] ppid=10555 vsize=246820 CPUtime=25.48 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 13580 0 0 0 2546 2 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=246820 CPUtime=25.48 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 14170 0 0 0 2545 3 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365286 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=246820 CPUtime=25.35 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 16024 0 0 0 2532 3 0 0 25 0 4 0 521262114 252743680 24593 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 246820
[startup+51.1005 s]
/proc/loadavg: 8.20 8.14 8.09 9/188 10565
/proc/meminfo: memFree=24745924/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=303056 CPUtime=204.09 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 82797 0 0 0 20389 20 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 75764 31483 392 112 0 70729 0
[pid=10557/tid=10558] ppid=10555 vsize=303056 CPUtime=51.09 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 20027 0 0 0 5105 4 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=303056 CPUtime=51.09 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 19538 0 0 0 5104 5 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=303056 CPUtime=50.81 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 22984 0 0 0 5076 5 0 0 25 0 4 0 521262114 310329344 31483 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 303056
[startup+102.307 s]
/proc/loadavg: 8.14 8.13 8.09 9/188 10567
/proc/meminfo: memFree=24691888/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=281300 CPUtime=408.63 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 127303 0 0 0 40829 34 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 70325 35455 392 112 0 65290 0
[pid=10557/tid=10558] ppid=10555 vsize=281300 CPUtime=102.29 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 30275 0 0 0 10222 7 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=281300 CPUtime=102.3 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 29932 0 0 0 10222 8 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=281300 CPUtime=101.73 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 34835 0 0 0 10164 9 0 0 25 0 4 0 521262114 288051200 35455 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 281300
[startup+162.3 s]
################
# More data... #
################
[pid=10557] ppid=10555 vsize=435696 CPUtime=2805.34 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 374119 0 0 0 280410 124 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366839 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 108924 76186 392 112 0 103889 0
[pid=10557/tid=10558] ppid=10555 vsize=435696 CPUtime=702.31 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 92921 0 0 0 70205 26 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=435696 CPUtime=702.3 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 91936 0 0 0 70196 34 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4360806 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=435696 CPUtime=698.4 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 92797 0 0 0 69811 29 0 0 25 0 4 0 521262114 446152704 76186 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 435696
[startup+762.307 s]
/proc/loadavg: 8.17 8.22 8.14 9/188 10584
/proc/meminfo: memFree=24340904/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=423824 CPUtime=3045.04 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 388922 0 0 0 304374 130 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 105956 72258 392 112 0 100921 0
[pid=10557/tid=10558] ppid=10555 vsize=423824 CPUtime=762.31 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100951 0 0 0 76204 27 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=423824 CPUtime=762.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 96327 0 0 0 76195 37 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=423824 CPUtime=758.08 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 94943 0 0 0 75778 30 0 0 25 0 4 0 521262114 433995776 72258 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 423824
[startup+822.301 s]
/proc/loadavg: 8.11 8.19 8.14 9/188 10586
/proc/meminfo: memFree=24308524/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=498204 CPUtime=3284.69 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 408412 0 0 0 328330 139 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124551 81298 392 112 0 119516 0
[pid=10557/tid=10558] ppid=10555 vsize=498204 CPUtime=822.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 108402 0 0 0 82202 30 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=498204 CPUtime=822.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 101904 0 0 0 82192 39 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=498204 CPUtime=817.75 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 94943 0 0 0 81745 30 0 0 25 0 4 0 521262114 510160896 81298 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 498204
[startup+882.301 s]
/proc/loadavg: 8.16 8.20 8.14 9/188 10587
/proc/meminfo: memFree=24279724/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=497904 CPUtime=3524.36 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 420821 0 0 0 352291 145 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476288 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124476 86045 392 112 0 119441 0
[pid=10557/tid=10558] ppid=10555 vsize=497904 CPUtime=882.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 111037 0 0 0 88201 31 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=497904 CPUtime=882.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 103440 0 0 0 88191 40 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365263 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=497904 CPUtime=877.41 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100130 0 0 0 87709 32 0 0 25 0 4 0 521262114 509853696 86045 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.36
Current children cumulated vsize (KiB) 497904
[startup+942.301 s]
/proc/loadavg: 8.17 8.20 8.15 9/188 10589
/proc/meminfo: memFree=24249208/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=510824 CPUtime=3764.04 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 425905 0 0 0 376257 147 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476311 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127706 88288 392 112 0 122671 0
[pid=10557/tid=10558] ppid=10555 vsize=510824 CPUtime=942.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 111044 0 0 0 94201 31 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=510824 CPUtime=942.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 108209 0 0 0 94189 42 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=510824 CPUtime=937.08 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100437 0 0 0 93676 32 0 0 25 0 4 0 521262114 523083776 88288 33554432000 4194304 4650419 140737341961552 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 510824
[startup+1002.3 s]
/proc/loadavg: 8.17 8.21 8.15 9/188 10591
/proc/meminfo: memFree=24246324/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=497904 CPUtime=4003.71 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 430702 0 0 0 400222 149 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124476 90224 392 112 0 119441 0
[pid=10557/tid=10558] ppid=10555 vsize=497904 CPUtime=1002.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114174 0 0 0 100200 32 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=497904 CPUtime=1002.31 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 109372 0 0 0 100188 43 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=497904 CPUtime=996.75 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100941 0 0 0 99643 32 0 0 25 0 4 0 521262114 509853696 90224 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 497904
[startup+1062.3 s]
/proc/loadavg: 8.13 8.19 8.15 9/188 10592
/proc/meminfo: memFree=24267260/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=497904 CPUtime=4243.39 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 435911 0 0 0 424187 152 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 124476 86701 392 112 0 119441 0
[pid=10557/tid=10558] ppid=10555 vsize=497904 CPUtime=1062.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114174 0 0 0 106200 32 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=497904 CPUtime=1062.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 112487 0 0 0 106187 45 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=497904 CPUtime=1056.42 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100941 0 0 0 105610 32 0 0 25 0 4 0 521262114 509853696 86701 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476288 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 497904
[startup+1122.3 s]
/proc/loadavg: 8.12 8.18 8.15 9/188 10594
/proc/meminfo: memFree=24200620/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4483.06 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 441760 0 0 0 448149 157 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365313 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 89671 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1122.32 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114364 0 0 0 112199 33 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1122.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 112186 46 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4439103 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1116.09 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100944 0 0 0 111577 32 0 0 25 0 4 0 521262114 523280384 89671 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 511016
[startup+1182.3 s]
/proc/loadavg: 8.08 8.16 8.14 9/188 10595
/proc/meminfo: memFree=24169220/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4722.74 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 446291 0 0 0 472113 161 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4355007 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 94202 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1182.33 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114364 0 0 0 118200 33 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1182.32 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 118186 46 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1175.76 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 100944 0 0 0 117544 32 0 0 25 0 4 0 521262114 523280384 94202 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 511016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1201.7 s]
/proc/loadavg: 8.12 8.17 8.14 9/188 10596
/proc/meminfo: memFree=24162880/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4800.24 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 447865 0 0 0 479862 162 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 95776 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114759 0 0 0 120140 33 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 120127 46 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1195.05 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 101081 0 0 0 119473 32 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 511016
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.12 8.17 8.14 9/188 10596
/proc/meminfo: memFree=24162880/32951124 swapFree=67111352/67111528
[pid=10557] ppid=10555 vsize=511016 CPUtime=4800.24 cores=0,2,4,6
/proc/10557/stat : 10557 (strangenight1-m) R 10555 10557 9884 0 -1 4202496 447865 0 0 0 479862 162 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10557/statm: 127754 95776 392 112 0 122719 0
[pid=10557/tid=10558] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10558/stat : 10558 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114759 0 0 0 120140 33 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=10557/tid=10559] ppid=10555 vsize=511016 CPUtime=1201.73 cores=0,2,4,6
/proc/10557/task/10559/stat : 10559 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 114454 0 0 0 120127 46 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10557/tid=10560] ppid=10555 vsize=511016 CPUtime=1195.05 cores=0,2,4,6
/proc/10557/task/10560/stat : 10560 (strangenight1-m) R 10555 10557 9884 0 -1 4202560 101081 0 0 0 119473 32 0 0 25 0 4 0 521262114 523280384 95776 33554432000 4194304 4650419 140737341961552 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 511016
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.29
CPU user time (s): 4798.65
CPU system time (s): 1.64275
CPU usage (%): 399.448
Max. virtual memory (cumulated for all children) (KiB): 523696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.65
system time used= 1.64275
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 447865
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= 545
involuntary context switches= 84256
runsolver used 1.90271 second user time and 4.67129 second system time
The end