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-3705349-1338105336/watcher-3705349-1338105336 -o /tmp/evaluation-result-3705349-1338105336/solver-3705349-1338105336 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705349-1338105336.opb
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.00 2.00 2.00 2/177 17338
/proc/meminfo: memFree=28161060/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=3956 CPUtime=0 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) R 17336 17338 15878 0 -1 4202496 397 0 0 0 0 0 0 0 20 0 1 0 276658154 4050944 349 33554432000 4194304 5963574 140734536438160 140735790040904 5178411 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 989 349 170 432 0 417 0
[startup+0.0122911 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 17338
/proc/meminfo: memFree=28161060/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=4368 CPUtime=0.01 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) R 17336 17338 15878 0 -1 4202496 495 0 0 0 1 0 0 0 20 0 1 0 276658154 4472832 447 33554432000 4194304 5963574 140734536438160 140735790040904 5374258 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 1092 447 189 432 0 520 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 4368
[startup+0.10025 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 17338
/proc/meminfo: memFree=28161060/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86060 CPUtime=0.09 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 3680 0 0 0 9 0 0 0 20 0 2 0 276658154 88125440 3283 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21515 3283 192 432 0 21080 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 86060
[startup+0.300213 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 17338
/proc/meminfo: memFree=28161060/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86060 CPUtime=0.29 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 3894 0 0 0 29 0 0 0 20 0 2 0 276658154 88125440 3489 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21515 3489 195 432 0 21080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 86060
[startup+0.700246 s]
/proc/loadavg: 2.00 2.00 2.00 2/177 17338
/proc/meminfo: memFree=28161060/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86060 CPUtime=0.69 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 4172 0 0 0 68 1 0 0 20 0 2 0 276658154 88125440 3767 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21515 3767 195 432 0 21080 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86060
[startup+1.50024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17340
/proc/meminfo: memFree=28145280/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86060 CPUtime=1.49 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 5413 0 0 0 148 1 0 0 20 0 2 0 276658154 88125440 5008 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21515 5008 195 432 0 21080 0
[pid=17338/tid=17340] ppid=17336 vsize=86060 CPUtime=1.45 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 3848 0 0 0 143 2 0 0 20 0 2 0 276658159 88125440 5008 33554432000 4194304 5963574 140734536438160 139752839501864 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 86060
[startup+3.10024 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17340
/proc/meminfo: memFree=28138624/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86060 CPUtime=3.09 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 7705 0 0 0 307 2 0 0 20 0 2 0 276658154 88125440 7300 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21515 7300 195 432 0 21080 0
[pid=17338/tid=17340] ppid=17336 vsize=86060 CPUtime=3.04 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 6140 0 0 0 302 2 0 0 20 0 2 0 276658159 88125440 7300 33554432000 4194304 5963574 140734536438160 139752839501816 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 86060
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17340
/proc/meminfo: memFree=28122364/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86060 CPUtime=6.29 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 10134 0 0 0 626 3 0 0 20 0 2 0 276658154 88125440 9729 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21515 9729 195 432 0 21080 0
[pid=17338/tid=17340] ppid=17336 vsize=86060 CPUtime=6.24 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 8569 0 0 0 621 3 0 0 20 0 2 0 276658159 88125440 9729 33554432000 4194304 5963574 140734536438160 139752839501816 4399390 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 86060
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17340
/proc/meminfo: memFree=28120876/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86636 CPUtime=12.69 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 10449 0 0 0 1266 3 0 0 20 0 2 0 276658154 88715264 9970 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21659 9970 195 432 0 21224 0
[pid=17338/tid=17340] ppid=17336 vsize=86636 CPUtime=12.64 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 8884 0 0 0 1261 3 0 0 20 0 2 0 276658159 88715264 9970 33554432000 4194304 5963574 140734536438160 139752839502232 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 86636
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17340
/proc/meminfo: memFree=28111568/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=86960 CPUtime=25.49 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 13078 0 0 0 2545 4 0 0 20 0 2 0 276658154 89047040 12599 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 21740 12600 195 432 0 21305 0
[pid=17338/tid=17340] ppid=17336 vsize=86960 CPUtime=25.45 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 11514 0 0 0 2540 5 0 0 20 0 2 0 276658159 89047040 12600 33554432000 4194304 5963574 140734536438160 139752839501624 5135572 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 86960
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17340
/proc/meminfo: memFree=28068756/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=152656 CPUtime=51.08 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 23844 0 0 0 5100 8 0 0 20 0 2 0 276658154 156319744 23365 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 38164 23365 195 432 0 37729 0
[pid=17338/tid=17340] ppid=17336 vsize=152656 CPUtime=51.04 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 22279 0 0 0 5095 9 0 0 20 0 2 0 276658159 156319744 23365 33554432000 4194304 5963574 140734536438160 139752839501816 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 152656
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17341
/proc/meminfo: memFree=28030756/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=152656 CPUtime=102.28 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 32656 0 0 0 10216 12 0 0 20 0 2 0 276658154 156319744 32175 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 38164 32175 195 432 0 37729 0
[pid=17338/tid=17340] ppid=17336 vsize=152656 CPUtime=102.25 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 31091 0 0 0 10211 14 0 0 20 0 2 0 276658159 156319744 32175 33554432000 4194304 5963574 140734536438160 139752839501864 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 152656
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 17341
/proc/meminfo: memFree=27893148/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=218756 CPUtime=162.22 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 48837 0 0 0 16204 18 0 0 20 0 2 0 276658154 224006144 48610 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 54689 48610 195 432 0 54254 0
[pid=17338/tid=17340] ppid=17336 vsize=218756 CPUtime=162.2 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 47272 0 0 0 16199 21 0 0 20 0 2 0 276658159 224006144 48610 33554432000 4194304 5963574 140734536438160 139752839501864 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 218756
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 17341
/proc/meminfo: memFree=27769364/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=288536 CPUtime=222.16 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 61731 0 0 0 22193 23 0 0 20 0 2 0 276658154 295460864 61608 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 72134 61608 195 432 0 71699 0
[pid=17338/tid=17340] ppid=17336 vsize=288536 CPUtime=222.15 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 60166 0 0 0 22188 27 0 0 20 0 2 0 276658159 295460864 61608 33554432000 4194304 5963574 140734536438160 139752839501624 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 222.16
Current children cumulated vsize (KiB) 288536
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17344
/proc/meminfo: memFree=27753104/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=290316 CPUtime=282.15 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 64937 0 0 0 28190 25 0 0 20 0 2 0 276658154 297283584 65761 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 72579 65761 195 432 0 72144 0
[pid=17338/tid=17340] ppid=17336 vsize=290316 CPUtime=282.16 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 63372 0 0 0 28187 29 0 0 20 0 2 0 276658159 297283584 65761 33554432000 4194304 5963574 140734536438160 139752839501624 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 290316
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 17367
/proc/meminfo: memFree=27727716/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=356660 CPUtime=342.14 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 70963 0 0 0 34186 28 0 0 20 0 2 0 276658154 365219840 71766 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 89165 71766 195 432 0 88730 0
[pid=17338/tid=17340] ppid=17336 vsize=356660 CPUtime=342.16 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 69398 0 0 0 34182 34 0 0 20 0 2 0 276658159 365219840 71766 33554432000 4194304 5963574 140734536438160 139752839501688 4399614 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 356660
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17367
/proc/meminfo: memFree=27726328/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=358116 CPUtime=402.13 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 71346 0 0 0 40185 28 0 0 20 0 2 0 276658154 366710784 72149 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 89529 72149 195 432 0 89094 0
[pid=17338/tid=17340] ppid=17336 vsize=358116 CPUtime=402.16 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 69781 0 0 0 40181 35 0 0 20 0 2 0 276658159 366710784 72149 33554432000 4194304 5963574 140734536438160 139752839501624 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 358116
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17368
/proc/meminfo: memFree=27514564/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=431620 CPUtime=462.13 cores=0,2,4,6
################
# More data... #
################
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 189875 0 0 0 130115 96 0 0 20 0 2 0 276658159 760877056 166351 33554432000 4194304 5963574 140734536438160 139752839501816 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 743044
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17374
/proc/meminfo: memFree=26226360/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=743044 CPUtime=1361.88 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 191440 0 0 0 136111 77 0 0 20 0 2 0 276658154 760877056 166351 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 185761 166351 195 432 0 185326 0
[pid=17338/tid=17340] ppid=17336 vsize=743044 CPUtime=1362.1 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 189875 0 0 0 136113 97 0 0 20 0 2 0 276658159 760877056 166351 33554432000 4194304 5963574 140734536438160 139752839501816 4399639 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 743044
[startup+1422.31 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 17413
/proc/meminfo: memFree=28160992/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1421.86 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258296 0 0 0 142091 95 0 0 20 0 2 0 276658154 1030139904 233205 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233205 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1422.11 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 256731 0 0 0 142094 117 0 0 20 0 2 0 276658159 1030139904 233205 33554432000 4194304 5963574 140734536438160 139752839501816 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 1005996
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 17416
/proc/meminfo: memFree=28126480/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1481.82 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258341 0 0 0 148087 95 0 0 20 0 2 0 276658154 1030139904 233241 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233241 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1482.07 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 256776 0 0 0 148089 118 0 0 20 0 2 0 276658159 1030139904 233241 33554432000 4194304 5963574 140734536438160 139752839501816 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1481.82
Current children cumulated vsize (KiB) 1005996
[startup+1542.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 17416
/proc/meminfo: memFree=28102956/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1541.77 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258388 0 0 0 154082 95 0 0 20 0 2 0 276658154 1030139904 233248 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233248 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1542.04 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 256823 0 0 0 154085 119 0 0 20 0 2 0 276658159 1030139904 233248 33554432000 4194304 5963574 140734536438160 139752839501816 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1541.77
Current children cumulated vsize (KiB) 1005996
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17416
/proc/meminfo: memFree=28071244/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1601.73 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258431 0 0 0 160078 95 0 0 20 0 2 0 276658154 1030139904 233284 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233284 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1602.01 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 256866 0 0 0 160081 120 0 0 20 0 2 0 276658159 1030139904 233284 33554432000 4194304 5963574 140734536438160 139752839501816 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 1005996
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=28059944/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1661.68 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258687 0 0 0 166073 95 0 0 20 0 2 0 276658154 1030139904 233520 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233520 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1661.98 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257122 0 0 0 166077 121 0 0 20 0 2 0 276658159 1030139904 233520 33554432000 4194304 5963574 140734536438160 139752839501688 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.68
Current children cumulated vsize (KiB) 1005996
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27995836/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1721.64 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258723 0 0 0 172069 95 0 0 20 0 2 0 276658154 1030139904 233590 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233590 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1721.96 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257158 0 0 0 172074 122 0 0 20 0 2 0 276658159 1030139904 233590 33554432000 4194304 5963574 140734536438160 139752839501688 4220672 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.64
Current children cumulated vsize (KiB) 1005996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27996504/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1781.63 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258828 0 0 0 178068 95 0 0 20 0 2 0 276658154 1030139904 233700 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233700 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1781.95 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257263 0 0 0 178072 123 0 0 20 0 2 0 276658159 1030139904 233700 33554432000 4194304 5963574 140734536438160 139752839501688 4399603 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.63
Current children cumulated vsize (KiB) 1005996
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 17417
/proc/meminfo: memFree=27995884/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1791.23 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258979 0 0 0 179028 95 0 0 20 0 2 0 276658154 1030139904 233851 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233851 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1791.56 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257414 0 0 0 179033 123 0 0 20 0 2 0 276658159 1030139904 233851 33554432000 4194304 5963574 140734536438160 139752839501624 4400078 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1791.23
Current children cumulated vsize (KiB) 1005996
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27995884/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1794.43 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258982 0 0 0 179348 95 0 0 20 0 2 0 276658154 1030139904 233854 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233854 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1794.76 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257417 0 0 0 179353 123 0 0 20 0 2 0 276658159 1030139904 233854 33554432000 4194304 5963574 140734536438160 139752839501624 4221120 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1794.43
Current children cumulated vsize (KiB) 1005996
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27995884/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1797.62 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258990 0 0 0 179667 95 0 0 20 0 2 0 276658154 1030139904 233862 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233862 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1797.95 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257425 0 0 0 179672 123 0 0 20 0 2 0 276658159 1030139904 233862 33554432000 4194304 5963574 140734536438160 139752839501624 4399623 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1797.62
Current children cumulated vsize (KiB) 1005996
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27995884/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1798.42 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258991 0 0 0 179747 95 0 0 20 0 2 0 276658154 1030139904 233863 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233863 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1798.75 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257426 0 0 0 179752 123 0 0 20 0 2 0 276658159 1030139904 233863 33554432000 4194304 5963574 140734536438160 139752839501624 4399574 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.42
Current children cumulated vsize (KiB) 1005996
[startup+1799.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27995884/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1798.83 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258991 0 0 0 179788 95 0 0 20 0 2 0 276658154 1030139904 233863 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233863 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1799.16 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257426 0 0 0 179793 123 0 0 20 0 2 0 276658159 1030139904 233863 33554432000 4194304 5963574 140734536438160 139752839501624 4399612 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1798.83
Current children cumulated vsize (KiB) 1005996
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27995884/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1799.22 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258991 0 0 0 179827 95 0 0 20 0 2 0 276658154 1030139904 233863 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233863 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1799.55 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257426 0 0 0 179832 123 0 0 20 0 2 0 276658159 1030139904 233863 33554432000 4194304 5963574 140734536438160 139752839501624 4399651 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.22
Current children cumulated vsize (KiB) 1005996
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 17417
/proc/meminfo: memFree=27995884/32873844 swapFree=7900/7900
[pid=17338] ppid=17336 vsize=1005996 CPUtime=1799.32 cores=0,2,4,6
/proc/17338/stat : 17338 (wbo1.7) S 17336 17338 15878 0 -1 4202496 258991 0 0 0 179837 95 0 0 20 0 2 0 276658154 1030139904 233863 33554432000 4194304 5963574 140734536438160 140734536437680 4545837 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17338/statm: 251499 233863 195 432 0 251064 0
[pid=17338/tid=17340] ppid=17336 vsize=1005996 CPUtime=1799.65 cores=0,2,4,6
/proc/17338/task/17340/stat : 17340 (wbo1.7) R 17336 17338 15878 0 -1 4202560 257426 0 0 0 179842 123 0 0 20 0 2 0 276658159 1030139904 233863 33554432000 4194304 5963574 140734536438160 139752839501624 4399456 0 0 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1799.32
Current children cumulated vsize (KiB) 1005996
Child status: 255
Real time (s): 1800.01
CPU time (s): 1799.72
CPU user time (s): 1798.47
CPU system time (s): 1.24681
CPU usage (%): 99.9838
Max. virtual memory (cumulated for all children) (KiB): 1005996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.47
system time used= 1.24681
maximum resident set size= 935452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258991
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= 418
involuntary context switches= 1861
runsolver used 2.88956 second user time and 8.65868 second system time
The end