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-3703757-1338093905/watcher-3703757-1338093905 -o /tmp/evaluation-result-3703757-1338093905/solver-3703757-1338093905 -C 1800 -W 1900 -M 15500 pwbo2.0 -file-format=opb -verbosity=0 HOME/instance-3703757-1338093905.opb
running on 4 cores: 1,3,5,7
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.99 4.00 3.91 4/178 12446
/proc/meminfo: memFree=30494880/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=163028 CPUtime=0 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 1144 0 0 0 0 0 0 0 20 0 3 0 275519118 166940672 1094 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 40757 1096 205 433 0 40321 0
[pid=12446/tid=12447] ppid=12444 vsize=163028 CPUtime=0 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 3 0 275519119 166940672 1100 33554432000 4194304 5965102 140736047868432 139864647232408 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=163028 CPUtime=0 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 344 0 0 0 0 0 0 0 20 0 3 0 275519119 166940672 1101 33554432000 4194304 5965102 140736047868432 139864636741704 5244967 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
[startup+0.053079 s]
/proc/loadavg: 3.99 4.00 3.91 4/178 12446
/proc/meminfo: memFree=30494880/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=174928 CPUtime=0.09 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 5805 0 0 0 8 1 0 0 20 0 3 0 275519118 179126272 5740 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 43732 5746 207 433 0 43296 0
[pid=12446/tid=12447] ppid=12444 vsize=174928 CPUtime=0.03 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 161 0 0 0 3 0 0 0 20 0 3 0 275519119 179126272 5747 33554432000 4194304 5965102 140736047868432 139864647231288 4221984 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=174928 CPUtime=0.03 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 4891 0 0 0 2 1 0 0 20 0 3 0 275519119 179126272 5753 33554432000 4194304 5965102 140736047868432 139864636740936 4397203 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 174928
[startup+0.100448 s]
/proc/loadavg: 3.99 4.00 3.91 4/178 12446
/proc/meminfo: memFree=30494880/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=189560 CPUtime=0.18 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 10561 0 0 0 16 2 0 0 20 0 3 0 275519118 194109440 10478 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 47390 10481 207 433 0 46954 0
[pid=12446/tid=12447] ppid=12444 vsize=189560 CPUtime=0.08 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 264 0 0 0 8 0 0 0 20 0 3 0 275519119 194109440 10485 33554432000 4194304 5965102 140736047868432 139864647231528 5131890 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=189560 CPUtime=0.08 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 9539 0 0 0 6 2 0 0 20 0 3 0 275519119 194109440 10486 33554432000 4194304 5965102 140736047868432 139864636741288 5244967 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 189560
[startup+0.300388 s]
/proc/loadavg: 3.99 4.00 3.91 4/178 12446
/proc/meminfo: memFree=30494880/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=196032 CPUtime=0.58 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 14340 0 0 0 55 3 0 0 20 0 3 0 275519118 200736768 14768 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49008 14768 207 433 0 48572 0
[pid=12446/tid=12447] ppid=12444 vsize=196032 CPUtime=0.28 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 660 0 0 0 28 0 0 0 20 0 3 0 275519119 200736768 14768 33554432000 4194304 5965102 140736047868432 139864647231288 18446744073699066235 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=196032 CPUtime=0.28 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 12914 0 0 0 25 3 0 0 20 0 3 0 275519119 200736768 14768 33554432000 4194304 5965102 140736047868432 139864636741864 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 196032
[startup+0.700384 s]
/proc/loadavg: 3.99 4.00 3.91 4/178 12446
/proc/meminfo: memFree=30494880/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=196244 CPUtime=1.39 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 15161 0 0 0 135 4 0 0 20 0 3 0 275519118 200953856 15589 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49061 15589 207 433 0 48625 0
[pid=12446/tid=12447] ppid=12444 vsize=196244 CPUtime=0.68 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 1315 0 0 0 68 0 0 0 20 0 3 0 275519119 200953856 15589 33554432000 4194304 5965102 140736047868432 139864647231480 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=196244 CPUtime=0.68 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 13080 0 0 0 65 3 0 0 20 0 3 0 275519119 200953856 15589 33554432000 4194304 5965102 140736047868432 139864636741864 4400978 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 196244
[startup+1.5004 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30431776/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=196388 CPUtime=2.98 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 15688 0 0 0 294 4 0 0 20 0 3 0 275519118 201101312 16116 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49097 16116 207 433 0 48661 0
[pid=12446/tid=12447] ppid=12444 vsize=196388 CPUtime=1.48 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 1791 0 0 0 147 1 0 0 20 0 3 0 275519119 201101312 16116 33554432000 4194304 5965102 140736047868432 139864647231480 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=196388 CPUtime=1.48 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 13131 0 0 0 145 3 0 0 20 0 3 0 275519119 201101312 16116 33554432000 4194304 5965102 140736047868432 139864636741944 4393958 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.98
Current children cumulated vsize (KiB) 196388
[startup+3.10041 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30428428/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=196460 CPUtime=6.18 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 16498 0 0 0 614 4 0 0 20 0 3 0 275519118 201175040 16926 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49115 16926 208 433 0 48679 0
[pid=12446/tid=12447] ppid=12444 vsize=196460 CPUtime=3.07 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 2493 0 0 0 306 1 0 0 20 0 3 0 275519119 201175040 16926 33554432000 4194304 5965102 140736047868432 139864647231480 4411921 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=196460 CPUtime=3.08 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 13239 0 0 0 305 3 0 0 20 0 3 0 275519119 201175040 16926 33554432000 4194304 5965102 140736047868432 139864636741816 4393933 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 196460
[startup+6.30036 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30418756/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=196568 CPUtime=12.58 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 18365 0 0 0 1253 5 0 0 20 0 3 0 275519118 201285632 18793 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49142 18793 208 433 0 48706 0
[pid=12446/tid=12447] ppid=12444 vsize=196568 CPUtime=6.26 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 4241 0 0 0 624 2 0 0 20 0 3 0 275519119 201285632 18793 33554432000 4194304 5965102 140736047868432 139864647231480 4390433 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=196568 CPUtime=6.27 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 13358 0 0 0 624 3 0 0 20 0 3 0 275519119 201285632 18793 33554432000 4194304 5965102 140736047868432 139864636741944 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 196568
[startup+12.7004 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30403768/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=196728 CPUtime=25.38 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 20990 0 0 0 2530 8 0 0 20 0 3 0 275519118 201449472 21418 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49182 21418 208 433 0 48746 0
[pid=12446/tid=12447] ppid=12444 vsize=196728 CPUtime=12.65 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 6668 0 0 0 1261 4 0 0 20 0 3 0 275519119 201449472 21418 33554432000 4194304 5965102 140736047868432 139864647231480 4404767 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=196728 CPUtime=12.65 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 13556 0 0 0 1262 3 0 0 20 0 3 0 275519119 201449472 21418 33554432000 4194304 5965102 140736047868432 139864636741752 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 196728
[startup+25.5004 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30385408/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=196872 CPUtime=50.98 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 24037 0 0 0 5087 11 0 0 20 0 3 0 275519118 201596928 24465 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49218 24465 208 433 0 48782 0
[pid=12446/tid=12447] ppid=12444 vsize=196872 CPUtime=25.41 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 9439 0 0 0 2534 7 0 0 20 0 3 0 275519119 201596928 24465 33554432000 4194304 5965102 140736047868432 139864647231000 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=196872 CPUtime=25.42 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 13832 0 0 0 2539 3 0 0 20 0 3 0 275519119 201596928 24465 33554432000 4194304 5965102 140736047868432 139864636741944 4404383 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 196872
[startup+51.1004 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30353864/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=198172 CPUtime=102.17 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 29634 0 0 0 10200 17 0 0 20 0 3 0 275519118 202928128 30062 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 49543 30062 208 433 0 49107 0
[pid=12446/tid=12447] ppid=12444 vsize=198172 CPUtime=50.95 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 12042 0 0 0 5085 10 0 0 20 0 3 0 275519119 202928128 30062 33554432000 4194304 5965102 140736047868432 139864647231480 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=198172 CPUtime=50.95 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 16826 0 0 0 5089 6 0 0 20 0 3 0 275519119 202928128 30062 33554432000 4194304 5965102 140736047868432 139864636741752 4393903 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 198172
[startup+102.307 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30282112/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=265892 CPUtime=204.57 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 41730 0 0 0 20422 35 0 0 20 0 3 0 275519118 272273408 42158 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 66473 42158 208 433 0 66037 0
[pid=12446/tid=12447] ppid=12444 vsize=265892 CPUtime=102.02 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 18320 0 0 0 10181 21 0 0 20 0 3 0 275519119 272273408 42158 33554432000 4194304 5965102 140736047868432 139864647231480 4400978 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=265892 CPUtime=102.02 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 22644 0 0 0 10188 14 0 0 20 0 3 0 275519119 272273408 42158 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 204.57
Current children cumulated vsize (KiB) 265892
[startup+162.3 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30191620/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=334704 CPUtime=324.53 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 51073 0 0 0 32401 52 0 0 20 0 3 0 275519118 342736896 51501 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 83676 51501 208 433 0 83240 0
[pid=12446/tid=12447] ppid=12444 vsize=334704 CPUtime=161.86 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 24222 0 0 0 16151 35 0 0 20 0 3 0 275519119 342736896 51501 33554432000 4194304 5965102 140736047868432 139864647231528 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=334704 CPUtime=161.86 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 26085 0 0 0 16166 20 0 0 20 0 3 0 275519119 342736896 51501 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 324.53
Current children cumulated vsize (KiB) 334704
[startup+222.3 s]
/proc/loadavg: 3.99 4.00 3.91 5/181 12449
/proc/meminfo: memFree=30097408/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=337960 CPUtime=444.51 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 55875 0 0 0 44392 59 0 0 20 0 3 0 275519118 346071040 56303 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 84490 56303 208 433 0 84054 0
[pid=12446/tid=12447] ppid=12444 vsize=337960 CPUtime=221.71 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 26333 0 0 0 22131 40 0 0 20 0 3 0 275519119 346071040 56303 33554432000 4194304 5965102 140736047868432 139864647231480 4401441 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=337960 CPUtime=221.71 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 28776 0 0 0 22147 24 0 0 20 0 3 0 275519119 346071040 56303 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 444.51
Current children cumulated vsize (KiB) 337960
################
# More data... #
################
[pid=12446/tid=12448] ppid=12444 vsize=408860 CPUtime=341.39 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 33052 0 0 0 34106 33 0 0 20 0 3 0 275519119 418672640 68364 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 684.4
Current children cumulated vsize (KiB) 408860
[startup+402.3 s]
/proc/loadavg: 4.01 4.00 3.92 5/181 12494
/proc/meminfo: memFree=30771564/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=411720 CPUtime=804.35 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 73975 0 0 0 80343 92 0 0 20 0 3 0 275519118 421601280 74621 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 102930 74621 208 433 0 102494 0
[pid=12446/tid=12447] ppid=12444 vsize=411720 CPUtime=401.18 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 38283 0 0 0 40052 66 0 0 20 0 3 0 275519119 421601280 74621 33554432000 4194304 5965102 140736047868432 139864647231528 4401058 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=411720 CPUtime=401.21 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 34926 0 0 0 40084 37 0 0 20 0 3 0 275519119 421601280 74621 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 804.35
Current children cumulated vsize (KiB) 411720
[startup+462.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 12494
/proc/meminfo: memFree=30703720/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=413484 CPUtime=924.33 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 79317 0 0 0 92329 104 0 0 20 0 3 0 275519118 423407616 81674 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 103371 81674 208 433 0 102935 0
[pid=12446/tid=12447] ppid=12444 vsize=413484 CPUtime=461.03 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 42011 0 0 0 46028 75 0 0 20 0 3 0 275519119 423407616 81674 33554432000 4194304 5965102 140736047868432 139864647231480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=413484 CPUtime=461.06 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 36540 0 0 0 46064 42 0 0 20 0 3 0 275519119 423407616 81674 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 924.33
Current children cumulated vsize (KiB) 413484
[startup+522.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 12494
/proc/meminfo: memFree=30657684/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=415616 CPUtime=1044.32 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 84295 0 0 0 104316 116 0 0 20 0 3 0 275519118 425590784 86652 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 103904 86652 208 433 0 103468 0
[pid=12446/tid=12447] ppid=12444 vsize=415616 CPUtime=520.88 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 45453 0 0 0 52004 84 0 0 20 0 3 0 275519119 425590784 86652 33554432000 4194304 5965102 140736047868432 139864647231480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=415616 CPUtime=520.9 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 38076 0 0 0 52044 46 0 0 20 0 3 0 275519119 425590784 86652 33554432000 4194304 5965102 140736047868432 139864636741752 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1044.32
Current children cumulated vsize (KiB) 415616
[startup+582.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/180 12495
/proc/meminfo: memFree=30610340/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=416728 CPUtime=1164.3 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 87118 0 0 0 116307 123 0 0 20 0 3 0 275519118 426729472 89475 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 104182 89475 208 433 0 103746 0
[pid=12446/tid=12447] ppid=12444 vsize=416728 CPUtime=580.72 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 46847 0 0 0 57984 88 0 0 20 0 3 0 275519119 426729472 89475 33554432000 4194304 5965102 140736047868432 139864647231480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=416728 CPUtime=580.75 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 39505 0 0 0 58025 50 0 0 20 0 3 0 275519119 426729472 89475 33554432000 4194304 5965102 140736047868432 139864636741992 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1164.3
Current children cumulated vsize (KiB) 416728
[startup+642.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 12496
/proc/meminfo: memFree=30564488/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=417844 CPUtime=1284.25 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 91682 0 0 0 128292 133 0 0 20 0 3 0 275519118 427872256 94069 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 104461 94069 208 433 0 104025 0
[pid=12446/tid=12447] ppid=12444 vsize=417844 CPUtime=640.54 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 49903 0 0 0 63958 96 0 0 20 0 3 0 275519119 427872256 94069 33554432000 4194304 5965102 140736047868432 139864647231480 4400972 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=417844 CPUtime=640.58 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 41013 0 0 0 64004 54 0 0 20 0 3 0 275519119 427872256 94069 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1284.25
Current children cumulated vsize (KiB) 417844
[startup+702.3 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 12496
/proc/meminfo: memFree=30521892/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=486520 CPUtime=1404.21 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 96590 0 0 0 140276 145 0 0 20 0 3 0 275519118 498196480 98976 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 121630 98976 208 433 0 121194 0
[pid=12446/tid=12447] ppid=12444 vsize=486520 CPUtime=700.38 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 53237 0 0 0 69931 107 0 0 20 0 3 0 275519119 498196480 98976 33554432000 4194304 5965102 140736047868432 139864647231480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=486520 CPUtime=700.43 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 42587 0 0 0 69986 57 0 0 20 0 3 0 275519119 498196480 98976 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1404.21
Current children cumulated vsize (KiB) 486520
[startup+762.307 s]
/proc/loadavg: 4.00 4.00 3.92 5/181 12496
/proc/meminfo: memFree=30498828/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=553332 CPUtime=1524.2 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 99830 0 0 0 152267 153 0 0 20 0 3 0 275519118 566611968 102216 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 138333 102216 208 433 0 137897 0
[pid=12446/tid=12447] ppid=12444 vsize=553332 CPUtime=760.23 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 55228 0 0 0 75909 114 0 0 20 0 3 0 275519119 566611968 102216 33554432000 4194304 5965102 140736047868432 139864647231480 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=553332 CPUtime=760.28 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 43836 0 0 0 75968 60 0 0 20 0 3 0 275519119 566611968 102216 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1524.2
Current children cumulated vsize (KiB) 553332
[startup+822.3 s]
/proc/loadavg: 4.03 4.01 3.93 5/181 12496
/proc/meminfo: memFree=30461600/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=554012 CPUtime=1644.18 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 104443 0 0 0 164253 165 0 0 20 0 3 0 275519118 567308288 106829 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 138503 106829 208 433 0 138067 0
[pid=12446/tid=12447] ppid=12444 vsize=554012 CPUtime=820.07 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 58613 0 0 0 81882 125 0 0 20 0 3 0 275519119 567308288 106829 33554432000 4194304 5965102 140736047868432 139864647231480 4401050 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=554012 CPUtime=820.12 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 45064 0 0 0 81949 63 0 0 20 0 3 0 275519119 567308288 106829 33554432000 4194304 5965102 140736047868432 139864636741992 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1644.18
Current children cumulated vsize (KiB) 554012
[startup+882.3 s]
/proc/loadavg: 4.01 4.01 3.93 5/181 12497
/proc/meminfo: memFree=30444044/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=557216 CPUtime=1764.16 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 107323 0 0 0 176245 171 0 0 20 0 3 0 275519118 570589184 109709 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 139304 109709 208 433 0 138868 0
[pid=12446/tid=12447] ppid=12444 vsize=557216 CPUtime=879.92 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 60105 0 0 0 87863 129 0 0 20 0 3 0 275519119 570589184 109709 33554432000 4194304 5965102 140736047868432 139864647231480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=557216 CPUtime=879.96 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 46452 0 0 0 87929 67 0 0 20 0 3 0 275519119 570589184 109709 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1764.16
Current children cumulated vsize (KiB) 557216
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/182 12500
/proc/meminfo: memFree=30432968/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=557216 CPUtime=1800.16 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 107686 0 0 0 179845 171 0 0 20 0 3 0 275519118 570589184 110072 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 139304 110072 208 433 0 138868 0
[pid=12446/tid=12447] ppid=12444 vsize=557216 CPUtime=897.88 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 60105 0 0 0 89659 129 0 0 20 0 3 0 275519119 570589184 110072 33554432000 4194304 5965102 140736047868432 139864647231480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=557216 CPUtime=897.92 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 46815 0 0 0 89725 67 0 0 20 0 3 0 275519119 570589184 110072 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 557216
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.3 s]
/proc/loadavg: 4.01 4.00 3.93 5/182 12500
/proc/meminfo: memFree=30432968/32873844 swapFree=7364/7364
[pid=12446] ppid=12444 vsize=557216 CPUtime=1800.16 cores=1,3,5,7
/proc/12446/stat : 12446 (pwbo2.0) S 12444 12446 11438 0 -1 4202496 107686 0 0 0 179845 171 0 0 20 0 3 0 275519118 570589184 110072 33554432000 4194304 5965102 140736047868432 140736047867952 4547341 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12446/statm: 139304 110072 208 433 0 138868 0
[pid=12446/tid=12447] ppid=12444 vsize=557216 CPUtime=897.88 cores=1,3,5,7
/proc/12446/task/12447/stat : 12447 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 60105 0 0 0 89659 129 0 0 20 0 3 0 275519119 570589184 110072 33554432000 4194304 5965102 140736047868432 139864647231480 4400960 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12446/tid=12448] ppid=12444 vsize=557216 CPUtime=897.92 cores=1,3,5,7
/proc/12446/task/12448/stat : 12448 (pwbo2.0) R 12444 12446 11438 0 -1 4202560 46815 0 0 0 89725 67 0 0 20 0 3 0 275519119 570589184 110072 33554432000 4194304 5965102 140736047868432 139864636741944 4400960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 557216
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12446 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=857292
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=992697
# CPU time returned by wait4() is 1795.85
# while last known CPU time is 1800.16
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 900.325
CPU time (s): 1800.16
CPU user time (s): 1798.45
CPU system time (s): 1.71
CPU usage (%): 199.946
Max. virtual memory (cumulated for all children) (KiB): 557216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.86
system time used= 1.9927
maximum resident set size= 440296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 107688
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= 445
involuntary context switches= 1841
runsolver used 2.09968 second user time and 5.63614 second system time
The end