runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3704014-1338097354/watcher-3704014-1338097354 -o /tmp/evaluation-result-3704014-1338097354/solver-3704014-1338097354 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3704014-1338097354.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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: 3.84 3.97 3.92 4/178 9781
/proc/meminfo: memFree=28343856/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/9781/stat : 9781 (runsolver) D 9779 9781 7065 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 275861387 12095488 51 33554432000 4194304 5436572 140733904115728 140733904112024 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/9781/statm: 2953 51 31 304 0 2645 0
[startup+0.0178931 s]
/proc/loadavg: 3.84 3.97 3.92 4/178 9781
/proc/meminfo: memFree=28343856/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=12792 CPUtime=0 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) R 9779 9781 7065 0 -1 4202496 697 0 0 0 0 0 0 0 20 0 1 0 275861387 13099008 649 33554432000 4194304 5965102 140733603673216 140733904111608 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 3198 649 189 433 0 908 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12792
[startup+0.10015 s]
/proc/loadavg: 3.84 3.97 3.92 4/178 9781
/proc/meminfo: memFree=28343856/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=13980 CPUtime=0.08 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) R 9779 9781 7065 0 -1 4202496 1286 0 0 0 8 0 0 0 20 0 1 0 275861387 14315520 1238 33554432000 4194304 5965102 140733603673216 140733904111608 4351027 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 3495 1239 472 433 0 1205 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 13980
[startup+0.300154 s]
/proc/loadavg: 3.84 3.97 3.92 4/178 9781
/proc/meminfo: memFree=28343856/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=33456 CPUtime=0.28 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) R 9779 9781 7065 0 -1 4202496 6750 0 0 0 27 1 0 0 20 0 1 0 275861387 34258944 6702 33554432000 4194304 5965102 140733603673216 140733904111608 5137146 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 8364 6702 1070 433 0 6074 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 33456
[startup+0.700165 s]
/proc/loadavg: 3.84 3.97 3.92 4/178 9781
/proc/meminfo: memFree=28343856/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=228800 CPUtime=0.75 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 21241 0 0 0 72 3 0 0 20 0 3 0 275861387 234291200 19339 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 57200 19339 189 433 0 56764 0
Current children cumulated CPU time (s) 0.75
Current children cumulated vsize (KiB) 228800
[startup+1.50022 s]
/proc/loadavg: 3.84 3.97 3.92 5/181 9784
/proc/meminfo: memFree=28225296/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=229184 CPUtime=2.34 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 34886 0 0 0 228 6 0 0 20 0 3 0 275861387 234684416 32984 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 57296 32984 197 433 0 56860 0
[pid=9781/tid=9783] ppid=9779 vsize=229184 CPUtime=0.85 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 15477 0 0 0 81 4 0 0 20 0 3 0 275861451 234684416 32984 33554432000 4194304 5965102 140733603673216 140519261235560 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=229184 CPUtime=0.85 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 203 0 0 0 85 0 0 0 20 0 3 0 275861451 234684416 32984 33554432000 4194304 5965102 140733603673216 140519250745656 4404732 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 2.34
Current children cumulated vsize (KiB) 229184
[startup+3.10022 s]
/proc/loadavg: 3.84 3.97 3.92 5/181 9784
/proc/meminfo: memFree=28212004/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=229184 CPUtime=5.54 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 34957 0 0 0 548 6 0 0 20 0 3 0 275861387 234684416 33055 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 57296 33055 198 433 0 56860 0
[pid=9781/tid=9783] ppid=9779 vsize=229184 CPUtime=2.45 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 15478 0 0 0 241 4 0 0 20 0 3 0 275861451 234684416 33055 33554432000 4194304 5965102 140733603673216 140519261235560 4222474 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=229184 CPUtime=2.45 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 273 0 0 0 245 0 0 0 20 0 3 0 275861451 234684416 33055 33554432000 4194304 5965102 140733603673216 140519250745464 4222304 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.54
Current children cumulated vsize (KiB) 229184
[startup+6.30029 s]
/proc/loadavg: 3.86 3.97 3.92 5/181 9784
/proc/meminfo: memFree=28211632/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=229184 CPUtime=11.94 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 35113 0 0 0 1187 7 0 0 20 0 3 0 275861387 234684416 33211 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 57296 33211 199 433 0 56860 0
[pid=9781/tid=9783] ppid=9779 vsize=229184 CPUtime=5.65 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 15576 0 0 0 561 4 0 0 20 0 3 0 275861451 234684416 33211 33554432000 4194304 5965102 140733603673216 140519261235192 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=229184 CPUtime=5.65 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 331 0 0 0 565 0 0 0 20 0 3 0 275861451 234684416 33211 33554432000 4194304 5965102 140733603673216 140519250745704 4404717 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 11.94
Current children cumulated vsize (KiB) 229184
[startup+12.7003 s]
/proc/loadavg: 3.87 3.97 3.92 5/181 9784
/proc/meminfo: memFree=28205952/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=294720 CPUtime=24.74 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 36468 0 0 0 2467 7 0 0 20 0 3 0 275861387 301793280 34566 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 73680 34566 199 433 0 73244 0
[pid=9781/tid=9783] ppid=9779 vsize=294720 CPUtime=12.04 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 16780 0 0 0 1200 4 0 0 20 0 3 0 275861451 301793280 34566 33554432000 4194304 5965102 140733603673216 140519261235192 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=294720 CPUtime=12.05 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 482 0 0 0 1205 0 0 0 20 0 3 0 275861451 301793280 34566 33554432000 4194304 5965102 140733603673216 140519250745656 4404757 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 24.74
Current children cumulated vsize (KiB) 294720
[startup+25.5003 s]
/proc/loadavg: 3.90 3.97 3.92 5/181 9784
/proc/meminfo: memFree=28196044/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=294720 CPUtime=50.33 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 38956 0 0 0 5025 8 0 0 20 0 3 0 275861387 301793280 37050 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 73680 37050 199 433 0 73244 0
[pid=9781/tid=9783] ppid=9779 vsize=294720 CPUtime=24.84 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 18917 0 0 0 2479 5 0 0 20 0 3 0 275861451 301793280 37050 33554432000 4194304 5965102 140733603673216 140519261235192 5137076 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=294720 CPUtime=24.84 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 833 0 0 0 2484 0 0 0 20 0 3 0 275861451 301793280 37050 33554432000 4194304 5965102 140733603673216 140519250745656 4221984 0 0 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 50.33
Current children cumulated vsize (KiB) 294720
[startup+51.1003 s]
/proc/loadavg: 3.86 3.95 3.92 5/181 9825
/proc/meminfo: memFree=28732572/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=294720 CPUtime=101.51 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 44467 0 0 0 10139 12 0 0 20 0 3 0 275861387 301793280 42545 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 73680 42545 199 433 0 73244 0
[pid=9781/tid=9783] ppid=9779 vsize=294720 CPUtime=50.44 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 23339 0 0 0 5036 8 0 0 20 0 3 0 275861451 301793280 42545 33554432000 4194304 5965102 140733603673216 140519261235192 4390172 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=294720 CPUtime=50.43 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 1922 0 0 0 5041 2 0 0 20 0 3 0 275861451 301793280 42545 33554432000 4194304 5965102 140733603673216 140519250745656 4404753 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 101.51
Current children cumulated vsize (KiB) 294720
[startup+102.306 s]
/proc/loadavg: 3.94 3.96 3.92 5/181 9865
/proc/meminfo: memFree=28620604/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=360448 CPUtime=203.89 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 61494 0 0 0 20371 18 0 0 20 0 3 0 275861387 369098752 59444 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 90112 59444 199 433 0 89676 0
[pid=9781/tid=9783] ppid=9779 vsize=360448 CPUtime=101.64 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 37743 0 0 0 10150 14 0 0 20 0 3 0 275861451 369098752 59444 33554432000 4194304 5965102 140733603673216 140519261236152 4404717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=360448 CPUtime=101.63 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 4545 0 0 0 10159 4 0 0 20 0 3 0 275861451 369098752 59444 33554432000 4194304 5965102 140733603673216 140519250745656 4404757 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 203.89
Current children cumulated vsize (KiB) 360448
[startup+162.3 s]
/proc/loadavg: 3.97 3.97 3.92 5/181 9865
/proc/meminfo: memFree=28529384/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=360448 CPUtime=323.85 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 65377 0 0 0 32364 21 0 0 20 0 3 0 275861387 369098752 64521 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 90112 64521 199 433 0 89676 0
[pid=9781/tid=9783] ppid=9779 vsize=360448 CPUtime=161.62 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 37757 0 0 0 16147 15 0 0 20 0 3 0 275861451 369098752 64521 33554432000 4194304 5965102 140733603673216 140519261236152 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=360448 CPUtime=161.63 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 8414 0 0 0 16155 8 0 0 20 0 3 0 275861451 369098752 64521 33554432000 4194304 5965102 140733603673216 140519250745656 4404757 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 323.85
Current children cumulated vsize (KiB) 360448
[startup+222.3 s]
/proc/loadavg: 3.99 3.97 3.92 5/181 9865
/proc/meminfo: memFree=28457944/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=360448 CPUtime=443.83 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 69121 0 0 0 44358 25 0 0 20 0 3 0 275861387 369098752 68265 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 90112 68265 199 433 0 89676 0
[pid=9781/tid=9783] ppid=9779 vsize=360448 CPUtime=221.62 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 37757 0 0 0 22146 16 0 0 20 0 3 0 275861451 369098752 68265 33554432000 4194304 5965102 140733603673216 140519261236152 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=360448 CPUtime=221.63 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 12158 0 0 0 22150 13 0 0 20 0 3 0 275861451 369098752 68265 33554432000 4194304 5965102 140733603673216 140519250745656 4222330 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 443.83
Current children cumulated vsize (KiB) 360448
[startup+282.3 s]
/proc/loadavg: 4.06 3.99 3.92 5/181 9866
/proc/meminfo: memFree=28401056/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=360448 CPUtime=563.81 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 69402 0 0 0 56356 25 0 0 20 0 3 0 275861387 369098752 68546 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 90112 68546 199 433 0 89676 0
[pid=9781/tid=9783] ppid=9779 vsize=360448 CPUtime=281.62 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 37757 0 0 0 28145 17 0 0 20 0 3 0 275861451 369098752 68546 33554432000 4194304 5965102 140733603673216 140519261236152 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=360448 CPUtime=281.63 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 12439 0 0 0 28149 14 0 0 20 0 3 0 275861451 369098752 68546 33554432000 4194304 5965102 140733603673216 140519250745656 4404704 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 563.81
Current children cumulated vsize (KiB) 360448
[startup+342.3 s]
/proc/loadavg: 4.02 3.99 3.92 5/181 9866
/proc/meminfo: memFree=28337452/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=360448 CPUtime=683.8 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 71386 0 0 0 68352 28 0 0 20 0 3 0 275861387 369098752 70530 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 90112 70530 199 433 0 89676 0
[pid=9781/tid=9783] ppid=9779 vsize=360448 CPUtime=341.62 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 37757 0 0 0 34143 19 0 0 20 0 3 0 275861451 369098752 70530 33554432000 4194304 5965102 140733603673216 140519261236152 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=360448 CPUtime=341.64 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 14423 0 0 0 34147 17 0 0 20 0 3 0 275861451 369098752 70530 33554432000 4194304 5965102 140733603673216 140519250745656 4404761 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 683.8
Current children cumulated vsize (KiB) 360448
[startup+402.3 s]
/proc/loadavg: 4.04 4.00 3.93 5/181 9866
/proc/meminfo: memFree=28274192/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=360448 CPUtime=803.77 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 71396 0 0 0 80349 28 0 0 20 0 3 0 275861387 369098752 70531 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 90112 70531 199 433 0 89676 0
[pid=9781/tid=9783] ppid=9779 vsize=360448 CPUtime=401.62 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 37763 0 0 0 40142 20 0 0 20 0 3 0 275861451 369098752 70531 33554432000 4194304 5965102 140733603673216 140519261236152 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=360448 CPUtime=401.64 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 14427 0 0 0 40146 18 0 0 20 0 3 0 275861451 369098752 70531 33554432000 4194304 5965102 140733603673216 140519250745656 4404543 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 803.77
Current children cumulated vsize (KiB) 360448
[startup+462.3 s]
/proc/loadavg: 4.19 4.04 3.95 5/182 9869
/proc/meminfo: memFree=28213216/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=360448 CPUtime=923.74 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 74874 0 0 0 92343 31 0 0 20 0 3 0 275861387 369098752 74009 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 90112 74009 199 433 0 89676 0
[pid=9781/tid=9783] ppid=9779 vsize=360448 CPUtime=461.61 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 39382 0 0 0 46139 22 0 0 20 0 3 0 275861451 369098752 74009 33554432000 4194304 5965102 140733603673216 140519261235192 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=360448 CPUtime=461.63 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 16286 0 0 0 46142 21 0 0 20 0 3 0 275861451 369098752 74009 33554432000 4194304 5965102 140733603673216 140519250745656 4404410 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 923.74
Current children cumulated vsize (KiB) 360448
[startup+522.3 s]
/proc/loadavg: 4.10 4.05 3.95 5/181 9869
/proc/meminfo: memFree=28167840/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=426416 CPUtime=1043.73 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 81185 0 0 0 104337 36 0 0 20 0 3 0 275861387 436649984 80320 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 106604 80320 199 433 0 106168 0
[pid=9781/tid=9783] ppid=9779 vsize=426416 CPUtime=521.61 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 43129 0 0 0 52136 25 0 0 20 0 3 0 275861451 436649984 80320 33554432000 4194304 5965102 140733603673216 140519261235192 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=426416 CPUtime=521.63 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 18850 0 0 0 52140 23 0 0 20 0 3 0 275861451 436649984 80320 33554432000 4194304 5965102 140733603673216 140519250745656 4221984 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1043.73
Current children cumulated vsize (KiB) 426416
[startup+582.3 s]
/proc/loadavg: 4.07 4.05 3.96 5/181 9870
/proc/meminfo: memFree=28129624/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=426416 CPUtime=1163.71 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 81186 0 0 0 116335 36 0 0 20 0 3 0 275861387 436649984 80321 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 106604 80321 199 433 0 106168 0
[pid=9781/tid=9783] ppid=9779 vsize=426416 CPUtime=581.61 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 43129 0 0 0 58135 26 0 0 20 0 3 0 275861451 436649984 80321 33554432000 4194304 5965102 140733603673216 140519261235192 4222416 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=426416 CPUtime=581.64 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 18851 0 0 0 58140 24 0 0 20 0 3 0 275861451 436649984 80321 33554432000 4194304 5965102 140733603673216 140519250745656 4222314 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1163.71
Current children cumulated vsize (KiB) 426416
[startup+642.3 s]
/proc/loadavg: 4.02 4.04 3.96 5/181 9870
/proc/meminfo: memFree=28061460/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=426416 CPUtime=1283.7 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 86829 0 0 0 128330 40 0 0 20 0 3 0 275861387 436649984 85964 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 106604 85964 199 433 0 106168 0
[pid=9781/tid=9783] ppid=9779 vsize=426416 CPUtime=641.62 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 45465 0 0 0 64133 29 0 0 20 0 3 0 275861451 436649984 85964 33554432000 4194304 5965102 140733603673216 140519261235192 4404744 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=426416 CPUtime=641.65 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 22158 0 0 0 64137 28 0 0 20 0 3 0 275861451 436649984 85964 33554432000 4194304 5965102 140733603673216 140519250745656 4404761 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1283.7
Current children cumulated vsize (KiB) 426416
[startup+702.3 s]
/proc/loadavg: 4.01 4.03 3.96 5/181 9870
/proc/meminfo: memFree=28013228/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=491952 CPUtime=1403.67 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 97414 0 0 0 140317 50 0 0 20 0 3 0 275861387 503758848 96549 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 122988 96549 199 433 0 122552 0
[pid=9781/tid=9783] ppid=9779 vsize=491952 CPUtime=701.61 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 52607 0 0 0 70125 36 0 0 20 0 3 0 275861451 503758848 96549 33554432000 4194304 5965102 140733603673216 140519261235192 4404761 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=491952 CPUtime=701.64 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 25601 0 0 0 70132 32 0 0 20 0 3 0 275861451 503758848 96549 33554432000 4194304 5965102 140733603673216 140519250745656 4404761 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1403.67
Current children cumulated vsize (KiB) 491952
[startup+762.307 s]
/proc/loadavg: 4.00 4.02 3.96 5/181 9870
/proc/meminfo: memFree=27959288/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=491952 CPUtime=1523.66 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 100304 0 0 0 152314 52 0 0 20 0 3 0 275861387 503758848 99439 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 122988 99439 199 433 0 122552 0
[pid=9781/tid=9783] ppid=9779 vsize=491952 CPUtime=761.62 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 53791 0 0 0 76124 38 0 0 20 0 3 0 275861451 503758848 99439 33554432000 4194304 5965102 140733603673216 140519261235192 4404717 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=491952 CPUtime=761.65 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 27307 0 0 0 76131 34 0 0 20 0 3 0 275861451 503758848 99439 33554432000 4194304 5965102 140733603673216 140519250745656 4401143 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1523.66
Current children cumulated vsize (KiB) 491952
[startup+822.3 s]
/proc/loadavg: 4.00 4.02 3.96 5/181 9870
/proc/meminfo: memFree=27941092/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=491952 CPUtime=1643.63 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 100308 0 0 0 164311 52 0 0 20 0 3 0 275861387 503758848 99443 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 122988 99443 199 433 0 122552 0
[pid=9781/tid=9783] ppid=9779 vsize=491952 CPUtime=821.61 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 53791 0 0 0 82122 39 0 0 20 0 3 0 275861451 503758848 99443 33554432000 4194304 5965102 140733603673216 140519261235192 4404410 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=491952 CPUtime=821.65 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 27311 0 0 0 82130 35 0 0 20 0 3 0 275861451 503758848 99443 33554432000 4194304 5965102 140733603673216 140519250745656 4404704 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1643.63
Current children cumulated vsize (KiB) 491952
[startup+882.3 s]
/proc/loadavg: 4.03 4.03 3.96 5/181 9871
/proc/meminfo: memFree=27880668/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=491952 CPUtime=1763.62 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 101362 0 0 0 176308 54 0 0 20 0 3 0 275861387 503758848 100517 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 122988 100517 199 433 0 122552 0
[pid=9781/tid=9783] ppid=9779 vsize=491952 CPUtime=881.61 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 54845 0 0 0 88119 42 0 0 20 0 3 0 275861451 503758848 100517 33554432000 4194304 5965102 140733603673216 140519261235192 4404704 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=491952 CPUtime=881.65 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 27311 0 0 0 88129 36 0 0 20 0 3 0 275861451 503758848 100517 33554432000 4194304 5965102 140733603673216 140519250745656 4222416 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1763.62
Current children cumulated vsize (KiB) 491952
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.5 s]
/proc/loadavg: 4.02 4.02 3.96 5/181 9871
/proc/meminfo: memFree=27868500/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=491952 CPUtime=1800.02 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 103412 0 0 0 179946 56 0 0 20 0 3 0 275861387 503758848 102579 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 122988 102579 199 433 0 122552 0
[pid=9781/tid=9783] ppid=9779 vsize=491952 CPUtime=899.81 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 56881 0 0 0 89937 44 0 0 20 0 3 0 275861451 503758848 102579 33554432000 4194304 5965102 140733603673216 140519261235192 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=491952 CPUtime=899.86 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 27325 0 0 0 89950 36 0 0 20 0 3 0 275861451 503758848 102579 33554432000 4194304 5965102 140733603673216 140519250745656 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 491952
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.5 s]
/proc/loadavg: 4.02 4.02 3.96 5/181 9871
/proc/meminfo: memFree=27868500/32873648 swapFree=7372/7372
[pid=9781] ppid=9779 vsize=491952 CPUtime=1800.02 cores=0,2,4,6
/proc/9781/stat : 9781 (pwbo2.0) S 9779 9781 7065 0 -1 4202496 103412 0 0 0 179946 56 0 0 20 0 3 0 275861387 503758848 102579 33554432000 4194304 5965102 140733603673216 140733603672736 4547341 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9781/statm: 122988 102579 199 433 0 122552 0
[pid=9781/tid=9783] ppid=9779 vsize=491952 CPUtime=899.81 cores=0,2,4,6
/proc/9781/task/9783/stat : 9783 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 56881 0 0 0 89937 44 0 0 20 0 3 0 275861451 503758848 102579 33554432000 4194304 5965102 140733603673216 140519261235192 4404757 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=9781/tid=9784] ppid=9779 vsize=491952 CPUtime=899.86 cores=0,2,4,6
/proc/9781/task/9784/stat : 9784 (pwbo2.0) R 9779 9781 7065 0 -1 4202560 27325 0 0 0 89950 36 0 0 20 0 3 0 275861451 503758848 102579 33554432000 4194304 5965102 140733603673216 140519250745656 4401127 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 491952
Child status: 0
Real time (s): 900.519
CPU time (s): 1800.34
CPU user time (s): 1799.48
CPU system time (s): 0.860869
CPU usage (%): 199.922
Max. virtual memory (cumulated for all children) (KiB): 491952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.48
system time used= 0.860869
maximum resident set size= 410324
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103414
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= 201
involuntary context switches= 1984
runsolver used 1.84372 second user time and 4.89126 second system time
The end