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-3704875-1338110067/watcher-3704875-1338110067 -o /tmp/evaluation-result-3704875-1338110067/solver-3704875-1338110067 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3704875-1338110067.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.01 2.00 3/177 18774
/proc/meminfo: memFree=30939012/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=10392 CPUtime=0 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) R 18772 18774 12452 0 -1 4202496 315 0 0 0 0 0 0 0 20 0 1 0 277132623 10641408 267 33554432000 4194304 5963574 140734392892592 140736157223320 5178411 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 2598 267 171 432 0 349 0
[startup+0.100596 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18774
/proc/meminfo: memFree=30939012/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=15164 CPUtime=0.09 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) R 18772 18774 12452 0 -1 4202496 1866 0 0 0 9 0 0 0 20 0 1 0 277132623 15527936 1785 33554432000 4194304 5963574 140734392892592 140736157223320 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 3791 1785 542 432 0 1542 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 15164
[startup+0.200256 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18774
/proc/meminfo: memFree=30939012/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=19836 CPUtime=0.19 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) R 18772 18774 12452 0 -1 4202496 3430 0 0 0 19 0 0 0 20 0 1 0 277132623 20312064 3284 33554432000 4194304 5963574 140734392892592 140736157223320 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 4959 3286 928 432 0 2710 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 19836
[startup+0.30025 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18774
/proc/meminfo: memFree=30939012/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=24372 CPUtime=0.29 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) R 18772 18774 12452 0 -1 4202496 4973 0 0 0 28 1 0 0 20 0 1 0 277132623 24956928 4827 33554432000 4194304 5963574 140734392892592 140736157223320 5135642 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 6093 4828 1319 432 0 3844 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24372
[startup+0.700262 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 18774
/proc/meminfo: memFree=30939012/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=105624 CPUtime=0.68 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 15120 0 0 0 66 2 0 0 20 0 2 0 277132623 108158976 12685 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 26406 12685 187 432 0 25971 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 105624
[startup+1.50026 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18776
/proc/meminfo: memFree=30888504/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=105624 CPUtime=1.49 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 15512 0 0 0 146 3 0 0 20 0 2 0 277132623 108158976 13077 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 26406 13077 187 432 0 25971 0
[pid=18774/tid=18776] ppid=18772 vsize=105624 CPUtime=1.02 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 7407 0 0 0 100 2 0 0 20 0 2 0 277132670 108158976 13077 33554432000 4194304 5963574 140734392892592 140307018704696 4403253 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) 105624
[startup+3.10027 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18776
/proc/meminfo: memFree=30886140/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=105624 CPUtime=3.09 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 16227 0 0 0 306 3 0 0 20 0 2 0 277132623 108158976 13792 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 26406 13792 187 432 0 25971 0
[pid=18774/tid=18776] ppid=18772 vsize=105624 CPUtime=2.62 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 8122 0 0 0 260 2 0 0 20 0 2 0 277132670 108158976 13792 33554432000 4194304 5963574 140734392892592 140307018704696 5135572 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 105624
[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18776
/proc/meminfo: memFree=30878976/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=105624 CPUtime=6.29 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 17651 0 0 0 626 3 0 0 20 0 2 0 277132623 108158976 15231 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 26406 15231 187 432 0 25971 0
[pid=18774/tid=18776] ppid=18772 vsize=105624 CPUtime=5.81 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 9546 0 0 0 579 2 0 0 20 0 2 0 277132670 108158976 15231 33554432000 4194304 5963574 140734392892592 140307018704696 4221120 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) 105624
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.00 3/179 18776
/proc/meminfo: memFree=30871320/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=105624 CPUtime=12.68 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 19519 0 0 0 1264 4 0 0 20 0 2 0 277132623 108158976 17099 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 26406 17099 187 432 0 25971 0
[pid=18774/tid=18776] ppid=18772 vsize=105624 CPUtime=12.22 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 11414 0 0 0 1218 4 0 0 20 0 2 0 277132670 108158976 17099 33554432000 4194304 5963574 140734392892592 140307018704888 4399474 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 105624
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18776
/proc/meminfo: memFree=30856716/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=105624 CPUtime=25.48 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 22525 0 0 0 2542 6 0 0 20 0 2 0 277132623 108158976 20665 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 26406 20665 187 432 0 25971 0
[pid=18774/tid=18776] ppid=18772 vsize=105624 CPUtime=25 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 14420 0 0 0 2495 5 0 0 20 0 2 0 277132670 108158976 20665 33554432000 4194304 5963574 140734392892592 140307018704888 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 105624
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18776
/proc/meminfo: memFree=30839700/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=171160 CPUtime=51.06 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 26937 0 0 0 5098 8 0 0 20 0 2 0 277132623 175267840 25178 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 42790 25178 187 432 0 42355 0
[pid=18774/tid=18776] ppid=18772 vsize=171160 CPUtime=50.59 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 18832 0 0 0 5051 8 0 0 20 0 2 0 277132670 175267840 25178 33554432000 4194304 5963574 140734392892592 140307018704696 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 171160
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18776
/proc/meminfo: memFree=30805900/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=173592 CPUtime=102.25 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 34985 0 0 0 10212 13 0 0 20 0 2 0 277132623 177758208 33243 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 43398 33243 187 432 0 42963 0
[pid=18774/tid=18776] ppid=18772 vsize=173592 CPUtime=101.8 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 26880 0 0 0 10166 14 0 0 20 0 2 0 277132670 177758208 33243 33554432000 4194304 5963574 140734392892592 140307018704888 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 173592
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18777
/proc/meminfo: memFree=30786172/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=173592 CPUtime=162.24 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 40024 0 0 0 16207 17 0 0 20 0 2 0 277132623 177758208 38280 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 43398 38280 187 432 0 42963 0
[pid=18774/tid=18776] ppid=18772 vsize=173592 CPUtime=161.79 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 31919 0 0 0 16161 18 0 0 20 0 2 0 277132670 177758208 38280 33554432000 4194304 5963574 140734392892592 140307018704696 4221120 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) 173592
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18777
/proc/meminfo: memFree=30769308/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=239128 CPUtime=222.24 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 44271 0 0 0 22204 20 0 0 20 0 2 0 277132623 244867072 42527 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 59782 42527 187 432 0 59347 0
[pid=18774/tid=18776] ppid=18772 vsize=239128 CPUtime=221.8 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 36166 0 0 0 22158 22 0 0 20 0 2 0 277132670 244867072 42527 33554432000 4194304 5963574 140734392892592 140307018704888 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 239128
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 18816
/proc/meminfo: memFree=30876144/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=240344 CPUtime=282.19 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 54475 0 0 0 28190 29 0 0 20 0 2 0 277132623 246112256 53333 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 60086 53333 187 432 0 59651 0
[pid=18774/tid=18776] ppid=18772 vsize=240344 CPUtime=281.77 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 46370 0 0 0 28144 33 0 0 20 0 2 0 277132670 246112256 53333 33554432000 4194304 5963574 140734392892592 140307018704888 4403257 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 240344
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 18819
/proc/meminfo: memFree=30816412/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=305880 CPUtime=342.16 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 57622 0 0 0 34184 32 0 0 20 0 2 0 277132623 313221120 56646 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 76470 56646 187 432 0 76035 0
[pid=18774/tid=18776] ppid=18772 vsize=305880 CPUtime=341.75 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 49517 0 0 0 34139 36 0 0 20 0 2 0 277132670 313221120 56646 33554432000 4194304 5963574 140734392892592 140307018704696 4399971 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) 305880
[startup+402.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/179 18819
/proc/meminfo: memFree=30760044/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=305880 CPUtime=402.15 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 62208 0 0 0 40179 36 0 0 20 0 2 0 277132623 313221120 61230 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 76470 61230 187 432 0 76035 0
[pid=18774/tid=18776] ppid=18772 vsize=305880 CPUtime=401.75 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 54103 0 0 0 40133 42 0 0 20 0 2 0 277132670 313221120 61230 33554432000 4194304 5963574 140734392892592 140307018704696 4399462 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) 305880
[startup+462.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/179 18820
/proc/meminfo: memFree=30733536/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=305880 CPUtime=462.15 cores=1,3,5,7
################
# More data... #
################
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 112455 0 0 0 124064 105 0 0 20 0 2 0 277132670 519213056 121316 33554432000 4194304 5963574 140734392892592 140307018704696 4220672 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1241.93
Current children cumulated vsize (KiB) 507044
[startup+1302.3 s]
/proc/loadavg: 1.05 1.54 1.82 2/172 18850
/proc/meminfo: memFree=30720032/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=507044 CPUtime=1301.92 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 120597 0 0 0 130104 88 0 0 20 0 2 0 277132623 519213056 121445 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 126761 121445 187 432 0 126326 0
[pid=18774/tid=18776] ppid=18772 vsize=507044 CPUtime=1301.69 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 112492 0 0 0 130063 106 0 0 20 0 2 0 277132670 519213056 121445 33554432000 4194304 5963574 140734392892592 140307018704696 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1301.92
Current children cumulated vsize (KiB) 507044
[startup+1362.3 s]
/proc/loadavg: 1.02 1.44 1.76 2/172 18850
/proc/meminfo: memFree=30718916/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=507044 CPUtime=1361.91 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 120879 0 0 0 136103 88 0 0 20 0 2 0 277132623 519213056 121727 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 126761 121727 187 432 0 126326 0
[pid=18774/tid=18776] ppid=18772 vsize=507044 CPUtime=1361.69 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 112774 0 0 0 136061 108 0 0 20 0 2 0 277132670 519213056 121727 33554432000 4194304 5963574 140734392892592 140307018704696 4222320 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1361.91
Current children cumulated vsize (KiB) 507044
[startup+1422.3 s]
/proc/loadavg: 1.00 1.36 1.71 2/172 18851
/proc/meminfo: memFree=30717680/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=507044 CPUtime=1421.9 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 121138 0 0 0 142102 88 0 0 20 0 2 0 277132623 519213056 121986 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 126761 121986 187 432 0 126326 0
[pid=18774/tid=18776] ppid=18772 vsize=507044 CPUtime=1421.7 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 113033 0 0 0 142061 109 0 0 20 0 2 0 277132670 519213056 121986 33554432000 4194304 5963574 140734392892592 140307018704696 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1421.9
Current children cumulated vsize (KiB) 507044
[startup+1482.3 s]
/proc/loadavg: 1.00 1.29 1.66 2/172 18851
/proc/meminfo: memFree=30717060/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=507044 CPUtime=1481.89 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 121363 0 0 0 148101 88 0 0 20 0 2 0 277132623 519213056 122211 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 126761 122211 187 432 0 126326 0
[pid=18774/tid=18776] ppid=18772 vsize=507044 CPUtime=1481.7 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 113258 0 0 0 148060 110 0 0 20 0 2 0 277132670 519213056 122211 33554432000 4194304 5963574 140734392892592 140307018704696 4402912 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1481.89
Current children cumulated vsize (KiB) 507044
[startup+1542.31 s]
/proc/loadavg: 1.00 1.23 1.62 2/173 18854
/proc/meminfo: memFree=30715516/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=572580 CPUtime=1541.89 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 121787 0 0 0 154100 89 0 0 20 0 2 0 277132623 586321920 122635 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 143145 122635 187 432 0 142710 0
[pid=18774/tid=18776] ppid=18772 vsize=572580 CPUtime=1541.71 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 113682 0 0 0 154060 111 0 0 20 0 2 0 277132670 586321920 122635 33554432000 4194304 5963574 140734392892592 140307018704888 4399614 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) 572580
[startup+1602.3 s]
/proc/loadavg: 1.00 1.19 1.58 2/172 18854
/proc/meminfo: memFree=30697008/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=572580 CPUtime=1601.88 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 126391 0 0 0 160092 96 0 0 20 0 2 0 277132623 586321920 127296 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 143145 127296 187 432 0 142710 0
[pid=18774/tid=18776] ppid=18772 vsize=572580 CPUtime=1601.7 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 118286 0 0 0 160051 119 0 0 20 0 2 0 277132670 586321920 127296 33554432000 4194304 5963574 140734392892592 140307018704696 4399456 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) 572580
[startup+1662.3 s]
/proc/loadavg: 1.00 1.15 1.54 2/172 18854
/proc/meminfo: memFree=30675680/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=572580 CPUtime=1661.86 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 131741 0 0 0 166082 104 0 0 20 0 2 0 277132623 586321920 132646 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 143145 132646 187 432 0 142710 0
[pid=18774/tid=18776] ppid=18772 vsize=572580 CPUtime=1661.7 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 123636 0 0 0 166041 129 0 0 20 0 2 0 277132670 586321920 132646 33554432000 4194304 5963574 140734392892592 140307018704888 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.86
Current children cumulated vsize (KiB) 572580
[startup+1722.3 s]
/proc/loadavg: 1.00 1.12 1.50 2/172 18855
/proc/meminfo: memFree=30661424/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=572580 CPUtime=1721.85 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 135280 0 0 0 172076 109 0 0 20 0 2 0 277132623 586321920 136185 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 143145 136185 187 432 0 142710 0
[pid=18774/tid=18776] ppid=18772 vsize=572580 CPUtime=1721.7 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 127175 0 0 0 172035 135 0 0 20 0 2 0 277132670 586321920 136185 33554432000 4194304 5963574 140734392892592 140307018704696 4399623 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.85
Current children cumulated vsize (KiB) 572580
[startup+1782.3 s]
/proc/loadavg: 1.00 1.10 1.47 2/172 18855
/proc/meminfo: memFree=30643292/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=638116 CPUtime=1781.83 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 139621 0 0 0 178068 115 0 0 20 0 2 0 277132623 653430784 140680 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 159529 140680 187 432 0 159094 0
[pid=18774/tid=18776] ppid=18772 vsize=638116 CPUtime=1781.7 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 131516 0 0 0 178028 142 0 0 20 0 2 0 277132670 653430784 140680 33554432000 4194304 5963574 140734392892592 140307018704696 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 638116
Solver just ended. Dumping a history of the last processes samples
[startup+1792.01 s]
/proc/loadavg: 1.00 1.09 1.46 2/172 18855
/proc/meminfo: memFree=30640424/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=638116 CPUtime=1791.53 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 140135 0 0 0 179037 116 0 0 20 0 2 0 277132623 653430784 141335 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 159529 141335 187 432 0 159094 0
[pid=18774/tid=18776] ppid=18772 vsize=638116 CPUtime=1791.4 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 132030 0 0 0 178997 143 0 0 20 0 2 0 277132670 653430784 141335 33554432000 4194304 5963574 140734392892592 140307018704696 4388386 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.53
Current children cumulated vsize (KiB) 638116
[startup+1795.2 s]
/proc/loadavg: 1.00 1.09 1.46 2/172 18855
/proc/meminfo: memFree=30638300/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=638116 CPUtime=1794.73 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 140496 0 0 0 179357 116 0 0 20 0 2 0 277132623 653430784 141884 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 159529 141884 187 432 0 159094 0
[pid=18774/tid=18776] ppid=18772 vsize=638116 CPUtime=1794.59 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 132391 0 0 0 179316 143 0 0 20 0 2 0 277132670 653430784 141884 33554432000 4194304 5963574 140734392892592 140307018704760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.73
Current children cumulated vsize (KiB) 638116
[startup+1798.4 s]
/proc/loadavg: 1.00 1.09 1.46 2/172 18855
/proc/meminfo: memFree=30638176/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=638116 CPUtime=1797.92 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 140580 0 0 0 179676 116 0 0 20 0 2 0 277132623 653430784 141967 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 159529 141967 187 432 0 159094 0
[pid=18774/tid=18776] ppid=18772 vsize=638116 CPUtime=1797.79 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 132475 0 0 0 179636 143 0 0 20 0 2 0 277132670 653430784 141967 33554432000 4194304 5963574 140734392892592 140307018704760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.92
Current children cumulated vsize (KiB) 638116
[startup+1799.2 s]
/proc/loadavg: 1.00 1.09 1.46 2/172 18855
/proc/meminfo: memFree=30637928/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=638116 CPUtime=1798.72 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 140609 0 0 0 179756 116 0 0 20 0 2 0 277132623 653430784 141996 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 159529 141996 187 432 0 159094 0
[pid=18774/tid=18776] ppid=18772 vsize=638116 CPUtime=1798.59 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 132504 0 0 0 179716 143 0 0 20 0 2 0 277132670 653430784 141996 33554432000 4194304 5963574 140734392892592 140307018704760 4400012 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.72
Current children cumulated vsize (KiB) 638116
[startup+1799.6 s]
/proc/loadavg: 1.00 1.09 1.46 2/172 18855
/proc/meminfo: memFree=30637804/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=638116 CPUtime=1799.12 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 140626 0 0 0 179796 116 0 0 20 0 2 0 277132623 653430784 142013 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 159529 142013 187 432 0 159094 0
[pid=18774/tid=18776] ppid=18772 vsize=638116 CPUtime=1798.99 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 132521 0 0 0 179756 143 0 0 20 0 2 0 277132670 653430784 142013 33554432000 4194304 5963574 140734392892592 140307018704760 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.12
Current children cumulated vsize (KiB) 638116
[startup+1800 s]
/proc/loadavg: 1.00 1.09 1.46 2/172 18855
/proc/meminfo: memFree=30637804/32873648 swapFree=7112/7112
[pid=18774] ppid=18772 vsize=638116 CPUtime=1799.52 cores=1,3,5,7
/proc/18774/stat : 18774 (wbo1.7) S 18772 18774 12452 0 -1 4202496 140649 0 0 0 179836 116 0 0 20 0 2 0 277132623 653430784 142036 33554432000 4194304 5963574 140734392892592 140734392892112 4545837 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/18774/statm: 159529 142036 187 432 0 159094 0
[pid=18774/tid=18776] ppid=18772 vsize=638116 CPUtime=1799.39 cores=1,3,5,7
/proc/18774/task/18776/stat : 18776 (wbo1.7) R 18772 18774 12452 0 -1 4202560 132544 0 0 0 179796 143 0 0 20 0 2 0 277132670 653430784 142036 33554432000 4194304 5963574 140734392892592 140307018704760 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.52
Current children cumulated vsize (KiB) 638116
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.88
CPU user time (s): 1798.42
CPU system time (s): 1.45778
CPU usage (%): 99.993
Max. virtual memory (cumulated for all children) (KiB): 638116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.42
system time used= 1.45778
maximum resident set size= 568156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 140652
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= 255
involuntary context switches= 1843
runsolver used 2.93455 second user time and 7.95279 second system time
The end