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-3705727-1338097091/watcher-3705727-1338097091 -o /tmp/evaluation-result-3705727-1338097091/solver-3705727-1338097091 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705727-1338097091.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: 2.01 2.01 2.00 3/177 12255
/proc/meminfo: memFree=29474700/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=6092 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) R 12253 12255 11506 0 -1 4202496 639 0 0 0 0 0 0 0 20 0 1 0 275834255 6238208 591 33554432000 4194304 5963574 140734725667824 140737370007224 4394942 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 1523 591 170 432 0 694 0
[startup+0.0110881 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12255
/proc/meminfo: memFree=29474700/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=7372 CPUtime=0 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) R 12253 12255 11506 0 -1 4202496 947 0 0 0 0 0 0 0 20 0 1 0 275834255 7548928 899 33554432000 4194304 5963574 140734725667824 140737370007224 5161157 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 1843 901 180 432 0 1014 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 7372
[startup+0.100216 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12255
/proc/meminfo: memFree=29474700/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=14208 CPUtime=0.09 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) R 12253 12255 11506 0 -1 4202496 2878 0 0 0 9 0 0 0 20 0 1 0 275834255 14548992 2797 33554432000 4194304 5963574 140734725667824 140737370007224 5247722 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 3552 2797 465 432 0 2723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 14208
[startup+0.300284 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12255
/proc/meminfo: memFree=29474700/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=94000 CPUtime=0.29 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 8343 0 0 0 28 1 0 0 20 0 2 0 275834255 96256000 6892 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 23500 6892 191 432 0 23065 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 94000
[startup+0.700282 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 12255
/proc/meminfo: memFree=29474700/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=94000 CPUtime=0.69 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 10805 0 0 0 68 1 0 0 20 0 2 0 275834255 96256000 6928 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 23500 6928 191 432 0 23065 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 94000
[startup+1.50031 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29445676/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=94000 CPUtime=1.49 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 18984 0 0 0 146 3 0 0 20 0 2 0 275834255 96256000 7130 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 23500 7130 191 432 0 23065 0
[pid=12255/tid=12257] ppid=12253 vsize=94000 CPUtime=1.36 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 15301 0 0 0 133 3 0 0 20 0 2 0 275834268 96256000 7130 33554432000 4194304 5963574 140734725667824 140286820354456 4418856 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94000
[startup+3.10033 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29442832/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=94000 CPUtime=3.09 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 29649 0 0 0 305 4 0 0 20 0 2 0 275834255 96256000 7785 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 23500 7785 191 432 0 23065 0
[pid=12255/tid=12257] ppid=12253 vsize=94000 CPUtime=2.95 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 25966 0 0 0 292 3 0 0 20 0 2 0 275834268 96256000 7785 33554432000 4194304 5963574 140734725667824 140286820354584 5130053 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 94000
[startup+6.30032 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29430184/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=94000 CPUtime=6.29 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 47439 0 0 0 623 6 0 0 20 0 2 0 275834255 96256000 8881 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 23500 8881 194 432 0 23065 0
[pid=12255/tid=12257] ppid=12253 vsize=94000 CPUtime=6.14 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 43756 0 0 0 609 5 0 0 20 0 2 0 275834268 96256000 8881 33554432000 4194304 5963574 140734725667824 140286820354392 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 94000
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29415044/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=94000 CPUtime=12.69 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 49364 0 0 0 1263 6 0 0 20 0 2 0 275834255 96256000 10806 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 23500 10806 194 432 0 23065 0
[pid=12255/tid=12257] ppid=12253 vsize=94000 CPUtime=12.53 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 45681 0 0 0 1247 6 0 0 20 0 2 0 275834268 96256000 10806 33554432000 4194304 5963574 140734725667824 140286820354088 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 94000
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 12257
/proc/meminfo: memFree=29366992/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=159536 CPUtime=25.49 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 58147 0 0 0 2539 10 0 0 20 0 2 0 275834255 163364864 19589 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 39884 19589 194 432 0 39449 0
[pid=12255/tid=12257] ppid=12253 vsize=159536 CPUtime=25.29 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 54464 0 0 0 2520 9 0 0 20 0 2 0 275834268 163364864 19589 33554432000 4194304 5963574 140734725667824 140286820354040 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 159536
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12257
/proc/meminfo: memFree=29343396/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=159536 CPUtime=51.07 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 60555 0 0 0 5096 11 0 0 20 0 2 0 275834255 163364864 22383 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 39884 22383 194 432 0 39449 0
[pid=12255/tid=12257] ppid=12253 vsize=159536 CPUtime=50.82 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 56872 0 0 0 5072 10 0 0 20 0 2 0 275834268 163364864 22383 33554432000 4194304 5963574 140734725667824 140286820353848 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 159536
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12258
/proc/meminfo: memFree=29308816/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=159536 CPUtime=102.26 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 65413 0 0 0 10213 13 0 0 20 0 2 0 275834255 163364864 27575 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 39884 27575 194 432 0 39449 0
[pid=12255/tid=12257] ppid=12253 vsize=159536 CPUtime=101.88 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 61730 0 0 0 10174 14 0 0 20 0 2 0 275834268 163364864 27575 33554432000 4194304 5963574 140734725667824 140286820355000 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 159536
[startup+162.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/180 12261
/proc/meminfo: memFree=29271996/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=159536 CPUtime=162.24 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 65499 0 0 0 16211 13 0 0 20 0 2 0 275834255 163364864 27749 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 39884 27749 194 432 0 39449 0
[pid=12255/tid=12257] ppid=12253 vsize=159536 CPUtime=161.71 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 61816 0 0 0 16156 15 0 0 20 0 2 0 275834268 163364864 27749 33554432000 4194304 5963574 140734725667824 140286820355000 4400044 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 159536
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12261
/proc/meminfo: memFree=29245800/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=159536 CPUtime=222.23 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 65822 0 0 0 22210 13 0 0 20 0 2 0 275834255 163364864 28071 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 39884 28071 194 432 0 39449 0
[pid=12255/tid=12257] ppid=12253 vsize=159536 CPUtime=221.56 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 62139 0 0 0 22140 16 0 0 20 0 2 0 275834268 163364864 28071 33554432000 4194304 5963574 140734725667824 140286820353848 4399645 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 159536
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12261
/proc/meminfo: memFree=29205056/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=159536 CPUtime=282.22 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 69846 0 0 0 28206 16 0 0 20 0 2 0 275834255 163364864 32087 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 39884 32087 194 432 0 39449 0
[pid=12255/tid=12257] ppid=12253 vsize=159536 CPUtime=281.4 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 66163 0 0 0 28120 20 0 0 20 0 2 0 275834268 163364864 32087 33554432000 4194304 5963574 140734725667824 140286820354040 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 159536
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12261
/proc/meminfo: memFree=29153164/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=225072 CPUtime=342.19 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 78154 0 0 0 34200 19 0 0 20 0 2 0 275834255 230473728 40923 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 56268 40923 194 432 0 55833 0
[pid=12255/tid=12257] ppid=12253 vsize=225072 CPUtime=341.23 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 74471 0 0 0 34099 24 0 0 20 0 2 0 275834268 230473728 40923 33554432000 4194304 5963574 140734725667824 140286820354424 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.19
Current children cumulated vsize (KiB) 225072
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12262
/proc/meminfo: memFree=29128796/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=225072 CPUtime=402.18 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 78154 0 0 0 40199 19 0 0 20 0 2 0 275834255 230473728 40923 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 56268 40923 194 432 0 55833 0
[pid=12255/tid=12257] ppid=12253 vsize=225072 CPUtime=401.08 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 74471 0 0 0 40083 25 0 0 20 0 2 0 275834268 230473728 40923 33554432000 4194304 5963574 140734725667824 140286820354424 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 225072
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12262
/proc/meminfo: memFree=29108260/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=225072 CPUtime=462.17 cores=0,2,4,6
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/180 12294
/proc/meminfo: memFree=28618200/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=489648 CPUtime=1421.97 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 148919 0 0 0 142124 73 0 0 20 0 2 0 275834255 501399552 112780 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 122412 112780 194 432 0 121977 0
[pid=12255/tid=12257] ppid=12253 vsize=489648 CPUtime=1418.41 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 145236 0 0 0 141748 93 0 0 20 0 2 0 275834268 501399552 112780 33554432000 4194304 5963574 140734725667824 140286820354088 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 489648
[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12294
/proc/meminfo: memFree=28587580/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=489648 CPUtime=1481.95 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 153296 0 0 0 148118 77 0 0 20 0 2 0 275834255 501399552 117156 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 122412 117156 194 432 0 121977 0
[pid=12255/tid=12257] ppid=12253 vsize=489648 CPUtime=1478.25 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 149613 0 0 0 147726 99 0 0 20 0 2 0 275834268 501399552 117156 33554432000 4194304 5963574 140734725667824 140286820354040 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.95
Current children cumulated vsize (KiB) 489648
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12294
/proc/meminfo: memFree=28577536/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=490864 CPUtime=1541.95 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 154028 0 0 0 154116 79 0 0 20 0 2 0 275834255 502644736 117888 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 122716 117888 194 432 0 122281 0
[pid=12255/tid=12257] ppid=12253 vsize=490864 CPUtime=1538.09 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 150345 0 0 0 153708 101 0 0 20 0 2 0 275834268 502644736 117888 33554432000 4194304 5963574 140734725667824 140286820354088 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 490864
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28555392/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1601.93 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 154811 0 0 0 160114 79 0 0 20 0 2 0 275834255 569753600 118797 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 118797 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1597.94 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 151128 0 0 0 159691 103 0 0 20 0 2 0 275834268 569753600 118797 33554432000 4194304 5963574 140734725667824 140286820353848 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.93
Current children cumulated vsize (KiB) 556400
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28539300/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1661.89 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 155252 0 0 0 166110 79 0 0 20 0 2 0 275834255 569753600 119823 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 119823 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1657.74 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 151569 0 0 0 165670 104 0 0 20 0 2 0 275834268 569753600 119823 33554432000 4194304 5963574 140734725667824 140286820353848 4400012 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 556400
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 12295
/proc/meminfo: memFree=28535812/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1721.87 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 155784 0 0 0 172108 79 0 0 20 0 2 0 275834255 569753600 120511 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120511 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1717.59 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152101 0 0 0 171654 105 0 0 20 0 2 0 275834268 569753600 120511 33554432000 4194304 5963574 140734725667824 140286820353848 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 556400
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12295
/proc/meminfo: memFree=28513864/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1781.86 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156171 0 0 0 178107 79 0 0 20 0 2 0 275834255 569753600 120898 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120898 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1777.43 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152488 0 0 0 177637 106 0 0 20 0 2 0 275834268 569753600 120898 33554432000 4194304 5963574 140734725667824 140286820353848 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 556400
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12295
/proc/meminfo: memFree=28510640/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1791.46 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156175 0 0 0 179067 79 0 0 20 0 2 0 275834255 569753600 120902 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120902 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1787.01 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152492 0 0 0 178595 106 0 0 20 0 2 0 275834268 569753600 120902 33554432000 4194304 5963574 140734725667824 140286820353848 4399627 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 556400
[startup+1795.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28509772/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1794.66 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156178 0 0 0 179387 79 0 0 20 0 2 0 275834255 569753600 120905 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120905 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1790.21 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152495 0 0 0 178915 106 0 0 20 0 2 0 275834268 569753600 120905 33554432000 4194304 5963574 140734725667824 140286820353848 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 556400
[startup+1798.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12295
/proc/meminfo: memFree=28508780/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1797.85 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156178 0 0 0 179706 79 0 0 20 0 2 0 275834255 569753600 120905 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120905 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1793.39 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152495 0 0 0 179233 106 0 0 20 0 2 0 275834268 569753600 120905 33554432000 4194304 5963574 140734725667824 140286820353848 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.85
Current children cumulated vsize (KiB) 556400
[startup+1799.1 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12346
/proc/meminfo: memFree=28992500/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1798.65 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156178 0 0 0 179786 79 0 0 20 0 2 0 275834255 569753600 120905 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120905 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1794.19 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152495 0 0 0 179313 106 0 0 20 0 2 0 275834268 569753600 120905 33554432000 4194304 5963574 140734725667824 140286820353848 4399500 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.65
Current children cumulated vsize (KiB) 556400
[startup+1799.5 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12346
/proc/meminfo: memFree=28988524/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1799.06 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156178 0 0 0 179827 79 0 0 20 0 2 0 275834255 569753600 120905 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120905 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1794.6 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152495 0 0 0 179354 106 0 0 20 0 2 0 275834268 569753600 120905 33554432000 4194304 5963574 140734725667824 140286820353848 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.06
Current children cumulated vsize (KiB) 556400
[startup+1799.9 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12346
/proc/meminfo: memFree=28988524/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1799.45 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156178 0 0 0 179866 79 0 0 20 0 2 0 275834255 569753600 120905 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120905 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1794.99 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152495 0 0 0 179393 106 0 0 20 0 2 0 275834268 569753600 120905 33554432000 4194304 5963574 140734725667824 140286820353848 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.45
Current children cumulated vsize (KiB) 556400
[startup+1800 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 12346
/proc/meminfo: memFree=28988524/32873844 swapFree=7116/7116
[pid=12255] ppid=12253 vsize=556400 CPUtime=1799.55 cores=0,2,4,6
/proc/12255/stat : 12255 (wbo1.7) S 12253 12255 11506 0 -1 4202496 156178 0 0 0 179876 79 0 0 20 0 2 0 275834255 569753600 120905 33554432000 4194304 5963574 140734725667824 140734725667344 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/12255/statm: 139100 120905 194 432 0 138665 0
[pid=12255/tid=12257] ppid=12253 vsize=556400 CPUtime=1795.09 cores=0,2,4,6
/proc/12255/task/12257/stat : 12257 (wbo1.7) R 12253 12255 11506 0 -1 4202560 152495 0 0 0 179403 106 0 0 20 0 2 0 275834268 569753600 120905 33554432000 4194304 5963574 140734725667824 140286820353848 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 556400
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12255 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=160246
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=74836
# CPU time returned by wait4() is 1795.24
# while last known CPU time is 1799.55
#
# 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.55
CPU user time (s): 1798.76
CPU system time (s): 0.79
CPU usage (%): 99.9747
Max. virtual memory (cumulated for all children) (KiB): 556400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 1.07484
maximum resident set size= 483620
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 156178
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= 215
involuntary context switches= 1840
runsolver used 3.14152 second user time and 9.31858 second system time
The end