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-3285976-1304029903/watcher-3285976-1304029903 -o /tmp/evaluation-result-3285976-1304029903/solver-3285976-1304029903 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3285976-1304029903.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: 7.40 7.81 5.82 3/174 27166
/proc/meminfo: memFree=25597720/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 408 0 0 0 0 0 0 0 18 0 4 0 495406286 52441088 347 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006963122 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 12803 347 299 106 0 7774 0
[pid=27166/tid=27167] ppid=27164 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 495406287 52441088 347 33554432000 4194304 4627427 140736814358944 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 495406287 52441088 347 33554432000 4194304 4627427 140736814358944 18446744073709551615 220816292849 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 495406287 52441088 347 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006963122 0 0 4096 2 0 0 0 -1 3 0 0 0
[startup+0.0483959 s]
/proc/loadavg: 7.40 7.81 5.82 3/174 27166
/proc/meminfo: memFree=25597720/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=301700 CPUtime=0.16 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) D 27164 27166 27036 0 -1 4202496 8154 0 0 0 14 2 0 0 18 0 4 0 495406286 308940800 6863 33554432000 4194304 4627427 140736814358944 18446744073709551615 220816279687 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 74911 6349 341 106 0 69882 0
[pid=27166/tid=27167] ppid=27164 vsize=298616 CPUtime=0.03 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 1949 0 0 0 3 0 0 0 18 0 4 0 495406287 305782784 6349 33554432000 4194304 4627427 140736814358944 18446744073709551615 220816279687 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=298616 CPUtime=0.03 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) D 27164 27166 27036 0 -1 4202560 1931 0 0 0 3 0 0 0 18 0 4 0 495406287 305782784 6349 33554432000 4194304 4627427 140736814358944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=298616 CPUtime=0.03 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) D 27164 27166 27036 0 -1 4202560 1934 0 0 0 3 0 0 0 18 0 4 0 495406287 305782784 6092 33554432000 4194304 4627427 140736814358944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 301700
[startup+0.115608 s]
/proc/loadavg: 7.40 7.81 5.82 3/174 27166
/proc/meminfo: memFree=25597720/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=318524 CPUtime=0.4 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 18132 0 0 0 34 6 0 0 18 0 4 0 495406286 326168576 13916 33554432000 4194304 4627427 140736814358944 18446744073709551615 4317104 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 79631 14015 341 106 0 74602 0
[pid=27166/tid=27167] ppid=27164 vsize=318524 CPUtime=0.09 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) D 27164 27166 27036 0 -1 4202560 4421 0 0 0 8 1 0 0 18 0 4 0 495406287 326168576 14039 33554432000 4194304 4627427 140736814358944 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=318656 CPUtime=0.09 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) D 27164 27166 27036 0 -1 4202560 4558 0 0 0 8 1 0 0 18 0 4 0 495406287 326303744 14438 33554432000 4194304 4627427 140736814358944 18446744073709551615 220815897633 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=318656 CPUtime=0.09 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 4555 0 0 0 8 1 0 0 18 0 4 0 495406287 326303744 14442 33554432000 4194304 4627427 140736814358944 18446744073709551615 220816279735 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 318524
[startup+0.30057 s]
/proc/loadavg: 7.40 7.81 5.82 3/174 27166
/proc/meminfo: memFree=25597720/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=359256 CPUtime=0.97 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 44733 0 0 0 78 19 0 0 18 0 4 0 495406286 367878144 36169 33554432000 4194304 4627427 140736814358944 18446744073709551615 4310392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 89814 36169 360 106 0 84785 0
[pid=27166/tid=27167] ppid=27164 vsize=359256 CPUtime=0.24 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11099 0 0 0 19 5 0 0 18 0 4 0 495406287 367878144 36169 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=359256 CPUtime=0.22 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11112 0 0 0 18 4 0 0 18 0 4 0 495406287 367878144 36169 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=359256 CPUtime=0.24 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 10985 0 0 0 19 5 0 0 18 0 4 0 495406287 367878144 36169 33554432000 4194304 4627427 140736814358944 18446744073709551615 4223768 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 359256
[startup+0.700496 s]
/proc/loadavg: 7.40 7.81 5.82 3/174 27166
/proc/meminfo: memFree=25597720/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=360704 CPUtime=2.57 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 46578 0 0 0 238 19 0 0 18 0 4 0 495406286 369360896 38013 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 90176 38013 367 106 0 85147 0
[pid=27166/tid=27167] ppid=27164 vsize=360704 CPUtime=0.64 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11483 0 0 0 59 5 0 0 18 0 4 0 495406287 369360896 38013 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=360704 CPUtime=0.62 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11496 0 0 0 58 4 0 0 18 0 4 0 495406287 369360896 38013 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308987 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=360704 CPUtime=0.64 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11678 0 0 0 58 6 0 0 18 0 4 0 495406287 369360896 38013 33554432000 4194304 4627427 140736814358944 18446744073709551615 4322509 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.57
Current children cumulated vsize (KiB) 360704
[startup+1.50035 s]
/proc/loadavg: 7.40 7.81 5.82 6/178 27170
/proc/meminfo: memFree=25409940/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=360704 CPUtime=5.77 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 47337 0 0 0 557 20 0 0 19 0 4 0 495406286 369360896 38636 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308963 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 90176 38636 367 106 0 85147 0
[pid=27166/tid=27167] ppid=27164 vsize=360704 CPUtime=1.44 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11488 0 0 0 139 5 0 0 19 0 4 0 495406287 369360896 38636 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308752 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=360704 CPUtime=1.42 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11501 0 0 0 138 4 0 0 19 0 4 0 495406287 369360896 38636 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=360704 CPUtime=1.44 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 12424 0 0 0 138 6 0 0 19 0 4 0 495406287 369360896 38636 33554432000 4194304 4627427 140736814358944 18446744073709551615 4321739 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.77
Current children cumulated vsize (KiB) 360704
[startup+3.10105 s]
/proc/loadavg: 7.40 7.81 5.82 6/178 27170
/proc/meminfo: memFree=25366044/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=360704 CPUtime=12.16 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 48496 0 0 0 1196 20 0 0 23 0 4 0 495406286 369360896 39727 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308117 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 90176 39727 368 106 0 85147 0
[pid=27166/tid=27167] ppid=27164 vsize=360704 CPUtime=3.04 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11494 0 0 0 299 5 0 0 24 0 4 0 495406287 369360896 39727 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308438 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=360704 CPUtime=3.01 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11509 0 0 0 297 4 0 0 24 0 4 0 495406287 369360896 39727 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308764 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=360704 CPUtime=3.05 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 13561 0 0 0 298 7 0 0 23 0 4 0 495406287 369360896 39727 33554432000 4194304 4627427 140736814358944 18446744073709551615 4321876 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.16
Current children cumulated vsize (KiB) 360704
[startup+6.30046 s]
/proc/loadavg: 7.21 7.76 5.82 6/176 27170
/proc/meminfo: memFree=25250000/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=393652 CPUtime=24.94 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 50538 0 0 0 2472 22 0 0 25 0 4 0 495406286 403099648 41669 33554432000 4194304 4627427 140736814358944 18446744073709551615 4299691 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 98413 41669 368 106 0 93384 0
[pid=27166/tid=27167] ppid=27164 vsize=393652 CPUtime=6.24 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11542 0 0 0 619 5 0 0 25 0 4 0 495406287 403099648 41669 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308996 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=393652 CPUtime=6.19 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 11557 0 0 0 615 4 0 0 25 0 4 0 495406287 403099648 41669 33554432000 4194304 4627427 140736814358944 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=393652 CPUtime=6.24 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 15456 0 0 0 616 8 0 0 25 0 4 0 495406287 403099648 41669 33554432000 4194304 4627427 140736814358944 18446744073709551615 4321920 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 24.94
Current children cumulated vsize (KiB) 393652
[startup+12.7003 s]
/proc/loadavg: 7.27 7.77 5.83 9/184 27179
/proc/meminfo: memFree=23508400/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=405440 CPUtime=50.5 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 66593 0 0 0 5025 25 0 0 25 0 4 0 495406286 415170560 54288 33554432000 4194304 4627427 140736814358944 18446744073709551615 4322609 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 101360 54288 387 106 0 96331 0
[pid=27166/tid=27167] ppid=27164 vsize=405440 CPUtime=12.64 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 15343 0 0 0 1258 6 0 0 25 0 4 0 495406287 415170560 54289 33554432000 4194304 4627427 140736814358944 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=405440 CPUtime=12.56 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 15408 0 0 0 1251 5 0 0 25 0 4 0 495406287 415170560 54289 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308940 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=405440 CPUtime=12.64 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 20783 0 0 0 1255 9 0 0 25 0 4 0 495406287 415170560 54289 33554432000 4194304 4627427 140736814358944 18446744073709551615 4321810 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.5
Current children cumulated vsize (KiB) 405440
[startup+25.5009 s]
/proc/loadavg: 7.43 7.78 5.86 9/184 27179
/proc/meminfo: memFree=23299980/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=492112 CPUtime=101.64 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 95968 0 0 0 10131 33 0 0 25 0 4 0 495406286 503922688 60834 33554432000 4194304 4627427 140736814358944 18446744073709551615 4322548 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 123028 60834 387 106 0 117999 0
[pid=27166/tid=27167] ppid=27164 vsize=492112 CPUtime=25.44 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 22271 0 0 0 2536 8 0 0 25 0 4 0 495406287 503922688 60834 33554432000 4194304 4627427 140736814358944 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=492112 CPUtime=25.29 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 22733 0 0 0 2522 7 0 0 25 0 4 0 495406287 503922688 60834 33554432000 4194304 4627427 140736814358944 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=492112 CPUtime=25.44 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 27654 0 0 0 2533 11 0 0 25 0 4 0 495406287 503922688 60834 33554432000 4194304 4627427 140736814358944 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.64
Current children cumulated vsize (KiB) 492112
[startup+51.1002 s]
/proc/loadavg: 7.54 7.78 5.91 5/179 27183
/proc/meminfo: memFree=24737736/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=1029808 CPUtime=199.36 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 226207 0 0 0 19882 54 0 0 25 0 4 0 495406286 1054523392 172552 33554432000 4194304 4627427 140736814358944 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 257452 172552 391 106 0 252423 0
[pid=27166/tid=27167] ppid=27164 vsize=1029808 CPUtime=51.03 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 66887 0 0 0 5088 15 0 0 25 0 4 0 495406287 1054523392 172552 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=1029808 CPUtime=46.23 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) S 27164 27166 27036 0 -1 4202560 28624 0 0 0 4614 9 0 0 25 0 4 0 495406287 1054523392 172552 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446604471140164736 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=1029808 CPUtime=51.04 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 35911 0 0 0 5091 13 0 0 25 0 4 0 495406287 1054523392 172552 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006938308 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 199.36
Current children cumulated vsize (KiB) 1029808
Solver just ended. Dumping a history of the last processes samples
[startup+57.501 s]
/proc/loadavg: 7.26 7.72 5.90 5/178 27183
/proc/meminfo: memFree=24493216/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=1298620 CPUtime=218.57 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 280582 0 0 0 21791 66 0 0 25 0 4 0 495406286 1329786880 226927 33554432000 4194304 4627427 140736814358944 18446744073709551615 4424686 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 324655 226927 391 106 0 319626 0
[pid=27166/tid=27167] ppid=27164 vsize=1298620 CPUtime=57.44 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 105883 0 0 0 5718 26 0 0 25 0 4 0 495406287 1329786880 226927 33554432000 4194304 4627427 140736814358944 18446744073709551615 4238603 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=1298620 CPUtime=46.23 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) S 27164 27166 27036 0 -1 4202560 28624 0 0 0 4614 9 0 0 25 0 4 0 495406287 1329786880 226927 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446604471140164736 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=1298620 CPUtime=57.44 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 35911 0 0 0 5731 13 0 0 25 0 4 0 495406287 1329786880 226927 33554432000 4194304 4627427 140736814358944 18446744073709551615 4205248 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 218.57
Current children cumulated vsize (KiB) 1298620
[startup+59.1008 s]
/proc/loadavg: 7.26 7.72 5.90 5/178 27183
/proc/meminfo: memFree=24477344/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=1300764 CPUtime=223.37 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) R 27164 27166 27036 0 -1 4202496 283641 0 0 0 22270 67 0 0 25 0 4 0 495406286 1331982336 229502 33554432000 4194304 4627427 140736814358944 18446744073709551615 4308940 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 325191 229502 391 106 0 320162 0
[pid=27166/tid=27167] ppid=27164 vsize=1300764 CPUtime=59.03 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 108453 0 0 0 5877 26 0 0 25 0 4 0 495406287 1331982336 229502 33554432000 4194304 4627427 140736814358944 18446744073709551615 4424975 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=1300764 CPUtime=46.23 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) S 27164 27166 27036 0 -1 4202560 28624 0 0 0 4614 9 0 0 25 0 4 0 495406287 1331982336 229502 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446604471140164736 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=1300764 CPUtime=59.04 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 35911 0 0 0 5891 13 0 0 25 0 4 0 495406287 1331982336 229502 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006938308 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 223.37
Current children cumulated vsize (KiB) 1300764
[startup+59.9006 s]
/proc/loadavg: 7.00 7.65 5.89 5/178 27183
/proc/meminfo: memFree=24472828/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=1300764 CPUtime=225.37 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) S 27164 27166 27036 0 -1 4202496 283652 0 0 0 22470 67 0 0 25 0 4 0 495406286 1331982336 229513 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 325191 229513 391 106 0 320162 0
[pid=27166/tid=27167] ppid=27164 vsize=1300764 CPUtime=59.83 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 108464 0 0 0 5957 26 0 0 25 0 4 0 495406287 1331982336 229513 33554432000 4194304 4627427 140736814358944 18446744073709551615 4424993 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=1300764 CPUtime=46.23 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) S 27164 27166 27036 0 -1 4202560 28624 0 0 0 4614 9 0 0 25 0 4 0 495406287 1331982336 229513 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446604471140164736 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=1300764 CPUtime=59.84 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 35911 0 0 0 5971 13 0 0 25 0 4 0 495406287 1331982336 229513 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006938155 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 225.37
Current children cumulated vsize (KiB) 1300764
[startup+60.7005 s]
/proc/loadavg: 7.00 7.65 5.89 4/178 27183
/proc/meminfo: memFree=24472208/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=1300764 CPUtime=226.97 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) S 27164 27166 27036 0 -1 4202496 284175 0 0 0 22630 67 0 0 25 0 4 0 495406286 1331982336 229770 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 325191 229770 391 106 0 320162 0
[pid=27166/tid=27167] ppid=27164 vsize=1300764 CPUtime=60.63 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 108987 0 0 0 6037 26 0 0 25 0 4 0 495406287 1331982336 229770 33554432000 4194304 4627427 140736814358944 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=1300764 CPUtime=46.23 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) S 27164 27166 27036 0 -1 4202560 28624 0 0 0 4614 9 0 0 25 0 4 0 495406287 1331982336 229770 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446604471140164736 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=1300764 CPUtime=60.64 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 35911 0 0 0 6051 13 0 0 25 0 4 0 495406287 1331982336 229770 33554432000 4194304 4627427 140736814358944 18446744073709551615 4205600 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 226.97
Current children cumulated vsize (KiB) 1300764
[startup+61.1004 s]
/proc/loadavg: 7.00 7.65 5.89 4/178 27183
/proc/meminfo: memFree=24472208/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=1300764 CPUtime=227.77 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) S 27164 27166 27036 0 -1 4202496 284176 0 0 0 22710 67 0 0 25 0 4 0 495406286 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 325191 229771 391 106 0 320162 0
[pid=27166/tid=27167] ppid=27164 vsize=1300764 CPUtime=61.03 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 108988 0 0 0 6077 26 0 0 25 0 4 0 495406287 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 4298941 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=1300764 CPUtime=46.23 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) S 27164 27166 27036 0 -1 4202560 28624 0 0 0 4614 9 0 0 25 0 4 0 495406287 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446604471140164736 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=1300764 CPUtime=61.04 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 35911 0 0 0 6091 13 0 0 25 0 4 0 495406287 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006938308 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 227.77
Current children cumulated vsize (KiB) 1300764
[startup+61.2004 s]
/proc/loadavg: 7.00 7.65 5.89 4/178 27183
/proc/meminfo: memFree=24472208/32951124 swapFree=67111524/67111528
[pid=27166] ppid=27164 vsize=1300764 CPUtime=227.97 cores=1,3,5,7
/proc/27166/stat : 27166 (strangenight2-m) S 27164 27166 27036 0 -1 4202496 284176 0 0 0 22730 67 0 0 25 0 4 0 495406286 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/27166/statm: 325191 229771 391 106 0 320162 0
[pid=27166/tid=27167] ppid=27164 vsize=1300764 CPUtime=61.13 cores=1,3,5,7
/proc/27166/task/27167/stat : 27167 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 108988 0 0 0 6087 26 0 0 25 0 4 0 495406287 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 4298998 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27166/tid=27168] ppid=27164 vsize=1300764 CPUtime=46.23 cores=1,3,5,7
/proc/27166/task/27168/stat : 27168 (strangenight2-m) S 27164 27166 27036 0 -1 4202560 28624 0 0 0 4614 9 0 0 25 0 4 0 495406287 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006962740 0 0 4096 2 18446604471140164736 0 0 -1 7 0 0 0
[pid=27166/tid=27169] ppid=27164 vsize=1300764 CPUtime=61.14 cores=1,3,5,7
/proc/27166/task/27169/stat : 27169 (strangenight2-m) R 27164 27166 27036 0 -1 4202560 35911 0 0 0 6101 13 0 0 25 0 4 0 495406287 1331982336 229771 33554432000 4194304 4627427 140736814358944 18446744073709551615 47964006938308 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 227.97
Current children cumulated vsize (KiB) 1300764
Child status: 20
Real time (s): 61.2414
CPU time (s): 228.023
CPU user time (s): 227.317
CPU system time (s): 0.705892
CPU usage (%): 372.335
Max. virtual memory (cumulated for all children) (KiB): 1300764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 227.317
system time used= 0.705892
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 284179
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= 5015
involuntary context switches= 1429
runsolver used 0.093985 second user time and 0.243962 second system time
The end