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-3713196-1338213219/watcher-3713196-1338213219 -o /tmp/evaluation-result-3713196-1338213219/solver-3713196-1338213219 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713196-1338213219.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.00 2.00 2.00 3/177 20144
/proc/meminfo: memFree=30347208/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=4436 CPUtime=0 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) R 20142 20144 18639 0 -1 4202496 567 0 0 0 0 0 0 0 20 0 1 0 287447972 4542464 520 33554432000 4194304 5964318 140736828401136 140736346517592 4395310 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 1109 520 165 433 0 626 0
[startup+0.0308791 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20144
/proc/meminfo: memFree=30347208/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=88400 CPUtime=0.02 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 2707 0 0 0 2 0 0 0 20 0 2 0 287447972 90521600 2612 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 22100 2612 186 433 0 21664 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 88400
[startup+0.100194 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20144
/proc/meminfo: memFree=30347208/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=0.09 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 2969 0 0 0 9 0 0 0 20 0 2 0 287447972 89645056 2706 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 2706 193 433 0 21450 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 87544
[startup+0.300109 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20144
/proc/meminfo: memFree=30347208/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=0.29 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 3459 0 0 0 29 0 0 0 20 0 2 0 287447972 89645056 3196 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 3196 194 433 0 21450 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 87544
[startup+0.700101 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 20144
/proc/meminfo: memFree=30347208/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=0.68 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 4050 0 0 0 68 0 0 0 20 0 2 0 287447972 89645056 3787 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 3787 194 433 0 21450 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 87544
[startup+1.50013 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20146
/proc/meminfo: memFree=30331528/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=1.49 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 5261 0 0 0 148 1 0 0 20 0 2 0 287447972 89645056 4998 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 4998 194 433 0 21450 0
[pid=20144/tid=20146] ppid=20142 vsize=87544 CPUtime=1.47 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 3713 0 0 0 147 0 0 0 20 0 2 0 287447974 89645056 4998 33554432000 4194304 5964318 140736828401136 140080814987256 4222384 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87544
[startup+3.10021 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20146
/proc/meminfo: memFree=30323956/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=3.08 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 7491 0 0 0 307 1 0 0 20 0 2 0 287447972 89645056 7228 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 7229 194 433 0 21450 0
[pid=20144/tid=20146] ppid=20142 vsize=87544 CPUtime=3.07 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 5944 0 0 0 305 2 0 0 20 0 2 0 287447974 89645056 7229 33554432000 4194304 5964318 140736828401136 140080814987256 5136324 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 87544
[startup+6.30021 s]
/proc/loadavg: 2.08 2.02 2.01 3/179 20146
/proc/meminfo: memFree=30305420/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=6.29 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 11567 0 0 0 626 3 0 0 20 0 2 0 287447972 89645056 11304 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 11304 194 433 0 21450 0
[pid=20144/tid=20146] ppid=20142 vsize=87544 CPUtime=6.27 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 10019 0 0 0 623 4 0 0 20 0 2 0 287447974 89645056 11304 33554432000 4194304 5964318 140736828401136 140080814987256 5136324 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 87544
[startup+12.7003 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 20146
/proc/meminfo: memFree=30290120/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=12.69 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 14046 0 0 0 1265 4 0 0 20 0 2 0 287447972 89645056 13783 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 13783 194 433 0 21450 0
[pid=20144/tid=20146] ppid=20142 vsize=87544 CPUtime=12.67 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 12498 0 0 0 1262 5 0 0 20 0 2 0 287447974 89645056 13783 33554432000 4194304 5964318 140736828401136 140080814987256 4400019 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 87544
[startup+25.5002 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 20146
/proc/meminfo: memFree=30273260/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=87544 CPUtime=25.49 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 17884 0 0 0 2543 6 0 0 20 0 2 0 287447972 89645056 17621 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 21886 17621 194 433 0 21450 0
[pid=20144/tid=20146] ppid=20142 vsize=87544 CPUtime=25.47 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 16336 0 0 0 2541 6 0 0 20 0 2 0 287447974 89645056 17621 33554432000 4194304 5964318 140736828401136 140080814987256 4381505 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 87544
[startup+51.1002 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20146
/proc/meminfo: memFree=30225232/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=153080 CPUtime=51.08 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 30424 0 0 0 5099 9 0 0 20 0 2 0 287447972 156753920 30161 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 38270 30161 194 433 0 37834 0
[pid=20144/tid=20146] ppid=20142 vsize=153080 CPUtime=51.07 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 28876 0 0 0 5098 9 0 0 20 0 2 0 287447974 156753920 30161 33554432000 4194304 5964318 140736828401136 140080814987256 4381878 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 153080
[startup+102.307 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20146
/proc/meminfo: memFree=30076216/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=284636 CPUtime=102.28 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 63524 0 0 0 10210 18 0 0 20 0 2 0 287447972 291467264 63268 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 71159 63268 194 433 0 70723 0
[pid=20144/tid=20146] ppid=20142 vsize=284636 CPUtime=102.27 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 61976 0 0 0 10207 20 0 0 20 0 2 0 287447974 291467264 63268 33554432000 4194304 5964318 140736828401136 140080814987256 4381606 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 284636
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20147
/proc/meminfo: memFree=29952120/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=415708 CPUtime=162.24 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 95069 0 0 0 16198 26 0 0 20 0 2 0 287447972 425684992 94787 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 103927 94787 194 433 0 103491 0
[pid=20144/tid=20146] ppid=20142 vsize=415708 CPUtime=162.25 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 93521 0 0 0 16197 28 0 0 20 0 2 0 287447974 425684992 94787 33554432000 4194304 5964318 140736828401136 140080814987256 4388132 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 415708
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20147
/proc/meminfo: memFree=29772596/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=612556 CPUtime=222.2 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 138010 0 0 0 22182 38 0 0 20 0 2 0 287447972 627257344 137727 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 153139 137727 194 433 0 152703 0
[pid=20144/tid=20146] ppid=20142 vsize=612556 CPUtime=222.24 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 136462 0 0 0 22182 42 0 0 20 0 2 0 287447974 627257344 137727 33554432000 4194304 5964318 140736828401136 140080814987256 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 612556
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20147
/proc/meminfo: memFree=29769896/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=612556 CPUtime=282.17 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 138049 0 0 0 28179 38 0 0 20 0 2 0 287447972 627257344 137742 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 153139 137742 194 433 0 152703 0
[pid=20144/tid=20146] ppid=20142 vsize=612556 CPUtime=282.22 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 136501 0 0 0 28179 43 0 0 20 0 2 0 287447974 627257344 137742 33554432000 4194304 5964318 140736828401136 140080814987256 4400019 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 612556
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20147
/proc/meminfo: memFree=29753652/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=612556 CPUtime=342.16 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 138081 0 0 0 34178 38 0 0 20 0 2 0 287447972 627257344 138687 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 153139 138687 194 433 0 152703 0
[pid=20144/tid=20146] ppid=20142 vsize=612556 CPUtime=342.21 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 136533 0 0 0 34177 44 0 0 20 0 2 0 287447974 627257344 138687 33554432000 4194304 5964318 140736828401136 140080814987256 4391309 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 612556
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20150
/proc/meminfo: memFree=29743252/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=612556 CPUtime=402.15 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 138081 0 0 0 40177 38 0 0 20 0 2 0 287447972 627257344 138687 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 153139 138687 194 433 0 152703 0
[pid=20144/tid=20146] ppid=20142 vsize=612556 CPUtime=402.22 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 136533 0 0 0 40177 45 0 0 20 0 2 0 287447974 627257344 138687 33554432000 4194304 5964318 140736828401136 140080814987256 4381933 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 612556
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20174
/proc/meminfo: memFree=29740624/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=612556 CPUtime=462.12 cores=1,3,5,7
################
# More data... #
################
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269500 0 0 0 130115 103 0 0 20 0 2 0 287447974 1164496896 271595 33554432000 4194304 5964318 140736828401136 140080814987256 4400007 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.93
Current children cumulated vsize (KiB) 1137204
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20218
/proc/meminfo: memFree=29077748/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137204 CPUtime=1361.92 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271048 0 0 0 136109 83 0 0 20 0 2 0 287447972 1164496896 271595 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284301 271595 194 433 0 283865 0
[pid=20144/tid=20146] ppid=20142 vsize=1137204 CPUtime=1362.18 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269500 0 0 0 136114 104 0 0 20 0 2 0 287447974 1164496896 271595 33554432000 4194304 5964318 140736828401136 140080814987256 4399995 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 1137204
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20219
/proc/meminfo: memFree=28952168/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137204 CPUtime=1421.91 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271048 0 0 0 142108 83 0 0 20 0 2 0 287447972 1164496896 271595 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284301 271595 194 433 0 283865 0
[pid=20144/tid=20146] ppid=20142 vsize=1137204 CPUtime=1422.19 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269500 0 0 0 142114 105 0 0 20 0 2 0 287447974 1164496896 271595 33554432000 4194304 5964318 140736828401136 140080814987256 4399991 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.91
Current children cumulated vsize (KiB) 1137204
[startup+1482.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/179 20219
/proc/meminfo: memFree=28952196/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137204 CPUtime=1481.9 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271048 0 0 0 148107 83 0 0 20 0 2 0 287447972 1164496896 271595 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284301 271595 194 433 0 283865 0
[pid=20144/tid=20146] ppid=20142 vsize=1137204 CPUtime=1482.19 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269500 0 0 0 148113 106 0 0 20 0 2 0 287447974 1164496896 271595 33554432000 4194304 5964318 140736828401136 140080814987256 4400019 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 1137204
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 20219
/proc/meminfo: memFree=28951976/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137204 CPUtime=1541.89 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271048 0 0 0 154106 83 0 0 20 0 2 0 287447972 1164496896 271595 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284301 271595 194 433 0 283865 0
[pid=20144/tid=20146] ppid=20142 vsize=1137204 CPUtime=1542.19 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269500 0 0 0 154112 107 0 0 20 0 2 0 287447974 1164496896 271595 33554432000 4194304 5964318 140736828401136 140080814987256 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.89
Current children cumulated vsize (KiB) 1137204
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 20222
/proc/meminfo: memFree=28840952/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137204 CPUtime=1601.88 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271060 0 0 0 160105 83 0 0 20 0 2 0 287447972 1164496896 271635 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284301 271635 194 433 0 283865 0
[pid=20144/tid=20146] ppid=20142 vsize=1137204 CPUtime=1602.19 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269512 0 0 0 160111 108 0 0 20 0 2 0 287447974 1164496896 271635 33554432000 4194304 5964318 140736828401136 140080814987256 4399991 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 1137204
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20222
/proc/meminfo: memFree=28840620/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137204 CPUtime=1661.85 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271086 0 0 0 166102 83 0 0 20 0 2 0 287447972 1164496896 271725 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284301 271725 194 433 0 283865 0
[pid=20144/tid=20146] ppid=20142 vsize=1137204 CPUtime=1662.18 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269538 0 0 0 166109 109 0 0 20 0 2 0 287447974 1164496896 271725 33554432000 4194304 5964318 140736828401136 140080814987256 4399991 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 1137204
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28840228/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137204 CPUtime=1721.83 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271135 0 0 0 172100 83 0 0 20 0 2 0 287447972 1164496896 271833 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284301 271833 194 433 0 283865 0
[pid=20144/tid=20146] ppid=20142 vsize=1137204 CPUtime=1722.17 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269587 0 0 0 172107 110 0 0 20 0 2 0 287447974 1164496896 271833 33554432000 4194304 5964318 140736828401136 140080814987256 4399980 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 1137204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28839544/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1781.81 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271177 0 0 0 178098 83 0 0 20 0 2 0 287447972 1165049856 271886 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271886 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1782.16 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269629 0 0 0 178105 111 0 0 20 0 2 0 287447974 1165049856 271886 33554432000 4194304 5964318 140736828401136 140080814987432 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 1137744
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 20223
/proc/meminfo: memFree=28839900/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1791.41 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271183 0 0 0 179058 83 0 0 20 0 2 0 287447972 1165049856 271888 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271888 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1791.76 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269635 0 0 0 179065 111 0 0 20 0 2 0 287447974 1165049856 271888 33554432000 4194304 5964318 140736828401136 140080814987432 4381933 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 1137744
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28839900/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1794.61 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271183 0 0 0 179378 83 0 0 20 0 2 0 287447972 1165049856 271888 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271888 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1794.96 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269635 0 0 0 179385 111 0 0 20 0 2 0 287447974 1165049856 271888 33554432000 4194304 5964318 140736828401136 140080814987432 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 1137744
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28839900/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1797.8 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271183 0 0 0 179697 83 0 0 20 0 2 0 287447972 1165049856 271888 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271888 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1798.16 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269635 0 0 0 179705 111 0 0 20 0 2 0 287447974 1165049856 271888 33554432000 4194304 5964318 140736828401136 140080814987432 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.8
Current children cumulated vsize (KiB) 1137744
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28839900/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1798.6 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271183 0 0 0 179777 83 0 0 20 0 2 0 287447972 1165049856 271888 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271888 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1798.96 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269635 0 0 0 179785 111 0 0 20 0 2 0 287447974 1165049856 271888 33554432000 4194304 5964318 140736828401136 140080814987432 4400019 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.6
Current children cumulated vsize (KiB) 1137744
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28839900/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1799.01 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271183 0 0 0 179818 83 0 0 20 0 2 0 287447972 1165049856 271888 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271888 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1799.36 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269635 0 0 0 179825 111 0 0 20 0 2 0 287447974 1165049856 271888 33554432000 4194304 5964318 140736828401136 140080814987432 4381878 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.01
Current children cumulated vsize (KiB) 1137744
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28839900/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1799.4 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271183 0 0 0 179857 83 0 0 20 0 2 0 287447972 1165049856 271888 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271888 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1799.76 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269635 0 0 0 179865 111 0 0 20 0 2 0 287447974 1165049856 271888 33554432000 4194304 5964318 140736828401136 140080814987432 4381864 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.4
Current children cumulated vsize (KiB) 1137744
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 20223
/proc/meminfo: memFree=28839900/32873648 swapFree=6860/6860
[pid=20144] ppid=20142 vsize=1137744 CPUtime=1799.5 cores=1,3,5,7
/proc/20144/stat : 20144 (wbo1.71) S 20142 20144 18639 0 -1 4202496 271183 0 0 0 179867 83 0 0 20 0 2 0 287447972 1165049856 271888 33554432000 4194304 5964318 140736828401136 140736828400656 4546589 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/20144/statm: 284436 271888 194 433 0 284000 0
[pid=20144/tid=20146] ppid=20142 vsize=1137744 CPUtime=1799.86 cores=1,3,5,7
/proc/20144/task/20146/stat : 20146 (wbo1.71) R 20142 20144 18639 0 -1 4202560 269635 0 0 0 179875 111 0 0 20 0 2 0 287447974 1165049856 271888 33554432000 4194304 5964318 140736828401136 140080814987432 4399824 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.5
Current children cumulated vsize (KiB) 1137744
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.9
CPU user time (s): 1798.77
CPU system time (s): 1.12783
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 1137744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.77
system time used= 1.12783
maximum resident set size= 1087564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 271186
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= 360
involuntary context switches= 1831
runsolver used 5.13222 second user time and 9.75452 second system time
The end