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-3712952-1338197444/watcher-3712952-1338197444 -o /tmp/evaluation-result-3712952-1338197444/solver-3712952-1338197444 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3712952-1338197444.wbo
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22602
/proc/meminfo: memFree=28143496/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=4372 CPUtime=0 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) R 22600 22602 22137 0 -1 4202496 586 0 0 0 0 0 0 0 20 0 1 0 285870422 4476928 538 33554432000 4194304 5964318 140735748381776 140735748379560 4339272 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 1093 538 170 433 0 634 0
[startup+0.0704681 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22602
/proc/meminfo: memFree=28143496/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85192 CPUtime=0.06 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 1940 0 0 0 6 0 0 0 20 0 2 0 285870422 87236608 1783 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21298 1783 194 433 0 20862 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 85192
[startup+0.100172 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22602
/proc/meminfo: memFree=28143496/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85192 CPUtime=0.09 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 2012 0 0 0 9 0 0 0 20 0 2 0 285870422 87236608 1855 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21298 1855 194 433 0 20862 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 85192
[startup+0.300112 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22602
/proc/meminfo: memFree=28143496/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85192 CPUtime=0.29 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 2406 0 0 0 29 0 0 0 20 0 2 0 285870422 87236608 2249 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21298 2249 194 433 0 20862 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 85192
[startup+0.700111 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 22602
/proc/meminfo: memFree=28143496/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85192 CPUtime=0.69 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 3173 0 0 0 69 0 0 0 20 0 2 0 285870422 87236608 3016 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21298 3016 194 433 0 20862 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85192
[startup+1.50021 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 22604
/proc/meminfo: memFree=28130096/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85192 CPUtime=1.49 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 4571 0 0 0 148 1 0 0 20 0 2 0 285870422 87236608 4414 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21298 4414 194 433 0 20862 0
[pid=22602/tid=22604] ppid=22600 vsize=85192 CPUtime=1.47 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 3452 0 0 0 147 0 0 0 20 0 2 0 285870423 87236608 4414 33554432000 4194304 5964318 140735748381776 139830219622392 4399960 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 85192
[startup+3.10021 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 22604
/proc/meminfo: memFree=28123004/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85192 CPUtime=3.08 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 6862 0 0 0 307 1 0 0 20 0 2 0 285870422 87236608 6705 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21298 6705 194 433 0 20862 0
[pid=22602/tid=22604] ppid=22600 vsize=85192 CPUtime=3.07 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 5743 0 0 0 306 1 0 0 20 0 2 0 285870423 87236608 6705 33554432000 4194304 5964318 140735748381776 139830219622392 4222416 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 85192
[startup+6.30021 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 22604
/proc/meminfo: memFree=28112304/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85192 CPUtime=6.29 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 8851 0 0 0 627 2 0 0 20 0 2 0 285870422 87236608 8694 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21298 8694 194 433 0 20862 0
[pid=22602/tid=22604] ppid=22600 vsize=85192 CPUtime=6.27 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 7732 0 0 0 625 2 0 0 20 0 2 0 285870423 87236608 8694 33554432000 4194304 5964318 140735748381776 139830219622392 4399991 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 85192
[startup+12.7002 s]
/proc/loadavg: 2.01 2.01 2.00 3/180 22604
/proc/meminfo: memFree=28092116/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85408 CPUtime=12.68 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 13009 0 0 0 1265 3 0 0 20 0 2 0 285870422 87457792 12852 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21352 12852 194 433 0 20916 0
[pid=22602/tid=22604] ppid=22600 vsize=85408 CPUtime=12.67 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 11890 0 0 0 1263 4 0 0 20 0 2 0 285870423 87457792 12852 33554432000 4194304 5964318 140735748381776 139830219622392 4381912 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 85408
[startup+25.5001 s]
/proc/loadavg: 2.08 2.02 2.00 3/179 22604
/proc/meminfo: memFree=28074128/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=85408 CPUtime=25.48 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 17477 0 0 0 2543 5 0 0 20 0 2 0 285870422 87457792 17320 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 21352 17320 194 433 0 20916 0
[pid=22602/tid=22604] ppid=22600 vsize=85408 CPUtime=25.47 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 16358 0 0 0 2541 6 0 0 20 0 2 0 285870423 87457792 17320 33554432000 4194304 5964318 140735748381776 139830219622200 4381729 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 85408
[startup+51.1002 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 22604
/proc/meminfo: memFree=28029956/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=151052 CPUtime=51.08 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 29030 0 0 0 5099 9 0 0 20 0 2 0 285870422 154677248 28873 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 37763 28873 194 433 0 37327 0
[pid=22602/tid=22604] ppid=22600 vsize=151052 CPUtime=51.07 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 27911 0 0 0 5098 9 0 0 20 0 2 0 285870423 154677248 28873 33554432000 4194304 5964318 140735748381776 139830219622392 4381935 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 151052
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 22604
/proc/meminfo: memFree=27915424/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=282284 CPUtime=102.27 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 57238 0 0 0 10210 17 0 0 20 0 2 0 285870422 289058816 57081 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 70571 57081 194 433 0 70135 0
[pid=22602/tid=22604] ppid=22600 vsize=282284 CPUtime=102.27 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 56119 0 0 0 10208 19 0 0 20 0 2 0 285870423 289058816 57081 33554432000 4194304 5964318 140735748381776 139830219622392 4381912 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 282284
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 22604
/proc/meminfo: memFree=27871556/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=348060 CPUtime=162.26 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 68714 0 0 0 16205 21 0 0 20 0 2 0 285870422 356413440 68557 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 87015 68557 194 433 0 86579 0
[pid=22602/tid=22604] ppid=22600 vsize=348060 CPUtime=162.27 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 67595 0 0 0 16204 23 0 0 20 0 2 0 285870423 356413440 68557 33554432000 4194304 5964318 140735748381776 139830219622392 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 348060
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22604
/proc/meminfo: memFree=27821364/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=348060 CPUtime=222.24 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 74243 0 0 0 22202 22 0 0 20 0 2 0 285870422 356413440 74055 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 87015 74055 194 433 0 86579 0
[pid=22602/tid=22604] ppid=22600 vsize=348060 CPUtime=222.27 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 73124 0 0 0 22201 26 0 0 20 0 2 0 285870423 356413440 74055 33554432000 4194304 5964318 140735748381776 139830219622424 4399982 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 348060
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 22605
/proc/meminfo: memFree=27704996/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=413596 CPUtime=282.24 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 83514 0 0 0 28198 26 0 0 20 0 2 0 285870422 423522304 83326 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 103399 83326 194 433 0 102963 0
[pid=22602/tid=22604] ppid=22600 vsize=413596 CPUtime=282.28 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 82395 0 0 0 28197 31 0 0 20 0 2 0 285870423 423522304 83326 33554432000 4194304 5964318 140735748381776 139830219622392 5136324 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 413596
[startup+342.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/179 22605
/proc/meminfo: memFree=27457748/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=413596 CPUtime=342.23 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 89876 0 0 0 34194 29 0 0 20 0 2 0 285870422 423522304 89688 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 103399 89688 194 433 0 102963 0
[pid=22602/tid=22604] ppid=22600 vsize=413596 CPUtime=342.28 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 88757 0 0 0 34194 34 0 0 20 0 2 0 285870423 423522304 89688 33554432000 4194304 5964318 140735748381776 139830219622392 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 413596
[startup+402.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/179 22605
/proc/meminfo: memFree=27454200/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=413596 CPUtime=402.22 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 90139 0 0 0 40193 29 0 0 20 0 2 0 285870422 423522304 89948 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 103399 89948 194 433 0 102963 0
[pid=22602/tid=22604] ppid=22600 vsize=413596 CPUtime=402.28 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 89020 0 0 0 40192 36 0 0 20 0 2 0 285870423 423522304 89948 33554432000 4194304 5964318 140735748381776 139830219622392 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 413596
[startup+462.3 s]
/proc/loadavg: 2.13 2.05 2.01 3/179 22605
/proc/meminfo: memFree=27347836/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=544668 CPUtime=462.17 cores=1,3,5,7
################
# More data... #
################
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 218847 0 0 0 130122 93 0 0 20 0 2 0 285870423 962863104 220922 33554432000 4194304 5964318 140735748381776 139830219622392 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1301.91
Current children cumulated vsize (KiB) 940296
[startup+1362.3 s]
/proc/loadavg: 2.05 2.06 2.00 3/179 22653
/proc/meminfo: memFree=27426968/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1006264 CPUtime=1361.89 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 237710 0 0 0 136107 82 0 0 20 0 2 0 285870422 1030414336 238666 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 251566 238666 194 433 0 251130 0
[pid=22602/tid=22604] ppid=22600 vsize=1006264 CPUtime=1362.14 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 236591 0 0 0 136111 103 0 0 20 0 2 0 285870423 1030414336 238666 33554432000 4194304 5964318 140735748381776 139830219622392 4399995 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 1006264
[startup+1422.31 s]
/proc/loadavg: 2.02 2.05 2.00 3/179 22653
/proc/meminfo: memFree=27207740/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1072232 CPUtime=1421.89 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 253701 0 0 0 142100 89 0 0 20 0 2 0 285870422 1097965568 254657 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 268058 254657 194 433 0 267622 0
[pid=22602/tid=22604] ppid=22600 vsize=1072232 CPUtime=1422.15 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 252582 0 0 0 142105 110 0 0 20 0 2 0 285870423 1097965568 254657 33554432000 4194304 5964318 140735748381776 139830219622392 4399824 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 1072232
[startup+1482.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/179 22654
/proc/meminfo: memFree=27148216/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1138416 CPUtime=1481.87 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 268347 0 0 0 148092 95 0 0 20 0 2 0 285870422 1165737984 269303 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284604 269303 194 433 0 284168 0
[pid=22602/tid=22604] ppid=22600 vsize=1138416 CPUtime=1482.15 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 267228 0 0 0 148097 118 0 0 20 0 2 0 285870423 1165737984 269303 33554432000 4194304 5964318 140735748381776 139830219622392 4400007 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.87
Current children cumulated vsize (KiB) 1138416
[startup+1542.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/179 22654
/proc/meminfo: memFree=27084512/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1204976 CPUtime=1541.86 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283864 0 0 0 154083 103 0 0 20 0 2 0 285870422 1233895424 284820 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 301244 284820 194 433 0 300808 0
[pid=22602/tid=22604] ppid=22600 vsize=1204976 CPUtime=1542.15 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282745 0 0 0 154088 127 0 0 20 0 2 0 285870423 1233895424 284820 33554432000 4194304 5964318 140735748381776 139830219622392 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.86
Current children cumulated vsize (KiB) 1204976
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/179 22654
/proc/meminfo: memFree=27084356/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1204976 CPUtime=1601.85 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283864 0 0 0 160082 103 0 0 20 0 2 0 285870422 1233895424 284820 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 301244 284820 194 433 0 300808 0
[pid=22602/tid=22604] ppid=22600 vsize=1204976 CPUtime=1602.15 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282745 0 0 0 160087 128 0 0 20 0 2 0 285870423 1233895424 284820 33554432000 4194304 5964318 140735748381776 139830219622392 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 1204976
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22654
/proc/meminfo: memFree=26988656/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1661.84 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283864 0 0 0 166081 103 0 0 20 0 2 0 285870422 1166786560 275689 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 275689 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1662.16 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282745 0 0 0 166087 129 0 0 20 0 2 0 285870423 1166786560 275689 33554432000 4194304 5964318 140735748381776 139830219622424 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 1139440
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 22654
/proc/meminfo: memFree=26900400/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1721.83 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 172080 103 0 0 20 0 2 0 285870422 1166786560 275692 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 275692 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1722.16 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 172086 130 0 0 20 0 2 0 285870423 1166786560 275692 33554432000 4194304 5964318 140735748381776 139830219622424 4399991 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1139440
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26813784/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1781.82 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 178079 103 0 0 20 0 2 0 285870422 1166786560 275692 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 275692 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1782.16 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 178085 131 0 0 20 0 2 0 285870423 1166786560 275692 33554432000 4194304 5964318 140735748381776 139830219622424 4400019 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.82
Current children cumulated vsize (KiB) 1139440
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26800244/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1791.43 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 179040 103 0 0 20 0 2 0 285870422 1166786560 275694 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 275694 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1791.77 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 179046 131 0 0 20 0 2 0 285870423 1166786560 275694 33554432000 4194304 5964318 140735748381776 139830219622424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.43
Current children cumulated vsize (KiB) 1139440
[startup+1795.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26795208/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1794.63 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 179360 103 0 0 20 0 2 0 285870422 1166786560 276068 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 276068 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1794.97 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 179366 131 0 0 20 0 2 0 285870423 1166786560 276068 33554432000 4194304 5964318 140735748381776 139830219622424 4381925 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.63
Current children cumulated vsize (KiB) 1139440
[startup+1798.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26795332/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1797.82 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 179679 103 0 0 20 0 2 0 285870422 1166786560 276068 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 276068 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1798.16 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 179685 131 0 0 20 0 2 0 285870423 1166786560 276068 33554432000 4194304 5964318 140735748381776 139830219622424 4399971 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.82
Current children cumulated vsize (KiB) 1139440
[startup+1799.1 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26795332/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1798.62 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 179759 103 0 0 20 0 2 0 285870422 1166786560 276068 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 276068 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1798.96 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 179765 131 0 0 20 0 2 0 285870423 1166786560 276068 33554432000 4194304 5964318 140735748381776 139830219622424 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.62
Current children cumulated vsize (KiB) 1139440
[startup+1799.5 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26795580/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1799.03 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 179800 103 0 0 20 0 2 0 285870422 1166786560 276068 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 276068 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1799.37 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 179806 131 0 0 20 0 2 0 285870423 1166786560 276068 33554432000 4194304 5964318 140735748381776 139830219622424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.03
Current children cumulated vsize (KiB) 1139440
[startup+1799.9 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26795580/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1799.42 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 179839 103 0 0 20 0 2 0 285870422 1166786560 276068 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 276068 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1799.76 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 179845 131 0 0 20 0 2 0 285870423 1166786560 276068 33554432000 4194304 5964318 140735748381776 139830219622424 4220672 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.42
Current children cumulated vsize (KiB) 1139440
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/180 22658
/proc/meminfo: memFree=26795580/32873648 swapFree=7372/7372
[pid=22602] ppid=22600 vsize=1139440 CPUtime=1799.52 cores=1,3,5,7
/proc/22602/stat : 22602 (wbo1.71) S 22600 22602 22137 0 -1 4202496 283867 0 0 0 179849 103 0 0 20 0 2 0 285870422 1166786560 276068 33554432000 4194304 5964318 140735748381776 140735748381296 4546589 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22602/statm: 284860 276068 194 433 0 284424 0
[pid=22602/tid=22604] ppid=22600 vsize=1139440 CPUtime=1799.86 cores=1,3,5,7
/proc/22602/task/22604/stat : 22604 (wbo1.71) R 22600 22602 22137 0 -1 4202560 282748 0 0 0 179855 131 0 0 20 0 2 0 285870423 1166786560 276068 33554432000 4194304 5964318 140735748381776 139830219622424 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 1139440
Child status: 255
Real time (s): 1800.02
CPU time (s): 1799.91
CPU user time (s): 1798.57
CPU system time (s): 1.3388
CPU usage (%): 99.9942
Max. virtual memory (cumulated for all children) (KiB): 1204976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.57
system time used= 1.3388
maximum resident set size= 1139280
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283870
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= 279
involuntary context switches= 2070
runsolver used 3.65544 second user time and 11.9702 second system time
The end