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-3726663-1338660018/watcher-3726663-1338660018 -o /tmp/evaluation-result-3726663-1338660018/solver-3726663-1338660018 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726663-1338660018.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: 2.07 2.02 2.00 3/178 26939
/proc/meminfo: memFree=31121236/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=12436 CPUtime=0 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) R 26937 26939 23807 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 332126744 12734464 270 33554432000 4194304 5964478 140733419115648 140736724154728 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 3109 270 173 433 0 349 0
[startup+0.04657 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26939
/proc/meminfo: memFree=31121236/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=14300 CPUtime=0.04 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) R 26937 26939 23807 0 -1 4202496 924 0 0 0 4 0 0 0 20 0 1 0 332126744 14643200 876 33554432000 4194304 5964478 140733419115648 140736724154728 5374130 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 3575 878 316 433 0 815 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 14300
[startup+0.100283 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26939
/proc/meminfo: memFree=31121236/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=16924 CPUtime=0.09 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) R 26937 26939 23807 0 -1 4202496 1751 0 0 0 9 0 0 0 20 0 1 0 332126744 17330176 1703 33554432000 4194304 5964478 140733419115648 140736724154728 4348995 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 4231 1703 523 433 0 1471 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16924
[startup+0.300269 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26939
/proc/meminfo: memFree=31121236/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=25868 CPUtime=0.28 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) R 26937 26939 23807 0 -1 4202496 4742 0 0 0 28 0 0 0 20 0 1 0 332126744 26488832 4629 33554432000 4194304 5964478 140733419115648 140733419113528 5136490 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 6467 4629 1268 433 0 3707 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 25868
[startup+0.700172 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 26939
/proc/meminfo: memFree=31121236/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=111932 CPUtime=0.69 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 13900 0 0 0 67 2 0 0 20 0 2 0 332126744 114618368 11333 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 27983 11333 177 433 0 27547 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 111932
[startup+1.50036 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 26941
/proc/meminfo: memFree=31058244/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=111932 CPUtime=1.49 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 19050 0 0 0 146 3 0 0 20 0 2 0 332126744 114618368 16040 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 27983 16040 186 433 0 27547 0
[pid=26939/tid=26941] ppid=26937 vsize=111932 CPUtime=0.85 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 9006 0 0 0 83 2 0 0 20 0 2 0 332126808 114618368 16040 33554432000 4194304 5964478 140733419115648 140570866890552 4392968 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111932
[startup+3.10035 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 26941
/proc/meminfo: memFree=31056508/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=111932 CPUtime=3.08 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 19415 0 0 0 305 3 0 0 20 0 2 0 332126744 114618368 16405 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 27983 16405 186 433 0 27547 0
[pid=26939/tid=26941] ppid=26937 vsize=111932 CPUtime=2.44 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 9371 0 0 0 242 2 0 0 20 0 2 0 332126808 114618368 16405 33554432000 4194304 5964478 140733419115648 140570866890744 18446744073699066235 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 111932
[startup+6.30034 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 26941
/proc/meminfo: memFree=31050796/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=111932 CPUtime=6.29 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 20313 0 0 0 625 4 0 0 20 0 2 0 332126744 114618368 17303 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 27983 17303 186 433 0 27547 0
[pid=26939/tid=26941] ppid=26937 vsize=111932 CPUtime=5.63 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 10269 0 0 0 561 2 0 0 20 0 2 0 332126808 114618368 17303 33554432000 4194304 5964478 140733419115648 140570866890744 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 111932
[startup+12.7004 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 26941
/proc/meminfo: memFree=31042240/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=111932 CPUtime=12.69 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 22153 0 0 0 1264 5 0 0 20 0 2 0 332126744 114618368 19143 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 27983 19143 186 433 0 27547 0
[pid=26939/tid=26941] ppid=26937 vsize=111932 CPUtime=12.01 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 12109 0 0 0 1198 3 0 0 20 0 2 0 332126808 114618368 19143 33554432000 4194304 5964478 140733419115648 140570866890792 4403370 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 111932
[startup+25.5004 s]
/proc/loadavg: 2.05 2.02 2.00 3/180 26941
/proc/meminfo: memFree=31028368/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=111932 CPUtime=25.49 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 25077 0 0 0 2543 6 0 0 20 0 2 0 332126744 114618368 22067 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 27983 22067 186 433 0 27547 0
[pid=26939/tid=26941] ppid=26937 vsize=111932 CPUtime=24.78 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 15033 0 0 0 2474 4 0 0 20 0 2 0 332126808 114618368 22067 33554432000 4194304 5964478 140733419115648 140570866890744 4400784 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 111932
[startup+51.1004 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 26964
/proc/meminfo: memFree=31000000/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=177468 CPUtime=51.08 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 29722 0 0 0 5100 8 0 0 20 0 2 0 332126744 181727232 26711 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 44367 26711 186 433 0 43931 0
[pid=26939/tid=26941] ppid=26937 vsize=177468 CPUtime=50.31 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 19678 0 0 0 5025 6 0 0 20 0 2 0 332126808 181727232 26711 33554432000 4194304 5964478 140733419115648 140570866890552 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 177468
[startup+102.307 s]
/proc/loadavg: 2.08 2.03 2.00 3/180 26964
/proc/meminfo: memFree=30947520/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=177468 CPUtime=102.25 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 36609 0 0 0 10212 13 0 0 20 0 2 0 332126744 181727232 34077 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 44367 34077 186 433 0 43931 0
[pid=26939/tid=26941] ppid=26937 vsize=177468 CPUtime=101.36 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 26565 0 0 0 10124 12 0 0 20 0 2 0 332126808 181727232 34077 33554432000 4194304 5964478 140733419115648 140570866890552 4400069 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 177468
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 26964
/proc/meminfo: memFree=30896488/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=243004 CPUtime=162.21 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 44537 0 0 0 16202 19 0 0 20 0 2 0 332126744 248836096 42858 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 60751 42858 186 433 0 60315 0
[pid=26939/tid=26941] ppid=26937 vsize=243004 CPUtime=161.16 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 34493 0 0 0 16097 19 0 0 20 0 2 0 332126808 248836096 42858 33554432000 4194304 5964478 140733419115648 140570866890792 4399938 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 243004
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 26965
/proc/meminfo: memFree=30846396/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=246652 CPUtime=222.2 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 51898 0 0 0 22194 26 0 0 20 0 2 0 332126744 252571648 50730 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 61663 50730 186 433 0 61227 0
[pid=26939/tid=26941] ppid=26937 vsize=246652 CPUtime=221.01 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 41854 0 0 0 22074 27 0 0 20 0 2 0 332126808 252571648 50730 33554432000 4194304 5964478 140733419115648 140570866890744 4399920 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 246652
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 26965
/proc/meminfo: memFree=30818808/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=246652 CPUtime=282.19 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 53716 0 0 0 28190 29 0 0 20 0 2 0 332126744 252571648 52548 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 61663 52548 186 433 0 61227 0
[pid=26939/tid=26941] ppid=26937 vsize=246652 CPUtime=280.85 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 43672 0 0 0 28054 31 0 0 20 0 2 0 332126808 252571648 52548 33554432000 4194304 5964478 140733419115648 140570866890552 4222352 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 246652
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26965
/proc/meminfo: memFree=30800312/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=246652 CPUtime=342.17 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 54196 0 0 0 34188 29 0 0 20 0 2 0 332126744 252571648 53028 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 61663 53028 186 433 0 61227 0
[pid=26939/tid=26941] ppid=26937 vsize=246652 CPUtime=340.69 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 44152 0 0 0 34037 32 0 0 20 0 2 0 332126808 252571648 53028 33554432000 4194304 5964478 140733419115648 140570866890552 4382257 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 246652
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26965
/proc/meminfo: memFree=30762368/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=312188 CPUtime=402.16 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 61287 0 0 0 40180 36 0 0 20 0 2 0 332126744 319680512 60119 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 78047 60119 186 433 0 77611 0
[pid=26939/tid=26941] ppid=26937 vsize=312188 CPUtime=400.54 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 51243 0 0 0 40013 41 0 0 20 0 2 0 332126808 319680512 60119 33554432000 4194304 5964478 140733419115648 140570866890744 4403280 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 312188
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 26965
/proc/meminfo: memFree=30726780/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=312188 CPUtime=462.16 cores=1,3,5,7
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 27013
/proc/meminfo: memFree=30676572/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=513352 CPUtime=1421.88 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 122793 0 0 0 142082 106 0 0 20 0 2 0 332126744 525672448 123036 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 128338 123036 186 433 0 127902 0
[pid=26939/tid=26941] ppid=26937 vsize=513352 CPUtime=1417.81 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 112749 0 0 0 141655 126 0 0 20 0 2 0 332126808 525672448 123036 33554432000 4194304 5964478 140733419115648 140570866890552 4399938 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 513352
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27014
/proc/meminfo: memFree=30655212/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=513352 CPUtime=1481.87 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 123341 0 0 0 148080 107 0 0 20 0 2 0 332126744 525672448 123583 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 128338 123583 186 433 0 127902 0
[pid=26939/tid=26941] ppid=26937 vsize=513352 CPUtime=1477.65 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 113297 0 0 0 147638 127 0 0 20 0 2 0 332126808 525672448 123583 33554432000 4194304 5964478 140733419115648 140570866890552 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 513352
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27014
/proc/meminfo: memFree=30638948/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1541.86 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 123786 0 0 0 154079 107 0 0 20 0 2 0 332126744 592781312 124026 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 124026 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1537.49 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 113742 0 0 0 153620 129 0 0 20 0 2 0 332126808 592781312 124026 33554432000 4194304 5964478 140733419115648 140570866890616 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 578888
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27014
/proc/meminfo: memFree=30619312/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1601.85 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 125214 0 0 0 160076 109 0 0 20 0 2 0 332126744 592781312 125454 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 125454 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1597.34 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 115170 0 0 0 159603 131 0 0 20 0 2 0 332126808 592781312 125454 33554432000 4194304 5964478 140733419115648 140570866890744 4400024 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 578888
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 27014
/proc/meminfo: memFree=30588808/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1661.85 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 128143 0 0 0 166071 114 0 0 20 0 2 0 332126744 592781312 128383 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 128383 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1657.19 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 118099 0 0 0 165582 137 0 0 20 0 2 0 332126808 592781312 128383 33554432000 4194304 5964478 140733419115648 140570866890792 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 578888
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 27014
/proc/meminfo: memFree=30557496/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1721.83 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 131277 0 0 0 172066 117 0 0 20 0 2 0 332126744 592781312 131570 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 131570 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1717.03 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 121233 0 0 0 171562 141 0 0 20 0 2 0 332126808 592781312 131570 33554432000 4194304 5964478 140733419115648 140570866890744 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 578888
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 27015
/proc/meminfo: memFree=30525096/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1781.81 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 134292 0 0 0 178061 120 0 0 20 0 2 0 332126744 592781312 134792 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 134792 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1776.86 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 124248 0 0 0 177542 144 0 0 20 0 2 0 332126808 592781312 134792 33554432000 4194304 5964478 140733419115648 140570866890744 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 578888
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.08 2.02 2.01 3/180 27018
/proc/meminfo: memFree=30520840/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1791.4 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 134748 0 0 0 179019 121 0 0 20 0 2 0 332126744 592781312 135334 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 135334 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1786.44 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 124704 0 0 0 178497 147 0 0 20 0 2 0 332126808 592781312 135334 33554432000 4194304 5964478 140733419115648 140570866890744 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.4
Current children cumulated vsize (KiB) 578888
[startup+1795.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 27018
/proc/meminfo: memFree=30519468/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1794.59 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 134887 0 0 0 179338 121 0 0 20 0 2 0 332126744 592781312 135545 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 135545 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1789.62 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 124843 0 0 0 178815 147 0 0 20 0 2 0 332126808 592781312 135545 33554432000 4194304 5964478 140733419115648 140570866890744 4399952 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.59
Current children cumulated vsize (KiB) 578888
[startup+1798.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 27018
/proc/meminfo: memFree=30518476/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1797.78 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 135171 0 0 0 179657 121 0 0 20 0 2 0 332126744 592781312 135829 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 135829 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1792.81 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 125127 0 0 0 179134 147 0 0 20 0 2 0 332126808 592781312 135829 33554432000 4194304 5964478 140733419115648 140570866890552 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.78
Current children cumulated vsize (KiB) 578888
[startup+1799.1 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 27018
/proc/meminfo: memFree=30517368/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1798.58 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 135180 0 0 0 179737 121 0 0 20 0 2 0 332126744 592781312 135838 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 135838 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1793.6 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 125136 0 0 0 179213 147 0 0 20 0 2 0 332126808 592781312 135838 33554432000 4194304 5964478 140733419115648 140570866890552 4400784 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.58
Current children cumulated vsize (KiB) 578888
[startup+1799.5 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 27018
/proc/meminfo: memFree=30517244/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1798.99 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 135181 0 0 0 179778 121 0 0 20 0 2 0 332126744 592781312 135839 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 135839 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1794.01 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 125137 0 0 0 179254 147 0 0 20 0 2 0 332126808 592781312 135839 33554432000 4194304 5964478 140733419115648 140570866890552 4399920 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.99
Current children cumulated vsize (KiB) 578888
[startup+1799.9 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 27018
/proc/meminfo: memFree=30517244/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1799.38 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 135194 0 0 0 179817 121 0 0 20 0 2 0 332126744 592781312 135852 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 135852 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1794.4 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 125150 0 0 0 179293 147 0 0 20 0 2 0 332126808 592781312 135852 33554432000 4194304 5964478 140733419115648 140570866890552 4399915 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.38
Current children cumulated vsize (KiB) 578888
[startup+1800 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 27018
/proc/meminfo: memFree=30517244/32873844 swapFree=7116/7116
[pid=26939] ppid=26937 vsize=578888 CPUtime=1799.48 cores=1,3,5,7
/proc/26939/stat : 26939 (pwbo2.02) S 26937 26939 23807 0 -1 4202496 135211 0 0 0 179827 121 0 0 20 0 2 0 332126744 592781312 135869 33554432000 4194304 5964478 140733419115648 140733419115168 4546685 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/26939/statm: 144722 135869 186 433 0 144286 0
[pid=26939/tid=26941] ppid=26937 vsize=578888 CPUtime=1794.5 cores=1,3,5,7
/proc/26939/task/26941/stat : 26941 (pwbo2.02) R 26937 26939 23807 0 -1 4202560 125167 0 0 0 179303 147 0 0 20 0 2 0 332126808 592781312 135869 33554432000 4194304 5964478 140733419115648 140570866890552 4392968 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 578888
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26939 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=667321
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=495772
# CPU time returned by wait4() is 1795.16
# while last known CPU time is 1799.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.01
CPU time (s): 1799.48
CPU user time (s): 1798.27
CPU system time (s): 1.21
CPU usage (%): 99.9707
Max. virtual memory (cumulated for all children) (KiB): 578888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.67
system time used= 1.49577
maximum resident set size= 543488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135214
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= 230
involuntary context switches= 2356
runsolver used 3.82442 second user time and 10.6274 second system time
The end