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-3741912-1339250677/watcher-3741912-1339250677 -o /tmp/evaluation-result-3741912-1339250677/solver-3741912-1339250677 -C 1800 -W 1900 -M 15500 run HOME/instance-3741912-1339250677.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.04 2.06 2.67 3/177 25726
/proc/meminfo: memFree=29260172/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[startup+0.0740719 s]
/proc/loadavg: 2.04 2.06 2.67 3/177 25726
/proc/meminfo: memFree=29260172/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.04 2.06 2.67 3/177 25726
/proc/meminfo: memFree=29260172/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300236 s]
/proc/loadavg: 2.04 2.06 2.67 3/177 25726
/proc/meminfo: memFree=29260172/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 2.04 2.06 2.67 3/177 25726
/proc/meminfo: memFree=29260172/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.04 2.06 2.67 3/179 25728
/proc/meminfo: memFree=29242828/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=37156 CPUtime=1.49 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 6927 0 0 0 148 1 0 0 20 0 1 0 391196307 38047744 5269 33554432000 134512640 146736320 4290281376 4290276144 135978692 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 9289 5269 725 2985 0 6223 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 46304
[startup+3.10027 s]
/proc/loadavg: 2.04 2.06 2.67 3/179 25728
/proc/meminfo: memFree=29241680/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=37156 CPUtime=3.09 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 6946 0 0 0 308 1 0 0 20 0 1 0 391196307 38047744 5288 33554432000 134512640 146736320 4290281376 4290276040 136473549 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 9289 5288 725 2985 0 6223 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 46304
[startup+6.30027 s]
/proc/loadavg: 2.04 2.05 2.67 3/179 25728
/proc/meminfo: memFree=29241184/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=36664 CPUtime=6.28 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 8246 0 0 0 627 1 0 0 20 0 1 0 391196307 37543936 5249 33554432000 134512640 146736320 4290281376 4290275460 136385174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 9166 5249 780 2985 0 6100 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45812
[startup+12.7003 s]
/proc/loadavg: 2.04 2.05 2.66 3/179 25728
/proc/meminfo: memFree=29239544/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=36960 CPUtime=12.68 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 8293 0 0 0 1267 1 0 0 20 0 1 0 391196307 37847040 5296 33554432000 134512640 146736320 4290281376 4290275440 136384846 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 9240 5296 780 2985 0 6174 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 46108
[startup+25.5003 s]
/proc/loadavg: 2.03 2.05 2.65 3/179 25728
/proc/meminfo: memFree=29229808/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=50176 CPUtime=25.48 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 12224 0 0 0 2546 2 0 0 20 0 1 0 391196307 51380224 7926 33554432000 134512640 146736320 4290281376 4290274296 144719668 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 12544 7926 819 2985 0 9478 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 59324
[startup+51.1003 s]
/proc/loadavg: 2.02 2.05 2.63 3/179 25728
/proc/meminfo: memFree=29224840/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=50368 CPUtime=51.08 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 14850 0 0 0 5105 3 0 0 20 0 1 0 391196307 51576832 8087 33554432000 134512640 146736320 4290281376 4290275656 136461606 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 12592 8087 839 2985 0 9526 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 59516
[startup+102.307 s]
/proc/loadavg: 2.01 2.04 2.60 3/179 25728
/proc/meminfo: memFree=29244676/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=52252 CPUtime=102.28 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 21848 0 0 0 10223 5 0 0 20 0 1 0 391196307 53506048 8506 33554432000 134512640 146736320 4290281376 4290275656 136461636 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 13063 8506 841 2985 0 9997 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 61400
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.56 3/179 25729
/proc/meminfo: memFree=29247820/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=42840 CPUtime=162.26 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 23467 0 0 0 16221 5 0 0 20 0 1 0 391196307 43868160 7573 33554432000 134512640 146736320 4290281376 4290275100 135855165 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 10710 7573 844 2985 0 7644 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 51988
[startup+222.3 s]
/proc/loadavg: 2.04 2.03 2.52 3/179 25729
/proc/meminfo: memFree=29248068/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=42840 CPUtime=222.25 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 23467 0 0 0 22220 5 0 0 20 0 1 0 391196307 43868160 7573 33554432000 134512640 146736320 4290281376 4290276056 144757825 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 10710 7573 844 2985 0 7644 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 51988
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.49 3/179 25729
/proc/meminfo: memFree=29228872/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=42840 CPUtime=282.24 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 23467 0 0 0 28219 5 0 0 20 0 1 0 391196307 43868160 7573 33554432000 134512640 146736320 4290281376 4290275064 136475780 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 10710 7573 844 2985 0 7644 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 51988
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.45 3/180 25732
/proc/meminfo: memFree=29246712/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=42840 CPUtime=342.23 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 23485 0 0 0 34217 6 0 0 20 0 1 0 391196307 43868160 7591 33554432000 134512640 146736320 4290281376 4290275064 136475800 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 10710 7591 844 2985 0 7644 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 51988
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.42 3/186 25739
/proc/meminfo: memFree=29202764/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/25727/statm: 56933 33291 886 2985 0 53867 0
[pid=25727/tid=25733] ppid=25726 vsize=227732 CPUtime=45.06 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (pb_cplex) R 25726 25726 24699 0 -1 4202560 2304 0 0 0 4503 3 0 0 20 0 8 0 391234445 233197568 33291 33554432000 134512640 146736320 4290281376 4112310728 136000409 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25734] ppid=25726 vsize=227732 CPUtime=45.25 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (pb_cplex) R 25726 25726 24699 0 -1 4202560 16959 0 0 0 4516 9 0 0 20 0 8 0 391234445 233197568 33291 33554432000 134512640 146736320 4290281376 4101824728 136008673 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25726 vsize=227732 CPUtime=44.82 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (pb_cplex) R 25726 25726 24699 0 -1 4202560 2199 0 0 0 4481 1 0 0 20 0 8 0 391234445 233197568 33291 33554432000 134512640 146736320 4290281376 4091338692 135523326 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25736] ppid=25726 vsize=227732 CPUtime=45.36 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (pb_cplex) R 25726 25726 24699 0 -1 4202560 10790 0 0 0 4530 6 0 0 20 0 8 0 391234445 233197568 33291 33554432000 134512640 146736320 4290281376 4080853084 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25737] ppid=25726 vsize=227732 CPUtime=44.65 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1366 0 0 0 4463 2 0 0 20 0 8 0 391234445 233197568 33291 33554432000 134512640 146736320 4290281376 4070365648 135461182 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25738] ppid=25726 vsize=227732 CPUtime=44.55 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (pb_cplex) R 25726 25726 24699 0 -1 4202560 2013 0 0 0 4453 2 0 0 20 0 8 0 391234445 233197568 33291 33554432000 134512640 146736320 4290281376 4059881288 135525278 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25739] ppid=25726 vsize=227732 CPUtime=45.42 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1095 0 0 0 4541 1 0 0 20 0 8 0 391234445 233197568 33291 33554432000 134512640 146736320 4290281376 4049395804 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 852.53
Current children cumulated vsize (KiB) 236880
[startup+642.3 s]
/proc/loadavg: 8.48 4.78 3.37 10/186 25790
/proc/meminfo: memFree=29400964/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=227964 CPUtime=1091.61 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 90891 0 0 0 109116 45 0 0 20 0 8 0 391196307 233435136 33401 33554432000 134512640 146736320 4290281376 4290274256 136008056 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 56991 33401 886 2985 0 53925 0
[pid=25727/tid=25733] ppid=25726 vsize=227964 CPUtime=74.91 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (pb_cplex) R 25726 25726 24699 0 -1 4202560 5607 0 0 0 7486 5 0 0 20 0 8 0 391234445 233435136 33401 33554432000 134512640 146736320 4290281376 4112310340 136385184 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25734] ppid=25726 vsize=227964 CPUtime=74.69 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (pb_cplex) R 25726 25726 24699 0 -1 4202560 26070 0 0 0 7456 13 0 0 20 0 8 0 391234445 233435136 33401 33554432000 134512640 146736320 4290281376 4101823340 135456856 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25726 vsize=227964 CPUtime=74.47 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (pb_cplex) R 25726 25726 24699 0 -1 4202560 2255 0 0 0 7444 3 0 0 20 0 8 0 391234445 233435136 33401 33554432000 134512640 146736320 4290281376 4091338864 136384852 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25736] ppid=25726 vsize=227964 CPUtime=75.53 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (pb_cplex) R 25726 25726 24699 0 -1 4202560 11007 0 0 0 7545 8 0 0 20 0 8 0 391234445 233435136 33401 33554432000 134512640 146736320 4290281376 4080853032 139044505 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25737] ppid=25726 vsize=227964 CPUtime=74.57 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1391 0 0 0 7455 2 0 0 20 0 8 0 391234445 233435136 33401 33554432000 134512640 146736320 4290281376 4070367288 136475873 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25738] ppid=25726 vsize=227964 CPUtime=74.46 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (pb_cplex) R 25726 25726 24699 0 -1 4202560 4601 0 0 0 7443 3 0 0 20 0 8 0 391234445 233435136 33401 33554432000 134512640 146736320 4290281376 4059881544 139042890 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25739] ppid=25726 vsize=227964 CPUtime=75.37 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1095 0 0 0 7534 3 0 0 20 0 8 0 391234445 233435136 33401 33554432000 134512640 146736320 4290281376 4049395988 136003529 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1091.61
Current children cumulated vsize (KiB) 237112
[startup+702.3 s]
/proc/loadavg: 8.81 5.54 3.72 10/186 25790
/proc/meminfo: memFree=29392320/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=229196 CPUtime=1330.66 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 118500 0 0 0 133007 59 0 0 20 0 8 0 391196307 234696704 33571 33554432000 134512640 146736320 4290281376 4290273196 135454118 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/25727/statm: 57299 33571 886 2985 0 54233 0
[pid=25727/tid=25733] ppid=25726 vsize=229196 CPUtime=104.54 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (pb_cplex) R 25726 25726 24699 0 -1 4202560 10550 0 0 0 10447 7 0 0 20 0 8 0 391234445 234696704 33571 33554432000 134512640 146736320 4290281376 4112310088 135525914 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25734] ppid=25726 vsize=229196 CPUtime=104.57 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (pb_cplex) R 25726 25726 24699 0 -1 4202560 34950 0 0 0 10440 17 0 0 20 0 8 0 391234445 234696704 33571 33554432000 134512640 146736320 4290281376 4101824604 135855170 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25726 vsize=229196 CPUtime=104.37 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (pb_cplex) R 25726 25726 24699 0 -1 4202560 9209 0 0 0 10431 6 0 0 20 0 8 0 391234445 234696704 33571 33554432000 134512640 146736320 4290281376 4091338844 135855174 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25736] ppid=25726 vsize=229196 CPUtime=105.13 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (pb_cplex) R 25726 25726 24699 0 -1 4202560 11060 0 0 0 10505 8 0 0 20 0 8 0 391234445 234696704 33571 33554432000 134512640 146736320 4290281376 4080853060 136385170 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25737] ppid=25726 vsize=229196 CPUtime=104.46 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (pb_cplex) R 25726 25726 24699 0 -1 4202560 3285 0 0 0 10442 4 0 0 20 0 8 0 391234445 234696704 33571 33554432000 134512640 146736320 4290281376 4070367448 136009106 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25738] ppid=25726 vsize=229196 CPUtime=104.38 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (pb_cplex) R 25726 25726 24699 0 -1 4202560 9481 0 0 0 10432 6 0 0 20 0 8 0 391234445 234696704 33571 33554432000 134512640 146736320 4290281376 4059881584 136384846 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25739] ppid=25726 vsize=229196 CPUtime=105.37 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1096 0 0 0 10534 3 0 0 20 0 8 0 391234445 234696704 33571 33554432000 134512640 146736320 4290281376 4049395784 136474435 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1330.66
Current children cumulated vsize (KiB) 238344
[startup+762.307 s]
/proc/loadavg: 9.00 6.20 4.05 10/186 25791
/proc/meminfo: memFree=29392320/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=229204 CPUtime=1569.76 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 128812 0 0 0 156910 66 0 0 20 0 8 0 391196307 234704896 33607 33554432000 134512640 146736320 4290281376 4290274096 136384861 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/25727/statm: 57301 33607 886 2985 0 54235 0
[pid=25727/tid=25733] ppid=25726 vsize=229204 CPUtime=134.34 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (pb_cplex) R 25726 25726 24699 0 -1 4202560 10694 0 0 0 13425 9 0 0 20 0 8 0 391234445 234704896 33607 33554432000 134512640 146736320 4290281376 4112310864 136403112 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25734] ppid=25726 vsize=229204 CPUtime=134.5 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (pb_cplex) R 25726 25726 24699 0 -1 4202560 44620 0 0 0 13428 22 0 0 20 0 8 0 391234445 234704896 33607 33554432000 134512640 146736320 4290281376 4101824328 135526323 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25735] ppid=25726 vsize=229204 CPUtime=134.13 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (pb_cplex) R 25726 25726 24699 0 -1 4202560 9390 0 0 0 13405 8 0 0 20 0 8 0 391234445 234704896 33607 33554432000 134512640 146736320 4290281376 4091338960 136008446 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=25727/tid=25736] ppid=25726 vsize=229204 CPUtime=134.98 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (pb_cplex) R 25726 25726 24699 0 -1 4202560 11060 0 0 0 13488 10 0 0 20 0 8 0 391234445 234704896 33607 33554432000 134512640 146736320 4290281376 4080853200 136008104 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25737] ppid=25726 vsize=229204 CPUtime=134.1 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (pb_cplex) R 25726 25726 24699 0 -1 4202560 3495 0 0 0 13405 5 0 0 20 0 8 0 391234445 234704896 33607 33554432000 134512640 146736320 4290281376 4070367344 136384861 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25738] ppid=25726 vsize=229204 CPUtime=134.28 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (pb_cplex) R 25726 25726 24699 0 -1 4202560 9588 0 0 0 13421 7 0 0 20 0 8 0 391234445 234704896 33607 33554432000 134512640 146736320 4290281376 4059880572 135447034 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25739] ppid=25726 vsize=229204 CPUtime=135.42 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1096 0 0 0 13538 4 0 0 20 0 8 0 391234445 234704896 33607 33554432000 134512640 146736320 4290281376 4049395752 139044505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1569.76
Current children cumulated vsize (KiB) 238352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+820.1 s]
/proc/loadavg: 8.92 6.69 4.36 9/186 25791
/proc/meminfo: memFree=29390640/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=229228 CPUtime=1800.08 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 144257 0 0 0 179934 74 0 0 20 0 8 0 391196307 234729472 33648 33554432000 134512640 146736320 4290281376 4290274504 136001480 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 57307 33648 886 2985 0 54241 0
[pid=25727/tid=25733] ppid=25726 vsize=229228 CPUtime=163.25 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (pb_cplex) R 25726 25726 24699 0 -1 4202560 13764 0 0 0 16315 10 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4112310488 136009199 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25734] ppid=25726 vsize=229228 CPUtime=163.35 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (pb_cplex) R 25726 25726 24699 0 -1 4202560 53309 0 0 0 16311 24 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4101824720 136007970 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25735] ppid=25726 vsize=229228 CPUtime=162.85 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (pb_cplex) R 25726 25726 24699 0 -1 4202560 9434 0 0 0 16277 8 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4091338960 136008364 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25736] ppid=25726 vsize=229228 CPUtime=162.85 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (pb_cplex) S 25726 25726 24699 0 -1 4202560 11060 0 0 0 16275 10 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4080856720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25737] ppid=25726 vsize=229228 CPUtime=162.92 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (pb_cplex) R 25726 25726 24699 0 -1 4202560 3495 0 0 0 16286 6 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4070367824 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25738] ppid=25726 vsize=229228 CPUtime=163.25 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (pb_cplex) R 25726 25726 24699 0 -1 4202560 13227 0 0 0 16317 8 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4059881680 136008446 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25739] ppid=25726 vsize=229228 CPUtime=164.48 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1099 0 0 0 16443 5 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4049395760 136384852 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 238376
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+820.1 s]
/proc/loadavg: 8.92 6.69 4.36 9/186 25791
/proc/meminfo: memFree=29390640/32873844 swapFree=8660/8660
[pid=25726] ppid=25724 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25726/stat : 25726 (run) S 25724 25726 24699 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 391196307 9367552 269 33554432000 4194304 5064252 140734668227248 140734668226160 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25726/statm: 2287 269 229 213 0 72 0
[pid=25727] ppid=25726 vsize=229228 CPUtime=1800.08 cores=1,3,5,7
/proc/25727/stat : 25727 (pb_cplex) R 25726 25726 24699 0 -1 4202496 144257 0 0 0 179934 74 0 0 20 0 8 0 391196307 234729472 33648 33554432000 134512640 146736320 4290281376 4290274504 136001480 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/25727/statm: 57307 33648 886 2985 0 54241 0
[pid=25727/tid=25733] ppid=25726 vsize=229228 CPUtime=163.25 cores=1,3,5,7
/proc/25727/task/25733/stat : 25733 (pb_cplex) R 25726 25726 24699 0 -1 4202560 13764 0 0 0 16315 10 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4112310488 136009199 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25734] ppid=25726 vsize=229228 CPUtime=163.35 cores=1,3,5,7
/proc/25727/task/25734/stat : 25734 (pb_cplex) R 25726 25726 24699 0 -1 4202560 53309 0 0 0 16311 24 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4101824720 136007970 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=25727/tid=25735] ppid=25726 vsize=229228 CPUtime=162.85 cores=1,3,5,7
/proc/25727/task/25735/stat : 25735 (pb_cplex) R 25726 25726 24699 0 -1 4202560 9434 0 0 0 16277 8 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4091338960 136008364 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25736] ppid=25726 vsize=229228 CPUtime=162.85 cores=1,3,5,7
/proc/25727/task/25736/stat : 25736 (pb_cplex) S 25726 25726 24699 0 -1 4202560 11060 0 0 0 16275 10 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4080856720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25737] ppid=25726 vsize=229228 CPUtime=162.92 cores=1,3,5,7
/proc/25727/task/25737/stat : 25737 (pb_cplex) R 25726 25726 24699 0 -1 4202560 3495 0 0 0 16286 6 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4070367824 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=25727/tid=25738] ppid=25726 vsize=229228 CPUtime=163.25 cores=1,3,5,7
/proc/25727/task/25738/stat : 25738 (pb_cplex) R 25726 25726 24699 0 -1 4202560 13227 0 0 0 16317 8 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4059881680 136008446 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=25727/tid=25739] ppid=25726 vsize=229228 CPUtime=164.48 cores=1,3,5,7
/proc/25727/task/25739/stat : 25739 (pb_cplex) R 25726 25726 24699 0 -1 4202560 1099 0 0 0 16443 5 0 0 20 0 8 0 391234445 234729472 33648 33554432000 134512640 146736320 4290281376 4049395760 136384852 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 238376
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25726 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.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 820.117
CPU time (s): 1800.08
CPU user time (s): 1799.34
CPU system time (s): 0.74
CPU usage (%): 219.491
Max. virtual memory (cumulated for all children) (KiB): 239400
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
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 1.90171 second user time and 4.93325 second system time
The end