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-3291682-1304136842/watcher-3291682-1304136842 -o /tmp/evaluation-result-3291682-1304136842/solver-3291682-1304136842 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3291682-1304136842.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: 6.85 7.82 7.81 2/174 15792
/proc/meminfo: memFree=29496772/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 412 0 0 0 0 0 0 0 21 0 4 0 506099587 52465664 352 33554432000 4194304 4650419 140734856464256 18446744073709551615 47985577379762 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 12809 352 303 112 0 7774 0
[pid=15792/tid=15793] ppid=15790 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 506099588 52465664 352 33554432000 4194304 4650419 140734856464256 18446744073709551615 47985577379762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 506099588 52465664 352 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261672945 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 506099588 52465664 352 33554432000 4194304 4650419 140734856464256 18446744073709551615 47985577379762 0 0 4096 2 0 0 0 -1 5 0 0 0
[startup+0.0825479 s]
/proc/loadavg: 6.85 7.82 7.81 2/174 15792
/proc/meminfo: memFree=29496772/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=389172 CPUtime=0.28 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) D 15790 15792 15043 0 -1 4202496 53713 0 0 0 17 11 0 0 18 0 4 0 506099587 398512128 37602 33554432000 4194304 4650419 140734856464256 18446744073709551615 4319766 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 97293 37602 341 112 0 92258 0
[pid=15792/tid=15793] ppid=15790 vsize=389172 CPUtime=0.06 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) D 15790 15792 15043 0 -1 4202560 13673 0 0 0 4 2 0 0 18 0 4 0 506099588 398512128 37090 33554432000 4194304 4650419 140734856464256 18446744073709551615 4317229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=389172 CPUtime=0.06 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) D 15790 15792 15043 0 -1 4202560 13514 0 0 0 3 3 0 0 18 0 4 0 506099588 398512128 37090 33554432000 4194304 4650419 140734856464256 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=389172 CPUtime=0.06 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 13011 0 0 0 4 2 0 0 18 0 4 0 506099588 398512128 37090 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261659783 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 389172
[startup+0.100786 s]
/proc/loadavg: 6.85 7.82 7.81 2/174 15792
/proc/meminfo: memFree=29496772/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=410172 CPUtime=0.34 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) D 15790 15792 15043 0 -1 4202496 64421 0 0 0 21 13 0 0 18 0 4 0 506099587 420016128 46169 33554432000 4194304 4650419 140734856464256 18446744073709551615 4317116 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 102543 46169 341 112 0 97508 0
[pid=15792/tid=15793] ppid=15790 vsize=410172 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) D 15790 15792 15043 0 -1 4202560 16521 0 0 0 5 3 0 0 18 0 4 0 506099588 420016128 46169 33554432000 4194304 4650419 140734856464256 18446744073709551615 4317116 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=410172 CPUtime=0.08 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) D 15790 15792 15043 0 -1 4202560 16129 0 0 0 4 4 0 0 18 0 4 0 506099588 420016128 46169 33554432000 4194304 4650419 140734856464256 18446744073709551615 4319147 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=417464 CPUtime=0.07 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 15496 0 0 0 5 2 0 0 17 0 4 0 506099588 427483136 46169 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261674410 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 410172
[startup+0.306462 s]
/proc/loadavg: 6.85 7.82 7.81 2/174 15792
/proc/meminfo: memFree=29496772/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=563728 CPUtime=1.03 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 96697 0 0 0 75 28 0 0 18 0 4 0 506099587 577257472 78107 33554432000 4194304 4650419 140734856464256 18446744073709551615 4372439 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 140932 78129 345 112 0 135897 0
[pid=15792/tid=15793] ppid=15790 vsize=563728 CPUtime=0.25 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) S 15790 15792 15043 0 -1 4202560 25310 0 0 0 18 7 0 0 18 0 4 0 506099588 577257472 78130 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261721582 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=563728 CPUtime=0.25 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) S 15790 15792 15043 0 -1 4202560 23821 0 0 0 18 7 0 0 18 0 4 0 506099588 577257472 78130 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261721582 0 0 4096 2 18446604471119554496 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=563728 CPUtime=0.23 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) S 15790 15792 15043 0 -1 4202560 23689 0 0 0 19 4 0 0 18 0 4 0 506099588 577257472 78177 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261721582 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 563728
[startup+0.700367 s]
/proc/loadavg: 6.85 7.82 7.81 2/174 15792
/proc/meminfo: memFree=29496772/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=586068 CPUtime=2.22 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) S 15790 15792 15043 0 -1 4202496 117234 0 0 0 163 59 0 0 18 0 4 0 506099587 600133632 98644 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261721582 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 146517 98644 345 112 0 141482 0
[pid=15792/tid=15793] ppid=15790 vsize=586068 CPUtime=0.55 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) S 15790 15792 15043 0 -1 4202560 30588 0 0 0 40 15 0 0 18 0 4 0 506099588 600133632 98644 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261721582 0 0 4096 2 18446604471119554496 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=586068 CPUtime=0.56 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 29247 0 0 0 42 14 0 0 18 0 4 0 506099588 600133632 98644 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261272533 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=586068 CPUtime=0.53 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) S 15790 15792 15043 0 -1 4202560 28481 0 0 0 40 13 0 0 18 0 4 0 506099588 600133632 98644 33554432000 4194304 4650419 140734856464256 18446744073709551615 254261721582 0 0 4096 2 18446604471119554496 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 586068
[startup+1.50023 s]
/proc/loadavg: 6.63 7.76 7.79 9/184 15805
/proc/meminfo: memFree=28625204/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=782868 CPUtime=5.36 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 122611 0 0 0 465 71 0 0 18 0 4 0 506099587 801656832 103640 33554432000 4194304 4650419 140734856464256 18446744073709551615 4369376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 195717 103640 369 112 0 190682 0
[pid=15792/tid=15793] ppid=15790 vsize=782868 CPUtime=1.32 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 31559 0 0 0 115 17 0 0 18 0 4 0 506099588 801656832 103640 33554432000 4194304 4650419 140734856464256 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=782868 CPUtime=1.34 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 30253 0 0 0 117 17 0 0 18 0 4 0 506099588 801656832 103640 33554432000 4194304 4650419 140734856464256 18446744073709551615 4302838 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=782868 CPUtime=1.32 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 31303 0 0 0 115 17 0 0 18 0 4 0 506099588 801656832 103640 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364883 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.36
Current children cumulated vsize (KiB) 782868
[startup+3.10095 s]
/proc/loadavg: 6.63 7.76 7.79 9/184 15805
/proc/meminfo: memFree=28332688/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=797340 CPUtime=11.76 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 138477 0 0 0 1103 73 0 0 22 0 4 0 506099587 816476160 112168 33554432000 4194304 4650419 140734856464256 18446744073709551615 4370875 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 199335 112168 373 112 0 194300 0
[pid=15792/tid=15793] ppid=15790 vsize=797340 CPUtime=2.93 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 36702 0 0 0 275 18 0 0 21 0 4 0 506099588 816476160 112168 33554432000 4194304 4650419 140734856464256 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=797340 CPUtime=2.94 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 35554 0 0 0 276 18 0 0 21 0 4 0 506099588 816476160 112168 33554432000 4194304 4650419 140734856464256 18446744073709551615 4370340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=797340 CPUtime=2.92 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 31545 0 0 0 275 17 0 0 21 0 4 0 506099588 816476160 112168 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364503 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 11.76
Current children cumulated vsize (KiB) 797340
[startup+6.30038 s]
/proc/loadavg: 6.63 7.76 7.79 9/184 15805
/proc/meminfo: memFree=28233124/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=797340 CPUtime=24.54 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 139230 0 0 0 2380 74 0 0 25 0 4 0 506099587 816476160 112921 33554432000 4194304 4650419 140734856464256 18446744073709551615 4244776 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 199335 112921 373 112 0 194300 0
[pid=15792/tid=15793] ppid=15790 vsize=797340 CPUtime=6.13 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 36783 0 0 0 595 18 0 0 25 0 4 0 506099588 816476160 112921 33554432000 4194304 4650419 140734856464256 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=797340 CPUtime=6.11 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 35653 0 0 0 593 18 0 0 25 0 4 0 506099588 816476160 112921 33554432000 4194304 4650419 140734856464256 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=797340 CPUtime=6.12 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 31993 0 0 0 595 17 0 0 25 0 4 0 506099588 816476160 112921 33554432000 4194304 4650419 140734856464256 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 24.54
Current children cumulated vsize (KiB) 797340
[startup+12.7002 s]
/proc/loadavg: 6.84 7.77 7.79 9/184 15805
/proc/meminfo: memFree=28203376/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=798996 CPUtime=50.1 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 141884 0 0 0 4935 75 0 0 25 0 4 0 506099587 818171904 115575 33554432000 4194304 4650419 140734856464256 18446744073709551615 4369397 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 199749 115575 373 112 0 194714 0
[pid=15792/tid=15793] ppid=15790 vsize=798996 CPUtime=12.53 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 37007 0 0 0 1235 18 0 0 25 0 4 0 506099588 818171904 115575 33554432000 4194304 4650419 140734856464256 18446744073709551615 4370329 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=798996 CPUtime=12.49 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 35888 0 0 0 1230 19 0 0 25 0 4 0 506099588 818171904 115575 33554432000 4194304 4650419 140734856464256 18446744073709551615 4369376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=798996 CPUtime=12.52 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 34030 0 0 0 1234 18 0 0 25 0 4 0 506099588 818171904 115575 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364944 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.1
Current children cumulated vsize (KiB) 798996
[startup+25.501 s]
/proc/loadavg: 7.02 7.77 7.80 9/184 15805
/proc/meminfo: memFree=27766160/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=913100 CPUtime=101.22 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 186121 0 0 0 10036 86 0 0 25 0 4 0 506099587 935014400 159805 33554432000 4194304 4650419 140734856464256 18446744073709551615 4550442 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 228275 159805 385 112 0 223240 0
[pid=15792/tid=15793] ppid=15790 vsize=913100 CPUtime=25.33 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 48694 0 0 0 2511 22 0 0 25 0 4 0 506099588 935014400 159805 33554432000 4194304 4650419 140734856464256 18446744073709551615 4550430 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=913100 CPUtime=25.2 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 48046 0 0 0 2499 21 0 0 25 0 4 0 506099588 935014400 159805 33554432000 4194304 4650419 140734856464256 18446744073709551615 4550430 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=913100 CPUtime=25.32 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 41147 0 0 0 2512 20 0 0 25 0 4 0 506099588 935014400 159805 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364352 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 913100
[startup+51.1004 s]
/proc/loadavg: 7.35 7.79 7.80 9/184 15806
/proc/meminfo: memFree=27567104/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=1107248 CPUtime=203.44 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 736901 0 0 0 20188 156 0 0 25 0 4 0 506099587 1133821952 204347 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364170 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 276812 204347 396 112 0 271777 0
[pid=15792/tid=15793] ppid=15790 vsize=1107248 CPUtime=50.91 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 67271 0 0 0 5065 26 0 0 25 0 4 0 506099588 1133821952 204347 33554432000 4194304 4650419 140734856464256 18446744073709551615 4363924 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=1107248 CPUtime=50.66 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 65267 0 0 0 5040 26 0 0 25 0 4 0 506099588 1133821952 204347 33554432000 4194304 4650419 140734856464256 18446744073709551615 4363510 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=1107248 CPUtime=50.92 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 537913 0 0 0 5014 78 0 0 25 0 4 0 506099588 1133821952 204347 33554432000 4194304 4650419 140734856464256 18446744073709551615 4258561 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.44
Current children cumulated vsize (KiB) 1107248
[startup+102.306 s]
/proc/loadavg: 7.74 7.82 7.81 9/184 15807
/proc/meminfo: memFree=26740336/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=1740512 CPUtime=407.96 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 1067359 0 0 0 40582 214 0 0 25 0 4 0 506099587 1782284288 346272 33554432000 4194304 4650419 140734856464256 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 435128 346272 396 112 0 430093 0
[pid=15792/tid=15793] ppid=15790 vsize=1740512 CPUtime=102.1 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 94124 0 0 0 10179 31 0 0 25 0 4 0 506099588 1782284288 346272 33554432000 4194304 4650419 140734856464256 18446744073709551615 4366192 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=1740512 CPUtime=101.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 112006 0 0 0 10128 37 0 0 25 0 4 0 506099588 1782284288 346272 33554432000 4194304 4650419 140734856464256 18446744073709551615 4367329 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=1740512 CPUtime=102.05 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 710618 0 0 0 10098 107 0 0 25 0 4 0 506099588 1782284288 346272 33554432000 4194304 4650419 140734856464256 18446744073709551615 4550132 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 1740512
[startup+162.301 s]
################
# More data... #
################
[startup+702.301 s]
/proc/loadavg: 8.29 8.07 7.93 9/184 15826
/proc/meminfo: memFree=22244440/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=4712036 CPUtime=2803.8 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2372059 0 0 0 279803 577 0 0 25 0 4 0 506099587 4825124864 982363 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1178009 982363 410 112 0 1172974 0
[pid=15792/tid=15793] ppid=15790 vsize=4712036 CPUtime=698.92 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 361266 0 0 0 69773 119 0 0 25 0 4 0 506099588 4825124864 982363 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=4712036 CPUtime=701.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 389433 0 0 0 70032 133 0 0 25 0 4 0 506099588 4825124864 982363 33554432000 4194304 4650419 140734856464256 18446744073709551615 4331981 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=4712036 CPUtime=701.57 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1110357 0 0 0 69980 177 0 0 25 0 4 0 506099588 4825124864 982363 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2803.8
Current children cumulated vsize (KiB) 4712036
[startup+762.307 s]
/proc/loadavg: 8.15 8.07 7.93 9/184 15828
/proc/meminfo: memFree=22195784/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=4777572 CPUtime=3043.51 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2428502 0 0 0 303749 602 0 0 25 0 4 0 506099587 4892233728 991271 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1194393 991271 396 112 0 1189358 0
[pid=15792/tid=15793] ppid=15790 vsize=4777572 CPUtime=758.6 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 380938 0 0 0 75734 126 0 0 25 0 4 0 506099588 4892233728 991271 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=4777572 CPUtime=761.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 410312 0 0 0 76019 146 0 0 25 0 4 0 506099588 4892233728 991271 33554432000 4194304 4650419 140734856464256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=4777572 CPUtime=761.57 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1115198 0 0 0 75978 179 0 0 25 0 4 0 506099588 4892233728 991271 33554432000 4194304 4650419 140734856464256 18446744073709551615 4348258 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3043.51
Current children cumulated vsize (KiB) 4777572
[startup+822.301 s]
/proc/loadavg: 5.98 7.51 7.75 5/175 15847
/proc/meminfo: memFree=25457448/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=4843108 CPUtime=3283.16 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2479337 0 0 0 327691 625 0 0 25 0 4 0 506099587 4959342592 1012422 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1210777 1012422 396 112 0 1205742 0
[pid=15792/tid=15793] ppid=15790 vsize=4843108 CPUtime=818.27 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 402352 0 0 0 81692 135 0 0 25 0 4 0 506099588 4959342592 1012422 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364340 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=4843108 CPUtime=821.64 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 424644 0 0 0 82008 156 0 0 25 0 4 0 506099588 4959342592 1012422 33554432000 4194304 4650419 140734856464256 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=4843108 CPUtime=821.57 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1129471 0 0 0 81973 184 0 0 25 0 4 0 506099588 4959342592 1012422 33554432000 4194304 4650419 140734856464256 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3283.16
Current children cumulated vsize (KiB) 4843108
[startup+882.3 s]
/proc/loadavg: 4.76 6.88 7.52 5/175 15848
/proc/meminfo: memFree=25456436/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=4936120 CPUtime=3522.84 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2537022 0 0 0 351630 654 0 0 25 0 4 0 506099587 5054586880 1012521 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476519 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1234030 1012521 396 112 0 1228995 0
[pid=15792/tid=15793] ppid=15790 vsize=4936120 CPUtime=877.94 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 431150 0 0 0 87647 147 0 0 25 0 4 0 506099588 5054586880 1012521 33554432000 4194304 4650419 140734856464256 18446744073709551615 4329693 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=4936120 CPUtime=881.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 442776 0 0 0 87997 168 0 0 25 0 4 0 506099588 5054586880 1012521 33554432000 4194304 4650419 140734856464256 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=4936120 CPUtime=881.57 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1140163 0 0 0 87968 189 0 0 25 0 4 0 506099588 5054586880 1012521 33554432000 4194304 4650419 140734856464256 18446744073709551615 4310752 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3522.84
Current children cumulated vsize (KiB) 4936120
[startup+942.301 s]
/proc/loadavg: 4.28 6.36 7.29 5/175 15850
/proc/meminfo: memFree=25424296/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=5001648 CPUtime=3762.52 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2592708 0 0 0 375572 680 0 0 25 0 4 0 506099587 5121687552 1020569 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1250412 1020569 396 112 0 1245377 0
[pid=15792/tid=15793] ppid=15790 vsize=5001648 CPUtime=937.62 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 451460 0 0 0 93607 155 0 0 25 0 4 0 506099588 5121687552 1020569 33554432000 4194304 4650419 140734856464256 18446744073709551615 4315069 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=5001648 CPUtime=941.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 470120 0 0 0 93982 183 0 0 25 0 4 0 506099588 5121687552 1020569 33554432000 4194304 4650419 140734856464256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=5001648 CPUtime=941.57 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1148195 0 0 0 93965 192 0 0 25 0 4 0 506099588 5121687552 1020569 33554432000 4194304 4650419 140734856464256 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3762.52
Current children cumulated vsize (KiB) 5001648
[startup+1002.3 s]
/proc/loadavg: 4.10 5.92 7.08 5/175 15851
/proc/meminfo: memFree=25327196/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=5085052 CPUtime=4002.19 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2640243 0 0 0 399515 704 0 0 25 0 4 0 506099587 5207093248 1044732 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1271263 1044732 396 112 0 1266228 0
[pid=15792/tid=15793] ppid=15790 vsize=5085052 CPUtime=997.29 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 464923 0 0 0 99565 164 0 0 25 0 4 0 506099588 5207093248 1044732 33554432000 4194304 4650419 140734856464256 18446744073709551615 4315114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=5085052 CPUtime=1001.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 488818 0 0 0 99970 195 0 0 25 0 4 0 506099588 5207093248 1044732 33554432000 4194304 4650419 140734856464256 18446744073709551615 4315992 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=5085052 CPUtime=1001.58 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1163569 0 0 0 99963 195 0 0 25 0 4 0 506099588 5207093248 1044732 33554432000 4194304 4650419 140734856464256 18446744073709551615 4369186 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4002.19
Current children cumulated vsize (KiB) 5085052
[startup+1062.3 s]
/proc/loadavg: 4.04 5.57 6.89 5/175 15853
/proc/meminfo: memFree=25143640/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=5216308 CPUtime=4241.88 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2738304 0 0 0 423451 737 0 0 25 0 4 0 506099587 5341499392 1090304 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476514 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1304077 1090304 400 112 0 1299042 0
[pid=15792/tid=15793] ppid=15790 vsize=5216308 CPUtime=1056.96 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 489361 0 0 0 105521 175 0 0 25 0 4 0 506099588 5341499392 1090304 33554432000 4194304 4650419 140734856464256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=5216308 CPUtime=1061.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 557112 0 0 0 105952 213 0 0 25 0 4 0 506099588 5341499392 1090304 33554432000 4194304 4650419 140734856464256 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=5216308 CPUtime=1061.58 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1168898 0 0 0 105960 198 0 0 25 0 4 0 506099588 5341499392 1090304 33554432000 4194304 4650419 140734856464256 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4241.88
Current children cumulated vsize (KiB) 5216308
[startup+1122.3 s]
/proc/loadavg: 4.01 5.28 6.70 5/175 15855
/proc/meminfo: memFree=25137792/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=5151516 CPUtime=4481.55 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 2906136 0 0 0 447377 778 0 0 25 0 4 0 506099587 5275152384 1092046 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1287879 1092046 396 112 0 1282844 0
[pid=15792/tid=15793] ppid=15790 vsize=5151516 CPUtime=1116.64 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 522588 0 0 0 111469 195 0 0 25 0 4 0 506099588 5275152384 1092046 33554432000 4194304 4650419 140734856464256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=5151516 CPUtime=1121.66 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 674951 0 0 0 111937 229 0 0 25 0 4 0 506099588 5275152384 1092046 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=5151516 CPUtime=1121.57 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1185664 0 0 0 111953 204 0 0 25 0 4 0 506099588 5275152384 1092046 33554432000 4194304 4650419 140734856464256 18446744073709551615 4315074 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4481.55
Current children cumulated vsize (KiB) 5151516
[startup+1182.3 s]
/proc/loadavg: 4.00 5.05 6.53 5/175 15856
/proc/meminfo: memFree=25057908/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=5339868 CPUtime=4721.24 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 3048492 0 0 0 471306 818 0 0 25 0 4 0 506099587 5468024832 1111961 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476502 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1334967 1111961 396 112 0 1329932 0
[pid=15792/tid=15793] ppid=15790 vsize=5339868 CPUtime=1176.32 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 554965 0 0 0 117416 216 0 0 25 0 4 0 506099588 5468024832 1111961 33554432000 4194304 4650419 140734856464256 18446744073709551615 4361049 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=5339868 CPUtime=1181.65 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 773956 0 0 0 117924 241 0 0 25 0 4 0 506099588 5468024832 1111961 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=5339868 CPUtime=1181.57 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1196638 0 0 0 117947 210 0 0 25 0 4 0 506099588 5468024832 1111961 33554432000 4194304 4650419 140734856464256 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4721.24
Current children cumulated vsize (KiB) 5339868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.1 s]
/proc/loadavg: 4.00 4.98 6.48 5/175 15857
/proc/meminfo: memFree=25036208/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=5275004 CPUtime=4800.35 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) R 15790 15792 15043 0 -1 4202496 3091844 0 0 0 479207 828 0 0 25 0 4 0 506099587 5401604096 1117213 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476522 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 1318751 1117213 396 112 0 1313716 0
[pid=15792/tid=15793] ppid=15790 vsize=5275004 CPUtime=1196.01 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 562462 0 0 0 119381 220 0 0 25 0 4 0 506099588 5401604096 1117213 33554432000 4194304 4650419 140734856464256 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=15792/tid=15794] ppid=15790 vsize=5275004 CPUtime=1201.46 cores=1,3,5,7
/proc/15792/task/15794/stat : 15794 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 803041 0 0 0 119902 244 0 0 25 0 4 0 506099588 5401604096 1117213 33554432000 4194304 4650419 140734856464256 18446744073709551615 4476519 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15792/tid=15795] ppid=15790 vsize=5275004 CPUtime=1201.38 cores=1,3,5,7
/proc/15792/task/15795/stat : 15795 (strangenight1-m) R 15790 15792 15043 0 -1 4202560 1203408 0 0 0 119926 212 0 0 25 0 4 0 506099588 5401604096 1117213 33554432000 4194304 4650419 140734856464256 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 5275004
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.21 s]
/proc/loadavg: 4.00 4.98 6.48 2/174 15858
/proc/meminfo: memFree=27344600/32951124 swapFree=67111348/67111528
[pid=15792] ppid=15790 vsize=0 CPUtime=4800.47 cores=1,3,5,7
/proc/15792/stat : 15792 (strangenight1-m) Z 15790 15792 15043 0 -1 4203548 3091846 0 0 0 479209 838 0 0 25 0 2 0 506099587 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/15792/statm: 0 0 0 0 0 0 0
[pid=15792/tid=15793] ppid=15790 vsize=0 CPUtime=1196.12 cores=1,3,5,7
/proc/15792/task/15793/stat : 15793 (strangenight1-m) R 15790 15792 15043 0 -1 4203588 562464 0 0 0 119381 231 0 0 25 0 2 0 506099588 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.47
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.3
CPU time (s): 4800.56
CPU user time (s): 4792.1
CPU system time (s): 8.46571
CPU usage (%): 399.283
Max. virtual memory (cumulated for all children) (KiB): 5340032
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4792.1
system time used= 8.46571
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3091846
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= 37024
involuntary context switches= 32206
runsolver used 1.76473 second user time and 4.81627 second system time
The end