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-3741383-1339250240/watcher-3741383-1339250240 -o /tmp/evaluation-result-3741383-1339250240/solver-3741383-1339250240 -C 1800 -W 1900 -M 15500 run HOME/instance-3741383-1339250240.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.41 7.32 6.73 3/184 1237
/proc/meminfo: memFree=30218124/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[startup+0.0355361 s]
/proc/loadavg: 8.41 7.32 6.73 3/184 1237
/proc/meminfo: memFree=30218124/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100276 s]
/proc/loadavg: 8.41 7.32 6.73 3/184 1237
/proc/meminfo: memFree=30218124/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 8.41 7.32 6.73 3/184 1237
/proc/meminfo: memFree=30218124/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700231 s]
/proc/loadavg: 8.41 7.32 6.73 3/184 1237
/proc/meminfo: memFree=30218124/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/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: 7.90 7.23 6.70 3/186 1239
/proc/meminfo: memFree=30195804/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=47524 CPUtime=1.49 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 11817 0 0 0 147 2 0 0 20 0 1 0 391149666 48664576 8091 33554432000 134512640 146736320 4289500192 4289494876 135855170 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 11881 8091 793 2985 0 8815 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56672
[startup+3.10027 s]
/proc/loadavg: 7.90 7.23 6.70 3/186 1239
/proc/meminfo: memFree=30188596/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=47524 CPUtime=3.09 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 11831 0 0 0 307 2 0 0 20 0 1 0 391149666 48664576 8105 33554432000 134512640 146736320 4289500192 4289493952 135468524 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 11881 8105 793 2985 0 8815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 56672
[startup+6.30027 s]
/proc/loadavg: 7.42 7.15 6.68 3/186 1239
/proc/meminfo: memFree=30187860/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=47908 CPUtime=6.29 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 11921 0 0 0 627 2 0 0 20 0 1 0 391149666 49057792 8195 33554432000 134512640 146736320 4289500192 4289494876 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 11977 8195 793 2985 0 8911 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 57056
[startup+12.7003 s]
/proc/loadavg: 6.99 7.06 6.65 3/186 1239
/proc/meminfo: memFree=30187248/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=47908 CPUtime=12.69 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 11928 0 0 0 1267 2 0 0 20 0 1 0 391149666 49057792 8385 33554432000 134512640 146736320 4289500192 4289494876 135855167 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 11977 8385 793 2985 0 8911 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 57056
[startup+25.5003 s]
/proc/loadavg: 6.22 6.89 6.60 3/186 1239
/proc/meminfo: memFree=30182036/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=48292 CPUtime=25.48 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 13351 0 0 0 2546 2 0 0 20 0 1 0 391149666 49451008 9430 33554432000 134512640 146736320 4289500192 4289494520 136015725 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 12073 9430 847 2985 0 9007 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57440
[startup+51.1003 s]
/proc/loadavg: 4.56 6.42 6.45 3/186 1239
/proc/meminfo: memFree=30181416/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=48668 CPUtime=51.08 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 13392 0 0 0 5106 2 0 0 20 0 1 0 391149666 49836032 9471 33554432000 134512640 146736320 4289500192 4289494264 136475778 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 12167 9471 847 2985 0 9101 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 57816
[startup+102.3 s]
/proc/loadavg: 3.11 5.74 6.22 3/186 1239
/proc/meminfo: memFree=30177572/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=53452 CPUtime=102.27 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 21770 0 0 0 10223 4 0 0 20 0 1 0 391149666 54734848 10445 33554432000 134512640 146736320 4289500192 4289494264 136475778 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 13363 10445 903 2985 0 10297 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62600
[startup+162.3 s]
/proc/loadavg: 2.41 5.06 5.95 3/187 1242
/proc/meminfo: memFree=30176788/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=54608 CPUtime=162.25 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 23844 0 0 0 16221 4 0 0 20 0 1 0 391149666 55918592 10645 33554432000 134512640 146736320 4289500192 4289493916 135855174 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 13652 10645 906 2985 0 10586 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 63756
[startup+222.307 s]
/proc/loadavg: 2.15 4.50 5.70 3/187 1265
/proc/meminfo: memFree=30174620/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=54096 CPUtime=222.26 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 24571 0 0 0 22221 5 0 0 20 0 1 0 391149666 55394304 10664 33554432000 134512640 146736320 4289500192 4289495544 136475859 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 13524 10664 922 2985 0 10458 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 63244
[startup+282.3 s]
/proc/loadavg: 2.05 4.04 5.47 3/187 1266
/proc/meminfo: memFree=30174088/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=54096 CPUtime=282.24 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 26434 0 0 0 28218 6 0 0 20 0 1 0 391149666 55394304 10664 33554432000 134512640 146736320 4289500192 4289494364 135855179 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 13524 10664 922 2985 0 10458 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 63244
[startup+342.3 s]
/proc/loadavg: 2.02 3.67 5.25 3/193 1273
/proc/meminfo: memFree=30120348/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=209308 CPUtime=342.22 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 42936 0 0 0 34213 9 0 0 20 0 8 0 391149666 214331392 24335 33554432000 134512640 146736320 4289500192 4289493456 136403117 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/1238/statm: 52327 24335 953 2985 0 49261 0
[pid=1238/tid=1267] ppid=1237 vsize=209308 CPUtime=0 cores=1,3,5,7
/proc/1238/task/1267/stat : 1267 (pb_cplex) S 1237 1237 415 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391178053 214331392 24335 33554432000 134512640 146736320 4289500192 4123676304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1268] ppid=1237 vsize=209308 CPUtime=0 cores=1,3,5,7
/proc/1238/task/1268/stat : 1268 (pb_cplex) S 1237 1237 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178053 214331392 24335 33554432000 134512640 146736320 4289500192 4113190544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=1238/tid=1269] ppid=1237 vsize=209308 CPUtime=0 cores=1,3,5,7
/proc/1238/task/1269/stat : 1269 (pb_cplex) S 1237 1237 415 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391178053 214331392 24335 33554432000 134512640 146736320 4289500192 4102704784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1270] ppid=1237 vsize=209308 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/1238/statm: 64226 38486 953 2985 0 61160 0
[pid=1238/tid=1267] ppid=1237 vsize=256904 CPUtime=18.39 cores=1,3,5,7
/proc/1238/task/1267/stat : 1267 (pb_cplex) R 1237 1237 415 0 -1 4202560 1168 0 0 0 1839 0 0 0 20 0 8 0 391178053 263069696 38486 33554432000 134512640 146736320 4289500192 4123672784 136008245 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1238/tid=1268] ppid=1237 vsize=256904 CPUtime=18.6 cores=1,3,5,7
/proc/1238/task/1268/stat : 1268 (pb_cplex) R 1237 1237 415 0 -1 4202560 913 0 0 0 1860 0 0 0 20 0 8 0 391178053 263069696 38486 33554432000 134512640 146736320 4289500192 4113187092 136003490 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1269] ppid=1237 vsize=256904 CPUtime=18.55 cores=1,3,5,7
/proc/1238/task/1269/stat : 1269 (pb_cplex) R 1237 1237 415 0 -1 4202560 1217 0 0 0 1855 0 0 0 20 0 8 0 391178053 263069696 38486 33554432000 134512640 146736320 4289500192 4102701264 136007977 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1238/tid=1270] ppid=1237 vsize=256904 CPUtime=18.62 cores=1,3,5,7
/proc/1238/task/1270/stat : 1270 (pb_cplex) R 1237 1237 415 0 -1 4202560 1381 0 0 0 1862 0 0 0 20 0 8 0 391178053 263069696 38486 33554432000 134512640 146736320 4289500192 4092215344 136384890 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1271] ppid=1237 vsize=256904 CPUtime=18.62 cores=1,3,5,7
/proc/1238/task/1271/stat : 1271 (pb_cplex) R 1237 1237 415 0 -1 4202560 1186 0 0 0 1862 0 0 0 20 0 8 0 391178053 263069696 38486 33554432000 134512640 146736320 4289500192 4081729628 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1272] ppid=1237 vsize=256904 CPUtime=18.44 cores=1,3,5,7
/proc/1238/task/1272/stat : 1272 (pb_cplex) R 1237 1237 415 0 -1 4202560 1214 0 0 0 1842 2 0 0 20 0 8 0 391178053 263069696 38486 33554432000 134512640 146736320 4289500192 4071243832 136475812 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1273] ppid=1237 vsize=256904 CPUtime=18.58 cores=1,3,5,7
/proc/1238/task/1273/stat : 1273 (pb_cplex) R 1237 1237 415 0 -1 4202560 1128 0 0 0 1858 0 0 0 20 0 8 0 391178053 263069696 38486 33554432000 134512640 146736320 4289500192 4060758084 136385184 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 873.8
Current children cumulated vsize (KiB) 266052
[startup+822.3 s]
/proc/loadavg: 7.68 4.32 4.63 10/193 1277
/proc/meminfo: memFree=30062104/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=256904 CPUtime=1112.83 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 51221 0 0 0 111262 21 0 0 20 0 8 0 391149666 263069696 38504 33554432000 134512640 146736320 4289500192 4289493320 136000404 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1238/statm: 64226 38504 953 2985 0 61160 0
[pid=1238/tid=1267] ppid=1237 vsize=256904 CPUtime=48 cores=1,3,5,7
/proc/1238/task/1267/stat : 1267 (pb_cplex) R 1237 1237 415 0 -1 4202560 1171 0 0 0 4798 2 0 0 20 0 8 0 391178053 263069696 38504 33554432000 134512640 146736320 4289500192 4123673624 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1238/tid=1268] ppid=1237 vsize=256904 CPUtime=48.51 cores=1,3,5,7
/proc/1238/task/1268/stat : 1268 (pb_cplex) R 1237 1237 415 0 -1 4202560 914 0 0 0 4851 0 0 0 20 0 8 0 391178053 263069696 38504 33554432000 134512640 146736320 4289500192 4113186908 135855179 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1269] ppid=1237 vsize=256904 CPUtime=48.34 cores=1,3,5,7
/proc/1238/task/1269/stat : 1269 (pb_cplex) R 1237 1237 415 0 -1 4202560 1219 0 0 0 4834 0 0 0 20 0 8 0 391178053 263069696 38504 33554432000 134512640 146736320 4289500192 4102701148 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1270] ppid=1237 vsize=256904 CPUtime=48.53 cores=1,3,5,7
/proc/1238/task/1270/stat : 1270 (pb_cplex) R 1237 1237 415 0 -1 4202560 1383 0 0 0 4853 0 0 0 20 0 8 0 391178053 263069696 38504 33554432000 134512640 146736320 4289500192 4092214528 135443392 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1271] ppid=1237 vsize=256904 CPUtime=48.53 cores=1,3,5,7
/proc/1238/task/1271/stat : 1271 (pb_cplex) R 1237 1237 415 0 -1 4202560 1193 0 0 0 4852 1 0 0 20 0 8 0 391178053 263069696 38504 33554432000 134512640 146736320 4289500192 4081729592 136475800 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1272] ppid=1237 vsize=256904 CPUtime=48.36 cores=1,3,5,7
/proc/1238/task/1272/stat : 1272 (pb_cplex) R 1237 1237 415 0 -1 4202560 1217 0 0 0 4834 2 0 0 20 0 8 0 391178053 263069696 38504 33554432000 134512640 146736320 4289500192 4071243868 135855179 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1273] ppid=1237 vsize=256904 CPUtime=48.5 cores=1,3,5,7
/proc/1238/task/1273/stat : 1273 (pb_cplex) R 1237 1237 415 0 -1 4202560 1128 0 0 0 4849 1 0 0 20 0 8 0 391178053 263069696 38504 33554432000 134512640 146736320 4289500192 4060758224 136008116 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1112.83
Current children cumulated vsize (KiB) 266052
[startup+882.307 s]
/proc/loadavg: 8.51 5.17 4.90 10/186 1328
/proc/meminfo: memFree=30556976/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=261532 CPUtime=1351.92 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 52524 0 0 0 135168 24 0 0 20 0 8 0 391149666 267808768 39805 33554432000 134512640 146736320 4289500192 4289493080 136008689 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/1238/statm: 65383 39805 953 2985 0 62317 0
[pid=1238/tid=1267] ppid=1237 vsize=261532 CPUtime=78.03 cores=1,3,5,7
/proc/1238/task/1267/stat : 1267 (pb_cplex) R 1237 1237 415 0 -1 4202560 1537 0 0 0 7800 3 0 0 20 0 8 0 391178053 267808768 39805 33554432000 134512640 146736320 4289500192 4123671528 139044800 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1268] ppid=1237 vsize=261532 CPUtime=78.1 cores=1,3,5,7
/proc/1238/task/1268/stat : 1268 (pb_cplex) R 1237 1237 415 0 -1 4202560 1178 0 0 0 7808 2 0 0 20 0 8 0 391178053 267808768 39805 33554432000 134512640 146736320 4289500192 4113187024 136008020 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1269] ppid=1237 vsize=261532 CPUtime=78.09 cores=1,3,5,7
/proc/1238/task/1269/stat : 1269 (pb_cplex) R 1237 1237 415 0 -1 4202560 1404 0 0 0 7807 2 0 0 20 0 8 0 391178053 267808768 39805 33554432000 134512640 146736320 4289500192 4102701148 135855165 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1238/tid=1270] ppid=1237 vsize=261532 CPUtime=78.09 cores=1,3,5,7
/proc/1238/task/1270/stat : 1270 (pb_cplex) R 1237 1237 415 0 -1 4202560 1523 0 0 0 7807 2 0 0 20 0 8 0 391178053 267808768 39805 33554432000 134512640 146736320 4289500192 4092215388 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1271] ppid=1237 vsize=261532 CPUtime=79.14 cores=1,3,5,7
/proc/1238/task/1271/stat : 1271 (pb_cplex) R 1237 1237 415 0 -1 4202560 1353 0 0 0 7912 2 0 0 20 0 8 0 391178053 267808768 39805 33554432000 134512640 146736320 4289500192 4081727128 135466781 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1272] ppid=1237 vsize=261532 CPUtime=77.76 cores=1,3,5,7
/proc/1238/task/1272/stat : 1272 (pb_cplex) R 1237 1237 415 0 -1 4202560 1217 0 0 0 7773 3 0 0 20 0 8 0 391178053 267808768 39805 33554432000 134512640 146736320 4289500192 4071243868 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1273] ppid=1237 vsize=261532 CPUtime=77.8 cores=1,3,5,7
/proc/1238/task/1273/stat : 1273 (pb_cplex) R 1237 1237 415 0 -1 4202560 1316 0 0 0 7778 2 0 0 20 0 8 0 391178053 267808768 39805 33554432000 134512640 146736320 4289500192 4060758604 139028318 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1351.92
Current children cumulated vsize (KiB) 270680
[startup+942.3 s]
/proc/loadavg: 8.82 5.86 5.16 10/186 1328
/proc/meminfo: memFree=30551756/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=262584 CPUtime=1590.97 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 52835 0 0 0 159068 29 0 0 20 0 8 0 391149666 268886016 40870 33554432000 134512640 146736320 4289500192 4289492920 136475800 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/1238/statm: 65646 40870 953 2985 0 62580 0
[pid=1238/tid=1267] ppid=1237 vsize=262584 CPUtime=107.92 cores=1,3,5,7
/proc/1238/task/1267/stat : 1267 (pb_cplex) R 1237 1237 415 0 -1 4202560 1576 0 0 0 10788 4 0 0 20 0 8 0 391178053 268886016 40870 33554432000 134512640 146736320 4289500192 4123671560 136474219 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1268] ppid=1237 vsize=262584 CPUtime=107.99 cores=1,3,5,7
/proc/1238/task/1268/stat : 1268 (pb_cplex) R 1237 1237 415 0 -1 4202560 1215 0 0 0 10796 3 0 0 20 0 8 0 391178053 268886016 40870 33554432000 134512640 146736320 4289500192 4113186908 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1269] ppid=1237 vsize=262584 CPUtime=108.1 cores=1,3,5,7
/proc/1238/task/1269/stat : 1269 (pb_cplex) R 1237 1237 415 0 -1 4202560 1406 0 0 0 10807 3 0 0 20 0 8 0 391178053 268886016 40870 33554432000 134512640 146736320 4289500192 4102701112 136475800 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1270] ppid=1237 vsize=262584 CPUtime=107.77 cores=1,3,5,7
/proc/1238/task/1270/stat : 1270 (pb_cplex) R 1237 1237 415 0 -1 4202560 1561 0 0 0 10775 2 0 0 20 0 8 0 391178053 268886016 40870 33554432000 134512640 146736320 4289500192 4092215352 136475780 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=1238/tid=1271] ppid=1237 vsize=262584 CPUtime=108.4 cores=1,3,5,7
/proc/1238/task/1271/stat : 1271 (pb_cplex) R 1237 1237 415 0 -1 4202560 1356 0 0 0 10837 3 0 0 20 0 8 0 391178053 268886016 40870 33554432000 134512640 146736320 4289500192 4081728540 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1272] ppid=1237 vsize=262584 CPUtime=107.77 cores=1,3,5,7
/proc/1238/task/1272/stat : 1272 (pb_cplex) R 1237 1237 415 0 -1 4202560 1282 0 0 0 10774 3 0 0 20 0 8 0 391178053 268886016 40870 33554432000 134512640 146736320 4289500192 4071242756 136385172 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1273] ppid=1237 vsize=262584 CPUtime=108.15 cores=1,3,5,7
/proc/1238/task/1273/stat : 1273 (pb_cplex) R 1237 1237 415 0 -1 4202560 1354 0 0 0 10812 3 0 0 20 0 8 0 391178053 268886016 40870 33554432000 134512640 146736320 4289500192 4060758224 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1590.97
Current children cumulated vsize (KiB) 271732
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+994.8 s]
/proc/loadavg: 8.92 6.34 5.36 10/186 1328
/proc/meminfo: memFree=30540180/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=262936 CPUtime=1800.18 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 52855 0 0 0 179986 32 0 0 20 0 8 0 391149666 269246464 40890 33554432000 134512640 146736320 4289500192 4289492956 135855165 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1238/statm: 65734 40890 953 2985 0 62668 0
[pid=1238/tid=1267] ppid=1237 vsize=262936 CPUtime=134.09 cores=1,3,5,7
/proc/1238/task/1267/stat : 1267 (pb_cplex) R 1237 1237 415 0 -1 4202560 1595 0 0 0 13405 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4123671580 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1268] ppid=1237 vsize=262936 CPUtime=133.96 cores=1,3,5,7
/proc/1238/task/1268/stat : 1268 (pb_cplex) R 1237 1237 415 0 -1 4202560 1215 0 0 0 13392 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4113186908 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1269] ppid=1237 vsize=262936 CPUtime=134.29 cores=1,3,5,7
/proc/1238/task/1269/stat : 1269 (pb_cplex) R 1237 1237 415 0 -1 4202560 1406 0 0 0 13425 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4102701148 135855174 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1270] ppid=1237 vsize=262936 CPUtime=133.69 cores=1,3,5,7
/proc/1238/task/1270/stat : 1270 (pb_cplex) R 1237 1237 415 0 -1 4202560 1562 0 0 0 13365 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4092215504 136008100 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1271] ppid=1237 vsize=262936 CPUtime=134.88 cores=1,3,5,7
/proc/1238/task/1271/stat : 1271 (pb_cplex) R 1237 1237 415 0 -1 4202560 1356 0 0 0 13484 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4081728504 136475826 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1272] ppid=1237 vsize=262936 CPUtime=133.98 cores=1,3,5,7
/proc/1238/task/1272/stat : 1272 (pb_cplex) R 1237 1237 415 0 -1 4202560 1282 0 0 0 13393 5 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4071242780 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1273] ppid=1237 vsize=262936 CPUtime=133.97 cores=1,3,5,7
/proc/1238/task/1273/stat : 1273 (pb_cplex) R 1237 1237 415 0 -1 4202560 1354 0 0 0 13393 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4060758472 136000404 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 272084
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+994.8 s]
/proc/loadavg: 8.92 6.34 5.36 10/186 1328
/proc/meminfo: memFree=30540180/32873844 swapFree=7632/7632
[pid=1237] ppid=1235 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/1237/stat : 1237 (run) S 1235 1237 415 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391149666 9367552 270 33554432000 4194304 5064252 140734072002304 140734072001216 272886294094 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/1237/statm: 2287 270 229 213 0 72 0
[pid=1238] ppid=1237 vsize=262936 CPUtime=1800.18 cores=1,3,5,7
/proc/1238/stat : 1238 (pb_cplex) R 1237 1237 415 0 -1 4202496 52855 0 0 0 179986 32 0 0 20 0 8 0 391149666 269246464 40890 33554432000 134512640 146736320 4289500192 4289492956 135855165 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/1238/statm: 65734 40890 953 2985 0 62668 0
[pid=1238/tid=1267] ppid=1237 vsize=262936 CPUtime=134.09 cores=1,3,5,7
/proc/1238/task/1267/stat : 1267 (pb_cplex) R 1237 1237 415 0 -1 4202560 1595 0 0 0 13405 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4123671580 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1268] ppid=1237 vsize=262936 CPUtime=133.96 cores=1,3,5,7
/proc/1238/task/1268/stat : 1268 (pb_cplex) R 1237 1237 415 0 -1 4202560 1215 0 0 0 13392 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4113186908 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1269] ppid=1237 vsize=262936 CPUtime=134.29 cores=1,3,5,7
/proc/1238/task/1269/stat : 1269 (pb_cplex) R 1237 1237 415 0 -1 4202560 1406 0 0 0 13425 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4102701148 135855174 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=1238/tid=1270] ppid=1237 vsize=262936 CPUtime=133.69 cores=1,3,5,7
/proc/1238/task/1270/stat : 1270 (pb_cplex) R 1237 1237 415 0 -1 4202560 1562 0 0 0 13365 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4092215504 136008100 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1271] ppid=1237 vsize=262936 CPUtime=134.88 cores=1,3,5,7
/proc/1238/task/1271/stat : 1271 (pb_cplex) R 1237 1237 415 0 -1 4202560 1356 0 0 0 13484 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4081728504 136475826 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=1238/tid=1272] ppid=1237 vsize=262936 CPUtime=133.98 cores=1,3,5,7
/proc/1238/task/1272/stat : 1272 (pb_cplex) R 1237 1237 415 0 -1 4202560 1282 0 0 0 13393 5 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4071242780 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=1238/tid=1273] ppid=1237 vsize=262936 CPUtime=133.97 cores=1,3,5,7
/proc/1238/task/1273/stat : 1273 (pb_cplex) R 1237 1237 415 0 -1 4202560 1354 0 0 0 13393 4 0 0 20 0 8 0 391178053 269246464 40890 33554432000 134512640 146736320 4289500192 4060758472 136000404 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.18
Current children cumulated vsize (KiB) 272084
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1237 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.18
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 994.817
CPU time (s): 1800.18
CPU user time (s): 1799.86
CPU system time (s): 0.32
CPU usage (%): 180.956
Max. virtual memory (cumulated for all children) (KiB): 272084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
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 2.35064 second user time and 6.21505 second system time
The end