runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 961)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366846-1305416451/watcher-3366846-1305416451 -o /tmp/evaluation-result-3366846-1305416451/solver-3366846-1305416451 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366846-1305416451.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: 8.28 8.10 6.13 5/265 18177
/proc/meminfo: memFree=23418744/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 653243267 52396032 347 33554432000 4194304 4580107 140734598902016 18446744073709551615 47097329780658 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 12792 347 299 95 0 7774 0
[pid=18177/tid=18178] ppid=18175 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653243267 52396032 347 33554432000 4194304 4580107 140734598902016 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 653243267 52396032 347 33554432000 4194304 4580107 140734598902016 18446744073709551615 47097329780658 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653243267 52396032 347 33554432000 4194304 4580107 140734598902016 18446744073709551615 47097329780658 0 0 4096 2 0 0 0 -1 0 0 0 0
[startup+0.115815 s]
/proc/loadavg: 8.28 8.10 6.13 5/265 18177
/proc/meminfo: memFree=23418744/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=282324 CPUtime=0.43 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 2201 0 0 0 43 0 0 0 25 0 4 0 653243267 289099776 2118 33554432000 4194304 4580107 140734598902016 18446744073709551615 4324523 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 70581 2118 377 95 0 65563 0
[pid=18177/tid=18178] ppid=18175 vsize=282324 CPUtime=0.1 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 442 0 0 0 10 0 0 0 25 0 4 0 653243267 289099776 2118 33554432000 4194304 4580107 140734598902016 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=282324 CPUtime=0.1 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 470 0 0 0 10 0 0 0 25 0 4 0 653243267 289099776 2118 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=282324 CPUtime=0.11 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 396 0 0 0 11 0 0 0 25 0 4 0 653243267 289099776 2119 33554432000 4194304 4580107 140734598902016 18446744073709551615 246516495393 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282324
[startup+0.200221 s]
/proc/loadavg: 8.28 8.10 6.13 5/265 18177
/proc/meminfo: memFree=23418744/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=283164 CPUtime=0.77 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 2979 0 0 0 77 0 0 0 25 0 4 0 653243267 289959936 2570 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 70791 2570 377 95 0 65773 0
[pid=18177/tid=18178] ppid=18175 vsize=283164 CPUtime=0.18 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 607 0 0 0 18 0 0 0 25 0 4 0 653243267 289959936 2570 33554432000 4194304 4580107 140734598902016 18446744073709551615 4324233 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=283164 CPUtime=0.19 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 631 0 0 0 19 0 0 0 25 0 4 0 653243267 289959936 2570 33554432000 4194304 4580107 140734598902016 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=283164 CPUtime=0.19 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 528 0 0 0 19 0 0 0 25 0 4 0 653243267 289959936 2570 33554432000 4194304 4580107 140734598902016 18446744073709551615 4316717 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283164
[startup+0.300203 s]
/proc/loadavg: 8.28 8.10 6.13 5/265 18177
/proc/meminfo: memFree=23418744/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=285592 CPUtime=1.17 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 4088 0 0 0 117 0 0 0 25 0 4 0 653243267 292446208 2576 33554432000 4194304 4580107 140734598902016 18446744073709551615 4489504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 71398 2576 377 95 0 66380 0
[pid=18177/tid=18178] ppid=18175 vsize=285592 CPUtime=0.28 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 906 0 0 0 28 0 0 0 25 0 4 0 653243267 292446208 2576 33554432000 4194304 4580107 140734598902016 18446744073709551615 4324770 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=285592 CPUtime=0.29 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 968 0 0 0 29 0 0 0 25 0 4 0 653243267 292446208 2577 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=285592 CPUtime=0.29 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 795 0 0 0 29 0 0 0 25 0 4 0 653243267 292446208 2577 33554432000 4194304 4580107 140734598902016 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 285592
[startup+0.701131 s]
/proc/loadavg: 8.28 8.10 6.13 5/265 18177
/proc/meminfo: memFree=23418744/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=287988 CPUtime=2.78 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 7589 0 0 0 277 1 0 0 25 0 4 0 653243267 294899712 3632 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 71997 3632 377 95 0 66979 0
[pid=18177/tid=18178] ppid=18175 vsize=287988 CPUtime=0.68 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 1728 0 0 0 68 0 0 0 25 0 4 0 653243267 294899712 3632 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=287988 CPUtime=0.69 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 1739 0 0 0 69 0 0 0 25 0 4 0 653243267 294899712 3632 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=287988 CPUtime=0.69 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 1935 0 0 0 69 0 0 0 25 0 4 0 653243267 294899712 3632 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 287988
[startup+1.50099 s]
/proc/loadavg: 8.28 8.10 6.13 9/269 18181
/proc/meminfo: memFree=23391308/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=290200 CPUtime=5.96 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 13321 0 0 0 595 1 0 0 25 0 4 0 653243267 297164800 5321 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 72550 5321 378 95 0 67532 0
[pid=18177/tid=18178] ppid=18175 vsize=290200 CPUtime=1.47 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 2990 0 0 0 147 0 0 0 25 0 4 0 653243267 297164800 5321 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=290200 CPUtime=1.49 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 2944 0 0 0 149 0 0 0 25 0 4 0 653243267 297164800 5321 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=290200 CPUtime=1.49 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 4012 0 0 0 149 0 0 0 25 0 4 0 653243267 297164800 5322 33554432000 4194304 4580107 140734598902016 18446744073709551615 4318281 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 290200
[startup+3.1007 s]
/proc/loadavg: 8.28 8.10 6.13 9/269 18181
/proc/meminfo: memFree=23385356/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=308956 CPUtime=12.36 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 29014 0 0 0 1232 4 0 0 25 0 4 0 653243267 316370944 13578 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406375 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 77239 13578 379 95 0 72221 0
[pid=18177/tid=18178] ppid=18175 vsize=308956 CPUtime=3.06 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 8065 0 0 0 305 1 0 0 25 0 4 0 653243267 316370944 13578 33554432000 4194304 4580107 140734598902016 18446744073709551615 4413363 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=308956 CPUtime=3.08 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 5447 0 0 0 308 0 0 0 25 0 4 0 653243267 316370944 13578 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=308956 CPUtime=3.09 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 7127 0 0 0 308 1 0 0 25 0 4 0 653243267 316370944 13578 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 308956
[startup+6.30111 s]
/proc/loadavg: 8.34 8.12 6.15 9/269 18181
/proc/meminfo: memFree=23317284/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=320580 CPUtime=25.13 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 45435 0 0 0 2506 7 0 0 25 0 4 0 653243267 328273920 23376 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 80145 23376 379 95 0 75127 0
[pid=18177/tid=18178] ppid=18175 vsize=320580 CPUtime=6.23 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 11613 0 0 0 622 1 0 0 25 0 4 0 653243267 328273920 23376 33554432000 4194304 4580107 140734598902016 18446744073709551615 4316636 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=320580 CPUtime=6.28 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 11710 0 0 0 627 1 0 0 25 0 4 0 653243267 328273920 23376 33554432000 4194304 4580107 140734598902016 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=320580 CPUtime=6.29 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 11292 0 0 0 627 2 0 0 25 0 4 0 653243267 328273920 23376 33554432000 4194304 4580107 140734598902016 18446744073709551615 4317016 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 320580
[startup+12.701 s]
/proc/loadavg: 8.31 8.12 6.16 9/269 18181
/proc/meminfo: memFree=23240968/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=314788 CPUtime=50.67 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 75024 0 0 0 5053 14 0 0 25 0 4 0 653243267 322342912 41171 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 78697 41171 379 95 0 73679 0
[pid=18177/tid=18178] ppid=18175 vsize=314788 CPUtime=12.58 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 18732 0 0 0 1256 2 0 0 25 0 4 0 653243267 322342912 41171 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=314788 CPUtime=12.68 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 17448 0 0 0 1265 3 0 0 25 0 4 0 653243267 322342912 41171 33554432000 4194304 4580107 140734598902016 18446744073709551615 4401323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=314788 CPUtime=12.69 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 23698 0 0 0 1264 5 0 0 25 0 4 0 653243267 322342912 41172 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 314788
[startup+25.5006 s]
/proc/loadavg: 8.24 8.11 6.19 9/269 18181
/proc/meminfo: memFree=23167560/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=367420 CPUtime=101.76 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 108149 0 0 0 10156 20 0 0 25 0 4 0 653243267 376238080 58992 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 91855 58992 379 95 0 86837 0
[pid=18177/tid=18178] ppid=18175 vsize=367420 CPUtime=25.27 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 28366 0 0 0 2522 5 0 0 25 0 4 0 653243267 376238080 58992 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=367420 CPUtime=25.48 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 28593 0 0 0 2544 4 0 0 25 0 4 0 653243267 376238080 58992 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=367420 CPUtime=25.49 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 31102 0 0 0 2542 7 0 0 25 0 4 0 653243267 376238080 58992 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.76
Current children cumulated vsize (KiB) 367420
[startup+51.101 s]
/proc/loadavg: 8.30 8.13 6.25 9/269 18182
/proc/meminfo: memFree=23035352/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=481476 CPUtime=203.96 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 167387 0 0 0 20359 37 0 0 25 0 4 0 653243267 493031424 87862 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 120369 87862 379 95 0 115351 0
[pid=18177/tid=18178] ppid=18175 vsize=481476 CPUtime=50.66 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 44388 0 0 0 5058 8 0 0 25 0 4 0 653243267 493031424 87862 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=481476 CPUtime=51.08 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 41425 0 0 0 5099 9 0 0 25 0 4 0 653243267 493031424 87862 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=481476 CPUtime=51.09 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 56669 0 0 0 5095 14 0 0 25 0 4 0 653243267 493031424 87862 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.96
Current children cumulated vsize (KiB) 481476
[startup+102.301 s]
/proc/loadavg: 8.30 8.16 6.35 10/269 18183
/proc/meminfo: memFree=22918264/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=698076 CPUtime=408.35 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 284267 0 0 0 40773 62 0 0 25 0 4 0 653243267 714829824 107052 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 174519 107052 379 95 0 169501 0
[pid=18177/tid=18178] ppid=18175 vsize=698076 CPUtime=101.44 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 69062 0 0 0 10130 14 0 0 25 0 4 0 653243267 714829824 107052 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=698076 CPUtime=102.28 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 77861 0 0 0 10212 16 0 0 25 0 4 0 653243267 714829824 107052 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=698076 CPUtime=102.29 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 101189 0 0 0 10206 23 0 0 25 0 4 0 653243267 714829824 107052 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.35
Current children cumulated vsize (KiB) 698076
[startup+162.301 s]
################
# More data... #
################
[pid=18177] ppid=18175 vsize=1552244 CPUtime=2803.32 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1258969 0 0 0 280010 322 0 0 25 0 4 0 653243267 1589497856 264633 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 388061 264633 379 95 0 383043 0
[pid=18177/tid=18178] ppid=18175 vsize=1552244 CPUtime=696.43 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 265622 0 0 0 69576 67 0 0 25 0 4 0 653243267 1589497856 264633 33554432000 4194304 4580107 140734598902016 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=1552244 CPUtime=702.28 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 422361 0 0 0 70119 109 0 0 25 0 4 0 653243267 1589497856 264633 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=1552244 CPUtime=702.29 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 409160 0 0 0 70122 107 0 0 25 0 4 0 653243267 1589497856 264633 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2803.32
Current children cumulated vsize (KiB) 1552244
[startup+762.3 s]
/proc/loadavg: 8.14 8.17 7.27 9/269 18231
/proc/meminfo: memFree=21994700/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=1490380 CPUtime=3042.85 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1342814 0 0 0 303945 340 0 0 25 0 4 0 653243267 1526149120 266975 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 372595 266975 379 95 0 367577 0
[pid=18177/tid=18178] ppid=18175 vsize=1490380 CPUtime=755.94 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 291672 0 0 0 75521 73 0 0 25 0 4 0 653243267 1526149120 266975 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=1490380 CPUtime=762.29 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 444710 0 0 0 76117 112 0 0 25 0 4 0 653243267 1526149120 266975 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=1490380 CPUtime=762.3 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 437248 0 0 0 76117 113 0 0 25 0 4 0 653243267 1526149120 266975 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3042.85
Current children cumulated vsize (KiB) 1490380
[startup+822.301 s]
/proc/loadavg: 8.35 8.23 7.34 9/269 18233
/proc/meminfo: memFree=21800864/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=1735344 CPUtime=3282.31 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1427736 0 0 0 327867 364 0 0 25 0 4 0 653243267 1776992256 314689 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406480 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 433836 314689 379 95 0 428818 0
[pid=18177/tid=18178] ppid=18175 vsize=1735344 CPUtime=815.42 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 305009 0 0 0 81464 78 0 0 25 0 4 0 653243267 1776992256 314689 33554432000 4194304 4580107 140734598902016 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=1735344 CPUtime=822.28 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 473151 0 0 0 82106 122 0 0 25 0 4 0 653243267 1776992256 314689 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=1735344 CPUtime=822.29 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 469385 0 0 0 82110 119 0 0 25 0 4 0 653243267 1776992256 314689 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3282.31
Current children cumulated vsize (KiB) 1735344
[startup+882.31 s]
/proc/loadavg: 8.24 8.21 7.39 9/269 18234
/proc/meminfo: memFree=21791924/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=1643584 CPUtime=3521.8 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1474315 0 0 0 351788 392 0 0 25 0 4 0 653243267 1683030016 311747 33554432000 4194304 4580107 140734598902016 18446744073709551615 4416310 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 410896 311747 379 95 0 405878 0
[pid=18177/tid=18178] ppid=18175 vsize=1643584 CPUtime=874.88 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 332146 0 0 0 87396 92 0 0 25 0 4 0 653243267 1683030016 311747 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=1643584 CPUtime=882.3 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 490286 0 0 0 88095 135 0 0 25 0 4 0 653243267 1683030016 311747 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=1643584 CPUtime=882.31 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 471692 0 0 0 88110 121 0 0 25 0 4 0 653243267 1683030016 311747 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3521.8
Current children cumulated vsize (KiB) 1643584
[startup+942.301 s]
/proc/loadavg: 8.35 8.25 7.45 9/269 18236
/proc/meminfo: memFree=21667148/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=1814620 CPUtime=3761.28 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1573501 0 0 0 375713 415 0 0 25 0 4 0 653243267 1858170880 342025 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 453655 342025 379 95 0 448637 0
[pid=18177/tid=18178] ppid=18175 vsize=1814620 CPUtime=934.38 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 361634 0 0 0 93339 99 0 0 25 0 4 0 653243267 1858170880 342025 33554432000 4194304 4580107 140734598902016 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=1814620 CPUtime=942.28 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 519644 0 0 0 94089 139 0 0 25 0 4 0 653243267 1858170880 342025 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406368 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=1814620 CPUtime=942.3 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 493984 0 0 0 94103 127 0 0 25 0 4 0 653243267 1858170880 342025 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3761.28
Current children cumulated vsize (KiB) 1814620
[startup+1002.3 s]
/proc/loadavg: 8.23 8.23 7.49 9/269 18237
/proc/meminfo: memFree=21511756/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=2005120 CPUtime=4000.78 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1612135 0 0 0 399640 438 0 0 25 0 4 0 653243267 2053242880 362429 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294517 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 501280 362429 379 95 0 496262 0
[pid=18177/tid=18178] ppid=18175 vsize=2005120 CPUtime=993.88 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 381898 0 0 0 99284 104 0 0 25 0 4 0 653243267 2053242880 362429 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=2005120 CPUtime=1002.28 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 519644 0 0 0 100089 139 0 0 25 0 4 0 653243267 2053242880 362429 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406483 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=2005120 CPUtime=1002.3 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 501354 0 0 0 100096 134 0 0 25 0 4 0 653243267 2053242880 362429 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4000.78
Current children cumulated vsize (KiB) 2005120
[startup+1062.3 s]
/proc/loadavg: 8.26 8.23 7.54 9/269 18239
/proc/meminfo: memFree=21454812/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=2034688 CPUtime=4240.28 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1630611 0 0 0 423576 452 0 0 25 0 4 0 653243267 2083520512 372241 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 508672 372241 379 95 0 503654 0
[pid=18177/tid=18178] ppid=18175 vsize=2034688 CPUtime=1053.37 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 382800 0 0 0 105232 105 0 0 25 0 4 0 653243267 2083520512 372241 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=2034688 CPUtime=1062.29 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 519644 0 0 0 106089 140 0 0 25 0 4 0 653243267 2083520512 372241 33554432000 4194304 4580107 140734598902016 18446744073709551615 4451895 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=2034688 CPUtime=1062.3 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 514021 0 0 0 106087 143 0 0 25 0 4 0 653243267 2083520512 372241 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4240.28
Current children cumulated vsize (KiB) 2034688
[startup+1122.3 s]
/proc/loadavg: 8.09 8.19 7.56 9/269 18241
/proc/meminfo: memFree=21493968/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=2124236 CPUtime=4479.77 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1704753 0 0 0 447497 480 0 0 25 0 4 0 653243267 2175217664 373172 33554432000 4194304 4580107 140734598902016 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 531059 373172 379 95 0 526041 0
[pid=18177/tid=18178] ppid=18175 vsize=2124236 CPUtime=1112.86 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 406221 0 0 0 111173 113 0 0 25 0 4 0 653243267 2175217664 373172 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=2124236 CPUtime=1122.29 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 535792 0 0 0 112084 145 0 0 25 0 4 0 653243267 2175217664 373172 33554432000 4194304 4580107 140734598902016 18446744073709551615 4321079 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=2124236 CPUtime=1122.3 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 519529 0 0 0 112086 144 0 0 25 0 4 0 653243267 2175217664 373173 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406368 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4479.77
Current children cumulated vsize (KiB) 2124236
[startup+1182.3 s]
/proc/loadavg: 8.18 8.19 7.60 9/269 18242
/proc/meminfo: memFree=21474604/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=2011092 CPUtime=4719.28 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1786378 0 0 0 471423 505 0 0 25 0 4 0 653243267 2059358208 365503 33554432000 4194304 4580107 140734598902016 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 502773 365503 379 95 0 497755 0
[pid=18177/tid=18178] ppid=18175 vsize=2011092 CPUtime=1172.37 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 428948 0 0 0 117116 121 0 0 25 0 4 0 653243267 2059358208 365503 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=2011092 CPUtime=1182.29 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 560123 0 0 0 118077 152 0 0 25 0 4 0 653243267 2059358208 365503 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=2011092 CPUtime=1182.3 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 527467 0 0 0 118084 146 0 0 25 0 4 0 653243267 2059358208 365503 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4719.28
Current children cumulated vsize (KiB) 2011092
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1202.6 s]
/proc/loadavg: 8.13 8.18 7.61 9/269 18243
/proc/meminfo: memFree=21562140/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=1809192 CPUtime=4800.32 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1817117 0 0 0 479518 514 0 0 25 0 4 0 653243267 1852612608 343988 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 452298 343988 379 95 0 447280 0
[pid=18177/tid=18178] ppid=18175 vsize=1809192 CPUtime=1192.5 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 438133 0 0 0 119126 124 0 0 25 0 4 0 653243267 1852612608 343989 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=1809192 CPUtime=1202.6 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 569892 0 0 0 120106 154 0 0 19 0 4 0 653243267 1852612608 343989 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=1809192 CPUtime=1202.62 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 539156 0 0 0 120111 151 0 0 25 0 4 0 653243267 1852612608 343989 33554432000 4194304 4580107 140734598902016 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1809192
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1202.6 s]
/proc/loadavg: 8.13 8.18 7.61 9/269 18243
/proc/meminfo: memFree=21562140/32951124 swapFree=61565116/67111528
[pid=18177] ppid=18175 vsize=1809192 CPUtime=4800.32 cores=0,2,4,6
/proc/18177/stat : 18177 (strangenight2-m) R 18175 18177 17979 0 -1 4202496 1817117 0 0 0 479518 514 0 0 25 0 4 0 653243267 1852612608 343988 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/18177/statm: 452298 343988 379 95 0 447280 0
[pid=18177/tid=18178] ppid=18175 vsize=1809192 CPUtime=1192.5 cores=0,2,4,6
/proc/18177/task/18178/stat : 18178 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 438133 0 0 0 119126 124 0 0 25 0 4 0 653243267 1852612608 343989 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18177/tid=18179] ppid=18175 vsize=1809192 CPUtime=1202.6 cores=0,2,4,6
/proc/18177/task/18179/stat : 18179 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 569892 0 0 0 120106 154 0 0 19 0 4 0 653243267 1852612608 343989 33554432000 4194304 4580107 140734598902016 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18177/tid=18180] ppid=18175 vsize=1809192 CPUtime=1202.62 cores=0,2,4,6
/proc/18177/task/18180/stat : 18180 (strangenight2-m) R 18175 18177 17979 0 -1 4202560 539156 0 0 0 120111 151 0 0 25 0 4 0 653243267 1852612608 343989 33554432000 4194304 4580107 140734598902016 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 1809192
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.67
CPU time (s): 4800.41
CPU user time (s): 4795.21
CPU system time (s): 5.19921
CPU usage (%): 399.146
Max. virtual memory (cumulated for all children) (KiB): 2151536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4795.21
system time used= 5.19921
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1817126
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= 376
involuntary context switches= 72614
runsolver used 2.86556 second user time and 7.09492 second system time
The end