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 /var/tmp/evaluation-result-3500351-1307994109/watcher-3500351-1307994109 -o /var/tmp/evaluation-result-3500351-1307994109/solver-3500351-1307994109 -C 1800 -W 1900 -M 15500 pwbo1.1 -file-format=opb HOME/instance-3500351-1307994109.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: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=3288 CPUtime=0 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) R 23157 23159 21970 0 -1 4202496 426 0 0 0 0 0 0 0 25 0 1 0 911010633 3366912 379 33554432000 4194304 5714118 140736485837232 18446744073709551615 4970378 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23159/statm: 822 380 167 372 0 284 0
[startup+0.044814 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=7136 CPUtime=0.04 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) R 23157 23159 21970 0 -1 4202496 1527 0 0 0 4 0 0 0 25 0 1 0 911010633 7307264 1480 33554432000 4194304 5714118 140736485837232 18446744073709551615 4232386 0 0 4096 16387 0 0 0 17 3 0 0 0
/proc/23159/statm: 1784 1481 307 372 0 1246 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 7136
[startup+0.106804 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=195272 CPUtime=0.16 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 15274 0 0 0 13 3 0 0 25 0 3 0 911010633 199958528 14789 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 48818 14792 177 372 0 48443 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 195272
[startup+0.300771 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=203564 CPUtime=0.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 31127 0 0 0 49 6 0 0 25 0 3 0 911010633 208449536 30220 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 50891 30220 177 372 0 50516 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 203564
[startup+0.700702 s]
/proc/loadavg: 3.84 3.97 3.90 3/179 23159
/proc/meminfo: memFree=16599352/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=1.34 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 31784 0 0 0 128 6 0 0 25 0 3 0 911010633 209485824 30377 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 30377 178 372 0 50769 0
Current children cumulated CPU time (s) 1.34
Current children cumulated vsize (KiB) 204576
[startup+1.50056 s]
/proc/loadavg: 3.93 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16477088/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=2.94 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 31996 0 0 0 287 7 0 0 25 0 3 0 911010633 209485824 30589 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 30589 178 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=1.44 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 3045 0 0 0 144 0 0 0 20 0 3 0 911010638 209485824 30589 33554432000 4194304 5714118 140736485837232 18446744073709551615 4345923 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=1.44 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27306 0 0 0 138 6 0 0 20 0 3 0 911010638 209485824 30589 33554432000 4194304 5714118 140736485837232 18446744073709551615 4305115 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 204576
[startup+3.10027 s]
/proc/loadavg: 3.93 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16473264/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=6.15 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 33206 0 0 0 606 9 0 0 25 0 3 0 911010633 209485824 31203 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 31203 179 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=3.05 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 4254 0 0 0 303 2 0 0 25 0 3 0 911010638 209485824 31203 33554432000 4194304 5714118 140736485837232 18446744073709551615 4956355 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=3.04 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27307 0 0 0 298 6 0 0 25 0 3 0 911010638 209485824 31203 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 204576
[startup+6.3007 s]
/proc/loadavg: 3.94 3.98 3.90 5/182 23162
/proc/meminfo: memFree=16460748/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=12.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 36311 0 0 0 1235 20 0 0 25 0 3 0 911010633 209485824 32566 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 32566 179 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=6.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 7322 0 0 0 613 12 0 0 25 0 3 0 911010638 209485824 32566 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=6.24 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27344 0 0 0 617 7 0 0 22 0 3 0 911010638 209485824 32566 33554432000 4194304 5714118 140736485837232 18446744073709551615 4322639 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 204576
[startup+12.7006 s]
/proc/loadavg: 3.94 3.98 3.91 5/182 23162
/proc/meminfo: memFree=16433640/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=25.34 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 40313 0 0 0 2500 34 0 0 25 0 3 0 911010633 209485824 36568 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 36568 180 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=12.64 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 11194 0 0 0 1240 24 0 0 25 0 3 0 911010638 209485824 36568 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=12.64 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27474 0 0 0 1255 9 0 0 25 0 3 0 911010638 209485824 36568 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 204576
[startup+25.5003 s]
/proc/loadavg: 3.95 3.98 3.91 5/182 23163
/proc/meminfo: memFree=16410704/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=204576 CPUtime=50.95 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 43883 0 0 0 5043 52 0 0 25 0 3 0 911010633 209485824 40138 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 51144 40138 180 372 0 50769 0
[pid=23159/tid=23161] ppid=23157 vsize=204576 CPUtime=25.44 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 14565 0 0 0 2504 40 0 0 25 0 3 0 911010638 209485824 40138 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=204576 CPUtime=25.44 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 27673 0 0 0 2533 11 0 0 25 0 3 0 911010638 209485824 40138 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 204576
[startup+51.1008 s]
/proc/loadavg: 3.97 3.98 3.91 5/182 23163
/proc/meminfo: memFree=16358032/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=270980 CPUtime=102.14 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 51477 0 0 0 10130 84 0 0 25 0 3 0 911010633 277483520 47732 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 67745 47732 180 372 0 67370 0
[pid=23159/tid=23161] ppid=23157 vsize=270980 CPUtime=51.05 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 19445 0 0 0 5039 66 0 0 25 0 3 0 911010638 277483520 47732 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=270980 CPUtime=51.05 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 30387 0 0 0 5087 18 0 0 25 0 3 0 911010638 277483520 47732 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 270980
[startup+102.307 s]
/proc/loadavg: 4.03 4.00 3.91 5/182 23165
/proc/meminfo: memFree=16176340/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=467104 CPUtime=204.56 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 88262 0 0 0 20284 172 0 0 25 0 3 0 911010633 478314496 84256 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 116776 84256 180 372 0 116401 0
[pid=23159/tid=23161] ppid=23157 vsize=467104 CPUtime=102.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 23858 0 0 0 10098 127 0 0 25 0 3 0 911010638 478314496 84256 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=467104 CPUtime=102.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 62759 0 0 0 10181 44 0 0 25 0 3 0 911010638 478314496 84256 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.56
Current children cumulated vsize (KiB) 467104
[startup+162.301 s]
/proc/loadavg: 4.01 4.00 3.91 5/182 23166
/proc/meminfo: memFree=15869656/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=598176 CPUtime=324.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 120088 0 0 0 32203 252 0 0 25 0 3 0 911010633 612532224 116082 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 149544 116082 180 372 0 149169 0
[pid=23159/tid=23161] ppid=23157 vsize=598176 CPUtime=162.24 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 23990 0 0 0 16050 174 0 0 25 0 3 0 911010638 612532224 116082 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=598176 CPUtime=162.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 94453 0 0 0 16148 77 0 0 25 0 3 0 911010638 612532224 116082 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 324.55
Current children cumulated vsize (KiB) 598176
[startup+222.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23168
/proc/meminfo: memFree=15784944/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=598176 CPUtime=444.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 129242 0 0 0 44139 316 0 0 25 0 3 0 911010633 612532224 125236 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 149544 125236 180 372 0 149169 0
[pid=23159/tid=23161] ppid=23157 vsize=598176 CPUtime=222.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 28071 0 0 0 22003 222 0 0 25 0 3 0 911010638 612532224 125236 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=598176 CPUtime=222.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 99526 0 0 0 22131 94 0 0 25 0 3 0 911010638 612532224 125236 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319807 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 444.55
Current children cumulated vsize (KiB) 598176
[startup+282.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23169
/proc/meminfo: memFree=15688812/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=598176 CPUtime=564.55 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 139655 0 0 0 56076 379 0 0 25 0 3 0 911010633 612532224 135649 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 149544 135649 180 372 0 149169 0
[pid=23159/tid=23161] ppid=23157 vsize=598176 CPUtime=282.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 34624 0 0 0 27955 270 0 0 25 0 3 0 911010638 612532224 135649 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=598176 CPUtime=282.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 103386 0 0 0 28117 108 0 0 25 0 3 0 911010638 612532224 135649 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 564.55
Current children cumulated vsize (KiB) 598176
[startup+342.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23171
/proc/meminfo: memFree=15620848/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=663712 CPUtime=684.56 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 148348 0 0 0 68019 437 0 0 25 0 3 0 911010633 679641088 144342 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 165928 144342 180 372 0 165553 0
[pid=23159/tid=23161] ppid=23157 vsize=663712 CPUtime=342.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 40365 0 0 0 33909 316 0 0 25 0 3 0 911010638 679641088 144342 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=663712 CPUtime=342.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 106338 0 0 0 34105 120 0 0 25 0 3 0 911010638 679641088 144342 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 684.56
Current children cumulated vsize (KiB) 663712
[startup+402.3 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23173
/proc/meminfo: memFree=15556844/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=664436 CPUtime=804.56 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 158280 0 0 0 79965 491 0 0 25 0 3 0 911010633 680382464 154272 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 166109 154272 180 372 0 165734 0
[pid=23159/tid=23161] ppid=23157 vsize=664436 CPUtime=402.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 46998 0 0 0 39864 361 0 0 25 0 3 0 911010638 680382464 154272 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=664436 CPUtime=402.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 109637 0 0 0 40096 129 0 0 25 0 3 0 911010638 680382464 154272 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 804.56
Current children cumulated vsize (KiB) 664436
[startup+462.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23174
/proc/meminfo: memFree=15477208/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=796380 CPUtime=924.57 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 170392 0 0 0 91915 542 0 0 25 0 3 0 911010633 815493120 166384 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 199095 166384 180 372 0 198720 0
[pid=23159/tid=23161] ppid=23157 vsize=796380 CPUtime=462.25 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 54915 0 0 0 45823 402 0 0 25 0 3 0 911010638 815493120 166384 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=796380 CPUtime=462.25 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 113832 0 0 0 46086 139 0 0 25 0 3 0 911010638 815493120 166384 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 924.57
Current children cumulated vsize (KiB) 796380
[startup+522.301 s]
/proc/loadavg: 4.00 4.00 3.91 5/182 23176
/proc/meminfo: memFree=15394108/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=796512 CPUtime=1044.57 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 181000 0 0 0 103865 592 0 0 25 0 3 0 911010633 815628288 176990 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 199128 176990 180 372 0 198753 0
[pid=23159/tid=23161] ppid=23157 vsize=796512 CPUtime=522.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 60358 0 0 0 51784 442 0 0 25 0 3 0 911010638 815628288 176990 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=796512 CPUtime=522.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 118997 0 0 0 52077 149 0 0 25 0 3 0 911010638 815628288 176990 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319374 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1044.57
Current children cumulated vsize (KiB) 796512
[startup+582.301 s]
/proc/loadavg: 4.04 4.01 3.92 5/182 23177
/proc/meminfo: memFree=15326504/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=797144 CPUtime=1164.57 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 189982 0 0 0 115826 631 0 0 25 0 3 0 911010633 816275456 185969 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 199286 185969 180 372 0 198911 0
[pid=23159/tid=23161] ppid=23157 vsize=797144 CPUtime=582.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 65595 0 0 0 57752 474 0 0 25 0 3 0 911010638 816275456 185969 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319336 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=797144 CPUtime=582.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 122742 0 0 0 58070 156 0 0 25 0 3 0 911010638 816275456 185969 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1164.57
Current children cumulated vsize (KiB) 797144
[startup+642.3 s]
/proc/loadavg: 4.07 4.02 3.93 5/182 23179
/proc/meminfo: memFree=15254944/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=862824 CPUtime=1284.59 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 200375 0 0 0 127771 688 0 0 25 0 3 0 911010633 883531776 196362 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 215706 196362 180 372 0 215331 0
[pid=23159/tid=23161] ppid=23157 vsize=862824 CPUtime=642.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 72331 0 0 0 63703 523 0 0 25 0 3 0 911010638 883531776 196362 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=862824 CPUtime=642.27 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 126399 0 0 0 64063 164 0 0 25 0 3 0 911010638 883531776 196362 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1284.59
Current children cumulated vsize (KiB) 862824
[startup+702.301 s]
/proc/loadavg: 4.03 4.02 3.93 5/182 23181
/proc/meminfo: memFree=15200988/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=928508 CPUtime=1404.58 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 210145 0 0 0 139725 733 0 0 25 0 3 0 911010633 950792192 206132 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 232127 206132 180 372 0 231752 0
[pid=23159/tid=23161] ppid=23157 vsize=928508 CPUtime=702.27 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 78793 0 0 0 69663 564 0 0 25 0 3 0 911010638 950792192 206132 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=928508 CPUtime=702.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 129707 0 0 0 70057 169 0 0 25 0 3 0 911010638 950792192 206132 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319206 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1404.58
Current children cumulated vsize (KiB) 928508
[startup+762.306 s]
/proc/loadavg: 4.01 4.01 3.93 5/182 23182
/proc/meminfo: memFree=15148616/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1524.59 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 219067 0 0 0 151668 791 0 0 25 0 3 0 911010633 1018056704 215054 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 215054 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=762.27 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 84789 0 0 0 75615 612 0 0 25 0 3 0 911010638 1018056704 215054 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=762.27 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132633 0 0 0 76048 179 0 0 25 0 3 0 911010638 1018056704 215054 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319221 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1524.59
Current children cumulated vsize (KiB) 994196
[startup+822.3 s]
/proc/loadavg: 4.00 4.01 3.93 5/182 23184
/proc/meminfo: memFree=15107280/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1644.58 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 223172 0 0 0 163620 838 0 0 25 0 3 0 911010633 1018056704 219159 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 219159 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=822.27 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 88894 0 0 0 81576 651 0 0 25 0 3 0 911010638 1018056704 219159 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=822.27 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132633 0 0 0 82040 187 0 0 25 0 3 0 911010638 1018056704 219159 33554432000 4194304 5714118 140736485837232 18446744073709551615 4199408 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1644.58
Current children cumulated vsize (KiB) 994196
[startup+882.301 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23186
/proc/meminfo: memFree=15057160/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1764.59 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 229029 0 0 0 175576 883 0 0 25 0 3 0 911010633 1018056704 225016 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 225016 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=882.26 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 94750 0 0 0 87536 690 0 0 25 0 3 0 911010638 1018056704 225016 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=882.26 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132634 0 0 0 88034 192 0 0 25 0 3 0 911010638 1018056704 225016 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1764.59
Current children cumulated vsize (KiB) 994196
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23227
/proc/meminfo: memFree=15713328/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1800.19 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 231261 0 0 0 179119 900 0 0 25 0 3 0 911010633 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 227248 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 96978 0 0 0 89301 706 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132638 0 0 0 89813 194 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 994196
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+900.101 s]
/proc/loadavg: 4.00 4.00 3.93 5/182 23227
/proc/meminfo: memFree=15713328/32950904 swapFree=67055440/67111528
[pid=23159] ppid=23157 vsize=994196 CPUtime=1800.19 cores=1,3,5,7
/proc/23159/stat : 23159 (pwbo1.1) S 23157 23159 21970 0 -1 4202496 231261 0 0 0 179119 900 0 0 25 0 3 0 911010633 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4419421 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0
/proc/23159/statm: 248549 227248 180 372 0 248174 0
[pid=23159/tid=23161] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23161/stat : 23161 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 96978 0 0 0 89301 706 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 5070743 0 0 4096 16387 0 0 0 -1 3 0 0 0
[pid=23159/tid=23162] ppid=23157 vsize=994196 CPUtime=900.07 cores=1,3,5,7
/proc/23159/task/23162/stat : 23162 (pwbo1.1) R 23157 23159 21970 0 -1 4202560 132638 0 0 0 89813 194 0 0 25 0 3 0 911010638 1018056704 227248 33554432000 4194304 5714118 140736485837232 18446744073709551615 4319200 0 0 4096 16387 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 994196
Child status: 0
Real time (s): 900.151
CPU time (s): 1800.26
CPU user time (s): 1791.21
CPU system time (s): 9.04862
CPU usage (%): 199.995
Max. virtual memory (cumulated for all children) (KiB): 994196
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.21
system time used= 9.04862
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 231267
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= 659
involuntary context switches= 12111
runsolver used 1.49377 second user time and 3.43448 second system time
The end