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-3704777-1338097959/watcher-3704777-1338097959 -o /tmp/evaluation-result-3704777-1338097959/solver-3704777-1338097959 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704777-1338097959.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.05 2.05 2.01 3/175 24440
/proc/meminfo: memFree=28594540/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=3960 CPUtime=0 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) R 24438 24440 23570 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 275921375 4055040 465 33554432000 4194304 5963574 140734102954720 140734102952600 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 990 465 168 432 0 538 0
[startup+0.100524 s]
/proc/loadavg: 2.05 2.05 2.01 3/175 24440
/proc/meminfo: memFree=28594540/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=84856 CPUtime=0.09 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 1752 0 0 0 9 0 0 0 20 0 2 0 275921375 86892544 1687 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21214 1687 185 432 0 20779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 84856
[startup+0.20018 s]
/proc/loadavg: 2.05 2.05 2.01 3/175 24440
/proc/meminfo: memFree=28594540/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=84856 CPUtime=0.19 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 1953 0 0 0 19 0 0 0 20 0 2 0 275921375 86892544 1888 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21214 1888 185 432 0 20779 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 84856
[startup+0.300141 s]
/proc/loadavg: 2.05 2.05 2.01 3/175 24440
/proc/meminfo: memFree=28594540/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=84856 CPUtime=0.29 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 2166 0 0 0 29 0 0 0 20 0 2 0 275921375 86892544 2101 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21214 2101 185 432 0 20779 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 84856
[startup+0.700115 s]
/proc/loadavg: 2.05 2.05 2.01 3/175 24440
/proc/meminfo: memFree=28594540/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=84856 CPUtime=0.69 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 2957 0 0 0 69 0 0 0 20 0 2 0 275921375 86892544 2892 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21214 2892 185 432 0 20779 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 84856
[startup+1.50023 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 24442
/proc/meminfo: memFree=28580776/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=84856 CPUtime=1.48 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 4463 0 0 0 148 0 0 0 20 0 2 0 275921375 86892544 4398 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21214 4398 185 432 0 20779 0
[pid=24440/tid=24442] ppid=24438 vsize=84856 CPUtime=1.47 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 3446 0 0 0 147 0 0 0 20 0 2 0 275921376 86892544 4398 33554432000 4194304 5963574 140734102954720 140621017413560 4220672 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 84856
[startup+3.10023 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 24442
/proc/meminfo: memFree=28572940/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=85000 CPUtime=3.09 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 6811 0 0 0 307 2 0 0 20 0 2 0 275921375 87040000 6746 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21250 6746 185 432 0 20815 0
[pid=24440/tid=24442] ppid=24438 vsize=85000 CPUtime=3.06 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 5794 0 0 0 304 2 0 0 20 0 2 0 275921376 87040000 6746 33554432000 4194304 5963574 140734102954720 140621017413624 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 85000
[startup+6.30023 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 24442
/proc/meminfo: memFree=28562772/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=85000 CPUtime=6.29 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 8155 0 0 0 626 3 0 0 20 0 2 0 275921375 87040000 8090 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21250 8090 185 432 0 20815 0
[pid=24440/tid=24442] ppid=24438 vsize=85000 CPUtime=6.26 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 7138 0 0 0 623 3 0 0 20 0 2 0 275921376 87040000 8090 33554432000 4194304 5963574 140734102954720 140621017413624 4399651 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) 85000
[startup+12.7003 s]
/proc/loadavg: 2.05 2.05 2.01 3/177 24442
/proc/meminfo: memFree=28551132/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=85072 CPUtime=12.69 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 11065 0 0 0 1265 4 0 0 20 0 2 0 275921375 87113728 11000 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 21268 11000 185 432 0 20833 0
[pid=24440/tid=24442] ppid=24438 vsize=85072 CPUtime=12.64 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 10048 0 0 0 1260 4 0 0 20 0 2 0 275921376 87113728 11000 33554432000 4194304 5963574 140734102954720 140621017413624 5135572 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 85072
[startup+25.5004 s]
/proc/loadavg: 2.11 2.06 2.01 3/177 24442
/proc/meminfo: memFree=28458364/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=150716 CPUtime=25.48 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 19891 0 0 0 2540 8 0 0 20 0 2 0 275921375 154333184 19826 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 37679 19826 185 432 0 37244 0
[pid=24440/tid=24442] ppid=24438 vsize=150716 CPUtime=25.41 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 18874 0 0 0 2533 8 0 0 20 0 2 0 275921376 154333184 19826 33554432000 4194304 5963574 140734102954720 140621017413624 5135572 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) 150716
[startup+51.1004 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 24442
/proc/meminfo: memFree=28303192/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=150876 CPUtime=51.07 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 33542 0 0 0 5095 12 0 0 20 0 2 0 275921375 154497024 33477 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 37719 33477 185 432 0 37284 0
[pid=24440/tid=24442] ppid=24438 vsize=150876 CPUtime=50.94 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 32525 0 0 0 5082 12 0 0 20 0 2 0 275921376 154497024 33477 33554432000 4194304 5963574 140734102954720 140621017413624 4399614 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 150876
[startup+102.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/177 24443
/proc/meminfo: memFree=28109176/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=282188 CPUtime=102.28 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 53378 0 0 0 10208 20 0 0 20 0 2 0 275921375 288960512 53313 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 70547 53313 185 432 0 70112 0
[pid=24440/tid=24442] ppid=24438 vsize=282188 CPUtime=102.01 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 52361 0 0 0 10180 21 0 0 20 0 2 0 275921376 288960512 53313 33554432000 4194304 5963574 140734102954720 140621017413624 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 282188
[startup+162.3 s]
/proc/loadavg: 2.07 2.06 2.01 3/177 24443
/proc/meminfo: memFree=27952740/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=282188 CPUtime=162.25 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 65788 0 0 0 16202 23 0 0 20 0 2 0 275921375 288960512 65741 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 70547 65741 185 432 0 70112 0
[pid=24440/tid=24442] ppid=24438 vsize=282188 CPUtime=161.84 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 64771 0 0 0 16159 25 0 0 20 0 2 0 275921376 288960512 65741 33554432000 4194304 5963574 140734102954720 140621017413624 4381399 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 282188
[startup+222.307 s]
/proc/loadavg: 2.06 2.06 2.01 3/177 24443
/proc/meminfo: memFree=27953204/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=282188 CPUtime=222.2 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 65833 0 0 0 22197 23 0 0 20 0 2 0 275921375 288960512 65783 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 70547 65783 185 432 0 70112 0
[pid=24440/tid=24442] ppid=24438 vsize=282188 CPUtime=221.65 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 64816 0 0 0 22139 26 0 0 20 0 2 0 275921376 288960512 65783 33554432000 4194304 5963574 140734102954720 140621017413624 4399623 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 282188
[startup+282.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 24443
/proc/meminfo: memFree=27777028/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=347724 CPUtime=282.14 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 78788 0 0 0 28186 28 0 0 20 0 2 0 275921375 356069376 78722 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 86931 78722 185 432 0 86496 0
[pid=24440/tid=24442] ppid=24438 vsize=347724 CPUtime=281.44 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 77771 0 0 0 28112 32 0 0 20 0 2 0 275921376 356069376 78722 33554432000 4194304 5963574 140734102954720 140621017413624 4399623 0 0 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 347724
[startup+342.3 s]
/proc/loadavg: 2.05 2.06 2.01 3/177 24443
/proc/meminfo: memFree=27743604/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=413404 CPUtime=342.12 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 86407 0 0 0 34181 31 0 0 20 0 2 0 275921375 423325696 87048 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 103351 87048 185 432 0 102916 0
[pid=24440/tid=24442] ppid=24438 vsize=413404 CPUtime=341.27 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 85390 0 0 0 34091 36 0 0 20 0 2 0 275921376 423325696 87048 33554432000 4194304 5963574 140734102954720 140621017413624 4399639 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 413404
[startup+402.3 s]
/proc/loadavg: 2.06 2.06 2.01 3/176 24443
/proc/meminfo: memFree=27743508/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=413404 CPUtime=402.11 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 86422 0 0 0 40180 31 0 0 20 0 2 0 275921375 423325696 87045 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 103351 87045 185 432 0 102916 0
[pid=24440/tid=24442] ppid=24438 vsize=413404 CPUtime=401.12 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 85405 0 0 0 40075 37 0 0 20 0 2 0 275921376 423325696 87045 33554432000 4194304 5963574 140734102954720 140621017413656 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.11
Current children cumulated vsize (KiB) 413404
[startup+462.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/178 24447
/proc/meminfo: memFree=27730136/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=413404 CPUtime=462.1 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 24476
/proc/meminfo: memFree=26938160/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=752296 CPUtime=1361.86 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 173411 0 0 0 136109 77 0 0 20 0 2 0 275921375 770351104 174258 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 188074 174258 185 432 0 187639 0
[pid=24440/tid=24442] ppid=24438 vsize=752296 CPUtime=1358.55 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 172394 0 0 0 135758 97 0 0 20 0 2 0 275921376 770351104 174258 33554432000 4194304 5963574 140734102954720 140621017413624 4399639 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.86
Current children cumulated vsize (KiB) 752296
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24476
/proc/meminfo: memFree=26709132/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=819380 CPUtime=1421.86 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 198584 0 0 0 142096 90 0 0 20 0 2 0 275921375 839045120 199431 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 204845 199431 185 432 0 204410 0
[pid=24440/tid=24442] ppid=24438 vsize=819380 CPUtime=1418.4 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 197567 0 0 0 141729 111 0 0 20 0 2 0 275921376 839045120 199431 33554432000 4194304 5963574 140734102954720 140621017413624 4399627 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 819380
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24476
/proc/meminfo: memFree=26707644/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=819452 CPUtime=1481.84 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 198917 0 0 0 148094 90 0 0 20 0 2 0 275921375 839118848 199764 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 204863 199764 185 432 0 204428 0
[pid=24440/tid=24442] ppid=24438 vsize=819452 CPUtime=1478.24 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 197900 0 0 0 147712 112 0 0 20 0 2 0 275921376 839118848 199764 33554432000 4194304 5963574 140734102954720 140621017413624 4399651 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 819452
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24476
/proc/meminfo: memFree=26707452/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=819452 CPUtime=1541.83 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 198920 0 0 0 154093 90 0 0 20 0 2 0 275921375 839118848 199767 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 204863 199767 185 432 0 204428 0
[pid=24440/tid=24442] ppid=24438 vsize=819452 CPUtime=1538.09 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 197903 0 0 0 153696 113 0 0 20 0 2 0 275921376 839118848 199767 33554432000 4194304 5963574 140734102954720 140621017413624 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 819452
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 24476
/proc/meminfo: memFree=26707556/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=819452 CPUtime=1601.81 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 198934 0 0 0 160091 90 0 0 20 0 2 0 275921375 839118848 199796 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 204863 199796 185 432 0 204428 0
[pid=24440/tid=24442] ppid=24438 vsize=819452 CPUtime=1597.92 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 197917 0 0 0 159678 114 0 0 20 0 2 0 275921376 839118848 199796 33554432000 4194304 5963574 140734102954720 140621017413624 4399651 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 819452
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 4/178 24480
/proc/meminfo: memFree=26697420/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=884988 CPUtime=1661.78 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 201534 0 0 0 166086 92 0 0 20 0 2 0 275921375 906227712 202414 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 221247 202414 185 432 0 220812 0
[pid=24440/tid=24442] ppid=24438 vsize=884988 CPUtime=1657.75 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 200517 0 0 0 165658 117 0 0 20 0 2 0 275921376 906227712 202414 33554432000 4194304 5963574 140734102954720 140621017413624 4399627 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.78
Current children cumulated vsize (KiB) 884988
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 24480
/proc/meminfo: memFree=26636248/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=953728 CPUtime=1721.76 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 217290 0 0 0 172076 100 0 0 20 0 2 0 275921375 976617472 218228 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238432 218228 185 432 0 237997 0
[pid=24440/tid=24442] ppid=24438 vsize=953728 CPUtime=1717.58 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 216273 0 0 0 171632 126 0 0 20 0 2 0 275921376 976617472 218228 33554432000 4194304 5963574 140734102954720 140621017413624 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.76
Current children cumulated vsize (KiB) 953728
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24636
/proc/meminfo: memFree=27776428/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=954052 CPUtime=1781.75 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 224770 0 0 0 178072 103 0 0 20 0 2 0 275921375 976949248 225710 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238513 225710 185 432 0 238078 0
[pid=24440/tid=24442] ppid=24438 vsize=954052 CPUtime=1777.42 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 223753 0 0 0 177613 129 0 0 20 0 2 0 275921376 976949248 225710 33554432000 4194304 5963574 140734102954720 140621017413624 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.75
Current children cumulated vsize (KiB) 954052
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24636
/proc/meminfo: memFree=27768988/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=954052 CPUtime=1791.45 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 224771 0 0 0 179042 103 0 0 20 0 2 0 275921375 976949248 225711 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238513 225711 185 432 0 238078 0
[pid=24440/tid=24442] ppid=24438 vsize=954052 CPUtime=1787.1 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 223754 0 0 0 178581 129 0 0 20 0 2 0 275921376 976949248 225711 33554432000 4194304 5963574 140734102954720 140621017413624 4381137 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.45
Current children cumulated vsize (KiB) 954052
[startup+1795.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24636
/proc/meminfo: memFree=27765020/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=954124 CPUtime=1794.65 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 224781 0 0 0 179362 103 0 0 20 0 2 0 275921375 977022976 225721 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238531 225721 185 432 0 238096 0
[pid=24440/tid=24442] ppid=24438 vsize=954124 CPUtime=1790.29 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 223764 0 0 0 178900 129 0 0 20 0 2 0 275921376 977022976 225721 33554432000 4194304 5963574 140734102954720 140621017413672 4387759 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.65
Current children cumulated vsize (KiB) 954124
[startup+1798.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24636
/proc/meminfo: memFree=27760432/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=954124 CPUtime=1797.84 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 224781 0 0 0 179681 103 0 0 20 0 2 0 275921375 977022976 225721 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238531 225721 185 432 0 238096 0
[pid=24440/tid=24442] ppid=24438 vsize=954124 CPUtime=1793.48 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 223764 0 0 0 179219 129 0 0 20 0 2 0 275921376 977022976 225721 33554432000 4194304 5963574 140734102954720 140621017413672 4399614 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.84
Current children cumulated vsize (KiB) 954124
[startup+1799.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24636
/proc/meminfo: memFree=27758696/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=954124 CPUtime=1798.64 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 224781 0 0 0 179761 103 0 0 20 0 2 0 275921375 977022976 225721 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238531 225721 185 432 0 238096 0
[pid=24440/tid=24442] ppid=24438 vsize=954124 CPUtime=1794.28 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 223764 0 0 0 179299 129 0 0 20 0 2 0 275921376 977022976 225721 33554432000 4194304 5963574 140734102954720 140621017413672 4399592 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.64
Current children cumulated vsize (KiB) 954124
[startup+1799.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24636
/proc/meminfo: memFree=27758696/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=954124 CPUtime=1799.05 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 224781 0 0 0 179802 103 0 0 20 0 2 0 275921375 977022976 225721 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238531 225721 185 432 0 238096 0
[pid=24440/tid=24442] ppid=24438 vsize=954124 CPUtime=1794.68 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 223764 0 0 0 179339 129 0 0 20 0 2 0 275921376 977022976 225721 33554432000 4194304 5963574 140734102954720 140621017413672 4399639 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.05
Current children cumulated vsize (KiB) 954124
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 24636
/proc/meminfo: memFree=27758696/32873852 swapFree=6848/6848
[pid=24440] ppid=24438 vsize=954124 CPUtime=1799.44 cores=1,3,5,7
/proc/24440/stat : 24440 (wbo1.7) S 24438 24440 23570 0 -1 4202496 224781 0 0 0 179841 103 0 0 20 0 2 0 275921375 977022976 225721 33554432000 4194304 5963574 140734102954720 140734102954240 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/24440/statm: 238531 225721 185 432 0 238096 0
[pid=24440/tid=24442] ppid=24438 vsize=954124 CPUtime=1795.07 cores=1,3,5,7
/proc/24440/task/24442/stat : 24442 (wbo1.7) R 24438 24440 23570 0 -1 4202560 223764 0 0 0 179378 129 0 0 20 0 2 0 275921376 977022976 225721 33554432000 4194304 5963574 140734102954720 140621017413672 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.44
Current children cumulated vsize (KiB) 954124
Child status: 255
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 24440 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=793301
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=321799
# CPU time returned by wait4() is 1795.12
# while last known CPU time is 1799.44
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.02
CPU time (s): 1799.44
CPU user time (s): 1798.41
CPU system time (s): 1.03
CPU usage (%): 99.968
Max. virtual memory (cumulated for all children) (KiB): 954124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.79
system time used= 1.3218
maximum resident set size= 902888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 224782
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= 320
involuntary context switches= 2128
runsolver used 9.8625 second user time and 10.0125 second system time
The end