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-3713115-1338210025/watcher-3713115-1338210025 -o /tmp/evaluation-result-3713115-1338210025/solver-3713115-1338210025 -C 1800 -W 1900 -M 15500 wbo1.71 -file-format=wbo HOME/instance-3713115-1338210025.wbo
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.00 2.00 3/178 19937
/proc/meminfo: memFree=30154696/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83724 CPUtime=0 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 792 0 0 0 0 0 0 0 20 0 2 0 287128586 85733376 743 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20931 743 192 433 0 20495 0
[pid=19937/tid=19938] ppid=19935 vsize=83724 CPUtime=0 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 2 0 287128587 85733376 743 33554432000 4194304 5964318 140734077277104 140736795480712 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
[startup+0.077032 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19937
/proc/meminfo: memFree=30154696/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83724 CPUtime=0.07 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 945 0 0 0 7 0 0 0 20 0 2 0 287128586 85733376 896 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20931 896 194 433 0 20495 0
[pid=19937/tid=19938] ppid=19935 vsize=83724 CPUtime=0.06 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 224 0 0 0 6 0 0 0 20 0 2 0 287128587 85733376 896 33554432000 4194304 5964318 140734077277104 140736795480712 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 83724
[startup+0.100258 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19937
/proc/meminfo: memFree=30154696/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83724 CPUtime=0.09 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 975 0 0 0 9 0 0 0 20 0 2 0 287128586 85733376 926 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20931 926 194 433 0 20495 0
[pid=19937/tid=19938] ppid=19935 vsize=83724 CPUtime=0.08 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 256 0 0 0 8 0 0 0 20 0 2 0 287128587 85733376 928 33554432000 4194304 5964318 140734077277104 140736795480712 5179147 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) 83724
[startup+0.300255 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19937
/proc/meminfo: memFree=30154696/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83724 CPUtime=0.29 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 1165 0 0 0 29 0 0 0 20 0 2 0 287128586 85733376 1116 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20931 1116 194 433 0 20495 0
[pid=19937/tid=19938] ppid=19935 vsize=83724 CPUtime=0.28 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 444 0 0 0 28 0 0 0 20 0 2 0 287128587 85733376 1116 33554432000 4194304 5964318 140734077277104 140736795480712 4220672 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) 83724
[startup+0.700255 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 19937
/proc/meminfo: memFree=30154696/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83724 CPUtime=0.69 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 1377 0 0 0 69 0 0 0 20 0 2 0 287128586 85733376 1328 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20931 1328 194 433 0 20495 0
[pid=19937/tid=19938] ppid=19935 vsize=83724 CPUtime=0.68 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 656 0 0 0 68 0 0 0 20 0 2 0 287128587 85733376 1328 33554432000 4194304 5964318 140734077277104 140736795480712 4399993 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) 83724
[startup+1.50021 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19939
/proc/meminfo: memFree=30149464/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83724 CPUtime=1.49 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 1710 0 0 0 149 0 0 0 20 0 2 0 287128586 85733376 1661 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20931 1661 194 433 0 20495 0
[pid=19937/tid=19938] ppid=19935 vsize=83724 CPUtime=1.48 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 989 0 0 0 148 0 0 0 20 0 2 0 287128587 85733376 1661 33554432000 4194304 5964318 140734077277104 140515541084200 4399987 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) 83724
[startup+3.10015 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19939
/proc/meminfo: memFree=30148092/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83724 CPUtime=3.09 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 2195 0 0 0 309 0 0 0 20 0 2 0 287128586 85733376 2146 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20931 2146 194 433 0 20495 0
[pid=19937/tid=19938] ppid=19935 vsize=83724 CPUtime=3.08 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 1474 0 0 0 308 0 0 0 20 0 2 0 287128587 85733376 2146 33554432000 4194304 5964318 140734077277104 140515541084200 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 83724
[startup+6.30013 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19939
/proc/meminfo: memFree=30145612/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83868 CPUtime=6.29 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 2631 0 0 0 629 0 0 0 20 0 2 0 287128586 85880832 2582 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20967 2582 194 433 0 20531 0
[pid=19937/tid=19938] ppid=19935 vsize=83868 CPUtime=6.28 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 1910 0 0 0 628 0 0 0 20 0 2 0 287128587 85880832 2582 33554432000 4194304 5964318 140734077277104 140515541084152 4400001 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) 83868
[startup+12.7002 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 19939
/proc/meminfo: memFree=30141792/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=83940 CPUtime=12.69 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 3367 0 0 0 1268 1 0 0 20 0 2 0 287128586 85954560 3318 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 20985 3318 194 433 0 20549 0
[pid=19937/tid=19938] ppid=19935 vsize=83940 CPUtime=12.69 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 2646 0 0 0 1267 2 0 0 20 0 2 0 287128587 85954560 3318 33554432000 4194304 5964318 140734077277104 140515541083960 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 83940
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19939
/proc/meminfo: memFree=30135584/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=84588 CPUtime=25.48 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 5003 0 0 0 2547 1 0 0 20 0 2 0 287128586 86618112 4954 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 21147 4954 194 433 0 20711 0
[pid=19937/tid=19938] ppid=19935 vsize=84588 CPUtime=25.48 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 4282 0 0 0 2546 2 0 0 20 0 2 0 287128587 86618112 4954 33554432000 4194304 5964318 140734077277104 140515541083960 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 84588
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19962
/proc/meminfo: memFree=30126760/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=86208 CPUtime=51.08 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 6967 0 0 0 5106 2 0 0 20 0 2 0 287128586 88276992 6918 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 21552 6918 194 433 0 21116 0
[pid=19937/tid=19938] ppid=19935 vsize=86208 CPUtime=51.08 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 6246 0 0 0 5105 3 0 0 20 0 2 0 287128587 88276992 6918 33554432000 4194304 5964318 140734077277104 140515541083960 4400380 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) 86208
[startup+102.307 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 19962
/proc/meminfo: memFree=30012324/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=89356 CPUtime=102.28 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 10545 0 0 0 10224 4 0 0 20 0 2 0 287128586 91500544 10481 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 22339 10481 194 433 0 21903 0
[pid=19937/tid=19938] ppid=19935 vsize=89356 CPUtime=102.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 9824 0 0 0 10223 6 0 0 20 0 2 0 287128587 91500544 10481 33554432000 4194304 5964318 140734077277104 140515541084152 4400446 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) 89356
[startup+162.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/179 19962
/proc/meminfo: memFree=29942052/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=93808 CPUtime=162.26 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 13867 0 0 0 16220 6 0 0 20 0 2 0 287128586 96059392 13803 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 23452 13803 194 433 0 23016 0
[pid=19937/tid=19938] ppid=19935 vsize=93808 CPUtime=162.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 13146 0 0 0 16220 9 0 0 20 0 2 0 287128587 96059392 13803 33554432000 4194304 5964318 140734077277104 140515541084200 4400010 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) 93808
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/179 19962
/proc/meminfo: memFree=29864764/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=96164 CPUtime=222.23 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 16947 0 0 0 22216 7 0 0 20 0 2 0 287128586 98471936 17606 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 24041 17606 194 433 0 23605 0
[pid=19937/tid=19938] ppid=19935 vsize=96164 CPUtime=222.27 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 16226 0 0 0 22216 11 0 0 20 0 2 0 287128587 98471936 17606 33554432000 4194304 5964318 140734077277104 140515541084200 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 96164
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19963
/proc/meminfo: memFree=29775512/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=164664 CPUtime=282.23 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 20468 0 0 0 28214 9 0 0 20 0 2 0 287128586 168615936 21127 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 41166 21127 194 433 0 40730 0
[pid=19937/tid=19938] ppid=19935 vsize=164664 CPUtime=282.28 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 19747 0 0 0 28214 14 0 0 20 0 2 0 287128587 168615936 21127 33554432000 4194304 5964318 140734077277104 140515541084200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 164664
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 19963
/proc/meminfo: memFree=29762680/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=166572 CPUtime=342.22 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 22182 0 0 0 34211 11 0 0 20 0 2 0 287128586 170569728 22841 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 41643 22841 194 433 0 41207 0
[pid=19937/tid=19938] ppid=19935 vsize=166572 CPUtime=342.28 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 21461 0 0 0 34211 17 0 0 20 0 2 0 287128587 170569728 22841 33554432000 4194304 5964318 140734077277104 140515541084152 4399914 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 166572
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19963
/proc/meminfo: memFree=29757776/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=169036 CPUtime=402.21 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 23470 0 0 0 40210 11 0 0 20 0 2 0 287128586 173092864 24129 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[pid=19937] ppid=19935 vsize=255692 CPUtime=1002.1 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 46427 0 0 0 100177 33 0 0 20 0 2 0 287128586 261828608 47048 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 63923 47048 194 433 0 63487 0
[pid=19937/tid=19938] ppid=19935 vsize=255692 CPUtime=1002.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 45706 0 0 0 100180 49 0 0 20 0 2 0 287128587 261828608 47048 33554432000 4194304 5964318 140734077277104 140515541084152 4400007 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 255692
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19968
/proc/meminfo: memFree=29594756/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=256472 CPUtime=1062.07 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 47602 0 0 0 106172 35 0 0 20 0 2 0 287128586 262627328 48210 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 64118 48210 194 433 0 63682 0
[pid=19937/tid=19938] ppid=19935 vsize=256472 CPUtime=1062.27 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 46881 0 0 0 106175 52 0 0 20 0 2 0 287128587 262627328 48210 33554432000 4194304 5964318 140734077277104 140515541084152 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1062.07
Current children cumulated vsize (KiB) 256472
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19968
/proc/meminfo: memFree=29594392/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=257492 CPUtime=1122.05 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 47896 0 0 0 112170 35 0 0 20 0 2 0 287128586 263671808 48504 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 64373 48504 194 433 0 63937 0
[pid=19937/tid=19938] ppid=19935 vsize=257492 CPUtime=1122.27 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 47175 0 0 0 112174 53 0 0 20 0 2 0 287128587 263671808 48504 33554432000 4194304 5964318 140734077277104 140515541084200 4399995 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 257492
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 19971
/proc/meminfo: memFree=29593680/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=257492 CPUtime=1182.04 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 47927 0 0 0 118169 35 0 0 20 0 2 0 287128586 263671808 48535 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 64373 48535 194 433 0 63937 0
[pid=19937/tid=19938] ppid=19935 vsize=257492 CPUtime=1182.28 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 47206 0 0 0 118175 53 0 0 20 0 2 0 287128587 263671808 48535 33554432000 4194304 5964318 140734077277104 140515541084200 4221120 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 257492
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19972
/proc/meminfo: memFree=29588864/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=257920 CPUtime=1242.03 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 49289 0 0 0 124166 37 0 0 20 0 2 0 287128586 264110080 49897 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 64480 49897 194 433 0 64044 0
[pid=19937/tid=19938] ppid=19935 vsize=257920 CPUtime=1242.28 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 48568 0 0 0 124172 56 0 0 20 0 2 0 287128587 264110080 49897 33554432000 4194304 5964318 140734077277104 140515541084152 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 257920
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19972
/proc/meminfo: memFree=29584156/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=258856 CPUtime=1302.04 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 50448 0 0 0 130165 39 0 0 20 0 2 0 287128586 265068544 51056 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 64714 51056 194 433 0 64278 0
[pid=19937/tid=19938] ppid=19935 vsize=258856 CPUtime=1302.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 49727 0 0 0 130170 59 0 0 20 0 2 0 287128587 265068544 51056 33554432000 4194304 5964318 140734077277104 140515541084200 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 258856
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 19972
/proc/meminfo: memFree=29493016/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=260164 CPUtime=1362.02 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 52146 0 0 0 136161 41 0 0 20 0 2 0 287128586 266407936 52754 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 65041 52754 194 433 0 64605 0
[pid=19937/tid=19938] ppid=19935 vsize=260164 CPUtime=1362.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 51425 0 0 0 136167 62 0 0 20 0 2 0 287128587 266407936 52754 33554432000 4194304 5964318 140734077277104 140515541084200 4400336 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 260164
[startup+1422.31 s]
/proc/loadavg: 1.95 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30200336/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=260988 CPUtime=1422.01 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 52416 0 0 0 142160 41 0 0 20 0 2 0 287128586 267251712 53018 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 65247 53018 194 433 0 64811 0
[pid=19937/tid=19938] ppid=19935 vsize=260988 CPUtime=1422.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 51695 0 0 0 142166 63 0 0 20 0 2 0 287128587 267251712 53018 33554432000 4194304 5964318 140734077277104 140515541083960 4399971 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1422.01
Current children cumulated vsize (KiB) 260988
[startup+1482.3 s]
/proc/loadavg: 1.98 1.98 1.99 3/179 20011
/proc/meminfo: memFree=30143872/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=262372 CPUtime=1482 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 52914 0 0 0 148158 42 0 0 20 0 2 0 287128586 268668928 53516 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 65593 53516 194 433 0 65157 0
[pid=19937/tid=19938] ppid=19935 vsize=262372 CPUtime=1482.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 52193 0 0 0 148164 65 0 0 20 0 2 0 287128587 268668928 53516 33554432000 4194304 5964318 140734077277104 140515541084200 4400013 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 262372
[startup+1542.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20012
/proc/meminfo: memFree=30067920/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=262372 CPUtime=1541.98 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 54021 0 0 0 154155 43 0 0 20 0 2 0 287128586 268668928 54623 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 65593 54623 194 433 0 65157 0
[pid=19937/tid=19938] ppid=19935 vsize=262372 CPUtime=1542.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 53300 0 0 0 154162 67 0 0 20 0 2 0 287128587 268668928 54623 33554432000 4194304 5964318 140734077277104 140515541084152 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 262372
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/180 20013
/proc/meminfo: memFree=30045376/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=263968 CPUtime=1601.98 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 56174 0 0 0 160153 45 0 0 20 0 2 0 287128586 270303232 56776 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 65992 56776 194 433 0 65556 0
[pid=19937/tid=19938] ppid=19935 vsize=263968 CPUtime=1602.3 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 55453 0 0 0 160160 70 0 0 20 0 2 0 287128587 270303232 56776 33554432000 4194304 5964318 140734077277104 140515541084200 4220672 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 263968
[startup+1662.3 s]
/proc/loadavg: 1.99 1.98 1.99 3/179 20013
/proc/meminfo: memFree=30011420/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=264396 CPUtime=1661.96 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 57284 0 0 0 166150 46 0 0 20 0 2 0 287128586 270741504 57879 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 66099 57879 194 433 0 65663 0
[pid=19937/tid=19938] ppid=19935 vsize=264396 CPUtime=1662.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 56564 0 0 0 166157 72 0 0 20 0 2 0 287128587 270741504 57880 33554432000 4194304 5964318 140734077277104 140515541084200 5136324 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 264396
[startup+1722.3 s]
/proc/loadavg: 2.07 2.00 2.00 3/179 20013
/proc/meminfo: memFree=29946708/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=265104 CPUtime=1721.95 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 58791 0 0 0 172148 47 0 0 20 0 2 0 287128586 271466496 59386 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 66276 59386 194 433 0 65840 0
[pid=19937/tid=19938] ppid=19935 vsize=265104 CPUtime=1722.29 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 58070 0 0 0 172155 74 0 0 20 0 2 0 287128587 271466496 59386 33554432000 4194304 5964318 140734077277104 140515541084152 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 265104
[startup+1782.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/180 20016
/proc/meminfo: memFree=29914228/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=331040 CPUtime=1781.95 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 60534 0 0 0 178146 49 0 0 20 0 2 0 287128586 338984960 61129 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 82760 61129 194 433 0 82324 0
[pid=19937/tid=19938] ppid=19935 vsize=331040 CPUtime=1782.3 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 59813 0 0 0 178153 77 0 0 20 0 2 0 287128587 338984960 61129 33554432000 4194304 5964318 140734077277104 140515541084152 4399824 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 331040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.02 2.00 2.00 3/180 20016
/proc/meminfo: memFree=29912216/32873648 swapFree=6860/6860
[pid=19937] ppid=19935 vsize=331040 CPUtime=1800.05 cores=0,2,4,6
/proc/19937/stat : 19937 (wbo1.71) S 19935 19937 18639 0 -1 4202496 61040 0 0 0 179955 50 0 0 20 0 2 0 287128586 338984960 61635 33554432000 4194304 5964318 140734077277104 140734077276624 4546589 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19937/statm: 82760 61635 194 433 0 82324 0
[pid=19937/tid=19938] ppid=19935 vsize=331040 CPUtime=1800.4 cores=0,2,4,6
/proc/19937/task/19938/stat : 19938 (wbo1.71) R 19935 19937 18639 0 -1 4202560 60319 0 0 0 179962 78 0 0 20 0 2 0 287128587 338984960 61635 33554432000 4194304 5964318 140734077277104 140515541084200 4378720 0 0 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 331040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.42
CPU time (s): 1800.43
CPU user time (s): 1799.64
CPU system time (s): 0.789879
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 331040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.64
system time used= 0.789879
maximum resident set size= 246544
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 61041
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= 90
involuntary context switches= 1856
runsolver used 3.9224 second user time and 9.14361 second system time
The end