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-3743050-1339251570/watcher-3743050-1339251570 -o /tmp/evaluation-result-3743050-1339251570/solver-3743050-1339251570 -C 1800 -W 1900 -M 15500 run HOME/instance-3743050-1339251570.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.00 2.13 3/179 12295
/proc/meminfo: memFree=30461588/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[startup+0.104206 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 12295
/proc/meminfo: memFree=30461588/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.2003 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 12295
/proc/meminfo: memFree=30461588/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300232 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 12295
/proc/meminfo: memFree=30461588/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700206 s]
/proc/loadavg: 2.00 2.00 2.13 3/179 12295
/proc/meminfo: memFree=30461588/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50025 s]
/proc/loadavg: 2.00 2.00 2.13 3/181 12297
/proc/meminfo: memFree=30455752/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=22012 CPUtime=1.49 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 2017 0 0 0 149 0 0 0 20 0 1 0 35124101 22540288 1973 33554432000 134512640 146736320 4291866176 4291748464 140681199 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 5503 1973 353 2985 0 1764 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 31160
[startup+3.10025 s]
/proc/loadavg: 2.00 2.00 2.13 3/181 12297
/proc/meminfo: memFree=30455380/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=22144 CPUtime=3.09 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 2052 0 0 0 309 0 0 0 20 0 1 0 35124101 22675456 2008 33554432000 134512640 146736320 4291866176 4291748528 140684760 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 5536 2008 353 2985 0 1797 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 31292
[startup+6.30025 s]
/proc/loadavg: 2.00 2.00 2.13 3/181 12297
/proc/meminfo: memFree=30455016/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=22408 CPUtime=6.29 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 2104 0 0 0 629 0 0 0 20 0 1 0 35124101 22945792 2060 33554432000 134512640 146736320 4291866176 4291748344 134814118 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 5602 2060 353 2985 0 1863 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 31556
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.13 3/181 12297
/proc/meminfo: memFree=30449436/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=22540 CPUtime=12.68 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 2149 0 0 0 1268 0 0 0 20 0 1 0 35124101 23080960 2105 33554432000 134512640 146736320 4291866176 4291748608 140714084 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 5635 2105 353 2985 0 1896 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 31688
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.12 3/181 12297
/proc/meminfo: memFree=30448180/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=22848 CPUtime=25.48 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 2235 0 0 0 2548 0 0 0 20 0 1 0 35124101 23396352 2191 33554432000 134512640 146736320 4291866176 4291748364 140526592 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 5712 2191 353 2985 0 1973 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 31996
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.12 3/182 12300
/proc/meminfo: memFree=30443500/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=23444 CPUtime=51.08 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 2355 0 0 0 5108 0 0 0 20 0 1 0 35124101 24006656 2311 33554432000 134512640 146736320 4291866176 4291748364 140526592 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 5861 2311 353 2985 0 2122 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 32592
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/181 12300
/proc/meminfo: memFree=30428120/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=35212 CPUtime=102.28 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 6050 0 0 0 10226 2 0 0 20 0 1 0 35124101 36057088 5834 33554432000 134512640 146736320 4291866176 4291864192 140684769 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 8803 5834 961 2985 0 5064 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 44360
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/181 12300
/proc/meminfo: memFree=30427996/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=35344 CPUtime=162.27 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 6092 0 0 0 16225 2 0 0 20 0 1 0 35124101 36192256 5876 33554432000 134512640 146736320 4291866176 4291864304 140750171 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 8836 5876 961 2985 0 5097 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 44492
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 12300
/proc/meminfo: memFree=30427800/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=35476 CPUtime=222.26 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 6122 0 0 0 22224 2 0 0 20 0 1 0 35124101 36327424 5903 33554432000 134512640 146736320 4291866176 4291864092 134814122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 8869 5903 961 2985 0 5130 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 44624
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 12301
/proc/meminfo: memFree=30355840/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=138464 CPUtime=282.24 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 121296 0 0 0 28198 26 0 0 20 0 1 0 35124101 141787136 24034 33554432000 134512640 146736320 4291866176 4291860252 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 34616 24034 922 2985 0 31550 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 147612
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/181 12301
/proc/meminfo: memFree=30327460/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=146324 CPUtime=342.22 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 268236 0 0 0 34162 60 0 0 20 0 1 0 35124101 149835776 26955 33554432000 134512640 146736320 4291866176 4291859844 136385185 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12296/statm: 36581 26955 940 2985 0 33515 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 155472
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 2.08 3/188 12371
/proc/meminfo: memFree=30057144/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/12296/statm: 186432 141482 1009 2985 0 183366 0
[pid=12296/tid=12365] ppid=12295 vsize=745728 CPUtime=55.58 cores=1,3,5,7
/proc/12296/task/12365/stat : 12365 (pb_cplex) R 12295 12295 10925 0 -1 4202560 34247 0 0 0 5546 12 0 0 20 0 8 0 35161580 763625472 141482 33554432000 134512640 146736320 4291866176 4049309956 136385268 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12366] ppid=12295 vsize=745728 CPUtime=56.07 cores=1,3,5,7
/proc/12296/task/12366/stat : 12366 (pb_cplex) R 12295 12295 10925 0 -1 4202560 32352 0 0 0 5594 13 0 0 20 0 8 0 35161580 763625472 141482 33554432000 134512640 146736320 4291866176 4059795664 136008160 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12367] ppid=12295 vsize=745728 CPUtime=55.34 cores=1,3,5,7
/proc/12296/task/12367/stat : 12367 (pb_cplex) R 12295 12295 10925 0 -1 4202560 31406 0 0 0 5525 9 0 0 20 0 8 0 35161580 763625472 141482 33554432000 134512640 146736320 4291866176 4070281492 136003493 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12368] ppid=12295 vsize=745728 CPUtime=55.41 cores=1,3,5,7
/proc/12296/task/12368/stat : 12368 (pb_cplex) R 12295 12295 10925 0 -1 4202560 37419 0 0 0 5529 12 0 0 20 0 8 0 35161580 763625472 141482 33554432000 134512640 146736320 4291866176 4038824028 135854505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12369] ppid=12295 vsize=745728 CPUtime=56.02 cores=1,3,5,7
/proc/12296/task/12369/stat : 12369 (pb_cplex) R 12295 12295 10925 0 -1 4202560 40320 0 0 0 5588 14 0 0 20 0 8 0 35161580 763625472 141482 33554432000 134512640 146736320 4291866176 3884581080 136008924 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12370] ppid=12295 vsize=745728 CPUtime=56.09 cores=1,3,5,7
/proc/12296/task/12370/stat : 12370 (pb_cplex) R 12295 12295 10925 0 -1 4202560 18437 0 0 0 5602 7 0 0 20 0 8 0 35161580 763625472 141482 33554432000 134512640 146736320 4291866176 3874095176 139042902 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12371] ppid=12295 vsize=745728 CPUtime=56.48 cores=1,3,5,7
/proc/12296/task/12371/stat : 12371 (pb_cplex) R 12295 12295 10925 0 -1 4202560 37772 0 0 0 5634 14 0 0 20 0 8 0 35161580 763625472 141482 33554432000 134512640 146736320 4291866176 3863609552 136008163 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 858.46
Current children cumulated vsize (KiB) 754876
[startup+582.3 s]
/proc/loadavg: 8.21 4.95 3.20 7/188 12372
/proc/meminfo: memFree=29788808/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=748396 CPUtime=1097.95 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) S 12295 12295 10925 0 -1 4202496 729603 0 0 0 109582 213 0 0 20 0 8 0 35124101 766357504 144854 33554432000 134512640 146736320 4291866176 4291862544 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12296/statm: 187099 144854 1009 2985 0 184033 0
[pid=12296/tid=12365] ppid=12295 vsize=748396 CPUtime=87.16 cores=1,3,5,7
/proc/12296/task/12365/stat : 12365 (pb_cplex) R 12295 12295 10925 0 -1 4202560 48463 0 0 0 8699 17 0 0 20 0 8 0 35161580 766357504 144854 33554432000 134512640 146736320 4291866176 4049309972 136003493 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12366] ppid=12295 vsize=748396 CPUtime=88.14 cores=1,3,5,7
/proc/12296/task/12366/stat : 12366 (pb_cplex) R 12295 12295 10925 0 -1 4202560 47482 0 0 0 8796 18 0 0 20 0 8 0 35161580 766357504 144854 33554432000 134512640 146736320 4291866176 4059794408 139044505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12367] ppid=12295 vsize=748396 CPUtime=87.28 cores=1,3,5,7
/proc/12296/task/12367/stat : 12367 (pb_cplex) R 12295 12295 10925 0 -1 4202560 49037 0 0 0 8712 16 0 0 20 0 8 0 35161580 766357504 144854 33554432000 134512640 146736320 4291866176 4070282396 135961992 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12368] ppid=12295 vsize=748396 CPUtime=87.34 cores=1,3,5,7
/proc/12296/task/12368/stat : 12368 (pb_cplex) R 12295 12295 10925 0 -1 4202560 55175 0 0 0 8715 19 0 0 20 0 8 0 35161580 766357504 144854 33554432000 134512640 146736320 4291866176 4038824212 136004384 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12369] ppid=12295 vsize=748396 CPUtime=87.54 cores=1,3,5,7
/proc/12296/task/12369/stat : 12369 (pb_cplex) R 12295 12295 10925 0 -1 4202560 58192 0 0 0 8731 23 0 0 20 0 8 0 35161580 766357504 144854 33554432000 134512640 146736320 4291866176 3884580956 135855165 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12370] ppid=12295 vsize=748396 CPUtime=85.42 cores=1,3,5,7
/proc/12296/task/12370/stat : 12370 (pb_cplex) S 12295 12295 10925 0 -1 4202560 19292 0 0 0 8533 9 0 0 20 0 8 0 35161580 766357504 144854 33554432000 134512640 146736320 4291866176 3874098832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12371] ppid=12295 vsize=748396 CPUtime=78.54 cores=1,3,5,7
/proc/12296/task/12371/stat : 12371 (pb_cplex) S 12295 12295 10925 0 -1 4202560 44175 0 0 0 7836 18 0 0 20 0 8 0 35161580 766357504 144854 33554432000 134512640 146736320 4291866176 3863613072 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1097.95
Current children cumulated vsize (KiB) 757544
[startup+642.3 s]
/proc/loadavg: 6.41 5.01 3.33 10/189 12375
/proc/meminfo: memFree=29781780/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=774576 CPUtime=1294.01 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 900814 0 0 0 129133 268 0 0 20 0 8 0 35124101 793165824 146389 33554432000 134512640 146736320 4291866176 4291859440 136385265 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12296/statm: 193644 146389 1009 2985 0 190578 0
[pid=12296/tid=12365] ppid=12295 vsize=774576 CPUtime=136.94 cores=1,3,5,7
/proc/12296/task/12365/stat : 12365 (pb_cplex) R 12295 12295 10925 0 -1 4202560 87488 0 0 0 13665 29 0 0 20 0 8 0 35161580 793165824 146389 33554432000 134512640 146736320 4291866176 4049310284 139028333 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12366] ppid=12295 vsize=774576 CPUtime=109.04 cores=1,3,5,7
/proc/12296/task/12366/stat : 12366 (pb_cplex) R 12295 12295 10925 0 -1 4202560 63879 0 0 0 10880 24 0 0 20 0 8 0 35161580 793165824 146389 33554432000 134512640 146736320 4291866176 4059795664 136008416 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12367] ppid=12295 vsize=774576 CPUtime=137.34 cores=1,3,5,7
/proc/12296/task/12367/stat : 12367 (pb_cplex) R 12295 12295 10925 0 -1 4202560 88359 0 0 0 13704 30 0 0 20 0 8 0 35161580 793165824 146389 33554432000 134512640 146736320 4291866176 4070281264 136384857 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12368] ppid=12295 vsize=774576 CPUtime=117.1 cores=1,3,5,7
/proc/12296/task/12368/stat : 12368 (pb_cplex) R 12295 12295 10925 0 -1 4202560 74077 0 0 0 11685 25 0 0 20 0 8 0 35161580 793165824 146389 33554432000 134512640 146736320 4291866176 4038824144 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12369] ppid=12295 vsize=774576 CPUtime=115.34 cores=1,3,5,7
/proc/12296/task/12369/stat : 12369 (pb_cplex) R 12295 12295 10925 0 -1 4202560 90729 0 0 0 11501 33 0 0 20 0 8 0 35161580 793165824 146389 33554432000 134512640 146736320 4291866176 3884580232 136000404 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12370] ppid=12295 vsize=774576 CPUtime=91.08 cores=1,3,5,7
/proc/12296/task/12370/stat : 12370 (pb_cplex) R 12295 12295 10925 0 -1 4202560 26861 0 0 0 9097 11 0 0 20 0 8 0 35161580 793165824 146389 33554432000 134512640 146736320 4291866176 3874095152 136384857 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12371] ppid=12295 vsize=774576 CPUtime=84.28 cores=1,3,5,7
/proc/12296/task/12371/stat : 12371 (pb_cplex) R 12295 12295 10925 0 -1 4202560 51471 0 0 0 8407 21 0 0 20 0 8 0 35161580 793165824 146389 33554432000 134512640 146736320 4291866176 3863609436 135854189 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1294.01
Current children cumulated vsize (KiB) 783724
[startup+702.301 s]
/proc/loadavg: 8.05 5.73 3.68 10/188 12375
/proc/meminfo: memFree=29170668/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=789528 CPUtime=1533.44 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 1081170 0 0 0 153009 335 0 0 20 0 8 0 35124101 808476672 151444 33554432000 134512640 146736320 4291866176 4291858976 136006323 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12296/statm: 197382 151444 1009 2985 0 194316 0
[pid=12296/tid=12365] ppid=12295 vsize=789528 CPUtime=166.57 cores=1,3,5,7
/proc/12296/task/12365/stat : 12365 (pb_cplex) R 12295 12295 10925 0 -1 4202560 109392 0 0 0 16619 38 0 0 20 0 8 0 35161580 808476672 151444 33554432000 134512640 146736320 4291866176 4049310124 136400477 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12366] ppid=12295 vsize=789528 CPUtime=138.91 cores=1,3,5,7
/proc/12296/task/12366/stat : 12366 (pb_cplex) R 12295 12295 10925 0 -1 4202560 77680 0 0 0 13861 30 0 0 20 0 8 0 35161580 808476672 151444 33554432000 134512640 146736320 4291866176 4059795504 136384857 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12367] ppid=12295 vsize=789528 CPUtime=167.08 cores=1,3,5,7
/proc/12296/task/12367/stat : 12367 (pb_cplex) R 12295 12295 10925 0 -1 4202560 130278 0 0 0 16664 44 0 0 20 0 8 0 35161580 808476672 151444 33554432000 134512640 146736320 4291866176 4070281308 135854527 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12368] ppid=12295 vsize=789528 CPUtime=147.2 cores=1,3,5,7
/proc/12296/task/12368/stat : 12368 (pb_cplex) R 12295 12295 10925 0 -1 4202560 96419 0 0 0 14686 34 0 0 20 0 8 0 35161580 808476672 151444 33554432000 134512640 146736320 4291866176 4038824392 135999265 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12369] ppid=12295 vsize=789528 CPUtime=145.32 cores=1,3,5,7
/proc/12296/task/12369/stat : 12369 (pb_cplex) R 12295 12295 10925 0 -1 4202560 112353 0 0 0 14490 42 0 0 20 0 8 0 35161580 808476672 151444 33554432000 134512640 146736320 4291866176 3884580956 135855165 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12370] ppid=12295 vsize=789528 CPUtime=120.47 cores=1,3,5,7
/proc/12296/task/12370/stat : 12370 (pb_cplex) R 12295 12295 10925 0 -1 4202560 43668 0 0 0 12029 18 0 0 20 0 8 0 35161580 808476672 151444 33554432000 134512640 146736320 4291866176 3874094472 136000404 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12371] ppid=12295 vsize=789528 CPUtime=114.2 cores=1,3,5,7
/proc/12296/task/12371/stat : 12371 (pb_cplex) R 12295 12295 10925 0 -1 4202560 69067 0 0 0 11394 26 0 0 20 0 8 0 35161580 808476672 151444 33554432000 134512640 146736320 4291866176 3863608464 136008223 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1533.44
Current children cumulated vsize (KiB) 798676
[startup+762.301 s]
/proc/loadavg: 7.26 6.00 3.90 5/188 12375
/proc/meminfo: memFree=29145208/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=793736 CPUtime=1760.55 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 1202568 0 0 0 175674 381 0 0 20 0 8 0 35124101 812785664 152441 33554432000 134512640 146736320 4291866176 4291857724 135446520 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12296/statm: 198434 152441 1012 2985 0 195368 0
[pid=12296/tid=12365] ppid=12295 vsize=794916 CPUtime=179.72 cores=1,3,5,7
/proc/12296/task/12365/stat : 12365 (pb_cplex) S 12295 12295 10925 0 -1 4202560 117306 0 0 0 17931 41 0 0 20 0 8 0 35161580 813993984 152468 33554432000 134512640 146736320 4291866176 4049313424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12366] ppid=12295 vsize=794916 CPUtime=166.73 cores=1,3,5,7
/proc/12296/task/12366/stat : 12366 (pb_cplex) S 12295 12295 10925 0 -1 4202560 88392 0 0 0 16639 34 0 0 20 0 8 0 35161580 813993984 152481 33554432000 134512640 146736320 4291866176 4059799184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12367] ppid=12295 vsize=794916 CPUtime=207.4 cores=1,3,5,7
/proc/12296/task/12367/stat : 12367 (pb_cplex) R 12295 12295 10925 0 -1 4202560 142774 0 0 0 20690 50 0 0 20 0 8 0 35161580 813993984 152490 33554432000 134512640 146736320 4291866176 4070281032 135525953 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12368] ppid=12295 vsize=794916 CPUtime=186.85 cores=1,3,5,7
/proc/12296/task/12368/stat : 12368 (pb_cplex) R 12295 12295 10925 0 -1 4202560 117922 0 0 0 18643 42 0 0 20 0 8 0 35161580 813993984 152500 33554432000 134512640 146736320 4291866176 4038823056 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12369] ppid=12295 vsize=794916 CPUtime=167.49 cores=1,3,5,7
/proc/12296/task/12369/stat : 12369 (pb_cplex) S 12295 12295 10925 0 -1 4202560 124317 0 0 0 16701 48 0 0 20 0 8 0 35161580 813993984 152512 33554432000 134512640 146736320 4291866176 3884584592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12370] ppid=12295 vsize=794916 CPUtime=143.98 cores=1,3,5,7
/proc/12296/task/12370/stat : 12370 (pb_cplex) S 12295 12295 10925 0 -1 4202560 57310 0 0 0 14373 25 0 0 20 0 8 0 35161580 813993984 152524 33554432000 134512640 146736320 4291866176 3874098832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12371] ppid=12295 vsize=794916 CPUtime=133.68 cores=1,3,5,7
/proc/12296/task/12371/stat : 12371 (pb_cplex) S 12295 12295 10925 0 -1 4202560 79720 0 0 0 13336 32 0 0 20 0 8 0 35161580 813993984 152533 33554432000 134512640 146736320 4291866176 3863613072 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1760.55
Current children cumulated vsize (KiB) 802884
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+776.901 s]
/proc/loadavg: 6.46 5.89 3.90 4/188 12375
/proc/meminfo: memFree=29142424/32873844 swapFree=7124/7124
[pid=12295] ppid=12293 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12295/stat : 12295 (run) S 12293 12295 10925 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 35124100 9367552 270 33554432000 4194304 5064252 140735240736928 140735240735840 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12295/statm: 2287 270 229 213 0 72 0
[pid=12296] ppid=12295 vsize=793784 CPUtime=1800.1 cores=1,3,5,7
/proc/12296/stat : 12296 (pb_cplex) R 12295 12295 10925 0 -1 4202496 1245909 0 0 0 179615 395 0 0 20 0 8 0 35124101 812834816 152627 33554432000 134512640 146736320 4291866176 4291857820 135855165 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/12296/statm: 198446 152627 1012 2985 0 195380 0
[pid=12296/tid=12365] ppid=12295 vsize=793784 CPUtime=179.72 cores=1,3,5,7
/proc/12296/task/12365/stat : 12365 (pb_cplex) S 12295 12295 10925 0 -1 4202560 117306 0 0 0 17931 41 0 0 20 0 8 0 35161580 812834816 152627 33554432000 134512640 146736320 4291866176 4049313424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12296/tid=12366] ppid=12295 vsize=793784 CPUtime=166.73 cores=1,3,5,7
/proc/12296/task/12366/stat : 12366 (pb_cplex) S 12295 12295 10925 0 -1 4202560 88392 0 0 0 16639 34 0 0 20 0 8 0 35161580 812834816 152627 33554432000 134512640 146736320 4291866176 4059799184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12367] ppid=12295 vsize=793784 CPUtime=217.72 cores=1,3,5,7
/proc/12296/task/12367/stat : 12367 (pb_cplex) S 12295 12295 10925 0 -1 4202560 147459 0 0 0 21720 52 0 0 20 0 8 0 35161580 812834816 152627 33554432000 134512640 146736320 4291866176 4070284944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=12296/tid=12368] ppid=12295 vsize=793784 CPUtime=201.41 cores=1,3,5,7
/proc/12296/task/12368/stat : 12368 (pb_cplex) R 12295 12295 10925 0 -1 4202560 134826 0 0 0 20092 49 0 0 20 0 8 0 35161580 812834816 152627 33554432000 134512640 146736320 4291866176 4038824048 136384852 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12369] ppid=12295 vsize=793784 CPUtime=167.49 cores=1,3,5,7
/proc/12296/task/12369/stat : 12369 (pb_cplex) S 12295 12295 10925 0 -1 4202560 124317 0 0 0 16701 48 0 0 20 0 8 0 35161580 812834816 152627 33554432000 134512640 146736320 4291866176 3884584592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12296/tid=12370] ppid=12295 vsize=793784 CPUtime=143.98 cores=1,3,5,7
/proc/12296/task/12370/stat : 12370 (pb_cplex) S 12295 12295 10925 0 -1 4202560 57310 0 0 0 14373 25 0 0 20 0 8 0 35161580 812834816 152627 33554432000 134512640 146736320 4291866176 3874098832 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12296/tid=12371] ppid=12295 vsize=793784 CPUtime=133.68 cores=1,3,5,7
/proc/12296/task/12371/stat : 12371 (pb_cplex) S 12295 12295 10925 0 -1 4202560 79720 0 0 0 13336 32 0 0 20 0 8 0 35161580 812834816 152627 33554432000 134512640 146736320 4291866176 3863613072 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 802932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12295 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 776.918
CPU time (s): 1800.1
CPU user time (s): 1796.15
CPU system time (s): 3.95
CPU usage (%): 231.698
Max. virtual memory (cumulated for all children) (KiB): 805244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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= 2
involuntary context switches= 1
runsolver used 2.04269 second user time and 5.17321 second system time
The end