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-3742783-1339251453/watcher-3742783-1339251453 -o /tmp/evaluation-result-3742783-1339251453/solver-3742783-1339251453 -C 1800 -W 1900 -M 15500 run HOME/instance-3742783-1339251453.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: 11.26 8.33 5.06 10/184 19247
/proc/meminfo: memFree=31189172/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[startup+0.00756404 s]
/proc/loadavg: 11.26 8.33 5.06 10/184 19247
/proc/meminfo: memFree=31189172/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100251 s]
/proc/loadavg: 11.26 8.33 5.06 10/184 19247
/proc/meminfo: memFree=31189172/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300249 s]
/proc/loadavg: 11.26 8.33 5.06 10/184 19247
/proc/meminfo: memFree=31189172/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 11.26 8.33 5.06 10/184 19247
/proc/meminfo: memFree=31189172/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 11.26 8.33 5.06 10/186 19249
/proc/meminfo: memFree=31177864/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=28028 CPUtime=1.48 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 5300 0 0 0 148 0 0 0 20 0 1 0 391273887 28700672 3632 33554432000 134512640 146736320 4292462944 4292457180 136016739 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 7007 3632 778 2985 0 3941 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 37176
[startup+3.10026 s]
/proc/loadavg: 11.26 8.33 5.06 10/186 19249
/proc/meminfo: memFree=31177368/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=28028 CPUtime=3.08 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 5307 0 0 0 308 0 0 0 20 0 1 0 391273887 28700672 3636 33554432000 134512640 146736320 4292462944 4292457052 135855174 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 7007 3636 778 2985 0 3941 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 37176
[startup+6.30026 s]
/proc/loadavg: 11.08 8.34 5.08 10/186 19249
/proc/meminfo: memFree=31175948/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=28028 CPUtime=6.28 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 5312 0 0 0 628 0 0 0 20 0 1 0 391273887 28700672 3641 33554432000 134512640 146736320 4292462944 4292457028 136385184 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 7007 3641 778 2985 0 3941 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 37176
[startup+12.7003 s]
/proc/loadavg: 10.91 8.35 5.10 10/186 19249
/proc/meminfo: memFree=31170632/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=35964 CPUtime=12.69 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 8340 0 0 0 1268 1 0 0 20 0 1 0 391273887 36827136 5141 33554432000 134512640 146736320 4292462944 4292456888 136475795 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 8991 5141 837 2985 0 5925 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45112
[startup+25.5003 s]
/proc/loadavg: 10.49 8.38 5.16 10/186 19249
/proc/meminfo: memFree=31169772/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=36356 CPUtime=25.49 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 8825 0 0 0 2548 1 0 0 20 0 1 0 391273887 37228544 5297 33554432000 134512640 146736320 4292462944 4292458568 135811965 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 9089 5297 837 2985 0 6023 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 45504
[startup+51.1003 s]
/proc/loadavg: 9.98 8.43 5.26 10/186 19249
/proc/meminfo: memFree=31168656/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=37136 CPUtime=51.08 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 14802 0 0 0 5106 2 0 0 20 0 1 0 391273887 38027264 5673 33554432000 134512640 146736320 4292462944 4292456924 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 9284 5673 841 2985 0 6218 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 46284
[startup+102.306 s]
/proc/loadavg: 9.42 8.52 5.45 10/186 19249
/proc/meminfo: memFree=31171248/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=31708 CPUtime=102.28 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 15217 0 0 0 10225 3 0 0 20 0 1 0 391273887 32468992 4880 33554432000 134512640 146736320 4292462944 4292456660 135995266 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 7927 4880 853 2985 0 4861 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 40856
[startup+162.3 s]
/proc/loadavg: 8.42 8.33 5.58 15/194 19316
/proc/meminfo: memFree=30947348/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=175636 CPUtime=242.65 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 32392 0 0 0 24256 9 0 0 20 0 8 0 391273887 179851264 19697 33554432000 134512640 146736320 4292462944 4292455824 136007982 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/19248/statm: 43909 19697 902 2985 0 40843 0
[pid=19248/tid=19250] ppid=19247 vsize=175636 CPUtime=13.52 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1089 0 0 0 1352 0 0 0 20 0 8 0 391284380 179851264 19697 33554432000 134512640 146736320 4292462944 4138516572 135855174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19251] ppid=19247 vsize=175636 CPUtime=13.44 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1738 0 0 0 1344 0 0 0 20 0 8 0 391284380 179851264 19697 33554432000 134512640 146736320 4292462944 4128029136 135461432 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19252] ppid=19247 vsize=175636 CPUtime=13.24 cores=0,2,4,6
/proc/19248/task/19252/stat : 19252 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1024 0 0 0 1324 0 0 0 20 0 8 0 391284380 179851264 19697 33554432000 134512640 146736320 4292462944 4117545016 136475849 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19253] ppid=19247 vsize=175636 CPUtime=13.67 cores=0,2,4,6
/proc/19248/task/19253/stat : 19253 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1002 0 0 0 1367 0 0 0 20 0 8 0 391284380 179851264 19697 33554432000 134512640 146736320 4292462944 4107059416 136008924 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19254] ppid=19247 vsize=175636 CPUtime=13.31 cores=0,2,4,6
/proc/19248/task/19254/stat : 19254 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1108 0 0 0 1331 0 0 0 20 0 8 0 391284380 179851264 19697 33554432000 134512640 146736320 4292462944 4096573508 136385179 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19255] ppid=19247 vsize=175636 CPUtime=13.1 cores=0,2,4,6
/proc/19248/task/19255/stat : 19255 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1157 0 0 0 1310 0 0 0 20 0 8 0 391284380 179851264 19697 33554432000 134512640 146736320 4292462944 4086087736 136475800 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19256] ppid=19247 vsize=175636 CPUtime=13.23 cores=0,2,4,6
/proc/19248/task/19256/stat : 19256 (pb_cplex) R 19247 19247 17566 0 -1 4202560 2280 0 0 0 1322 1 0 0 20 0 8 0 391284380 179851264 19697 33554432000 134512640 146736320 4292462944 4075602376 136000415 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 242.65
Current children cumulated vsize (KiB) 184784
[startup+222.3 s]
/proc/loadavg: 10.09 8.95 5.97 6/193 19316
/proc/meminfo: memFree=30898344/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=176504 CPUtime=458.1 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) S 19247 19247 17566 0 -1 4202496 33078 0 0 0 45797 13 0 0 20 0 8 0 391273887 180740096 20562 33554432000 134512640 146736320 4292462944 4292459344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 44126 20562 902 2985 0 41060 0
[pid=19248/tid=19250] ppid=19247 vsize=176504 CPUtime=28.67 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1224 0 0 0 2867 0 0 0 20 0 8 0 391284380 180740096 20562 33554432000 134512640 146736320 4292462944 4138520208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19251] ppid=19247 vsize=176504 CPUtime=52.95 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1910 0 0 0 5294 1 0 0 20 0 8 0 391284380 180740096 20562 33554432000 134512640 146736320 4292462944 4128034448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19252] ppid=19247 vsize=176504 CPUtime=39.47 cores=0,2,4,6
/proc/19248/task/19252/stat : 19252 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1027 0 0 0 3947 0 0 0 20 0 8 0 391284380 180740096 20562 33554432000 134512640 146736320 4292462944 4117548688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19253] ppid=19247 vsize=176504 CPUtime=35.94 cores=0,2,4,6
/proc/19248/task/19253/stat : 19253 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1002 0 0 0 3593 1 0 0 20 0 8 0 391284380 180740096 20562 33554432000 134512640 146736320 4292462944 4107062928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19254] ppid=19247 vsize=176504 CPUtime=29.9 cores=0,2,4,6
/proc/19248/task/19254/stat : 19254 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1114 0 0 0 2990 0 0 0 20 0 8 0 391284380 180740096 20562 33554432000 134512640 146736320 4292462944 4096577168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19255] ppid=19247 vsize=176504 CPUtime=54.03 cores=0,2,4,6
/proc/19248/task/19255/stat : 19255 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1163 0 0 0 5403 0 0 0 20 0 8 0 391284380 180740096 20562 33554432000 134512640 146736320 4292462944 4086087904 139028308 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19256] ppid=19247 vsize=176504 CPUtime=47.75 cores=0,2,4,6
/proc/19248/task/19256/stat : 19256 (pb_cplex) S 19247 19247 17566 0 -1 4202560 2644 0 0 0 4774 1 0 0 20 0 8 0 391284380 180740096 20562 33554432000 134512640 146736320 4292462944 4075605648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 458.1
Current children cumulated vsize (KiB) 185652
################
# More data... #
################
[startup+462.3 s]
/proc/loadavg: 9.18 9.12 6.71 11/193 19317
/proc/meminfo: memFree=30835560/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=190736 CPUtime=1373.1 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 46820 0 0 0 137279 31 0 0 20 0 8 0 391273887 195313664 25017 33554432000 134512640 146736320 4292462944 4292456072 136001936 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19248/statm: 47684 25017 912 2985 0 44618 0
[pid=19248/tid=19250] ppid=19247 vsize=190736 CPUtime=141.15 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (pb_cplex) R 19247 19247 17566 0 -1 4202560 3742 0 0 0 14110 5 0 0 20 0 8 0 391284380 195313664 25017 33554432000 134512640 146736320 4292462944 4138516936 136000378 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19251] ppid=19247 vsize=190736 CPUtime=163.73 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (pb_cplex) R 19247 19247 17566 0 -1 4202560 2965 0 0 0 16368 5 0 0 20 0 8 0 391284380 195313664 25017 33554432000 134512640 146736320 4292462944 4128030776 136475800 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19252] ppid=19247 vsize=190736 CPUtime=153.4 cores=0,2,4,6
/proc/19248/task/19252/stat : 19252 (pb_cplex) R 19247 19247 17566 0 -1 4202560 3012 0 0 0 15336 4 0 0 20 0 8 0 391284380 195313664 25017 33554432000 134512640 146736320 4292462944 4117545168 136008020 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19253] ppid=19247 vsize=190736 CPUtime=148.05 cores=0,2,4,6
/proc/19248/task/19253/stat : 19253 (pb_cplex) R 19247 19247 17566 0 -1 4202560 3681 0 0 0 14799 6 0 0 20 0 8 0 391284380 195313664 25017 33554432000 134512640 146736320 4292462944 4107059416 136009170 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19254] ppid=19247 vsize=190736 CPUtime=142.92 cores=0,2,4,6
/proc/19248/task/19254/stat : 19254 (pb_cplex) R 19247 19247 17566 0 -1 4202560 2139 0 0 0 14286 6 0 0 20 0 8 0 391284380 195313664 25017 33554432000 134512640 146736320 4292462944 4096573508 136385174 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19255] ppid=19247 vsize=190736 CPUtime=179.28 cores=0,2,4,6
/proc/19248/task/19255/stat : 19255 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1771 0 0 0 17924 4 0 0 20 0 8 0 391284380 195313664 25017 33554432000 134512640 146736320 4292462944 4086087736 136475782 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19256] ppid=19247 vsize=190736 CPUtime=159.55 cores=0,2,4,6
/proc/19248/task/19256/stat : 19256 (pb_cplex) R 19247 19247 17566 0 -1 4202560 4952 0 0 0 15950 5 0 0 20 0 8 0 391284380 195313664 25017 33554432000 134512640 146736320 4292462944 4075602376 136000415 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1373.1
Current children cumulated vsize (KiB) 199884
############
# WARNING:
# current cumulated CPU time (1576.14 s) is less than in the last sample (1579.72 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (3.57996 s) to the 'lost time'.
[startup+519.206 s]
/proc/loadavg: 7.95 8.86 6.77 3/193 19317
/proc/meminfo: memFree=30833824/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=190872 CPUtime=1579.72 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) S 19247 19247 17566 0 -1 4202496 48076 0 0 0 157937 35 0 0 20 0 8 0 391273887 195452928 25346 33554432000 134512640 146736320 4292462944 4292459344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 47718 25346 913 2985 0 44652 0
[pid=19248/tid=19250] ppid=19247 vsize=190872 CPUtime=167.54 cores=0,2,4,6
/proc/19248/task/19250/stat : 19250 (pb_cplex) S 19247 19247 17566 0 -1 4202560 3919 0 0 0 16748 6 0 0 20 0 8 0 391284380 195452928 25346 33554432000 134512640 146736320 4292462944 4138520208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19251] ppid=19247 vsize=190872 CPUtime=189.67 cores=0,2,4,6
/proc/19248/task/19251/stat : 19251 (pb_cplex) S 19247 19247 17566 0 -1 4202560 2965 0 0 0 18962 5 0 0 20 0 8 0 391284380 195452928 25346 33554432000 134512640 146736320 4292462944 4128034448 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19252] ppid=19247 vsize=190872 CPUtime=177.15 cores=0,2,4,6
/proc/19248/task/19252/stat : 19252 (pb_cplex) S 19247 19247 17566 0 -1 4202560 3209 0 0 0 17711 4 0 0 20 0 8 0 391284380 195452928 25346 33554432000 134512640 146736320 4292462944 4117548688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19253] ppid=19247 vsize=190872 CPUtime=173.89 cores=0,2,4,6
/proc/19248/task/19253/stat : 19253 (pb_cplex) S 19247 19247 17566 0 -1 4202560 4226 0 0 0 17382 7 0 0 20 0 8 0 391284380 195452928 25346 33554432000 134512640 146736320 4292462944 4107062928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19254] ppid=19247 vsize=190872 CPUtime=167.03 cores=0,2,4,6
/proc/19248/task/19254/stat : 19254 (pb_cplex) S 19247 19247 17566 0 -1 4202560 2139 0 0 0 16697 6 0 0 20 0 8 0 391284380 195452928 25346 33554432000 134512640 146736320 4292462944 4096577168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19255] ppid=19247 vsize=190872 CPUtime=201.57 cores=0,2,4,6
/proc/19248/task/19255/stat : 19255 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1771 0 0 0 20152 5 0 0 20 0 8 0 391284380 195452928 25346 33554432000 134512640 146736320 4292462944 4086091408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19256] ppid=19247 vsize=190872 CPUtime=192.35 cores=0,2,4,6
/proc/19248/task/19256/stat : 19256 (pb_cplex) R 19247 19247 17566 0 -1 4202560 5288 0 0 0 19229 6 0 0 20 0 8 0 391284380 195452928 25346 33554432000 134512640 146736320 4292462944 4075602012 135854125 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1579.72
Current children cumulated vsize (KiB) 200020
[startup+519.3 s]
/proc/loadavg: 7.95 8.86 6.77 3/193 19317
/proc/meminfo: memFree=30833824/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=151472 CPUtime=1576.14 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 48078 0 0 0 157560 54 0 0 20 0 1 0 391273887 155107328 22749 33554432000 134512640 146736320 4292462944 4292459736 144757825 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 37868 22749 914 2985 0 34802 0
Current children cumulated CPU time (s) 1576.14
Current children cumulated vsize (KiB) 160620
#
############
[startup+522.3 s]
/proc/loadavg: 7.95 8.86 6.77 3/186 19317
/proc/meminfo: memFree=30884348/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=104604 CPUtime=1579.14 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 48080 0 0 0 157859 55 0 0 20 0 1 0 391273887 107114496 12604 33554432000 134512640 146736320 4292462944 4292458288 137176693 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 26151 12604 916 2985 0 23085 0
Current children cumulated CPU time (s) 1579.14
Current children cumulated vsize (KiB) 113752
[startup+582.3 s]
/proc/loadavg: 4.14 7.59 6.47 3/186 19374
/proc/meminfo: memFree=30872680/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=448820 CPUtime=1639.13 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 56158 0 0 0 163854 59 0 0 20 0 8 0 391273887 459591680 61135 33554432000 134512640 146736320 4292462944 4292455432 135526401 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/19248/statm: 112205 61135 920 2985 0 109139 0
[pid=19248/tid=19368] ppid=19247 vsize=448820 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19368/stat : 19368 (pb_cplex) S 19247 19247 17566 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391331451 459591680 61135 33554432000 134512640 146736320 4292462944 4075605648 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19369] ppid=19247 vsize=448820 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19369/stat : 19369 (pb_cplex) S 19247 19247 17566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391331451 459591680 61135 33554432000 134512640 146736320 4292462944 4086091408 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19370] ppid=19247 vsize=448820 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19370/stat : 19370 (pb_cplex) S 19247 19247 17566 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 391331451 459591680 61135 33554432000 134512640 146736320 4292462944 4096577168 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19371] ppid=19247 vsize=448820 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19371/stat : 19371 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391331451 459591680 61135 33554432000 134512640 146736320 4292462944 4107062928 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19372] ppid=19247 vsize=448820 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19372/stat : 19372 (pb_cplex) S 19247 19247 17566 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391331451 459591680 61135 33554432000 134512640 146736320 4292462944 3752685200 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19373] ppid=19247 vsize=448820 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19373/stat : 19373 (pb_cplex) S 19247 19247 17566 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391331451 459591680 61135 33554432000 134512640 146736320 4292462944 3742199440 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19374] ppid=19247 vsize=448820 CPUtime=0 cores=0,2,4,6
/proc/19248/task/19374/stat : 19374 (pb_cplex) S 19247 19247 17566 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391331451 459591680 61135 33554432000 134512640 146736320 4292462944 3731713680 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1639.13
Current children cumulated vsize (KiB) 457968
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+628.6 s]
/proc/loadavg: 6.10 7.58 6.51 10/186 19374
/proc/meminfo: memFree=30847124/32873844 swapFree=8656/8656
[pid=19247] ppid=19245 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/19247/stat : 19247 (run) S 19245 19247 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391273887 9367552 270 33554432000 4194304 5064252 140735260031136 140735260030048 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/19247/statm: 2287 270 229 213 0 72 0
[pid=19248] ppid=19247 vsize=479472 CPUtime=1796.66 cores=0,2,4,6
/proc/19248/stat : 19248 (pb_cplex) R 19247 19247 17566 0 -1 4202496 68387 0 0 0 179600 66 0 0 20 0 8 0 391273887 490979328 67459 33554432000 134512640 146736320 4292462944 4292455656 139044554 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/19248/statm: 119868 67459 920 2985 0 116802 0
[pid=19248/tid=19368] ppid=19247 vsize=479472 CPUtime=18.48 cores=0,2,4,6
/proc/19248/task/19368/stat : 19368 (pb_cplex) R 19247 19247 17566 0 -1 4202560 2701 0 0 0 1846 2 0 0 20 0 8 0 391331451 490979328 67459 33554432000 134512640 146736320 4292462944 4075601976 136475800 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=19248/tid=19369] ppid=19247 vsize=479472 CPUtime=18.62 cores=0,2,4,6
/proc/19248/task/19369/stat : 19369 (pb_cplex) R 19247 19247 17566 0 -1 4202560 594 0 0 0 1862 0 0 0 20 0 8 0 391331451 490979328 67459 33554432000 134512640 146736320 4292462944 4086087888 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19370] ppid=19247 vsize=479472 CPUtime=18.59 cores=0,2,4,6
/proc/19248/task/19370/stat : 19370 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1370 0 0 0 1859 0 0 0 20 0 8 0 391331451 490979328 67459 33554432000 134512640 146736320 4292462944 4096573532 135855174 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=19248/tid=19371] ppid=19247 vsize=479472 CPUtime=18.61 cores=0,2,4,6
/proc/19248/task/19371/stat : 19371 (pb_cplex) R 19247 19247 17566 0 -1 4202560 1349 0 0 0 1861 0 0 0 20 0 8 0 391331451 490979328 67459 33554432000 134512640 146736320 4292462944 4107059792 136403103 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19372] ppid=19247 vsize=479472 CPUtime=18.5 cores=0,2,4,6
/proc/19248/task/19372/stat : 19372 (pb_cplex) R 19247 19247 17566 0 -1 4202560 897 0 0 0 1850 0 0 0 20 0 8 0 391331451 490979328 67459 33554432000 134512640 146736320 4292462944 3752681680 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=19248/tid=19373] ppid=19247 vsize=479472 CPUtime=18.25 cores=0,2,4,6
/proc/19248/task/19373/stat : 19373 (pb_cplex) R 19247 19247 17566 0 -1 4202560 4103 0 0 0 1824 1 0 0 20 0 8 0 391331451 490979328 67459 33554432000 134512640 146736320 4292462944 3742195760 136384852 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=19248/tid=19374] ppid=19247 vsize=479472 CPUtime=18.64 cores=0,2,4,6
/proc/19248/task/19374/stat : 19374 (pb_cplex) R 19247 19247 17566 0 -1 4202560 924 0 0 0 1864 0 0 0 20 0 8 0 391331451 490979328 67459 33554432000 134512640 146736320 4292462944 3731710016 135521348 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.66
Current children cumulated vsize (KiB) 488620
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 19247 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 1796.66
#
# 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): 3.57996
# lost CPU user time (s): 3.77002
# lost CPU system time (s): -0.19
Real time (s): 628.616
CPU time (s): 1800.24
CPU user time (s): 1799.77
CPU system time (s): 0.47
CPU usage (%): 286.381
Max. virtual memory (cumulated for all children) (KiB): 488620
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= 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 1.58076 second user time and 3.81542 second system time
The end