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-3726896-1338662920/watcher-3726896-1338662920 -o /tmp/evaluation-result-3726896-1338662920/solver-3726896-1338662920 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726896-1338662920.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.02 1.89 2.07 3/177 19709
/proc/meminfo: memFree=27023376/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84104 CPUtime=0 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 909 0 0 0 0 0 0 0 20 0 2 0 332420549 86122496 848 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21026 850 177 433 0 20590 0
[pid=19709/tid=19710] ppid=19707 vsize=84104 CPUtime=0 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 90 0 0 0 0 0 0 0 20 0 2 0 332420549 86122496 855 33554432000 4194304 5964478 140734173534528 140736095096904 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.092093 s]
/proc/loadavg: 2.02 1.89 2.07 3/177 19709
/proc/meminfo: memFree=27023376/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84104 CPUtime=0.08 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 1289 0 0 0 8 0 0 0 20 0 2 0 332420549 86122496 1228 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21026 1228 186 433 0 20590 0
[pid=19709/tid=19710] ppid=19707 vsize=84104 CPUtime=0.07 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 463 0 0 0 7 0 0 0 20 0 2 0 332420549 86122496 1228 33554432000 4194304 5964478 140734173534528 140736095096904 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 84104
[startup+0.10031 s]
/proc/loadavg: 2.02 1.89 2.07 3/177 19709
/proc/meminfo: memFree=27023376/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84104 CPUtime=0.09 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 1324 0 0 0 9 0 0 0 20 0 2 0 332420549 86122496 1263 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21026 1263 186 433 0 20590 0
[pid=19709/tid=19710] ppid=19707 vsize=84104 CPUtime=0.08 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 498 0 0 0 8 0 0 0 20 0 2 0 332420549 86122496 1263 33554432000 4194304 5964478 140734173534528 140736095096904 5179243 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84104
[startup+0.300267 s]
/proc/loadavg: 2.02 1.89 2.07 3/177 19709
/proc/meminfo: memFree=27023376/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84104 CPUtime=0.29 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 1686 0 0 0 29 0 0 0 20 0 2 0 332420549 86122496 1625 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21026 1625 186 433 0 20590 0
[pid=19709/tid=19710] ppid=19707 vsize=84104 CPUtime=0.28 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 860 0 0 0 28 0 0 0 20 0 2 0 332420549 86122496 1625 33554432000 4194304 5964478 140734173534528 140617523041816 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84104
[startup+0.70027 s]
/proc/loadavg: 2.02 1.89 2.07 3/177 19709
/proc/meminfo: memFree=27023376/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84248 CPUtime=0.69 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 2343 0 0 0 69 0 0 0 20 0 2 0 332420549 86269952 2282 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21062 2282 186 433 0 20626 0
[pid=19709/tid=19710] ppid=19707 vsize=84248 CPUtime=0.68 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 1517 0 0 0 68 0 0 0 20 0 2 0 332420549 86269952 2282 33554432000 4194304 5964478 140734173534528 140617523041816 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84248
[startup+1.50027 s]
/proc/loadavg: 2.02 1.89 2.07 3/179 19711
/proc/meminfo: memFree=27014432/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84248 CPUtime=1.49 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 2660 0 0 0 149 0 0 0 20 0 2 0 332420549 86269952 2599 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21062 2599 186 433 0 20626 0
[pid=19709/tid=19710] ppid=19707 vsize=84248 CPUtime=1.48 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 1834 0 0 0 148 0 0 0 20 0 2 0 332420549 86269952 2599 33554432000 4194304 5964478 140734173534528 140617523042104 4400067 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 84248
[startup+3.10027 s]
/proc/loadavg: 2.02 1.89 2.07 3/179 19711
/proc/meminfo: memFree=27011580/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84320 CPUtime=3.08 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 3449 0 0 0 308 0 0 0 20 0 2 0 332420549 86343680 3388 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21080 3388 186 433 0 20644 0
[pid=19709/tid=19710] ppid=19707 vsize=84320 CPUtime=3.07 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 2623 0 0 0 307 0 0 0 20 0 2 0 332420549 86343680 3388 33554432000 4194304 5964478 140734173534528 140617523042296 4400018 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) 84320
[startup+6.30028 s]
/proc/loadavg: 2.02 1.89 2.07 3/179 19711
/proc/meminfo: memFree=27006248/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=84428 CPUtime=6.29 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 4977 0 0 0 628 1 0 0 20 0 2 0 332420549 86454272 4916 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21107 4916 186 433 0 20671 0
[pid=19709/tid=19710] ppid=19707 vsize=84428 CPUtime=6.26 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 4151 0 0 0 625 1 0 0 20 0 2 0 332420549 86454272 4916 33554432000 4194304 5964478 140734173534528 140617523041816 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 84428
[startup+12.7003 s]
/proc/loadavg: 2.02 1.89 2.07 3/179 19711
/proc/meminfo: memFree=26990616/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=87828 CPUtime=12.69 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 8614 0 0 0 1267 2 0 0 20 0 2 0 332420549 89935872 8553 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 21957 8553 186 433 0 21521 0
[pid=19709/tid=19710] ppid=19707 vsize=87828 CPUtime=12.65 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 7788 0 0 0 1264 1 0 0 20 0 2 0 332420549 89935872 8553 33554432000 4194304 5964478 140734173534528 140617523042344 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87828
[startup+25.5003 s]
/proc/loadavg: 2.01 1.89 2.07 3/179 19711
/proc/meminfo: memFree=26981456/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=88440 CPUtime=25.48 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 10392 0 0 0 2546 2 0 0 20 0 2 0 332420549 90562560 10331 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 22110 10331 186 433 0 21674 0
[pid=19709/tid=19710] ppid=19707 vsize=88440 CPUtime=25.41 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 9566 0 0 0 2539 2 0 0 20 0 2 0 332420549 90562560 10331 33554432000 4194304 5964478 140734173534528 140617523042296 4400089 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 88440
[startup+51.1003 s]
/proc/loadavg: 2.01 1.90 2.07 3/179 19711
/proc/meminfo: memFree=26930832/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=91268 CPUtime=51.06 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 15186 0 0 0 5102 4 0 0 20 0 2 0 332420549 93458432 15168 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 22817 15168 186 433 0 22381 0
[pid=19709/tid=19710] ppid=19707 vsize=91268 CPUtime=50.92 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 14360 0 0 0 5089 3 0 0 20 0 2 0 332420549 93458432 15168 33554432000 4194304 5964478 140734173534528 140617523042344 4381601 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 91268
[startup+102.307 s]
/proc/loadavg: 2.07 1.93 2.07 3/180 19714
/proc/meminfo: memFree=26877408/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=161600 CPUtime=102.26 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 23745 0 0 0 10216 10 0 0 20 0 2 0 332420549 165478400 23915 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 40400 23915 186 433 0 39964 0
[pid=19709/tid=19710] ppid=19707 vsize=161600 CPUtime=101.99 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 22919 0 0 0 10188 11 0 0 20 0 2 0 332420549 165478400 23915 33554432000 4194304 5964478 140734173534528 140617523042296 4400056 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 161600
[startup+162.3 s]
/proc/loadavg: 2.02 1.94 2.06 3/179 19714
/proc/meminfo: memFree=26830808/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=163888 CPUtime=162.24 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 31575 0 0 0 16209 15 0 0 20 0 2 0 332420549 167821312 31745 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 40972 31745 186 433 0 40536 0
[pid=19709/tid=19710] ppid=19707 vsize=163888 CPUtime=161.83 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 30749 0 0 0 16166 17 0 0 20 0 2 0 332420549 167821312 31745 33554432000 4194304 5964478 140734173534528 140617523042344 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 163888
[startup+222.3 s]
/proc/loadavg: 2.01 1.95 2.06 3/179 19715
/proc/meminfo: memFree=26738984/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=237272 CPUtime=222.2 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 42752 0 0 0 22198 22 0 0 20 0 2 0 332420549 242966528 42919 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 59318 42919 186 433 0 58882 0
[pid=19709/tid=19710] ppid=19707 vsize=237272 CPUtime=221.63 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 41926 0 0 0 22138 25 0 0 20 0 2 0 332420549 242966528 42919 33554432000 4194304 5964478 140734173534528 140617523042296 5136490 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 237272
[startup+282.3 s]
/proc/loadavg: 2.00 1.95 2.05 3/179 19715
/proc/meminfo: memFree=26683420/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=240624 CPUtime=282.18 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 48921 0 0 0 28192 26 0 0 20 0 2 0 332420549 246398976 49584 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 60156 49584 186 433 0 59720 0
[pid=19709/tid=19710] ppid=19707 vsize=240624 CPUtime=281.47 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 48095 0 0 0 28117 30 0 0 20 0 2 0 332420549 246398976 49584 33554432000 4194304 5964478 140734173534528 140617523042296 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 240624
[startup+342.3 s]
/proc/loadavg: 2.00 1.96 2.05 3/179 19715
/proc/meminfo: memFree=26642968/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=242860 CPUtime=342.18 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 52672 0 0 0 34188 30 0 0 20 0 2 0 332420549 248688640 53335 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 60715 53335 186 433 0 60279 0
[pid=19709/tid=19710] ppid=19707 vsize=242860 CPUtime=341.32 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 51846 0 0 0 34097 35 0 0 20 0 2 0 332420549 248688640 53335 33554432000 4194304 5964478 140734173534528 140617523042344 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 242860
[startup+402.3 s]
/proc/loadavg: 2.07 1.98 2.05 3/179 19715
/proc/meminfo: memFree=26621768/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=309916 CPUtime=402.17 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 57750 0 0 0 40182 35 0 0 20 0 2 0 332420549 317353984 58413 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 19748
/proc/meminfo: memFree=26132428/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=588440 CPUtime=1541.89 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 124929 0 0 0 154083 106 0 0 20 0 2 0 332420549 602562560 125755 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147110 125755 186 433 0 146674 0
[pid=19709/tid=19710] ppid=19707 vsize=588440 CPUtime=1538.06 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 124103 0 0 0 153677 129 0 0 20 0 2 0 332420549 602562560 125755 33554432000 4194304 5964478 140734173534528 140617523042344 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 588440
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 19748
/proc/meminfo: memFree=26097708/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=588800 CPUtime=1601.87 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 128699 0 0 0 160077 110 0 0 20 0 2 0 332420549 602931200 129525 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147200 129525 186 433 0 146764 0
[pid=19709/tid=19710] ppid=19707 vsize=588800 CPUtime=1597.9 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 127873 0 0 0 159656 134 0 0 20 0 2 0 332420549 602931200 129525 33554432000 4194304 5964478 140734173534528 140617523042296 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.87
Current children cumulated vsize (KiB) 588800
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 19748
/proc/meminfo: memFree=26082580/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=588800 CPUtime=1661.86 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 129361 0 0 0 166075 111 0 0 20 0 2 0 332420549 602931200 130187 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147200 130187 186 433 0 146764 0
[pid=19709/tid=19710] ppid=19707 vsize=588800 CPUtime=1657.75 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 128535 0 0 0 165639 136 0 0 20 0 2 0 332420549 602931200 130187 33554432000 4194304 5964478 140734173534528 140617523042296 4399932 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 588800
[startup+1722.3 s]
/proc/loadavg: 1.67 1.93 1.97 2/172 19776
/proc/meminfo: memFree=26619304/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590492 CPUtime=1721.84 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 131495 0 0 0 172071 113 0 0 20 0 2 0 332420549 604663808 132315 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147623 132315 186 433 0 147187 0
[pid=19709/tid=19710] ppid=19707 vsize=590492 CPUtime=1717.58 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 130669 0 0 0 171619 139 0 0 20 0 2 0 332420549 604663808 132315 33554432000 4194304 5964478 140734173534528 140617523041816 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.84
Current children cumulated vsize (KiB) 590492
[startup+1782.3 s]
/proc/loadavg: 1.24 1.75 1.91 2/172 19776
/proc/meminfo: memFree=26602872/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590636 CPUtime=1781.82 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135475 0 0 0 178065 117 0 0 20 0 2 0 332420549 604811264 136282 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147659 136282 186 433 0 147223 0
[pid=19709/tid=19710] ppid=19707 vsize=590636 CPUtime=1777.4 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134649 0 0 0 177597 143 0 0 20 0 2 0 332420549 604811264 136282 33554432000 4194304 5964478 140734173534528 140617523042344 18446744073699066235 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 590636
############
# WARNING:
# current cumulated CPU time (1795.08 s) is less than in the last sample (1799.41 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (4.33008 s) to the 'lost time'.
[startup+1799.9 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590708 CPUtime=1799.41 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135497 0 0 0 179824 117 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147677 136302 186 433 0 147241 0
[pid=19709/tid=19710] ppid=19707 vsize=590708 CPUtime=1794.96 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134671 0 0 0 179352 144 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140617523042344 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 590708
[startup+1800 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=0 CPUtime=1795.08 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) R 19707 19709 15996 0 -1 4203524 135500 0 0 0 179363 145 0 0 20 0 1 0 332420549 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.08
Current children cumulated vsize (KiB) 0
#
############
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.20 1.73 1.90 2/172 19776
/proc/meminfo: memFree=26603116/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590708 CPUtime=1791.42 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135495 0 0 0 179025 117 0 0 20 0 2 0 332420549 604884992 136300 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147677 136300 186 433 0 147241 0
[pid=19709/tid=19710] ppid=19707 vsize=590708 CPUtime=1786.98 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134669 0 0 0 178554 144 0 0 20 0 2 0 332420549 604884992 136300 33554432000 4194304 5964478 140734173534528 140617523042344 4400010 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1791.42
Current children cumulated vsize (KiB) 590708
[startup+1795.1 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590708 CPUtime=1794.62 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135497 0 0 0 179345 117 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147677 136302 186 433 0 147241 0
[pid=19709/tid=19710] ppid=19707 vsize=590708 CPUtime=1790.18 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134671 0 0 0 178874 144 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140617523042344 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1794.62
Current children cumulated vsize (KiB) 590708
[startup+1798.3 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590708 CPUtime=1797.81 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135497 0 0 0 179664 117 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147677 136302 186 433 0 147241 0
[pid=19709/tid=19710] ppid=19707 vsize=590708 CPUtime=1793.36 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134671 0 0 0 179192 144 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140617523042344 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.81
Current children cumulated vsize (KiB) 590708
[startup+1799.1 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590708 CPUtime=1798.61 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135497 0 0 0 179744 117 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147677 136302 186 433 0 147241 0
[pid=19709/tid=19710] ppid=19707 vsize=590708 CPUtime=1794.16 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134671 0 0 0 179272 144 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140617523042344 4399975 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1798.61
Current children cumulated vsize (KiB) 590708
[startup+1799.5 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590708 CPUtime=1799.02 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135497 0 0 0 179785 117 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147677 136302 186 433 0 147241 0
[pid=19709/tid=19710] ppid=19707 vsize=590708 CPUtime=1794.56 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134671 0 0 0 179312 144 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140617523042344 4391397 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.02
Current children cumulated vsize (KiB) 590708
[startup+1799.9 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=590708 CPUtime=1799.41 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) S 19707 19709 15996 0 -1 4202496 135497 0 0 0 179824 117 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140734173534048 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 147677 136302 186 433 0 147241 0
[pid=19709/tid=19710] ppid=19707 vsize=590708 CPUtime=1794.96 cores=0,2,4,6
/proc/19709/task/19710/stat : 19710 (pwbo2.02) R 19707 19709 15996 0 -1 4202560 134671 0 0 0 179352 144 0 0 20 0 2 0 332420549 604884992 136302 33554432000 4194304 5964478 140734173534528 140617523042344 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.41
Current children cumulated vsize (KiB) 590708
[startup+1800 s]
/proc/loadavg: 1.19 1.72 1.89 2/172 19776
/proc/meminfo: memFree=26602992/32873844 swapFree=7628/7628
[pid=19709] ppid=19707 vsize=0 CPUtime=1795.08 cores=0,2,4,6
/proc/19709/stat : 19709 (pwbo2.02) R 19707 19709 15996 0 -1 4203524 135500 0 0 0 179363 145 0 0 20 0 1 0 332420549 0 0 33554432000 0 0 0 0 0 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19709/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1795.08
Current children cumulated vsize (KiB) 0
Child status: 255
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 4.33008
# lost CPU user time (s): 4.60999
# lost CPU system time (s): -0.28
Real time (s): 1800.01
CPU time (s): 1799.42
CPU user time (s): 1798.24
CPU system time (s): 1.17678
CPU usage (%): 99.9673
Max. virtual memory (cumulated for all children) (KiB): 590708
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.63
system time used= 1.45678
maximum resident set size= 545220
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135500
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= 200
involuntary context switches= 1960
runsolver used 3.36749 second user time and 8.86265 second system time
The end