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-3705284-1338101957/watcher-3705284-1338101957 -o /tmp/evaluation-result-3705284-1338101957/solver-3705284-1338101957 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705284-1338101957.opb
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.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 2 0 276320072 85667840 740 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 740 189 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 66 0 0 0 0 0 0 0 20 0 2 0 276320073 85667840 740 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
[startup+0.091339 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.08 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 973 0 0 0 8 0 0 0 20 0 2 0 276320072 85667840 922 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 922 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.07 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 248 0 0 0 7 0 0 0 20 0 2 0 276320073 85667840 922 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 83660
[startup+0.100292 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.09 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 993 0 0 0 9 0 0 0 20 0 2 0 276320072 85667840 942 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 942 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.08 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 268 0 0 0 8 0 0 0 20 0 2 0 276320073 85667840 942 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 83660
[startup+0.300257 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.29 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 1375 0 0 0 29 0 0 0 20 0 2 0 276320072 85667840 1324 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 1324 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.28 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 650 0 0 0 28 0 0 0 20 0 2 0 276320073 85667840 1324 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 83660
[startup+0.70026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3700
/proc/meminfo: memFree=30081360/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83660 CPUtime=0.68 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 2037 0 0 0 68 0 0 0 20 0 2 0 276320072 85667840 1986 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20915 1986 191 432 0 20480 0
[pid=3700/tid=3701] ppid=3698 vsize=83660 CPUtime=0.68 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 1312 0 0 0 68 0 0 0 20 0 2 0 276320073 85667840 1986 33554432000 4194304 5963574 140737264720800 140736221849064 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 83660
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30069332/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83804 CPUtime=1.48 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 2526 0 0 0 148 0 0 0 20 0 2 0 276320072 85815296 2475 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20951 2475 191 432 0 20516 0
[pid=3700/tid=3701] ppid=3698 vsize=83804 CPUtime=1.48 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 1801 0 0 0 148 0 0 0 20 0 2 0 276320073 85815296 2476 33554432000 4194304 5963574 140737264720800 140343874164728 5135572 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 83804
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30064844/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83876 CPUtime=3.09 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 3503 0 0 0 308 1 0 0 20 0 2 0 276320072 85889024 3452 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20969 3452 191 432 0 20534 0
[pid=3700/tid=3701] ppid=3698 vsize=83876 CPUtime=3.07 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 2778 0 0 0 306 1 0 0 20 0 2 0 276320073 85889024 3452 33554432000 4194304 5963574 140737264720800 140343874164536 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83876
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30049088/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=83876 CPUtime=6.29 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 4908 0 0 0 628 1 0 0 20 0 2 0 276320072 85889024 4857 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 20969 4857 191 432 0 20534 0
[pid=3700/tid=3701] ppid=3698 vsize=83876 CPUtime=6.26 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 4183 0 0 0 625 1 0 0 20 0 2 0 276320073 85889024 4857 33554432000 4194304 5963574 140737264720800 140343874164728 5142975 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 83876
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30030344/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=84144 CPUtime=12.69 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 7927 0 0 0 1267 2 0 0 20 0 2 0 276320072 86163456 7876 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 21036 7876 191 432 0 20601 0
[pid=3700/tid=3701] ppid=3698 vsize=84144 CPUtime=12.65 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 7202 0 0 0 1263 2 0 0 20 0 2 0 276320073 86163456 7876 33554432000 4194304 5963574 140737264720800 140343874164536 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 84144
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3702
/proc/meminfo: memFree=30000452/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=84144 CPUtime=25.48 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 10886 0 0 0 2544 4 0 0 20 0 2 0 276320072 86163456 10833 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 21036 10833 191 432 0 20601 0
[pid=3700/tid=3701] ppid=3698 vsize=84144 CPUtime=25.41 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 10161 0 0 0 2538 3 0 0 20 0 2 0 276320073 86163456 10833 33554432000 4194304 5963574 140737264720800 140343874164728 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84144
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3705
/proc/meminfo: memFree=29956880/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=84384 CPUtime=51.07 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 16992 0 0 0 5100 7 0 0 20 0 2 0 276320072 86409216 16970 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 21096 16970 191 432 0 20661 0
[pid=3700/tid=3701] ppid=3698 vsize=84384 CPUtime=50.93 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 16267 0 0 0 5086 7 0 0 20 0 2 0 276320073 86409216 16970 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 84384
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3705
/proc/meminfo: memFree=29881700/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=151288 CPUtime=102.26 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 26977 0 0 0 10213 13 0 0 20 0 2 0 276320072 154918912 27662 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 37822 27662 191 432 0 37387 0
[pid=3700/tid=3701] ppid=3698 vsize=151288 CPUtime=102 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 26252 0 0 0 10186 14 0 0 20 0 2 0 276320073 154918912 27662 33554432000 4194304 5963574 140737264720800 140343874164248 4400032 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 151288
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 3728
/proc/meminfo: memFree=29828748/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=152656 CPUtime=162.24 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 33768 0 0 0 16204 20 0 0 20 0 2 0 276320072 156319744 34461 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 38164 34461 191 432 0 37729 0
[pid=3700/tid=3701] ppid=3698 vsize=152656 CPUtime=161.83 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 33043 0 0 0 16161 22 0 0 20 0 2 0 276320073 156319744 34461 33554432000 4194304 5963574 140737264720800 140343874164728 4378544 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 152656
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3728
/proc/meminfo: memFree=29781668/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=219200 CPUtime=222.22 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 38497 0 0 0 22198 24 0 0 20 0 2 0 276320072 224460800 39211 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 54800 39211 191 432 0 54365 0
[pid=3700/tid=3701] ppid=3698 vsize=219200 CPUtime=221.66 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 37772 0 0 0 22139 27 0 0 20 0 2 0 276320073 224460800 39211 33554432000 4194304 5963574 140737264720800 140343874164728 4399542 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 219200
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3729
/proc/meminfo: memFree=29739440/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=220820 CPUtime=282.21 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 44744 0 0 0 28191 30 0 0 20 0 2 0 276320072 226119680 45458 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 55205 45458 191 432 0 54770 0
[pid=3700/tid=3701] ppid=3698 vsize=220820 CPUtime=281.51 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 44019 0 0 0 28117 34 0 0 20 0 2 0 276320073 226119680 45458 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 220820
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3729
/proc/meminfo: memFree=29682396/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=222404 CPUtime=342.2 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 50721 0 0 0 34183 37 0 0 20 0 2 0 276320072 227741696 51435 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 55601 51435 191 432 0 55166 0
[pid=3700/tid=3701] ppid=3698 vsize=222404 CPUtime=341.35 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 49996 0 0 0 34094 41 0 0 20 0 2 0 276320073 227741696 51435 33554432000 4194304 5963574 140737264720800 140343874164776 4221120 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 222404
[startup+402.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 3729
/proc/meminfo: memFree=29657556/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=287940 CPUtime=402.19 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 52354 0 0 0 40180 39 0 0 20 0 2 0 276320072 294850560 53067 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 3738
/proc/meminfo: memFree=29145900/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=499052 CPUtime=1422.01 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 112463 0 0 0 142073 128 0 0 20 0 2 0 276320072 511029248 113129 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 124763 113129 191 432 0 124328 0
[pid=3700/tid=3701] ppid=3698 vsize=499052 CPUtime=1418.5 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 111738 0 0 0 141701 149 0 0 20 0 2 0 276320073 511029248 113129 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 499052
[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 3738
/proc/meminfo: memFree=29125192/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=499896 CPUtime=1481.99 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 115789 0 0 0 148066 133 0 0 20 0 2 0 276320072 511893504 116455 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 124974 116455 191 432 0 124539 0
[pid=3700/tid=3701] ppid=3698 vsize=499896 CPUtime=1478.34 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 115064 0 0 0 147679 155 0 0 20 0 2 0 276320073 511893504 116455 33554432000 4194304 5963574 140737264720800 140343874164728 4382288 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1481.99
Current children cumulated vsize (KiB) 499896
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29109560/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=500508 CPUtime=1541.97 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 118073 0 0 0 154061 136 0 0 20 0 2 0 276320072 512520192 118735 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 125127 118735 191 432 0 124692 0
[pid=3700/tid=3701] ppid=3698 vsize=500508 CPUtime=1538.18 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 117348 0 0 0 153659 159 0 0 20 0 2 0 276320073 512520192 118735 33554432000 4194304 5963574 140737264720800 140343874164728 5135642 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 500508
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29068136/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=567084 CPUtime=1601.95 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 123829 0 0 0 160050 145 0 0 20 0 2 0 276320072 580694016 124467 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 141771 124467 191 432 0 141336 0
[pid=3700/tid=3701] ppid=3698 vsize=567084 CPUtime=1598 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 123104 0 0 0 159631 169 0 0 20 0 2 0 276320073 580694016 124467 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 567084
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29043064/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=567516 CPUtime=1661.93 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 125195 0 0 0 166046 147 0 0 20 0 2 0 276320072 581136384 125827 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 141879 125827 191 432 0 141444 0
[pid=3700/tid=3701] ppid=3698 vsize=567516 CPUtime=1657.84 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 124470 0 0 0 165612 172 0 0 20 0 2 0 276320073 581136384 125827 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 567516
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=29035376/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=568444 CPUtime=1721.92 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 125399 0 0 0 172045 147 0 0 20 0 2 0 276320072 582086656 126031 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142111 126031 191 432 0 141676 0
[pid=3700/tid=3701] ppid=3698 vsize=568444 CPUtime=1717.68 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 124674 0 0 0 171595 173 0 0 20 0 2 0 276320073 582086656 126031 33554432000 4194304 5963574 140737264720800 140343874164776 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 568444
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=28997804/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1781.92 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 130659 0 0 0 178037 155 0 0 20 0 2 0 276320072 583630848 131291 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 131291 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1777.53 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 129934 0 0 0 177573 180 0 0 20 0 2 0 276320073 583630848 131291 33554432000 4194304 5963574 140737264720800 140343874164728 4399546 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 569952
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3739
/proc/meminfo: memFree=28992968/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1791.52 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131439 0 0 0 178996 156 0 0 20 0 2 0 276320072 583630848 132071 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132071 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1787.11 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 130714 0 0 0 178528 183 0 0 20 0 2 0 276320073 583630848 132071 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1791.52
Current children cumulated vsize (KiB) 569952
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3739
/proc/meminfo: memFree=28991116/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1794.72 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131658 0 0 0 179316 156 0 0 20 0 2 0 276320072 583630848 132290 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132290 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1790.3 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 130933 0 0 0 178847 183 0 0 20 0 2 0 276320073 583630848 132290 33554432000 4194304 5963574 140737264720800 140343874164728 4400164 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1794.72
Current children cumulated vsize (KiB) 569952
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28990124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1797.91 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131887 0 0 0 179635 156 0 0 20 0 2 0 276320072 583630848 132519 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132519 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1793.49 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131162 0 0 0 179166 183 0 0 20 0 2 0 276320073 583630848 132519 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1797.91
Current children cumulated vsize (KiB) 569952
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989496/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1798.71 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131946 0 0 0 179715 156 0 0 20 0 2 0 276320072 583630848 132578 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132578 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1794.29 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131221 0 0 0 179246 183 0 0 20 0 2 0 276320073 583630848 132578 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1798.71
Current children cumulated vsize (KiB) 569952
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1799.12 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 131976 0 0 0 179755 157 0 0 20 0 2 0 276320072 583630848 132608 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132608 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1794.69 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131251 0 0 0 179286 183 0 0 20 0 2 0 276320073 583630848 132608 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 569952
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1799.51 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 132007 0 0 0 179794 157 0 0 20 0 2 0 276320072 583630848 132639 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132639 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1795.09 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131282 0 0 0 179326 183 0 0 20 0 2 0 276320073 583630848 132639 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.51
Current children cumulated vsize (KiB) 569952
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 3740
/proc/meminfo: memFree=28989124/32873844 swapFree=7628/7628
[pid=3700] ppid=3698 vsize=569952 CPUtime=1799.61 cores=1,3,5,7
/proc/3700/stat : 3700 (wbo1.7) S 3698 3700 2698 0 -1 4202496 132014 0 0 0 179804 157 0 0 20 0 2 0 276320072 583630848 132646 33554432000 4194304 5963574 140737264720800 140737264720320 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3700/statm: 142488 132646 191 432 0 142053 0
[pid=3700/tid=3701] ppid=3698 vsize=569952 CPUtime=1795.18 cores=1,3,5,7
/proc/3700/task/3701/stat : 3701 (wbo1.7) R 3698 3700 2698 0 -1 4202560 131289 0 0 0 179334 184 0 0 20 0 2 0 276320073 583630848 132646 33554432000 4194304 5963574 140737264720800 140343874164728 4399456 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 569952
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3700 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=358368
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=857717
# CPU time returned by wait4() is 1795.22
# while last known CPU time is 1799.61
#
# 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.61
CPU user time (s): 1798.04
CPU system time (s): 1.57
CPU usage (%): 99.9778
Max. virtual memory (cumulated for all children) (KiB): 569952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.36
system time used= 1.85772
maximum resident set size= 530588
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132015
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= 225
involuntary context switches= 1846
runsolver used 3.03154 second user time and 8.51571 second system time
The end