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-3726894-1338660865/watcher-3726894-1338660865 -o /tmp/evaluation-result-3726894-1338660865/solver-3726894-1338660865 -C 1800 -W 1900 -M 15500 pwbo2.02 -file-format=opb -verbosity=0 -thread=1 HOME/instance-3726894-1338660865.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.25 2.99 3/177 1614
/proc/meminfo: memFree=28853148/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=4988 CPUtime=0 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) R 1612 1614 30509 0 -1 4202496 754 0 0 0 0 0 0 0 20 0 1 0 332210913 5107712 694 33554432000 4194304 5964478 140737385765424 140733775437960 4297174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 1247 705 168 433 0 811 0
[pid=1614/tid=1615] ppid=1612 vsize=84084 CPUtime=0 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 79 0 0 0 0 0 0 0 20 0 2 0 332210913 86102016 842 33554432000 4194304 5964478 140737385765424 140733775437960 4395406 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.0995731 s]
/proc/loadavg: 2.01 2.25 2.99 3/177 1614
/proc/meminfo: memFree=28853148/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=84084 CPUtime=0.09 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 1284 0 0 0 9 0 0 0 20 0 2 0 332210913 86102016 1224 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21021 1224 186 433 0 20585 0
[pid=1614/tid=1615] ppid=1612 vsize=84084 CPUtime=0.08 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 461 0 0 0 8 0 0 0 20 0 2 0 332210913 86102016 1224 33554432000 4194304 5964478 140737385765424 140733775437960 5179688 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) 84084
[startup+0.100304 s]
/proc/loadavg: 2.01 2.25 2.99 3/177 1614
/proc/meminfo: memFree=28853148/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=84084 CPUtime=0.09 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 1284 0 0 0 9 0 0 0 20 0 2 0 332210913 86102016 1224 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21021 1224 186 433 0 20585 0
[pid=1614/tid=1615] ppid=1612 vsize=84084 CPUtime=0.08 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 461 0 0 0 8 0 0 0 20 0 2 0 332210913 86102016 1224 33554432000 4194304 5964478 140737385765424 140733775437960 18446744073699066235 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) 84084
[startup+0.300265 s]
/proc/loadavg: 2.01 2.25 2.99 3/177 1614
/proc/meminfo: memFree=28853148/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=84084 CPUtime=0.29 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 1624 0 0 0 29 0 0 0 20 0 2 0 332210913 86102016 1564 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21021 1564 186 433 0 20585 0
[pid=1614/tid=1615] ppid=1612 vsize=84084 CPUtime=0.28 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 801 0 0 0 28 0 0 0 20 0 2 0 332210913 86102016 1564 33554432000 4194304 5964478 140737385765424 140733775437960 4221120 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) 84084
[startup+0.700265 s]
/proc/loadavg: 2.01 2.25 2.99 3/177 1614
/proc/meminfo: memFree=28853148/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=84084 CPUtime=0.69 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 2089 0 0 0 69 0 0 0 20 0 2 0 332210913 86102016 2029 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21021 2029 186 433 0 20585 0
[pid=1614/tid=1615] ppid=1612 vsize=84084 CPUtime=0.68 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 1266 0 0 0 68 0 0 0 20 0 2 0 332210913 86102016 2029 33554432000 4194304 5964478 140737385765424 139990351030264 5179243 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) 84084
[startup+1.50026 s]
/proc/loadavg: 2.01 2.24 2.99 3/179 1616
/proc/meminfo: memFree=28845088/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=84228 CPUtime=1.49 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 2672 0 0 0 149 0 0 0 20 0 2 0 332210913 86249472 2612 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21057 2612 186 433 0 20621 0
[pid=1614/tid=1615] ppid=1612 vsize=84228 CPUtime=1.48 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 1849 0 0 0 148 0 0 0 20 0 2 0 332210913 86249472 2612 33554432000 4194304 5964478 140737385765424 139990351030264 18446744073699066235 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) 84228
[startup+3.10027 s]
/proc/loadavg: 2.01 2.24 2.99 3/179 1616
/proc/meminfo: memFree=28842484/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=84300 CPUtime=3.08 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 3717 0 0 0 308 0 0 0 20 0 2 0 332210913 86323200 3657 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21075 3657 186 433 0 20639 0
[pid=1614/tid=1615] ppid=1612 vsize=84300 CPUtime=3.07 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 2894 0 0 0 307 0 0 0 20 0 2 0 332210913 86323200 3657 33554432000 4194304 5964478 140737385765424 139990351030312 5136420 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) 84300
[startup+6.30027 s]
/proc/loadavg: 2.01 2.24 2.98 3/179 1616
/proc/meminfo: memFree=28830092/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=84408 CPUtime=6.29 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 4817 0 0 0 628 1 0 0 20 0 2 0 332210913 86433792 4757 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21102 4757 186 433 0 20666 0
[pid=1614/tid=1615] ppid=1612 vsize=84408 CPUtime=6.26 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 3994 0 0 0 625 1 0 0 20 0 2 0 332210913 86433792 4757 33554432000 4194304 5964478 140737385765424 139990351030072 4381664 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) 84408
[startup+12.7003 s]
/proc/loadavg: 2.00 2.23 2.97 3/179 1616
/proc/meminfo: memFree=28814208/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=85864 CPUtime=12.68 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 6932 0 0 0 1267 1 0 0 20 0 2 0 332210913 87924736 6872 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 21466 6872 186 433 0 21030 0
[pid=1614/tid=1615] ppid=1612 vsize=85864 CPUtime=12.65 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 6109 0 0 0 1264 1 0 0 20 0 2 0 332210913 87924736 6872 33554432000 4194304 5964478 140737385765424 139990351029784 4400115 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) 85864
[startup+25.5003 s]
/proc/loadavg: 2.00 2.22 2.96 3/179 1616
/proc/meminfo: memFree=28782084/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=88560 CPUtime=25.49 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 10395 0 0 0 2546 3 0 0 20 0 2 0 332210913 90685440 10330 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 22140 10330 186 433 0 21704 0
[pid=1614/tid=1615] ppid=1612 vsize=88560 CPUtime=25.41 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 9572 0 0 0 2538 3 0 0 20 0 2 0 332210913 90685440 10330 33554432000 4194304 5964478 140737385765424 139990351030072 5136420 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) 88560
[startup+51.1003 s]
/proc/loadavg: 2.00 2.20 2.93 3/179 1616
/proc/meminfo: memFree=28714348/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=95608 CPUtime=51.08 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 18641 0 0 0 5102 6 0 0 20 0 2 0 332210913 97902592 18568 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 23902 18568 186 433 0 23466 0
[pid=1614/tid=1615] ppid=1612 vsize=95608 CPUtime=50.95 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 17818 0 0 0 5089 6 0 0 20 0 2 0 332210913 97902592 18568 33554432000 4194304 5964478 140737385765424 139990351030264 4379232 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) 95608
[startup+102.306 s]
/proc/loadavg: 2.00 2.17 2.88 3/179 1618
/proc/meminfo: memFree=28661328/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=164480 CPUtime=102.28 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 24832 0 0 0 10220 8 0 0 20 0 2 0 332210913 168427520 24759 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 41120 24759 186 433 0 40684 0
[pid=1614/tid=1615] ppid=1612 vsize=164480 CPUtime=102.02 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 24009 0 0 0 10193 9 0 0 20 0 2 0 332210913 168427520 24759 33554432000 4194304 5964478 140737385765424 139990351030264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 164480
[startup+162.3 s]
/proc/loadavg: 2.00 2.14 2.82 3/179 1618
/proc/meminfo: memFree=28633168/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=166792 CPUtime=162.26 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 31876 0 0 0 16213 13 0 0 20 0 2 0 332210913 170795008 31803 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 41698 31803 186 433 0 41262 0
[pid=1614/tid=1615] ppid=1612 vsize=166792 CPUtime=161.87 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 31053 0 0 0 16172 15 0 0 20 0 2 0 332210913 170795008 31803 33554432000 4194304 5964478 140737385765424 139990351030264 4400538 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) 166792
[startup+222.3 s]
/proc/loadavg: 2.00 2.11 2.77 3/179 1618
/proc/meminfo: memFree=28566560/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=169816 CPUtime=222.24 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 37174 0 0 0 22207 17 0 0 20 0 2 0 332210913 173891584 37100 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 42454 37100 186 433 0 42018 0
[pid=1614/tid=1615] ppid=1612 vsize=169816 CPUtime=221.71 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 36351 0 0 0 22151 20 0 0 20 0 2 0 332210913 173891584 37100 33554432000 4194304 5964478 140737385765424 139990351029784 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 169816
[startup+282.3 s]
/proc/loadavg: 2.00 2.09 2.72 3/179 1618
/proc/meminfo: memFree=28462056/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=241228 CPUtime=282.19 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 43654 0 0 0 28196 23 0 0 20 0 2 0 332210913 247017472 43579 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 60307 43579 186 433 0 59871 0
[pid=1614/tid=1615] ppid=1612 vsize=241228 CPUtime=281.5 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 42831 0 0 0 28123 27 0 0 20 0 2 0 332210913 247017472 43579 33554432000 4194304 5964478 140737385765424 139990351030312 4399938 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 241228
[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.67 3/180 1621
/proc/meminfo: memFree=28410324/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=243572 CPUtime=342.17 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 49853 0 0 0 34188 29 0 0 20 0 2 0 332210913 249417728 49958 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 60893 49958 186 433 0 60457 0
[pid=1614/tid=1615] ppid=1612 vsize=243572 CPUtime=341.34 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 49030 0 0 0 34100 34 0 0 20 0 2 0 332210913 249417728 49958 33554432000 4194304 5964478 140737385765424 139990351030264 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 243572
[startup+402.3 s]
/proc/loadavg: 2.04 2.07 2.63 3/179 1622
/proc/meminfo: memFree=28395512/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=244856 CPUtime=402.16 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 53118 0 0 0 40183 33 0 0 20 0 2 0 332210913 250732544 53223 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.05 2.01 2.19 3/179 1629
/proc/meminfo: memFree=27870376/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=520628 CPUtime=1421.89 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 114736 0 0 0 142095 94 0 0 20 0 2 0 332210913 533123072 115556 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 130157 115556 186 433 0 129721 0
[pid=1614/tid=1615] ppid=1612 vsize=520628 CPUtime=1418.46 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 113913 0 0 0 141731 115 0 0 20 0 2 0 332210913 533123072 115556 33554432000 4194304 5964478 140737385765424 139990351029784 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 520628
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.17 3/179 1629
/proc/meminfo: memFree=27856984/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=522680 CPUtime=1481.87 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 118264 0 0 0 148090 97 0 0 20 0 2 0 332210913 535224320 119084 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 130670 119084 186 433 0 130234 0
[pid=1614/tid=1615] ppid=1612 vsize=522680 CPUtime=1478.3 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 117441 0 0 0 147711 119 0 0 20 0 2 0 332210913 535224320 119084 33554432000 4194304 5964478 140737385765424 139990351029784 4400538 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 522680
[startup+1542.3 s]
/proc/loadavg: 1.72 1.94 2.14 2/173 1719
/proc/meminfo: memFree=28618524/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=526296 CPUtime=1541.87 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 122987 0 0 0 154084 103 0 0 20 0 2 0 332210913 538927104 123803 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 131574 123803 186 433 0 131138 0
[pid=1614/tid=1615] ppid=1612 vsize=526296 CPUtime=1538.15 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 122164 0 0 0 153690 125 0 0 20 0 2 0 332210913 538927104 123803 33554432000 4194304 5964478 140737385765424 139990351029784 4379311 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) 526296
[startup+1602.3 s]
/proc/loadavg: 1.26 1.77 2.06 2/172 1720
/proc/meminfo: memFree=28618804/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=526296 CPUtime=1601.85 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 123008 0 0 0 160082 103 0 0 20 0 2 0 332210913 538927104 123812 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 131574 123812 186 433 0 131138 0
[pid=1614/tid=1615] ppid=1612 vsize=526296 CPUtime=1597.98 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 122185 0 0 0 159672 126 0 0 20 0 2 0 332210913 538927104 123812 33554432000 4194304 5964478 140737385765424 139990351029784 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 526296
[startup+1662.3 s]
/proc/loadavg: 1.09 1.62 1.99 2/172 1720
/proc/meminfo: memFree=28596856/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=592732 CPUtime=1661.84 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 128574 0 0 0 166075 109 0 0 20 0 2 0 332210913 606957568 129378 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148183 129378 186 433 0 147747 0
[pid=1614/tid=1615] ppid=1612 vsize=592732 CPUtime=1657.83 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 127751 0 0 0 165650 133 0 0 20 0 2 0 332210913 606957568 129378 33554432000 4194304 5964478 140737385765424 139990351030264 4400018 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 592732
[startup+1722.3 s]
/proc/loadavg: 1.03 1.51 1.93 2/172 1720
/proc/meminfo: memFree=28593012/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593132 CPUtime=1721.83 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 129493 0 0 0 172073 110 0 0 20 0 2 0 332210913 607367168 130297 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148283 130297 186 433 0 147847 0
[pid=1614/tid=1615] ppid=1612 vsize=593132 CPUtime=1717.67 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 128670 0 0 0 171632 135 0 0 20 0 2 0 332210913 607367168 130297 33554432000 4194304 5964478 140737385765424 139990351029784 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 593132
[startup+1782.3 s]
/proc/loadavg: 1.01 1.41 1.87 2/172 1720
/proc/meminfo: memFree=28572676/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1781.81 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 134612 0 0 0 178068 113 0 0 20 0 2 0 332210913 608251904 135416 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 135416 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1777.52 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 133789 0 0 0 177612 140 0 0 20 0 2 0 332210913 608251904 135416 33554432000 4194304 5964478 140737385765424 139990351030264 5136420 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 593996
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 1.01 1.40 1.86 2/172 1720
/proc/meminfo: memFree=28565980/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1791.42 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 136235 0 0 0 179027 115 0 0 20 0 2 0 332210913 608251904 137039 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 137039 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1787.1 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 135412 0 0 0 178568 142 0 0 20 0 2 0 332210913 608251904 137039 33554432000 4194304 5964478 140737385765424 139990351030264 4399920 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) 593996
[startup+1795.1 s]
/proc/loadavg: 1.01 1.40 1.86 2/172 1720
/proc/meminfo: memFree=28564492/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1794.62 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 136653 0 0 0 179347 115 0 0 20 0 2 0 332210913 608251904 137457 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 137457 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1790.29 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 135830 0 0 0 178887 142 0 0 20 0 2 0 332210913 608251904 137457 33554432000 4194304 5964478 140737385765424 139990351030264 4400038 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) 593996
[startup+1798.3 s]
/proc/loadavg: 1.01 1.39 1.85 2/172 1720
/proc/meminfo: memFree=28563748/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1797.82 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 136993 0 0 0 179666 116 0 0 20 0 2 0 332210913 608251904 137797 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 137797 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1793.48 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 136170 0 0 0 179205 143 0 0 20 0 2 0 332210913 608251904 137797 33554432000 4194304 5964478 140737385765424 139990351030264 4400006 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 593996
[startup+1799.1 s]
/proc/loadavg: 1.01 1.39 1.85 2/172 1720
/proc/meminfo: memFree=28563004/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1798.61 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 137076 0 0 0 179745 116 0 0 20 0 2 0 332210913 608251904 137880 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 137880 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1794.28 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 136253 0 0 0 179285 143 0 0 20 0 2 0 332210913 608251904 137880 33554432000 4194304 5964478 140737385765424 139990351030264 4220672 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) 593996
[startup+1799.5 s]
/proc/loadavg: 1.01 1.39 1.85 2/172 1720
/proc/meminfo: memFree=28562384/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1799.02 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 137114 0 0 0 179786 116 0 0 20 0 2 0 332210913 608251904 137918 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 137918 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1794.68 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 136292 0 0 0 179325 143 0 0 20 0 2 0 332210913 608251904 137919 33554432000 4194304 5964478 140737385765424 139990351030264 5136420 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) 593996
[startup+1799.9 s]
/proc/loadavg: 1.01 1.39 1.85 2/172 1720
/proc/meminfo: memFree=28562384/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1799.41 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 137145 0 0 0 179825 116 0 0 20 0 2 0 332210913 608251904 137949 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 137949 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1795.08 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 136322 0 0 0 179365 143 0 0 20 0 2 0 332210913 608251904 137949 33554432000 4194304 5964478 140737385765424 139990351030264 4399975 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) 593996
[startup+1800 s]
/proc/loadavg: 1.01 1.39 1.85 2/172 1720
/proc/meminfo: memFree=28562384/32873844 swapFree=7644/7644
[pid=1614] ppid=1612 vsize=593996 CPUtime=1799.51 cores=0,2,4,6
/proc/1614/stat : 1614 (pwbo2.02) S 1612 1614 30509 0 -1 4202496 137157 0 0 0 179835 116 0 0 20 0 2 0 332210913 608251904 137961 33554432000 4194304 5964478 140737385765424 140737385764944 4546685 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1614/statm: 148499 137961 186 433 0 148063 0
[pid=1614/tid=1615] ppid=1612 vsize=593996 CPUtime=1795.18 cores=0,2,4,6
/proc/1614/task/1615/stat : 1615 (pwbo2.02) R 1612 1614 30509 0 -1 4202560 136334 0 0 0 179375 143 0 0 20 0 2 0 332210913 608251904 137961 33554432000 4194304 5964478 140737385765424 139990351030264 4399920 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 593996
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1614 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=761306
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=449779
# CPU time returned by wait4() is 1795.21
# while last known CPU time is 1799.51
#
# 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.51
CPU user time (s): 1798.35
CPU system time (s): 1.16
CPU usage (%): 99.9722
Max. virtual memory (cumulated for all children) (KiB): 593996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.76
system time used= 1.44978
maximum resident set size= 551860
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137161
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= 198
involuntary context switches= 2074
runsolver used 2.66959 second user time and 7.15391 second system time
The end