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-3741809-1339250566/watcher-3741809-1339250566 -o /tmp/evaluation-result-3741809-1339250566/solver-3741809-1339250566 -C 1800 -W 1900 -M 15500 run HOME/instance-3741809-1339250566.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.11 3/175 12303
/proc/meminfo: memFree=31330760/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[startup+0.083879 s]
/proc/loadavg: 2.00 2.00 2.11 3/175 12303
/proc/meminfo: memFree=31330760/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100257 s]
/proc/loadavg: 2.00 2.00 2.11 3/175 12303
/proc/meminfo: memFree=31330760/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 2.00 2.00 2.11 3/175 12303
/proc/meminfo: memFree=31330760/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700226 s]
/proc/loadavg: 2.00 2.00 2.11 3/175 12303
/proc/meminfo: memFree=31330760/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 2.11 3/177 12305
/proc/meminfo: memFree=31328900/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=45412 CPUtime=1.49 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 850 0 0 0 149 0 0 0 20 0 1 0 391181699 46501888 805 33554432000 134512640 146736320 4287917040 4287883504 140528762 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 11353 805 302 2985 0 556 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 54560
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.11 3/177 12305
/proc/meminfo: memFree=31328000/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=45544 CPUtime=3.09 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 885 0 0 0 309 0 0 0 20 0 1 0 391181699 46637056 840 33554432000 134512640 146736320 4287917040 4287883744 140714076 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 11386 840 302 2985 0 589 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 54692
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.11 3/177 12305
/proc/meminfo: memFree=31329116/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=47176 CPUtime=6.29 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 1471 0 0 0 629 0 0 0 20 0 1 0 391181699 48308224 1426 33554432000 134512640 146736320 4287917040 4287914840 144716523 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 11794 1426 483 2985 0 997 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 56324
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.11 3/177 12305
/proc/meminfo: memFree=31310672/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=66180 CPUtime=12.69 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 8480 0 0 0 1268 1 0 0 20 0 1 0 391181699 67768320 8402 33554432000 134512640 146736320 4287917040 4287914988 140653472 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 16545 8402 2724 2985 0 5748 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 75328
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.11 3/177 12305
/proc/meminfo: memFree=31271860/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=103924 CPUtime=25.48 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 22490 0 0 0 2544 4 0 0 20 0 1 0 391181699 106418176 22347 33554432000 134512640 146736320 4287917040 4287914884 134814122 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 25981 22347 7219 2985 0 15184 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 113072
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.10 3/177 12305
/proc/meminfo: memFree=30869252/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=611536 CPUtime=51.08 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 87696 0 0 0 5074 34 0 0 20 0 1 0 391181699 626212864 128009 33554432000 134512640 146736320 4287917040 4287912648 135811958 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 152884 128009 901 2985 0 149818 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 620684
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.09 3/177 12305
/proc/meminfo: memFree=30916660/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=485184 CPUtime=102.28 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 157815 0 0 0 10169 59 0 0 20 0 1 0 391181699 496828416 98120 33554432000 134512640 146736320 4287917040 4287910712 136475859 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 121296 98120 908 2985 0 118230 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 494332
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 12355
/proc/meminfo: memFree=31023000/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=485800 CPUtime=162.26 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 174153 0 0 0 16163 63 0 0 20 0 1 0 391181699 497459200 99168 33554432000 134512640 146736320 4287917040 4287910968 136015570 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 121450 99168 910 2985 0 118384 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 494948
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/177 12356
/proc/meminfo: memFree=31019936/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=485800 CPUtime=222.25 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 194834 0 0 0 22158 67 0 0 20 0 1 0 391181699 497459200 99956 33554432000 134512640 146736320 4287917040 4287910968 136015570 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 121450 99956 910 2985 0 118384 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 494948
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 2.07 3/184 12363
/proc/meminfo: memFree=30034652/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=1617772 CPUtime=282.24 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 294012 0 0 0 28125 99 0 0 20 0 8 0 391181699 1656598528 345718 33554432000 134512640 146736320 4287917040 4287909904 136008047 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/12304/statm: 404443 345718 954 2985 0 401377 0
[pid=12304/tid=12357] ppid=12303 vsize=1617772 CPUtime=0 cores=1,3,5,7
/proc/12304/task/12357/stat : 12357 (pb_cplex) S 12303 12303 11452 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391208138 1656598528 345718 33554432000 134512640 146736320 4287917040 2833501840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12358] ppid=12303 vsize=1617772 CPUtime=0 cores=1,3,5,7
/proc/12304/task/12358/stat : 12358 (pb_cplex) S 12303 12303 11452 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391208138 1656598528 345718 33554432000 134512640 146736320 4287917040 2823016080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12359] ppid=12303 vsize=1617772 CPUtime=0 cores=1,3,5,7
/proc/12304/task/12359/stat : 12359 (pb_cplex) S 12303 12303 11452 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391208138 1656598528 345718 33554432000 134512640 146736320 4287917040 2812530320 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12360] ppid=12303 vsize=1617772 CPUtime=0 cores=1,3,5,7
/proc/12304/task/12360/stat : 12360 (pb_cplex) S 12303 12303 11452 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391208138 1656598528 345718 33554432000 134512640 146736320 4287917040 2802044560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12361] ppid=12303 vsize=1617772 CPUtime=0 cores=1,3,5,7
/proc/12304/task/12361/stat : 12361 (pb_cplex) S 12303 12303 11452 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391208138 1656598528 345718 33554432000 134512640 146736320 4287917040 2791558800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12362] ppid=12303 vsize=1617772 CPUtime=0 cores=1,3,5,7
/proc/12304/task/12362/stat : 12362 (pb_cplex) S 12303 12303 11452 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391208138 1656598528 345718 33554432000 134512640 146736320 4287917040 2781073040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12363] ppid=12303 vsize=1617772 CPUtime=0 cores=1,3,5,7
/proc/12304/task/12363/stat : 12363 (pb_cplex) S 12303 12303 11452 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391208138 1656598528 345718 33554432000 134512640 146736320 4287917040 2770587280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1626920
[startup+342.301 s]
/proc/loadavg: 2.56 2.12 2.10 10/184 12363
################
# More data... #
################
/proc/12304/statm: 609421 532085 965 2985 0 606355 0
[pid=12304/tid=12357] ppid=12303 vsize=2437684 CPUtime=91.8 cores=1,3,5,7
/proc/12304/task/12357/stat : 12357 (pb_cplex) R 12303 12303 11452 0 -1 4202560 20905 0 0 0 9165 15 0 0 20 0 8 0 391208138 2496188416 532085 33554432000 134512640 146736320 4287917040 2833498320 136008042 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12358] ppid=12303 vsize=2437684 CPUtime=91.44 cores=1,3,5,7
/proc/12304/task/12358/stat : 12358 (pb_cplex) R 12303 12303 11452 0 -1 4202560 17706 0 0 0 9131 13 0 0 20 0 8 0 391208138 2496188416 532085 33554432000 134512640 146736320 4287917040 2823012504 136007021 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12359] ppid=12303 vsize=2437684 CPUtime=91.4 cores=1,3,5,7
/proc/12304/task/12359/stat : 12359 (pb_cplex) R 12303 12303 11452 0 -1 4202560 82117 0 0 0 9099 41 0 0 20 0 8 0 391208138 2496188416 532085 33554432000 134512640 146736320 4287917040 2812525648 136008242 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12360] ppid=12303 vsize=2437684 CPUtime=90.78 cores=1,3,5,7
/proc/12304/task/12360/stat : 12360 (pb_cplex) R 12303 12303 11452 0 -1 4202560 21238 0 0 0 9065 13 0 0 20 0 8 0 391208138 2496188416 532085 33554432000 134512640 146736320 4287917040 2802039888 136008226 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12361] ppid=12303 vsize=2437684 CPUtime=91.41 cores=1,3,5,7
/proc/12304/task/12361/stat : 12361 (pb_cplex) R 12303 12303 11452 0 -1 4202560 17626 0 0 0 9131 10 0 0 20 0 8 0 391208138 2496188416 532085 33554432000 134512640 146736320 4287917040 2791555232 136006323 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12362] ppid=12303 vsize=2437684 CPUtime=90.85 cores=1,3,5,7
/proc/12304/task/12362/stat : 12362 (pb_cplex) R 12303 12303 11452 0 -1 4202560 17412 0 0 0 9074 11 0 0 20 0 8 0 391208138 2496188416 532085 33554432000 134512640 146736320 4287917040 2781069520 136008042 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12363] ppid=12303 vsize=2437684 CPUtime=91.15 cores=1,3,5,7
/proc/12304/task/12363/stat : 12363 (pb_cplex) R 12303 12303 11452 0 -1 4202560 96175 0 0 0 9071 44 0 0 20 0 8 0 391208138 2496188416 532085 33554432000 134512640 146736320 4287917040 2770584552 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1072.08
Current children cumulated vsize (KiB) 2446832
[startup+582.301 s]
/proc/loadavg: 13.85 8.36 4.61 12/191 12374
/proc/meminfo: memFree=29207044/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=2436984 CPUtime=1311.52 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 623905 0 0 0 130882 270 0 0 20 0 8 0 391181699 2495471616 534717 33554432000 134512640 146736320 4287917040 4287909904 136008065 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/12304/statm: 609246 534717 968 2985 0 606180 0
[pid=12304/tid=12357] ppid=12303 vsize=2436984 CPUtime=121.72 cores=1,3,5,7
/proc/12304/task/12357/stat : 12357 (pb_cplex) R 12303 12303 11452 0 -1 4202560 22369 0 0 0 12155 17 0 0 20 0 8 0 391208138 2495471616 534717 33554432000 134512640 146736320 4287917040 2833498704 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12358] ppid=12303 vsize=2436984 CPUtime=121.37 cores=1,3,5,7
/proc/12304/task/12358/stat : 12358 (pb_cplex) R 12303 12303 11452 0 -1 4202560 18057 0 0 0 12124 13 0 0 20 0 8 0 391208138 2495471616 534717 33554432000 134512640 146736320 4287917040 2823012944 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12359] ppid=12303 vsize=2436984 CPUtime=121.28 cores=1,3,5,7
/proc/12304/task/12359/stat : 12359 (pb_cplex) R 12303 12303 11452 0 -1 4202560 110436 0 0 0 12075 53 0 0 20 0 8 0 391208138 2495471616 534717 33554432000 134512640 146736320 4287917040 2812525512 139042876 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12360] ppid=12303 vsize=2436984 CPUtime=120.62 cores=1,3,5,7
/proc/12304/task/12360/stat : 12360 (pb_cplex) R 12303 12303 11452 0 -1 4202560 25008 0 0 0 12047 15 0 0 20 0 8 0 391208138 2495471616 534717 33554432000 134512640 146736320 4287917040 2802041040 136008050 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12361] ppid=12303 vsize=2436984 CPUtime=121.13 cores=1,3,5,7
/proc/12304/task/12361/stat : 12361 (pb_cplex) R 12303 12303 11452 0 -1 4202560 19605 0 0 0 12102 11 0 0 20 0 8 0 391208138 2495471616 534717 33554432000 134512640 146736320 4287917040 2791555280 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12362] ppid=12303 vsize=2436984 CPUtime=120.77 cores=1,3,5,7
/proc/12304/task/12362/stat : 12362 (pb_cplex) R 12303 12303 11452 0 -1 4202560 19387 0 0 0 12065 12 0 0 20 0 8 0 391208138 2495471616 534717 33554432000 134512640 146736320 4287917040 2781069128 135526137 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12363] ppid=12303 vsize=2436984 CPUtime=120.9 cores=1,3,5,7
/proc/12304/task/12363/stat : 12363 (pb_cplex) R 12303 12303 11452 0 -1 4202560 98534 0 0 0 12044 46 0 0 20 0 8 0 391208138 2495471616 534717 33554432000 134512640 146736320 4287917040 2770583704 136007053 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1311.52
Current children cumulated vsize (KiB) 2446132
[startup+642.301 s]
/proc/loadavg: 11.08 8.58 4.92 10/191 12374
/proc/meminfo: memFree=29224328/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=2396352 CPUtime=1551.04 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 769380 0 0 0 154773 331 0 0 20 0 8 0 391181699 2453864448 530436 33554432000 134512640 146736320 4287917040 4287909904 136008047 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12304/statm: 599088 530436 969 2985 0 596022 0
[pid=12304/tid=12357] ppid=12303 vsize=2396352 CPUtime=151.65 cores=1,3,5,7
/proc/12304/task/12357/stat : 12357 (pb_cplex) R 12303 12303 11452 0 -1 4202560 23535 0 0 0 15146 19 0 0 20 0 8 0 391208138 2453864448 530436 33554432000 134512640 146736320 4287917040 2833498320 136008364 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12358] ppid=12303 vsize=2396352 CPUtime=151.29 cores=1,3,5,7
/proc/12304/task/12358/stat : 12358 (pb_cplex) R 12303 12303 11452 0 -1 4202560 19355 0 0 0 15114 15 0 0 20 0 8 0 391208138 2453864448 530436 33554432000 134512640 146736320 4287917040 2823012560 136008047 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12359] ppid=12303 vsize=2396352 CPUtime=151.2 cores=1,3,5,7
/proc/12304/task/12359/stat : 12359 (pb_cplex) R 12303 12303 11452 0 -1 4202560 241412 0 0 0 15013 107 0 0 20 0 8 0 391208138 2453864448 530436 33554432000 134512640 146736320 4287917040 2812527184 136403117 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12360] ppid=12303 vsize=2396352 CPUtime=150.37 cores=1,3,5,7
/proc/12304/task/12360/stat : 12360 (pb_cplex) R 12303 12303 11452 0 -1 4202560 27350 0 0 0 15019 18 0 0 20 0 8 0 391208138 2453864448 530436 33554432000 134512640 146736320 4287917040 2802041040 136008303 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12361] ppid=12303 vsize=2396352 CPUtime=150.73 cores=1,3,5,7
/proc/12304/task/12361/stat : 12361 (pb_cplex) R 12303 12303 11452 0 -1 4202560 22607 0 0 0 15059 14 0 0 20 0 8 0 391208138 2453864448 530436 33554432000 134512640 146736320 4287917040 2791555144 139042876 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12362] ppid=12303 vsize=2396352 CPUtime=150.47 cores=1,3,5,7
/proc/12304/task/12362/stat : 12362 (pb_cplex) R 12303 12303 11452 0 -1 4202560 21682 0 0 0 15033 14 0 0 20 0 8 0 391208138 2453864448 530436 33554432000 134512640 146736320 4287917040 2781069520 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12363] ppid=12303 vsize=2396352 CPUtime=150.82 cores=1,3,5,7
/proc/12304/task/12363/stat : 12363 (pb_cplex) R 12303 12303 11452 0 -1 4202560 101853 0 0 0 15033 49 0 0 20 0 8 0 391208138 2453864448 530436 33554432000 134512640 146736320 4287917040 2770583760 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1551.04
Current children cumulated vsize (KiB) 2405500
[startup+702.301 s]
/proc/loadavg: 12.86 9.43 5.43 17/191 12374
/proc/meminfo: memFree=29217504/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=2397076 CPUtime=1790.52 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 779597 0 0 0 178714 338 0 0 20 0 8 0 391181699 2454605824 530591 33554432000 134512640 146736320 4287917040 4287910124 136400452 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12304/statm: 599269 530591 969 2985 0 596203 0
[pid=12304/tid=12357] ppid=12303 vsize=2397076 CPUtime=181.56 cores=1,3,5,7
/proc/12304/task/12357/stat : 12357 (pb_cplex) R 12303 12303 11452 0 -1 4202560 23535 0 0 0 18137 19 0 0 20 0 8 0 391208138 2454605824 530591 33554432000 134512640 146736320 4287917040 2833498320 136008042 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12358] ppid=12303 vsize=2397076 CPUtime=181.19 cores=1,3,5,7
/proc/12304/task/12358/stat : 12358 (pb_cplex) R 12303 12303 11452 0 -1 4202560 19355 0 0 0 18104 15 0 0 20 0 8 0 391208138 2454605824 530591 33554432000 134512640 146736320 4287917040 2823012560 136008069 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12359] ppid=12303 vsize=2397076 CPUtime=181.21 cores=1,3,5,7
/proc/12304/task/12359/stat : 12359 (pb_cplex) R 12303 12303 11452 0 -1 4202560 241427 0 0 0 18014 107 0 0 20 0 8 0 391208138 2454605824 530591 33554432000 134512640 146736320 4287917040 2812525740 135454073 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12360] ppid=12303 vsize=2397076 CPUtime=180.13 cores=1,3,5,7
/proc/12304/task/12360/stat : 12360 (pb_cplex) R 12303 12303 11452 0 -1 4202560 30117 0 0 0 17993 20 0 0 20 0 8 0 391208138 2454605824 530591 33554432000 134512640 146736320 4287917040 2802041000 135983229 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12361] ppid=12303 vsize=2397076 CPUtime=180.64 cores=1,3,5,7
/proc/12304/task/12361/stat : 12361 (pb_cplex) R 12303 12303 11452 0 -1 4202560 25136 0 0 0 18049 15 0 0 20 0 8 0 391208138 2454605824 530591 33554432000 134512640 146736320 4287917040 2791555280 136008042 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12362] ppid=12303 vsize=2397076 CPUtime=180.15 cores=1,3,5,7
/proc/12304/task/12362/stat : 12362 (pb_cplex) R 12303 12303 11452 0 -1 4202560 24118 0 0 0 18000 15 0 0 20 0 8 0 391208138 2454605824 530591 33554432000 134512640 146736320 4287917040 2781069520 136008061 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12363] ppid=12303 vsize=2397076 CPUtime=180.77 cores=1,3,5,7
/proc/12304/task/12363/stat : 12363 (pb_cplex) R 12303 12303 11452 0 -1 4202560 104323 0 0 0 18027 50 0 0 20 0 8 0 391208138 2454605824 530591 33554432000 134512640 146736320 4287917040 2770583760 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1790.52
Current children cumulated vsize (KiB) 2406224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+704.701 s]
/proc/loadavg: 12.86 9.43 5.43 17/191 12374
/proc/meminfo: memFree=29217504/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=2397084 CPUtime=1800.12 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 779968 0 0 0 179674 338 0 0 20 0 8 0 391181699 2454614016 530594 33554432000 134512640 146736320 4287917040 4287909904 136008042 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12304/statm: 599271 530594 969 2985 0 596205 0
[pid=12304/tid=12357] ppid=12303 vsize=2397084 CPUtime=182.76 cores=1,3,5,7
/proc/12304/task/12357/stat : 12357 (pb_cplex) R 12303 12303 11452 0 -1 4202560 23535 0 0 0 18257 19 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2833499012 135850322 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12358] ppid=12303 vsize=2397084 CPUtime=182.34 cores=1,3,5,7
/proc/12304/task/12358/stat : 12358 (pb_cplex) R 12303 12303 11452 0 -1 4202560 19355 0 0 0 18219 15 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2823012560 136008039 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12359] ppid=12303 vsize=2397084 CPUtime=182.56 cores=1,3,5,7
/proc/12304/task/12359/stat : 12359 (pb_cplex) R 12303 12303 11452 0 -1 4202560 241430 0 0 0 18149 107 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2812527184 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12360] ppid=12303 vsize=2397084 CPUtime=181.28 cores=1,3,5,7
/proc/12304/task/12360/stat : 12360 (pb_cplex) R 12303 12303 11452 0 -1 4202560 30117 0 0 0 18108 20 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2802041040 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12361] ppid=12303 vsize=2397084 CPUtime=181.84 cores=1,3,5,7
/proc/12304/task/12361/stat : 12361 (pb_cplex) R 12303 12303 11452 0 -1 4202560 25136 0 0 0 18169 15 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2791555280 136008047 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12362] ppid=12303 vsize=2397084 CPUtime=181.36 cores=1,3,5,7
/proc/12304/task/12362/stat : 12362 (pb_cplex) R 12303 12303 11452 0 -1 4202560 24118 0 0 0 18121 15 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2781069520 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12363] ppid=12303 vsize=2397084 CPUtime=181.97 cores=1,3,5,7
/proc/12304/task/12363/stat : 12363 (pb_cplex) R 12303 12303 11452 0 -1 4202560 104691 0 0 0 18147 50 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2770583664 136384895 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 2406232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+704.701 s]
/proc/loadavg: 12.86 9.43 5.43 17/191 12374
/proc/meminfo: memFree=29217504/32873852 swapFree=7632/7632
[pid=12303] ppid=12301 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12303/stat : 12303 (run) S 12301 12303 11452 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391181699 9367552 269 33554432000 4194304 5064252 140737241772864 140737241771776 252262901326 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12303/statm: 2287 269 229 213 0 72 0
[pid=12304] ppid=12303 vsize=2397084 CPUtime=1800.12 cores=1,3,5,7
/proc/12304/stat : 12304 (pb_cplex) R 12303 12303 11452 0 -1 4202496 779968 0 0 0 179674 338 0 0 20 0 8 0 391181699 2454614016 530594 33554432000 134512640 146736320 4287917040 4287909904 136008042 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/12304/statm: 599271 530594 969 2985 0 596205 0
[pid=12304/tid=12357] ppid=12303 vsize=2397084 CPUtime=182.76 cores=1,3,5,7
/proc/12304/task/12357/stat : 12357 (pb_cplex) R 12303 12303 11452 0 -1 4202560 23535 0 0 0 18257 19 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2833499012 135850322 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12358] ppid=12303 vsize=2397084 CPUtime=182.34 cores=1,3,5,7
/proc/12304/task/12358/stat : 12358 (pb_cplex) R 12303 12303 11452 0 -1 4202560 19355 0 0 0 18219 15 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2823012560 136008039 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=12304/tid=12359] ppid=12303 vsize=2397084 CPUtime=182.56 cores=1,3,5,7
/proc/12304/task/12359/stat : 12359 (pb_cplex) R 12303 12303 11452 0 -1 4202560 241430 0 0 0 18149 107 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2812527184 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12360] ppid=12303 vsize=2397084 CPUtime=181.28 cores=1,3,5,7
/proc/12304/task/12360/stat : 12360 (pb_cplex) R 12303 12303 11452 0 -1 4202560 30117 0 0 0 18108 20 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2802041040 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=12304/tid=12361] ppid=12303 vsize=2397084 CPUtime=181.84 cores=1,3,5,7
/proc/12304/task/12361/stat : 12361 (pb_cplex) R 12303 12303 11452 0 -1 4202560 25136 0 0 0 18169 15 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2791555280 136008047 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=12304/tid=12362] ppid=12303 vsize=2397084 CPUtime=181.36 cores=1,3,5,7
/proc/12304/task/12362/stat : 12362 (pb_cplex) R 12303 12303 11452 0 -1 4202560 24118 0 0 0 18121 15 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2781069520 136008050 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=12304/tid=12363] ppid=12303 vsize=2397084 CPUtime=181.97 cores=1,3,5,7
/proc/12304/task/12363/stat : 12363 (pb_cplex) R 12303 12303 11452 0 -1 4202560 104691 0 0 0 18147 50 0 0 20 0 8 0 391208138 2454614016 530594 33554432000 134512640 146736320 4287917040 2770583664 136384895 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.12
Current children cumulated vsize (KiB) 2406232
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12303 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.12
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 704.718
CPU time (s): 1800.12
CPU user time (s): 1796.74
CPU system time (s): 3.38
CPU usage (%): 255.438
Max. virtual memory (cumulated for all children) (KiB): 2565544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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.19067 second user time and 5.03523 second system time
The end