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-3741239-1339250008/watcher-3741239-1339250008 -o /tmp/evaluation-result-3741239-1339250008/solver-3741239-1339250008 -C 1800 -W 1900 -M 15500 run HOME/instance-3741239-1339250008.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: 8.99 7.20 6.91 3/184 5718
/proc/meminfo: memFree=29670484/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[startup+0.0275909 s]
/proc/loadavg: 8.99 7.20 6.91 3/184 5718
/proc/meminfo: memFree=29670484/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100272 s]
/proc/loadavg: 8.99 7.20 6.91 3/184 5718
/proc/meminfo: memFree=29670484/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 8.99 7.20 6.91 3/184 5718
/proc/meminfo: memFree=29670484/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 8.99 7.20 6.91 3/184 5718
/proc/meminfo: memFree=29670484/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 8.43 7.11 6.88 3/186 5720
/proc/meminfo: memFree=29626844/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=85284 CPUtime=1.49 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 26757 0 0 0 140 9 0 0 20 0 1 0 391125702 87330816 13022 33554432000 134512640 146736320 4286850208 4286845644 136400472 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5719/statm: 21321 13022 808 2985 0 18255 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 94432
[startup+3.10033 s]
/proc/loadavg: 8.43 7.11 6.88 3/186 5720
/proc/meminfo: memFree=29616800/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=91124 CPUtime=3.09 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 38779 0 0 0 297 12 0 0 20 0 1 0 391125702 93310976 15637 33554432000 134512640 146736320 4286850208 4286844116 136017512 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5719/statm: 22781 15637 835 2985 0 19715 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 100272
[startup+6.3003 s]
/proc/loadavg: 7.91 7.03 6.86 3/186 5720
/proc/meminfo: memFree=29610100/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=91252 CPUtime=6.29 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 42021 0 0 0 617 12 0 0 20 0 1 0 391125702 93442048 15726 33554432000 134512640 146736320 4286850208 4286844816 136403109 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5719/statm: 22813 15726 835 2985 0 19747 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100400
[startup+12.7003 s]
/proc/loadavg: 7.44 6.94 6.83 3/186 5720
/proc/meminfo: memFree=29609248/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=91876 CPUtime=12.69 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 47875 0 0 0 1255 14 0 0 20 0 1 0 391125702 94081024 15887 33554432000 134512640 146736320 4286850208 4286844400 136400481 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5719/statm: 22969 15887 835 2985 0 19903 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101024
[startup+25.5003 s]
/proc/loadavg: 6.23 6.70 6.75 3/186 5720
/proc/meminfo: memFree=29604504/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=91940 CPUtime=25.47 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 59618 0 0 0 2531 16 0 0 20 0 1 0 391125702 94146560 17073 33554432000 134512640 146736320 4286850208 4286844296 139043585 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5719/statm: 22985 17073 835 2985 0 19919 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 101088
[startup+51.1003 s]
/proc/loadavg: 4.79 6.32 6.62 3/186 5720
/proc/meminfo: memFree=29599284/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=92824 CPUtime=51.07 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 86844 0 0 0 5083 24 0 0 20 0 1 0 391125702 95051776 18443 33554432000 134512640 146736320 4286850208 4286844816 136403116 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/5719/statm: 23206 18443 836 2985 0 20140 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 101972
[startup+102.307 s]
/proc/loadavg: 4.71 6.03 6.51 3/193 5727
/proc/meminfo: memFree=29334588/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=500240 CPUtime=155.48 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) S 5718 5718 4561 0 -1 4202496 475079 0 0 0 15417 131 0 0 20 0 8 0 391125702 512245760 83863 33554432000 134512640 146736320 4286850208 4286846608 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5719/statm: 125060 83863 885 2985 0 121994 0
[pid=5719/tid=5721] ppid=5718 vsize=500240 CPUtime=9.88 cores=0,2,4,6
/proc/5719/task/5721/stat : 5721 (pb_cplex) S 5718 5718 4561 0 -1 4202560 14823 0 0 0 984 4 0 0 20 0 8 0 391132695 512245760 83863 33554432000 134512640 146736320 4286850208 4037930640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5722] ppid=5718 vsize=500240 CPUtime=21.65 cores=0,2,4,6
/proc/5719/task/5722/stat : 5722 (pb_cplex) S 5718 5718 4561 0 -1 4202560 63235 0 0 0 2145 20 0 0 20 0 8 0 391132695 512245760 83863 33554432000 134512640 146736320 4286850208 4027444880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5723] ppid=5718 vsize=500240 CPUtime=8.9 cores=0,2,4,6
/proc/5719/task/5723/stat : 5723 (pb_cplex) S 5718 5718 4561 0 -1 4202560 43470 0 0 0 879 11 0 0 20 0 8 0 391132695 512245760 83863 33554432000 134512640 146736320 4286850208 4016959120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5724] ppid=5718 vsize=500240 CPUtime=6.4 cores=0,2,4,6
/proc/5719/task/5724/stat : 5724 (pb_cplex) S 5718 5718 4561 0 -1 4202560 49588 0 0 0 626 14 0 0 20 0 8 0 391132695 512245760 83863 33554432000 134512640 146736320 4286850208 4006473360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5725] ppid=5718 vsize=500240 CPUtime=6.79 cores=0,2,4,6
/proc/5719/task/5725/stat : 5725 (pb_cplex) S 5718 5718 4561 0 -1 4202560 47100 0 0 0 667 12 0 0 20 0 8 0 391132695 512245760 83863 33554432000 134512640 146736320 4286850208 3995987600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5719/tid=5726] ppid=5718 vsize=500240 CPUtime=10.29 cores=0,2,4,6
/proc/5719/task/5726/stat : 5726 (pb_cplex) S 5718 5718 4561 0 -1 4202560 34038 0 0 0 1021 8 0 0 20 0 8 0 391132695 512245760 83863 33554432000 134512640 146736320 4286850208 3985501840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5719/tid=5727] ppid=5718 vsize=500240 CPUtime=11.51 cores=0,2,4,6
/proc/5719/task/5727/stat : 5727 (pb_cplex) R 5718 5718 4561 0 -1 4202560 23223 0 0 0 1146 5 0 0 20 0 8 0 391132695 512245760 83863 33554432000 134512640 146736320 4286850208 3975011396 136400566 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 155.48
Current children cumulated vsize (KiB) 509388
############
# WARNING:
# current cumulated CPU time (156.23 s) is less than in the last sample (156.27 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.0399933 s) to the 'lost time'.
[startup+103.1 s]
/proc/loadavg: 4.71 6.03 6.51 3/193 5727
/proc/meminfo: memFree=29334588/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=500240 CPUtime=156.27 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) S 5718 5718 4561 0 -1 4202496 481074 0 0 0 15495 132 0 0 20 0 8 0 391125702 512245760 83879 33554432000 134512640 146736320 4286850208 4286846608 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5719/statm: 125060 83879 885 2985 0 121994 0
[pid=5719/tid=5721] ppid=5718 vsize=500240 CPUtime=9.88 cores=0,2,4,6
/proc/5719/task/5721/stat : 5721 (pb_cplex) S 5718 5718 4561 0 -1 4202560 14823 0 0 0 984 4 0 0 20 0 8 0 391132695 512245760 83879 33554432000 134512640 146736320 4286850208 4037930640 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5722] ppid=5718 vsize=500240 CPUtime=21.65 cores=0,2,4,6
/proc/5719/task/5722/stat : 5722 (pb_cplex) S 5718 5718 4561 0 -1 4202560 63235 0 0 0 2145 20 0 0 20 0 8 0 391132695 512245760 83879 33554432000 134512640 146736320 4286850208 4027444880 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5723] ppid=5718 vsize=500240 CPUtime=8.9 cores=0,2,4,6
/proc/5719/task/5723/stat : 5723 (pb_cplex) S 5718 5718 4561 0 -1 4202560 43470 0 0 0 879 11 0 0 20 0 8 0 391132695 512245760 83879 33554432000 134512640 146736320 4286850208 4016959120 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5724] ppid=5718 vsize=500240 CPUtime=6.4 cores=0,2,4,6
/proc/5719/task/5724/stat : 5724 (pb_cplex) S 5718 5718 4561 0 -1 4202560 49588 0 0 0 626 14 0 0 20 0 8 0 391132695 512245760 83879 33554432000 134512640 146736320 4286850208 4006473360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5725] ppid=5718 vsize=500240 CPUtime=6.79 cores=0,2,4,6
/proc/5719/task/5725/stat : 5725 (pb_cplex) S 5718 5718 4561 0 -1 4202560 47100 0 0 0 667 12 0 0 20 0 8 0 391132695 512245760 83879 33554432000 134512640 146736320 4286850208 3995987600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5719/tid=5726] ppid=5718 vsize=500240 CPUtime=10.29 cores=0,2,4,6
/proc/5719/task/5726/stat : 5726 (pb_cplex) S 5718 5718 4561 0 -1 4202560 34038 0 0 0 1021 8 0 0 20 0 8 0 391132695 512245760 83879 33554432000 134512640 146736320 4286850208 3985501840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=5719/tid=5727] ppid=5718 vsize=500240 CPUtime=12.3 cores=0,2,4,6
/proc/5719/task/5727/stat : 5727 (pb_cplex) R 5718 5718 4561 0 -1 4202560 29218 0 0 0 1224 6 0 0 20 0 8 0 391132695 512245760 83879 33554432000 134512640 146736320 4286850208 3975010996 135450671 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 156.27
Current children cumulated vsize (KiB) 509388
[startup+103.2 s]
/proc/loadavg: 4.71 6.03 6.51 3/193 5727
/proc/meminfo: memFree=29334588/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
################
# More data... #
################
[pid=5719/tid=5831] ppid=5718 vsize=549668 CPUtime=33.57 cores=0,2,4,6
/proc/5719/task/5831/stat : 5831 (pb_cplex) R 5718 5718 4561 0 -1 4202560 23255 0 0 0 3350 7 0 0 20 0 8 0 391189100 562860032 99938 33554432000 134512640 146736320 4286850208 4073865672 136000404 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5832] ppid=5718 vsize=549668 CPUtime=33.25 cores=0,2,4,6
/proc/5719/task/5832/stat : 5832 (pb_cplex) R 5718 5718 4561 0 -1 4202560 20630 0 0 0 3319 6 0 0 20 0 8 0 391189100 562860032 99938 33554432000 134512640 146736320 4286850208 4063378576 136008017 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5833] ppid=5718 vsize=549668 CPUtime=32.9 cores=0,2,4,6
/proc/5719/task/5833/stat : 5833 (pb_cplex) R 5718 5718 4561 0 -1 4202560 18372 0 0 0 3284 6 0 0 20 0 8 0 391189100 562860032 99938 33554432000 134512640 146736320 4286850208 4052893736 139044564 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 953.3
Current children cumulated vsize (KiB) 558816
[startup+762.307 s]
/proc/loadavg: 12.79 8.21 6.54 10/193 5833
/proc/meminfo: memFree=29306792/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=550900 CPUtime=1192.6 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 791812 0 0 0 119021 239 0 0 20 0 8 0 391125702 564121600 102534 33554432000 134512640 146736320 4286850208 4286842000 136008168 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/5719/statm: 137725 102534 894 2985 0 134659 0
[pid=5719/tid=5827] ppid=5718 vsize=550900 CPUtime=61.74 cores=0,2,4,6
/proc/5719/task/5827/stat : 5827 (pb_cplex) R 5718 5718 4561 0 -1 4202560 49485 0 0 0 6162 12 0 0 20 0 8 0 391189100 564121600 102534 33554432000 134512640 146736320 4286850208 3975012504 136007053 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5828] ppid=5718 vsize=550900 CPUtime=63.13 cores=0,2,4,6
/proc/5719/task/5828/stat : 5828 (pb_cplex) R 5718 5718 4561 0 -1 4202560 9818 0 0 0 6308 5 0 0 20 0 8 0 391189100 564121600 102534 33554432000 134512640 146736320 4286850208 3985498180 136385175 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=5719/tid=5829] ppid=5718 vsize=550900 CPUtime=64.34 cores=0,2,4,6
/proc/5719/task/5829/stat : 5829 (pb_cplex) R 5718 5718 4561 0 -1 4202560 51080 0 0 0 6421 13 0 0 20 0 8 0 391189100 564121600 102534 33554432000 134512640 146736320 4286850208 3995984328 136002042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5830] ppid=5718 vsize=550900 CPUtime=62.74 cores=0,2,4,6
/proc/5719/task/5830/stat : 5830 (pb_cplex) R 5718 5718 4561 0 -1 4202560 27663 0 0 0 6264 10 0 0 20 0 8 0 391189100 564121600 102534 33554432000 134512640 146736320 4286850208 4006469840 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5831] ppid=5718 vsize=550900 CPUtime=63.28 cores=0,2,4,6
/proc/5719/task/5831/stat : 5831 (pb_cplex) R 5718 5718 4561 0 -1 4202560 36235 0 0 0 6316 12 0 0 20 0 8 0 391189100 564121600 102534 33554432000 134512640 146736320 4286850208 4073864380 135526859 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5832] ppid=5718 vsize=550900 CPUtime=63.84 cores=0,2,4,6
/proc/5719/task/5832/stat : 5832 (pb_cplex) R 5718 5718 4561 0 -1 4202560 35450 0 0 0 6374 10 0 0 20 0 8 0 391189100 564121600 102534 33554432000 134512640 146736320 4286850208 4063378564 135844190 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5833] ppid=5718 vsize=550900 CPUtime=62.82 cores=0,2,4,6
/proc/5719/task/5833/stat : 5833 (pb_cplex) R 5718 5718 4561 0 -1 4202560 29395 0 0 0 6273 9 0 0 20 0 8 0 391189100 564121600 102534 33554432000 134512640 146736320 4286850208 4052893972 136003506 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1192.6
Current children cumulated vsize (KiB) 560048
[startup+822.3 s]
/proc/loadavg: 13.12 9.13 6.95 12/193 5834
/proc/meminfo: memFree=29298612/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=551228 CPUtime=1431.81 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 903551 0 0 0 142909 272 0 0 20 0 8 0 391125702 564457472 105279 33554432000 134512640 146736320 4286850208 4286842052 136385265 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5719/statm: 137807 105279 894 2985 0 134741 0
[pid=5719/tid=5827] ppid=5718 vsize=551228 CPUtime=95.9 cores=0,2,4,6
/proc/5719/task/5827/stat : 5827 (pb_cplex) R 5718 5718 4561 0 -1 4202560 63669 0 0 0 9572 18 0 0 20 0 8 0 391189100 564457472 105279 33554432000 134512640 146736320 4286850208 3975012444 135855127 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5828] ppid=5718 vsize=551228 CPUtime=91.94 cores=0,2,4,6
/proc/5719/task/5828/stat : 5828 (pb_cplex) S 5718 5718 4561 0 -1 4202560 9992 0 0 0 9188 6 0 0 20 0 8 0 391189100 564457472 105279 33554432000 134512640 146736320 4286850208 3985501840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5829] ppid=5718 vsize=551228 CPUtime=86.38 cores=0,2,4,6
/proc/5719/task/5829/stat : 5829 (pb_cplex) S 5718 5718 4561 0 -1 4202560 62225 0 0 0 8621 17 0 0 20 0 8 0 391189100 564457472 105279 33554432000 134512640 146736320 4286850208 3995987600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5830] ppid=5718 vsize=551228 CPUtime=93.81 cores=0,2,4,6
/proc/5719/task/5830/stat : 5830 (pb_cplex) S 5718 5718 4561 0 -1 4202560 43586 0 0 0 9365 16 0 0 20 0 8 0 391189100 564457472 105279 33554432000 134512640 146736320 4286850208 4006473360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5831] ppid=5718 vsize=551228 CPUtime=97.17 cores=0,2,4,6
/proc/5719/task/5831/stat : 5831 (pb_cplex) R 5718 5718 4561 0 -1 4202560 53436 0 0 0 9700 17 0 0 20 0 8 0 391189100 564457472 105279 33554432000 134512640 146736320 4286850208 4073864864 139023114 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5832] ppid=5718 vsize=551228 CPUtime=97.78 cores=0,2,4,6
/proc/5719/task/5832/stat : 5832 (pb_cplex) R 5718 5718 4561 0 -1 4202560 56867 0 0 0 9761 17 0 0 20 0 8 0 391189100 564457472 105279 33554432000 134512640 146736320 4286850208 4063378436 136385170 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5833] ppid=5718 vsize=551228 CPUtime=83.38 cores=0,2,4,6
/proc/5719/task/5833/stat : 5833 (pb_cplex) S 5718 5718 4561 0 -1 4202560 39652 0 0 0 8326 12 0 0 20 0 8 0 391189100 564457472 105279 33554432000 134512640 146736320 4286850208 4052897424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1431.81
Current children cumulated vsize (KiB) 560376
[startup+882.3 s]
/proc/loadavg: 6.68 8.04 6.72 3/185 5883
/proc/meminfo: memFree=29410764/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=551424 CPUtime=1568.24 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) S 5718 5718 4561 0 -1 4202496 964380 0 0 0 156537 287 0 0 20 0 8 0 391125702 564658176 108461 33554432000 134512640 146736320 4286850208 4286846608 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5719/statm: 137856 108461 894 2985 0 134790 0
[pid=5719/tid=5827] ppid=5718 vsize=551424 CPUtime=118.39 cores=0,2,4,6
/proc/5719/task/5827/stat : 5827 (pb_cplex) S 5718 5718 4561 0 -1 4202560 66851 0 0 0 11820 19 0 0 20 0 8 0 391189100 564658176 108461 33554432000 134512640 146736320 4286850208 3975016080 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5828] ppid=5718 vsize=551424 CPUtime=91.94 cores=0,2,4,6
/proc/5719/task/5828/stat : 5828 (pb_cplex) S 5718 5718 4561 0 -1 4202560 9992 0 0 0 9188 6 0 0 20 0 8 0 391189100 564658176 108461 33554432000 134512640 146736320 4286850208 3985501840 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5829] ppid=5718 vsize=551424 CPUtime=86.38 cores=0,2,4,6
/proc/5719/task/5829/stat : 5829 (pb_cplex) S 5718 5718 4561 0 -1 4202560 62225 0 0 0 8621 17 0 0 20 0 8 0 391189100 564658176 108461 33554432000 134512640 146736320 4286850208 3995987600 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5830] ppid=5718 vsize=551424 CPUtime=93.81 cores=0,2,4,6
/proc/5719/task/5830/stat : 5830 (pb_cplex) S 5718 5718 4561 0 -1 4202560 43586 0 0 0 9365 16 0 0 20 0 8 0 391189100 564658176 108461 33554432000 134512640 146736320 4286850208 4006473360 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5831] ppid=5718 vsize=551424 CPUtime=111.15 cores=0,2,4,6
/proc/5719/task/5831/stat : 5831 (pb_cplex) S 5718 5718 4561 0 -1 4202560 60499 0 0 0 11096 19 0 0 20 0 8 0 391189100 564658176 108461 33554432000 134512640 146736320 4286850208 4073868944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5832] ppid=5718 vsize=551424 CPUtime=157.62 cores=0,2,4,6
/proc/5719/task/5832/stat : 5832 (pb_cplex) R 5718 5718 4561 0 -1 4202560 101710 0 0 0 15733 29 0 0 20 0 8 0 391189100 564658176 108461 33554432000 134512640 146736320 4286850208 4063379504 136384861 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5833] ppid=5718 vsize=551424 CPUtime=83.38 cores=0,2,4,6
/proc/5719/task/5833/stat : 5833 (pb_cplex) S 5718 5718 4561 0 -1 4202560 39652 0 0 0 8326 12 0 0 20 0 8 0 391189100 564658176 108461 33554432000 134512640 146736320 4286850208 4052897424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1568.24
Current children cumulated vsize (KiB) 560572
[startup+942.3 s]
/proc/loadavg: 7.68 8.02 6.79 10/186 5884
/proc/meminfo: memFree=29400260/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=551756 CPUtime=1778.91 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 1020920 0 0 0 177586 305 0 0 20 0 8 0 391125702 564998144 108632 33554432000 134512640 146736320 4286850208 4286843336 136000176 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5719/statm: 137939 108632 894 2985 0 134873 0
[pid=5719/tid=5827] ppid=5718 vsize=551756 CPUtime=143.51 cores=0,2,4,6
/proc/5719/task/5827/stat : 5827 (pb_cplex) R 5718 5718 4561 0 -1 4202560 66872 0 0 0 14331 20 0 0 20 0 8 0 391189100 564998144 108632 33554432000 134512640 146736320 4286850208 3975012560 136008443 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5828] ppid=5718 vsize=551756 CPUtime=117.07 cores=0,2,4,6
/proc/5719/task/5828/stat : 5828 (pb_cplex) R 5718 5718 4561 0 -1 4202560 9992 0 0 0 11700 7 0 0 20 0 8 0 391189100 564998144 108632 33554432000 134512640 146736320 4286850208 3985498168 136475868 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5829] ppid=5718 vsize=551756 CPUtime=111.25 cores=0,2,4,6
/proc/5719/task/5829/stat : 5829 (pb_cplex) R 5718 5718 4561 0 -1 4202560 63293 0 0 0 11107 18 0 0 20 0 8 0 391189100 564998144 108632 33554432000 134512640 146736320 4286850208 3995982700 135457539 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5830] ppid=5718 vsize=551756 CPUtime=118.94 cores=0,2,4,6
/proc/5719/task/5830/stat : 5830 (pb_cplex) R 5718 5718 4561 0 -1 4202560 55268 0 0 0 11874 20 0 0 20 0 8 0 391189100 564998144 108632 33554432000 134512640 146736320 4286850208 4006469840 136008230 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5831] ppid=5718 vsize=551756 CPUtime=136.03 cores=0,2,4,6
/proc/5719/task/5831/stat : 5831 (pb_cplex) R 5718 5718 4561 0 -1 4202560 73839 0 0 0 13579 24 0 0 20 0 8 0 391189100 564998144 108632 33554432000 134512640 146736320 4286850208 4073865368 136006931 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5832] ppid=5718 vsize=551756 CPUtime=192.34 cores=0,2,4,6
/proc/5719/task/5832/stat : 5832 (pb_cplex) R 5718 5718 4561 0 -1 4202560 122175 0 0 0 19201 33 0 0 20 0 8 0 391189100 564998144 108632 33554432000 134512640 146736320 4286850208 4063379912 135999680 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5833] ppid=5718 vsize=551756 CPUtime=108.49 cores=0,2,4,6
/proc/5719/task/5833/stat : 5833 (pb_cplex) R 5718 5718 4561 0 -1 4202560 49241 0 0 0 10833 16 0 0 20 0 8 0 391189100 564998144 108632 33554432000 134512640 146736320 4286850208 4052893696 136019067 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1778.91
Current children cumulated vsize (KiB) 560904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+947.6 s]
/proc/loadavg: 7.79 8.04 6.80 11/186 5884
/proc/meminfo: memFree=29400012/32873844 swapFree=7628/7628
[pid=5718] ppid=5716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5718/stat : 5718 (run) S 5716 5718 4561 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 391125702 9367552 270 33554432000 4194304 5064252 140735933220368 140735933219280 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5718/statm: 2287 270 229 213 0 72 0
[pid=5719] ppid=5718 vsize=551776 CPUtime=1800.07 cores=0,2,4,6
/proc/5719/stat : 5719 (pb_cplex) R 5718 5718 4561 0 -1 4202496 1026235 0 0 0 179700 307 0 0 20 0 8 0 391125702 565018624 108637 33554432000 134512640 146736320 4286850208 4286843096 136008653 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5719/statm: 137944 108637 894 2985 0 134878 0
[pid=5719/tid=5827] ppid=5718 vsize=551776 CPUtime=146.16 cores=0,2,4,6
/proc/5719/task/5827/stat : 5827 (pb_cplex) R 5718 5718 4561 0 -1 4202560 67049 0 0 0 14596 20 0 0 20 0 8 0 391189100 565018624 108637 33554432000 134512640 146736320 4286850208 3975012560 136008065 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5828] ppid=5718 vsize=551776 CPUtime=119.72 cores=0,2,4,6
/proc/5719/task/5828/stat : 5828 (pb_cplex) R 5718 5718 4561 0 -1 4202560 9992 0 0 0 11965 7 0 0 20 0 8 0 391189100 565018624 108637 33554432000 134512640 146736320 4286850208 3985498704 136403116 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=5719/tid=5829] ppid=5718 vsize=551776 CPUtime=114.02 cores=0,2,4,6
/proc/5719/task/5829/stat : 5829 (pb_cplex) R 5718 5718 4561 0 -1 4202560 63293 0 0 0 11384 18 0 0 20 0 8 0 391189100 565018624 108637 33554432000 134512640 146736320 4286850208 3995983928 136475798 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5830] ppid=5718 vsize=551776 CPUtime=121.44 cores=0,2,4,6
/proc/5719/task/5830/stat : 5830 (pb_cplex) R 5718 5718 4561 0 -1 4202560 56507 0 0 0 12124 20 0 0 20 0 8 0 391189100 565018624 108637 33554432000 134512640 146736320 4286850208 4006469700 136385184 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5831] ppid=5718 vsize=551776 CPUtime=138.6 cores=0,2,4,6
/proc/5719/task/5831/stat : 5831 (pb_cplex) R 5718 5718 4561 0 -1 4202560 75078 0 0 0 13836 24 0 0 20 0 8 0 391189100 565018624 108637 33554432000 134512640 146736320 4286850208 4073865216 136018899 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=5719/tid=5832] ppid=5718 vsize=551776 CPUtime=195.02 cores=0,2,4,6
/proc/5719/task/5832/stat : 5832 (pb_cplex) R 5718 5718 4561 0 -1 4202560 123591 0 0 0 19468 34 0 0 20 0 8 0 391189100 565018624 108637 33554432000 134512640 146736320 4286850208 4063380048 136403116 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=5719/tid=5833] ppid=5718 vsize=551776 CPUtime=111.13 cores=0,2,4,6
/proc/5719/task/5833/stat : 5833 (pb_cplex) R 5718 5718 4561 0 -1 4202560 50482 0 0 0 11096 17 0 0 20 0 8 0 391189100 565018624 108637 33554432000 134512640 146736320 4286850208 4052894152 136000483 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 560924
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5718 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.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.0399933
# lost CPU user time (s): 0.0699921
# lost CPU system time (s): -0.03
Real time (s): 947.617
CPU time (s): 1800.11
CPU user time (s): 1797.07
CPU system time (s): 3.04
CPU usage (%): 189.962
Max. virtual memory (cumulated for all children) (KiB): 561688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 356
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.36164 second user time and 5.48517 second system time
The end