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-3727976-1338658755/watcher-3727976-1338658755 -o /tmp/evaluation-result-3727976-1338658755/solver-3727976-1338658755 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727976-1338658755.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.00 2.00 1.99 3/177 22857
/proc/meminfo: memFree=27771680/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=10536 CPUtime=0 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) R 22855 22857 19272 0 -1 4202496 658 0 0 0 0 0 0 0 20 0 1 0 332004213 10788864 610 33554432000 4194304 5964350 140733293470208 140733205673656 4395326 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 2634 610 167 433 0 756 0
[startup+0.106569 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 22857
/proc/meminfo: memFree=27771680/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=31480 CPUtime=0.1 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) R 22855 22857 19272 0 -1 4202496 5897 0 0 0 9 1 0 0 20 0 1 0 332004213 32235520 5469 33554432000 4194304 5964350 140733293470208 140733205673656 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 7870 5470 452 433 0 5992 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 31480
[startup+0.200322 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 22857
/proc/meminfo: memFree=27771680/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=37552 CPUtime=0.19 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) R 22855 22857 19272 0 -1 4202496 7685 0 0 0 18 1 0 0 20 0 1 0 332004213 38453248 7257 33554432000 4194304 5964350 140733293470208 140733205673656 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 9388 7258 743 433 0 7510 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 37552
[startup+0.300312 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 22857
/proc/meminfo: memFree=27771680/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=44068 CPUtime=0.29 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) R 22855 22857 19272 0 -1 4202496 9591 0 0 0 28 1 0 0 20 0 1 0 332004213 45125632 9163 33554432000 4194304 5964350 140733293470208 140733205673656 5136410 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 11017 9165 1053 433 0 9139 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44068
[startup+0.700177 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 22857
/proc/meminfo: memFree=27771680/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=137272 CPUtime=0.69 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 28160 0 0 0 65 4 0 0 20 0 2 0 332004213 140566528 24613 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 34318 24613 189 433 0 33882 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 137272
[startup+1.50031 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22859
/proc/meminfo: memFree=27639312/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=193248 CPUtime=1.48 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 38765 0 0 0 142 6 0 0 20 0 2 0 332004213 197885952 34483 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 48312 34483 193 433 0 47876 0
[pid=22857/tid=22859] ppid=22855 vsize=193248 CPUtime=1.01 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 25324 0 0 0 96 5 0 0 20 0 2 0 332004261 197885952 34483 33554432000 4194304 5964350 140733293470208 140190003165512 4403290 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 193248
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22859
/proc/meminfo: memFree=27634520/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=193248 CPUtime=3.08 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 38766 0 0 0 302 6 0 0 20 0 2 0 332004213 197885952 34484 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 48312 34484 194 433 0 47876 0
[pid=22857/tid=22859] ppid=22855 vsize=193248 CPUtime=2.62 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 25325 0 0 0 256 6 0 0 20 0 2 0 332004261 197885952 34484 33554432000 4194304 5964350 140733293470208 140190003165592 4222308 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 193248
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22859
/proc/meminfo: memFree=27633776/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=193248 CPUtime=6.28 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 38766 0 0 0 622 6 0 0 20 0 2 0 332004213 197885952 34484 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 48312 34484 194 433 0 47876 0
[pid=22857/tid=22859] ppid=22855 vsize=193248 CPUtime=5.82 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 25325 0 0 0 576 6 0 0 20 0 2 0 332004261 197885952 34484 33554432000 4194304 5964350 140733293470208 140190003165592 4221984 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 193248
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22859
/proc/meminfo: memFree=27635200/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=193248 CPUtime=12.68 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 38766 0 0 0 1262 6 0 0 20 0 2 0 332004213 197885952 34484 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 48312 34484 194 433 0 47876 0
[pid=22857/tid=22859] ppid=22855 vsize=193248 CPUtime=12.22 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 25325 0 0 0 1216 6 0 0 20 0 2 0 332004261 197885952 34484 33554432000 4194304 5964350 140733293470208 140190003165592 4399785 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 193248
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22859
/proc/meminfo: memFree=27634200/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=193248 CPUtime=25.49 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 38872 0 0 0 2542 7 0 0 20 0 2 0 332004213 197885952 34590 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 48312 34590 194 433 0 47876 0
[pid=22857/tid=22859] ppid=22855 vsize=193248 CPUtime=25.01 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 25431 0 0 0 2495 6 0 0 20 0 2 0 332004261 197885952 34590 33554432000 4194304 5964350 140733293470208 140190003165592 4400439 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 193248
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 22862
/proc/meminfo: memFree=27624852/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=193248 CPUtime=51.08 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 40980 0 0 0 5099 9 0 0 20 0 2 0 332004213 197885952 36698 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 48312 36698 194 433 0 47876 0
[pid=22857/tid=22859] ppid=22855 vsize=193248 CPUtime=50.61 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 27539 0 0 0 5053 8 0 0 20 0 2 0 332004261 197885952 36698 33554432000 4194304 5964350 140733293470208 140190003165176 4403296 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 193248
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/180 22863
/proc/meminfo: memFree=27583440/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=258784 CPUtime=102.27 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 49657 0 0 0 10213 14 0 0 20 0 2 0 332004213 264994816 46395 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 64696 46395 194 433 0 64260 0
[pid=22857/tid=22859] ppid=22855 vsize=258784 CPUtime=101.81 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 36216 0 0 0 10167 14 0 0 20 0 2 0 332004261 264994816 46395 33554432000 4194304 5964350 140733293470208 140190003165512 4403451 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 258784
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22863
/proc/meminfo: memFree=27583324/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=258784 CPUtime=162.26 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 49679 0 0 0 16212 14 0 0 20 0 2 0 332004213 264994816 46417 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 64696 46417 194 433 0 64260 0
[pid=22857/tid=22859] ppid=22855 vsize=258784 CPUtime=161.81 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 36238 0 0 0 16166 15 0 0 20 0 2 0 332004261 264994816 46417 33554432000 4194304 5964350 140733293470208 140190003165512 4403290 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 258784
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22863
/proc/meminfo: memFree=27581588/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=258784 CPUtime=222.26 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 49704 0 0 0 22212 14 0 0 20 0 2 0 332004213 264994816 46442 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 64696 46442 194 433 0 64260 0
[pid=22857/tid=22859] ppid=22855 vsize=258784 CPUtime=221.81 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 36263 0 0 0 22165 16 0 0 20 0 2 0 332004261 264994816 46442 33554432000 4194304 5964350 140733293470208 140190003165512 4392658 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 258784
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22863
/proc/meminfo: memFree=27568320/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=258784 CPUtime=282.25 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 50826 0 0 0 28210 15 0 0 20 0 2 0 332004213 264994816 47564 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 64696 47564 194 433 0 64260 0
[pid=22857/tid=22859] ppid=22855 vsize=258784 CPUtime=281.8 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 37385 0 0 0 28162 18 0 0 20 0 2 0 332004261 264994816 47564 33554432000 4194304 5964350 140733293470208 140190003165176 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 258784
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22863
/proc/meminfo: memFree=27532404/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=258784 CPUtime=342.21 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 58293 0 0 0 34202 19 0 0 20 0 2 0 332004213 264994816 55547 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 64696 55547 194 433 0 64260 0
[pid=22857/tid=22859] ppid=22855 vsize=258784 CPUtime=341.78 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 44852 0 0 0 34155 23 0 0 20 0 2 0 332004261 264994816 55547 33554432000 4194304 5964350 140733293470208 140190003164984 4392783 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 258784
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/179 22864
/proc/meminfo: memFree=27504908/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=324320 CPUtime=402.17 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 63391 0 0 0 40194 23 0 0 20 0 2 0 332004213 332103680 61155 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 81080 61155 194 433 0 80644 0
[pid=22857/tid=22859] ppid=22855 vsize=324320 CPUtime=401.75 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 49950 0 0 0 40146 29 0 0 20 0 2 0 332004261 332103680 61155 33554432000 4194304 5964350 140733293470208 140190003165176 4222330 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 324320
[startup+462.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22864
/proc/meminfo: memFree=27427784/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=324320 CPUtime=462.15 cores=0,2,4,6
################
# More data... #
################
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 156769 0 0 0 124045 114 0 0 20 0 2 0 332004261 734756864 168944 33554432000 4194304 5964350 140733293470208 140190003165176 4399820 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1241.9
Current children cumulated vsize (KiB) 717536
[startup+1302.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/180 22924
/proc/meminfo: memFree=27173520/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=783072 CPUtime=1301.89 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 175661 0 0 0 130088 101 0 0 20 0 2 0 332004213 801865728 174393 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 195768 174393 194 433 0 195332 0
[pid=22857/tid=22859] ppid=22855 vsize=783072 CPUtime=1301.59 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 162220 0 0 0 130039 120 0 0 20 0 2 0 332004261 801865728 174393 33554432000 4194304 5964350 140733293470208 140190003165224 4399840 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 783072
[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/180 22946
/proc/meminfo: memFree=27131760/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=783072 CPUtime=1361.88 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 180768 0 0 0 136083 105 0 0 20 0 2 0 332004213 801865728 179499 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 195768 179499 194 433 0 195332 0
[pid=22857/tid=22859] ppid=22855 vsize=783072 CPUtime=1361.59 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 167327 0 0 0 136035 124 0 0 20 0 2 0 332004261 801865728 179499 33554432000 4194304 5964350 140733293470208 140190003164984 4400548 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 783072
[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 22946
/proc/meminfo: memFree=27072280/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=783072 CPUtime=1421.88 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 186592 0 0 0 142078 110 0 0 20 0 2 0 332004213 801865728 185323 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 195768 185323 194 433 0 195332 0
[pid=22857/tid=22859] ppid=22855 vsize=783072 CPUtime=1421.59 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 173151 0 0 0 142029 130 0 0 20 0 2 0 332004261 801865728 185323 33554432000 4194304 5964350 140733293470208 140190003165176 4392882 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.88
Current children cumulated vsize (KiB) 783072
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22946
/proc/meminfo: memFree=27013876/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1481.86 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 193771 0 0 0 148070 116 0 0 20 0 2 0 332004213 868974592 192501 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 192501 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1481.59 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 180330 0 0 0 148022 137 0 0 20 0 2 0 332004261 868974592 192501 33554432000 4194304 5964350 140733293470208 140190003165224 4400011 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.86
Current children cumulated vsize (KiB) 848608
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22946
/proc/meminfo: memFree=26990192/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1541.87 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 199299 0 0 0 154066 121 0 0 20 0 2 0 332004213 868974592 198024 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 198024 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1541.59 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 185858 0 0 0 154016 143 0 0 20 0 2 0 332004261 868974592 198024 33554432000 4194304 5964350 140733293470208 140190003165224 4392783 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 848608
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22947
/proc/meminfo: memFree=26964680/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1601.84 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 204272 0 0 0 160060 124 0 0 20 0 2 0 332004213 868974592 203277 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 203277 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1601.58 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 190831 0 0 0 160011 147 0 0 20 0 2 0 332004261 868974592 203277 33554432000 4194304 5964350 140733293470208 140190003164984 4387859 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.84
Current children cumulated vsize (KiB) 848608
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22947
/proc/meminfo: memFree=26911268/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1661.81 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 204981 0 0 0 166057 124 0 0 20 0 2 0 332004213 868974592 204692 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 204692 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1661.56 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191540 0 0 0 166007 149 0 0 20 0 2 0 332004261 868974592 204692 33554432000 4194304 5964350 140733293470208 140190003164984 4392783 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.81
Current children cumulated vsize (KiB) 848608
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22947
/proc/meminfo: memFree=26904268/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1721.8 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 204988 0 0 0 172055 125 0 0 20 0 2 0 332004213 868974592 204934 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 204934 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1721.55 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191547 0 0 0 172005 150 0 0 20 0 2 0 332004261 868974592 204934 33554432000 4194304 5964350 140733293470208 140190003164984 4222352 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.8
Current children cumulated vsize (KiB) 848608
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 22947
/proc/meminfo: memFree=26902040/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1781.78 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 205005 0 0 0 178053 125 0 0 20 0 2 0 332004213 868974592 205217 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 205217 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1781.54 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191564 0 0 0 178003 151 0 0 20 0 2 0 332004261 868974592 205217 33554432000 4194304 5964350 140733293470208 140190003164984 4392681 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.78
Current children cumulated vsize (KiB) 848608
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 22947
/proc/meminfo: memFree=26901172/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1791.49 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 205005 0 0 0 179024 125 0 0 20 0 2 0 332004213 868974592 205217 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 205217 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1791.24 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191564 0 0 0 178973 151 0 0 20 0 2 0 332004261 868974592 205217 33554432000 4194304 5964350 140733293470208 140190003164984 4392888 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.49
Current children cumulated vsize (KiB) 848608
[startup+1795.2 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 22947
/proc/meminfo: memFree=26901172/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1794.69 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 205005 0 0 0 179344 125 0 0 20 0 2 0 332004213 868974592 205217 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 205217 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1794.44 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191564 0 0 0 179293 151 0 0 20 0 2 0 332004261 868974592 205217 33554432000 4194304 5964350 140733293470208 140190003164984 4403290 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.69
Current children cumulated vsize (KiB) 848608
[startup+1798.4 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22947
/proc/meminfo: memFree=26901172/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1797.88 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 205005 0 0 0 179663 125 0 0 20 0 2 0 332004213 868974592 205217 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 205217 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1797.64 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191564 0 0 0 179613 151 0 0 20 0 2 0 332004261 868974592 205217 33554432000 4194304 5964350 140733293470208 140190003164984 4403355 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.88
Current children cumulated vsize (KiB) 848608
[startup+1799.2 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22947
/proc/meminfo: memFree=26901172/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1798.68 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 205005 0 0 0 179743 125 0 0 20 0 2 0 332004213 868974592 205217 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 205217 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1798.44 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191564 0 0 0 179693 151 0 0 20 0 2 0 332004261 868974592 205217 33554432000 4194304 5964350 140733293470208 140190003164984 4403293 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.68
Current children cumulated vsize (KiB) 848608
[startup+1799.6 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22947
/proc/meminfo: memFree=26901172/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1799.08 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 205005 0 0 0 179783 125 0 0 20 0 2 0 332004213 868974592 205217 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 205217 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1798.84 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191564 0 0 0 179733 151 0 0 20 0 2 0 332004261 868974592 205217 33554432000 4194304 5964350 140733293470208 140190003164984 4399774 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.08
Current children cumulated vsize (KiB) 848608
[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 22947
/proc/meminfo: memFree=26901172/32873844 swapFree=7116/7116
[pid=22857] ppid=22855 vsize=848608 CPUtime=1799.48 cores=0,2,4,6
/proc/22857/stat : 22857 (wbo1.72) S 22855 22857 19272 0 -1 4202496 205005 0 0 0 179823 125 0 0 20 0 2 0 332004213 868974592 205217 33554432000 4194304 5964350 140733293470208 140733293469728 4546605 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/22857/statm: 212152 205217 194 433 0 211716 0
[pid=22857/tid=22859] ppid=22855 vsize=848608 CPUtime=1799.24 cores=0,2,4,6
/proc/22857/task/22859/stat : 22859 (wbo1.72) R 22855 22857 19272 0 -1 4202560 191564 0 0 0 179773 151 0 0 20 0 2 0 332004261 868974592 205217 33554432000 4194304 5964350 140733293470208 140190003164984 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.48
Current children cumulated vsize (KiB) 848608
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.74
CPU user time (s): 1798.2
CPU system time (s): 1.54177
CPU usage (%): 99.985
Max. virtual memory (cumulated for all children) (KiB): 848608
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.2
system time used= 1.54176
maximum resident set size= 820876
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 205007
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= 268
involuntary context switches= 1907
runsolver used 3.17352 second user time and 9.31858 second system time
The end