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-3736930-1339248402/watcher-3736930-1339248402 -o /tmp/evaluation-result-3736930-1339248402/solver-3736930-1339248402 -C 1800 -W 1900 -M 15500 run HOME/instance-3736930-1339248402.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.98 7.25 6.39 3/179 12033
/proc/meminfo: memFree=29974044/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[startup+0.0657581 s]
/proc/loadavg: 6.98 7.25 6.39 3/179 12033
/proc/meminfo: memFree=29974044/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100239 s]
/proc/loadavg: 6.98 7.25 6.39 3/179 12033
/proc/meminfo: memFree=29974044/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 6.98 7.25 6.39 3/179 12033
/proc/meminfo: memFree=29974044/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700228 s]
/proc/loadavg: 6.98 7.25 6.39 3/179 12033
/proc/meminfo: memFree=29974044/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 6.58 7.16 6.37 3/181 12035
/proc/meminfo: memFree=29947252/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=91732 CPUtime=1.49 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 21632 0 0 0 146 3 0 0 20 0 1 0 34807457 93933568 19064 33554432000 134512640 146736320 4288848928 4288847280 134993670 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 22933 19064 530 2985 0 19867 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 100880
[startup+3.10028 s]
/proc/loadavg: 6.58 7.16 6.37 3/181 12035
/proc/meminfo: memFree=29868708/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=303632 CPUtime=3.09 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 71593 0 0 0 296 13 0 0 20 0 1 0 34807457 310919168 36506 33554432000 134512640 146736320 4288848928 4288846112 136184134 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 75908 36510 714 2985 0 72842 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 312780
[startup+6.30026 s]
/proc/loadavg: 6.21 7.07 6.34 3/181 12035
/proc/meminfo: memFree=29725740/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=444880 CPUtime=6.29 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 93041 0 0 0 611 18 0 0 20 0 1 0 34807457 455557120 62580 33554432000 134512640 146736320 4288848928 4288844656 135982866 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111220 62580 802 2985 0 108154 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 454028
[startup+12.7002 s]
/proc/loadavg: 5.88 6.99 6.32 3/181 12035
/proc/meminfo: memFree=29723220/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=446416 CPUtime=12.69 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 93685 0 0 0 1251 18 0 0 20 0 1 0 34807457 457129984 63220 33554432000 134512640 146736320 4288848928 4288844656 135983312 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111604 63220 802 2985 0 108538 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 455564
[startup+25.5003 s]
/proc/loadavg: 5.02 6.74 6.25 3/181 12035
/proc/meminfo: memFree=29723708/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=446416 CPUtime=25.48 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 93705 0 0 0 2530 18 0 0 20 0 1 0 34807457 457129984 63229 33554432000 134512640 146736320 4288848928 4288844656 135983319 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111604 63229 802 2985 0 108538 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 455564
[startup+51.1003 s]
/proc/loadavg: 3.99 6.36 6.13 3/181 12035
/proc/meminfo: memFree=29731796/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=446416 CPUtime=51.08 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 93749 0 0 0 5089 19 0 0 20 0 1 0 34807457 457129984 63506 33554432000 134512640 146736320 4288848928 4288844656 135983319 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111604 63506 802 2985 0 108538 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 455564
[startup+102.307 s]
/proc/loadavg: 5.55 6.38 6.15 3/181 12042
/proc/meminfo: memFree=29625076/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=587692 CPUtime=195.76 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1245763 0 0 0 19127 449 0 0 20 0 1 0 34807457 601796608 90184 33554432000 134512640 146736320 4288848928 4288845720 144757825 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/12034/statm: 146923 90184 930 2985 0 143857 0
Current children cumulated CPU time (s) 195.76
Current children cumulated vsize (KiB) 596840
[startup+162.3 s]
/proc/loadavg: 3.30 5.58 5.89 3/181 12042
/proc/meminfo: memFree=29679464/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=394668 CPUtime=255.74 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1352446 0 0 0 25086 488 0 0 20 0 1 0 34807457 404140032 76529 33554432000 134512640 146736320 4288848928 4288843096 136007289 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 98667 76529 940 2985 0 95601 0
Current children cumulated CPU time (s) 255.74
Current children cumulated vsize (KiB) 403816
[startup+222.3 s]
/proc/loadavg: 2.48 4.93 5.64 3/182 12045
/proc/meminfo: memFree=29682608/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=397348 CPUtime=315.74 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1439003 0 0 0 31062 512 0 0 20 0 1 0 34807457 406884352 75603 33554432000 134512640 146736320 4288848928 4288843096 136007371 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 99337 75603 940 2985 0 96271 0
Current children cumulated CPU time (s) 315.74
Current children cumulated vsize (KiB) 406496
[startup+282.3 s]
/proc/loadavg: 2.17 4.39 5.41 3/181 12045
/proc/meminfo: memFree=29681996/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=397428 CPUtime=375.73 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1441632 0 0 0 37058 515 0 0 20 0 1 0 34807457 406966272 75763 33554432000 134512640 146736320 4288848928 4288843336 136388065 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 99357 75763 940 2985 0 96291 0
Current children cumulated CPU time (s) 375.73
Current children cumulated vsize (KiB) 406576
[startup+342.3 s]
/proc/loadavg: 2.11 3.97 5.20 3/181 12046
/proc/meminfo: memFree=29674096/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=402708 CPUtime=435.71 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1517923 0 0 0 43033 538 0 0 20 0 1 0 34807457 412372992 76663 33554432000 134512640 146736320 4288848928 4288843096 136007313 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 100677 76663 940 2985 0 97611 0
Current children cumulated CPU time (s) 435.71
Current children cumulated vsize (KiB) 411856
[startup+402.3 s]
/proc/loadavg: 2.04 3.61 4.99 3/181 12046
/proc/meminfo: memFree=29672228/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/12034/statm: 108797 84908 941 2985 0 105731 0
Current children cumulated CPU time (s) 1155.6
Current children cumulated vsize (KiB) 444336
[startup+1122.3 s]
/proc/loadavg: 2.00 2.14 3.36 3/181 12051
/proc/meminfo: memFree=29651252/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=446824 CPUtime=1215.59 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1879106 0 0 0 120904 655 0 0 20 0 1 0 34807457 457547776 82610 33554432000 134512640 146736320 4288848928 4288844824 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111706 82610 941 2985 0 108640 0
Current children cumulated CPU time (s) 1215.59
Current children cumulated vsize (KiB) 455972
[startup+1182.3 s]
/proc/loadavg: 2.00 2.11 3.27 3/181 12051
/proc/meminfo: memFree=29629784/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=438868 CPUtime=1275.58 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1900880 0 0 0 126896 662 0 0 20 0 1 0 34807457 449400832 86042 33554432000 134512640 146736320 4288848928 4288843104 136006323 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 109717 86042 941 2985 0 106651 0
Current children cumulated CPU time (s) 1275.58
Current children cumulated vsize (KiB) 448016
[startup+1242.3 s]
/proc/loadavg: 2.00 2.09 3.19 3/181 12052
/proc/meminfo: memFree=29617656/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=438868 CPUtime=1335.57 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1904292 0 0 0 132893 664 0 0 20 0 1 0 34807457 449400832 89057 33554432000 134512640 146736320 4288848928 4288843104 136006335 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 109717 89057 941 2985 0 106651 0
Current children cumulated CPU time (s) 1335.57
Current children cumulated vsize (KiB) 448016
[startup+1302.3 s]
/proc/loadavg: 2.00 2.07 3.11 3/181 12052
/proc/meminfo: memFree=29610568/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=438868 CPUtime=1395.56 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1908111 0 0 0 138891 665 0 0 20 0 1 0 34807457 449400832 90772 33554432000 134512640 146736320 4288848928 4288843148 135846764 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 109717 90772 941 2985 0 106651 0
Current children cumulated CPU time (s) 1395.56
Current children cumulated vsize (KiB) 448016
[startup+1362.3 s]
/proc/loadavg: 2.11 2.09 3.05 3/181 12101
/proc/meminfo: memFree=28790000/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=442844 CPUtime=1455.55 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1946213 0 0 0 144877 678 0 0 20 0 1 0 34807457 453472256 86069 33554432000 134512640 146736320 4288848928 4288842844 136405686 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 110711 86069 941 2985 0 107645 0
Current children cumulated CPU time (s) 1455.55
Current children cumulated vsize (KiB) 451992
[startup+1422.31 s]
/proc/loadavg: 2.10 2.08 2.99 3/182 12104
/proc/meminfo: memFree=28431432/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=443040 CPUtime=1515.54 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1950626 0 0 0 150875 679 0 0 20 0 1 0 34807457 453672960 86252 33554432000 134512640 146736320 4288848928 4288843992 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 110760 86252 941 2985 0 107694 0
Current children cumulated CPU time (s) 1515.54
Current children cumulated vsize (KiB) 452188
[startup+1482.3 s]
/proc/loadavg: 2.04 2.07 2.92 3/181 12104
/proc/meminfo: memFree=28414728/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=443040 CPUtime=1575.52 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1957182 0 0 0 156870 682 0 0 20 0 1 0 34807457 453672960 89716 33554432000 134512640 146736320 4288848928 4288843152 136008441 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 110760 89716 941 2985 0 107694 0
Current children cumulated CPU time (s) 1575.52
Current children cumulated vsize (KiB) 452188
[startup+1542.3 s]
/proc/loadavg: 2.01 2.05 2.86 3/180 12104
/proc/meminfo: memFree=28426372/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=444676 CPUtime=1635.51 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1996096 0 0 0 162858 693 0 0 20 0 1 0 34807457 455348224 86724 33554432000 134512640 146736320 4288848928 4288843152 136008450 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111169 86724 941 2985 0 108103 0
Current children cumulated CPU time (s) 1635.51
Current children cumulated vsize (KiB) 453824
[startup+1602.3 s]
/proc/loadavg: 2.05 2.06 2.81 3/181 12105
/proc/meminfo: memFree=28418592/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=445204 CPUtime=1695.5 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1998289 0 0 0 168855 695 0 0 20 0 1 0 34807457 455888896 87003 33554432000 134512640 146736320 4288848928 4288843104 136006323 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111301 87003 941 2985 0 108235 0
Current children cumulated CPU time (s) 1695.5
Current children cumulated vsize (KiB) 454352
[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.76 3/181 12105
/proc/meminfo: memFree=28423756/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=445204 CPUtime=1755.49 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1998852 0 0 0 174853 696 0 0 20 0 1 0 34807457 455888896 87227 33554432000 134512640 146736320 4288848928 4288843096 136007602 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111301 87227 941 2985 0 108235 0
Current children cumulated CPU time (s) 1755.49
Current children cumulated vsize (KiB) 454352
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1706.9 s]
/proc/loadavg: 2.01 2.04 2.72 3/181 12105
/proc/meminfo: memFree=28423320/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=445204 CPUtime=1800.09 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1999113 0 0 0 179313 696 0 0 20 0 1 0 34807457 455888896 87227 33554432000 134512640 146736320 4288848928 4288843104 136006076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111301 87227 941 2985 0 108235 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 454352
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1706.9 s]
/proc/loadavg: 2.01 2.04 2.72 3/181 12105
/proc/meminfo: memFree=28423320/32873844 swapFree=7124/7124
[pid=12033] ppid=12031 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12033/stat : 12033 (run) S 12031 12033 10925 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 34807457 9367552 269 33554432000 4194304 5064252 140736153600000 140736153598912 273905509966 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12033/statm: 2287 269 229 213 0 72 0
[pid=12034] ppid=12033 vsize=445204 CPUtime=1800.09 cores=0,2,4,6
/proc/12034/stat : 12034 (pb_cplex) R 12033 12033 10925 0 -1 4202496 1999113 0 0 0 179313 696 0 0 20 0 1 0 34807457 455888896 87227 33554432000 134512640 146736320 4288848928 4288843104 136006076 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/12034/statm: 111301 87227 941 2985 0 108235 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 454352
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12033 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=1999
# CPU time returned by wait4() is 0.001999
# while last known CPU time is 1800.09
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1706.91
CPU time (s): 1800.09
CPU user time (s): 1793.13
CPU system time (s): 6.96
CPU usage (%): 105.459
Max. virtual memory (cumulated for all children) (KiB): 2078432
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.001999
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 3.61045 second user time and 9.59554 second system time
The end