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-3741873-1339250660/watcher-3741873-1339250660 -o /tmp/evaluation-result-3741873-1339250660/solver-3741873-1339250660 -C 1800 -W 1900 -M 15500 run HOME/instance-3741873-1339250660.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: 2.00 2.18 3.32 3/175 1305
/proc/meminfo: memFree=29461564/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[startup+0.056248 s]
/proc/loadavg: 2.00 2.18 3.32 3/175 1305
/proc/meminfo: memFree=29461564/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100283 s]
/proc/loadavg: 2.00 2.18 3.32 3/175 1305
/proc/meminfo: memFree=29461564/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300285 s]
/proc/loadavg: 2.00 2.18 3.32 3/175 1305
/proc/meminfo: memFree=29461564/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700268 s]
/proc/loadavg: 2.00 2.18 3.32 3/175 1305
/proc/meminfo: memFree=29461564/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.00 2.18 3.32 3/177 1307
/proc/meminfo: memFree=29446544/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=33008 CPUtime=1.48 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 5665 0 0 0 148 0 0 0 20 0 1 0 391194454 33800192 4548 33554432000 134512640 146736320 4287508032 4287502684 135855165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 8252 4548 725 2985 0 5186 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 42156
[startup+3.10023 s]
/proc/loadavg: 2.00 2.18 3.32 3/177 1307
/proc/meminfo: memFree=29446304/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=33096 CPUtime=3.09 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 6785 0 0 0 308 1 0 0 20 0 1 0 391194454 33890304 4626 33554432000 134512640 146736320 4287508032 4287502016 136018924 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 8274 4626 780 2985 0 5208 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 42244
[startup+6.30028 s]
/proc/loadavg: 2.00 2.18 3.31 3/177 1307
/proc/meminfo: memFree=29445312/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=33096 CPUtime=6.29 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 6793 0 0 0 628 1 0 0 20 0 1 0 391194454 33890304 4634 33554432000 134512640 146736320 4287508032 4287502056 139044585 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 8274 4634 780 2985 0 5208 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 42244
[startup+12.7003 s]
/proc/loadavg: 2.00 2.18 3.30 3/177 1307
/proc/meminfo: memFree=29444980/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=33096 CPUtime=12.69 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 6797 0 0 0 1268 1 0 0 20 0 1 0 391194454 33890304 4638 33554432000 134512640 146736320 4287508032 4287502056 139044542 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 8274 4638 780 2985 0 5208 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 42244
[startup+25.5002 s]
/proc/loadavg: 2.00 2.17 3.28 3/177 1307
/proc/meminfo: memFree=29436936/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=45196 CPUtime=25.49 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 12123 0 0 0 2547 2 0 0 20 0 1 0 391194454 46280704 6868 33554432000 134512640 146736320 4287508032 4287501000 135468165 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 11299 6868 839 2985 0 8233 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 54344
[startup+51.1002 s]
/proc/loadavg: 2.00 2.15 3.25 3/177 1307
/proc/meminfo: memFree=29438280/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=37892 CPUtime=51.08 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 14832 0 0 0 5105 3 0 0 20 0 1 0 391194454 38801408 6493 33554432000 134512640 146736320 4287508032 4287501700 136385172 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 9473 6493 841 2985 0 6407 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 47040
[startup+102.306 s]
/proc/loadavg: 2.00 2.13 3.18 3/177 1307
/proc/meminfo: memFree=29437784/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=38232 CPUtime=102.28 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 14907 0 0 0 10225 3 0 0 20 0 1 0 391194454 39149568 6568 33554432000 134512640 146736320 4287508032 4287502224 136403117 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 9558 6568 843 2985 0 6492 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 47380
[startup+162.3 s]
/proc/loadavg: 2.00 2.10 3.10 3/177 1308
/proc/meminfo: memFree=29437408/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=38232 CPUtime=162.26 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 14907 0 0 0 16223 3 0 0 20 0 1 0 391194454 39149568 6568 33554432000 134512640 146736320 4287508032 4287501836 135846768 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 9558 6568 843 2985 0 6492 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 47380
[startup+222.3 s]
/proc/loadavg: 2.00 2.08 3.03 3/184 1315
/proc/meminfo: memFree=29398540/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=165072 CPUtime=222.25 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 26802 0 0 0 22220 5 0 0 20 0 8 0 391194454 169033728 16316 33554432000 134512640 146736320 4287508032 4287500888 136008642 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 41268 16316 902 2985 0 38202 0
[pid=1306/tid=1309] ppid=1305 vsize=165072 CPUtime=0 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) S 1305 1305 32287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391211933 169033728 16316 33554432000 134512640 146736320 4287508032 4126854800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=165072 CPUtime=0 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) S 1305 1305 32287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391211933 169033728 16316 33554432000 134512640 146736320 4287508032 4116369040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=165072 CPUtime=0 cores=0,2,4,6
/proc/1306/task/1311/stat : 1311 (pb_cplex) S 1305 1305 32287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391211933 169033728 16316 33554432000 134512640 146736320 4287508032 4105883280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=1306/tid=1312] ppid=1305 vsize=165072 CPUtime=0 cores=0,2,4,6
/proc/1306/task/1312/stat : 1312 (pb_cplex) S 1305 1305 32287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391211933 169033728 16316 33554432000 134512640 146736320 4287508032 4095397520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1313] ppid=1305 vsize=165072 CPUtime=0 cores=0,2,4,6
/proc/1306/task/1313/stat : 1313 (pb_cplex) S 1305 1305 32287 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 391211933 169033728 16316 33554432000 134512640 146736320 4287508032 4084911760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1314] ppid=1305 vsize=165072 CPUtime=0 cores=0,2,4,6
/proc/1306/task/1314/stat : 1314 (pb_cplex) S 1305 1305 32287 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391211933 169033728 16316 33554432000 134512640 146736320 4287508032 4074426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1315] ppid=1305 vsize=165072 CPUtime=0 cores=0,2,4,6
/proc/1306/task/1315/stat : 1315 (pb_cplex) S 1305 1305 32287 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391211933 169033728 16316 33554432000 134512640 146736320 4287508032 4063940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 174220
[startup+282.3 s]
/proc/loadavg: 5.96 3.14 3.33 10/184 1315
/proc/meminfo: memFree=29362828/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=209540 CPUtime=432.29 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 41923 0 0 0 43218 11 0 0 20 0 8 0 391194454 214568960 25374 33554432000 134512640 146736320 4287508032 4287500888 136009164 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 52385 25374 902 2985 0 49319 0
[pid=1306/tid=1309] ppid=1305 vsize=209540 CPUtime=24.8 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) R 1305 1305 32287 0 -1 4202560 1541 0 0 0 2480 0 0 0 20 0 8 0 391211933 214568960 25374 33554432000 134512640 146736320 4287508032 4126851140 136385179 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=209540 CPUtime=25.05 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) R 1305 1305 32287 0 -1 4202560 1279 0 0 0 2505 0 0 0 20 0 8 0 391211933 214568960 25374 33554432000 134512640 146736320 4287508032 4116365520 136008020 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=209540 CPUtime=24.8 cores=0,2,4,6
################
# More data... #
################
/proc/1306/statm: 52431 29261 908 2985 0 49365 0
[pid=1306/tid=1309] ppid=1305 vsize=209724 CPUtime=83.39 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1544 0 0 0 8338 1 0 0 20 0 8 0 391211933 214757376 29261 33554432000 134512640 146736320 4287508032 4126854800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=209724 CPUtime=205.29 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) R 1305 1305 32287 0 -1 4202560 2412 0 0 0 20525 4 0 0 20 0 8 0 391211933 214757376 29261 33554432000 134512640 146736320 4287508032 4116365552 136485507 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=209724 CPUtime=66.59 cores=0,2,4,6
/proc/1306/task/1311/stat : 1311 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1516 0 0 0 6657 2 0 0 20 0 8 0 391211933 214757376 29261 33554432000 134512640 146736320 4287508032 4105883280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1312] ppid=1305 vsize=209724 CPUtime=118.21 cores=0,2,4,6
/proc/1306/task/1312/stat : 1312 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1381 0 0 0 11819 2 0 0 20 0 8 0 391211933 214757376 29261 33554432000 134512640 146736320 4287508032 4095397520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1306/tid=1313] ppid=1305 vsize=209724 CPUtime=114.29 cores=0,2,4,6
/proc/1306/task/1313/stat : 1313 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1474 0 0 0 11427 2 0 0 20 0 8 0 391211933 214757376 29261 33554432000 134512640 146736320 4287508032 4084911760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1314] ppid=1305 vsize=209724 CPUtime=72.34 cores=0,2,4,6
/proc/1306/task/1314/stat : 1314 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1683 0 0 0 7232 2 0 0 20 0 8 0 391211933 214757376 29261 33554432000 134512640 146736320 4287508032 4074426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1315] ppid=1305 vsize=209724 CPUtime=148.69 cores=0,2,4,6
/proc/1306/task/1315/stat : 1315 (pb_cplex) S 1305 1305 32287 0 -1 4202560 11318 0 0 0 14864 5 0 0 20 0 8 0 391211933 214757376 29261 33554432000 134512640 146736320 4287508032 4063940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1163.88
Current children cumulated vsize (KiB) 218872
[startup+582.3 s]
/proc/loadavg: 2.50 3.90 3.75 3/184 1319
/proc/meminfo: memFree=29346580/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=209540 CPUtime=1223.86 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) S 1305 1305 32287 0 -1 4202496 48443 0 0 0 122369 17 0 0 20 0 8 0 391194454 214568960 29229 33554432000 134512640 146736320 4287508032 4287504400 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/1306/statm: 52385 29229 908 2985 0 49319 0
[pid=1306/tid=1309] ppid=1305 vsize=209540 CPUtime=83.39 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1544 0 0 0 8338 1 0 0 20 0 8 0 391211933 214568960 29229 33554432000 134512640 146736320 4287508032 4126854800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=209540 CPUtime=265.14 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) R 1305 1305 32287 0 -1 4202560 2581 0 0 0 26508 6 0 0 20 0 8 0 391211933 214568960 29229 33554432000 134512640 146736320 4287508032 4116365352 139044509 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=209540 CPUtime=66.59 cores=0,2,4,6
/proc/1306/task/1311/stat : 1311 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1516 0 0 0 6657 2 0 0 20 0 8 0 391211933 214568960 29229 33554432000 134512640 146736320 4287508032 4105883280 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1312] ppid=1305 vsize=209540 CPUtime=118.21 cores=0,2,4,6
/proc/1306/task/1312/stat : 1312 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1381 0 0 0 11819 2 0 0 20 0 8 0 391211933 214568960 29229 33554432000 134512640 146736320 4287508032 4095397520 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=1306/tid=1313] ppid=1305 vsize=209540 CPUtime=114.29 cores=0,2,4,6
/proc/1306/task/1313/stat : 1313 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1474 0 0 0 11427 2 0 0 20 0 8 0 391211933 214568960 29229 33554432000 134512640 146736320 4287508032 4084911760 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1314] ppid=1305 vsize=209540 CPUtime=72.34 cores=0,2,4,6
/proc/1306/task/1314/stat : 1314 (pb_cplex) S 1305 1305 32287 0 -1 4202560 1683 0 0 0 7232 2 0 0 20 0 8 0 391211933 214568960 29229 33554432000 134512640 146736320 4287508032 4074426000 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1315] ppid=1305 vsize=209540 CPUtime=148.69 cores=0,2,4,6
/proc/1306/task/1315/stat : 1315 (pb_cplex) S 1305 1305 32287 0 -1 4202560 11318 0 0 0 14864 5 0 0 20 0 8 0 391211933 214568960 29229 33554432000 134512640 146736320 4287508032 4063940240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1223.86
Current children cumulated vsize (KiB) 218688
[startup+642.3 s]
/proc/loadavg: 6.39 4.73 4.04 10/183 1319
/proc/meminfo: memFree=29345224/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=210564 CPUtime=1455.26 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 66150 0 0 0 145501 25 0 0 20 0 8 0 391194454 215617536 29457 33554432000 134512640 146736320 4287508032 4287500744 139042902 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1306/statm: 52641 29457 909 2985 0 49575 0
[pid=1306/tid=1309] ppid=1305 vsize=210564 CPUtime=112 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4227 0 0 0 11198 2 0 0 20 0 8 0 391211933 215617536 29457 33554432000 134512640 146736320 4287508032 4126851140 136385185 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=210564 CPUtime=296.45 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) R 1305 1305 32287 0 -1 4202560 2582 0 0 0 29639 6 0 0 20 0 8 0 391211933 215617536 29457 33554432000 134512640 146736320 4287508032 4116365352 139044591 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=210564 CPUtime=95.07 cores=0,2,4,6
/proc/1306/task/1311/stat : 1311 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4430 0 0 0 9504 3 0 0 20 0 8 0 391211933 215617536 29457 33554432000 134512640 146736320 4287508032 4105880008 136000415 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1312] ppid=1305 vsize=210564 CPUtime=146.53 cores=0,2,4,6
/proc/1306/task/1312/stat : 1312 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4833 0 0 0 14649 4 0 0 20 0 8 0 391211933 215617536 29457 33554432000 134512640 146736320 4287508032 4095393904 136384854 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1313] ppid=1305 vsize=210564 CPUtime=142.91 cores=0,2,4,6
/proc/1306/task/1313/stat : 1313 (pb_cplex) R 1305 1305 32287 0 -1 4202560 1474 0 0 0 14288 3 0 0 20 0 8 0 391211933 215617536 29457 33554432000 134512640 146736320 4287508032 4084908104 139042897 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1306/tid=1314] ppid=1305 vsize=210564 CPUtime=100.83 cores=0,2,4,6
/proc/1306/task/1314/stat : 1314 (pb_cplex) R 1305 1305 32287 0 -1 4202560 3438 0 0 0 10080 3 0 0 20 0 8 0 391211933 215617536 29457 33554432000 134512640 146736320 4287508032 4074422320 136384861 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1306/tid=1315] ppid=1305 vsize=210564 CPUtime=177.26 cores=0,2,4,6
/proc/1306/task/1315/stat : 1315 (pb_cplex) R 1305 1305 32287 0 -1 4202560 18220 0 0 0 17718 8 0 0 20 0 8 0 391211933 215617536 29457 33554432000 134512640 146736320 4287508032 4063936552 139044505 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1455.26
Current children cumulated vsize (KiB) 219712
[startup+702.3 s]
/proc/loadavg: 8.04 5.50 4.35 10/184 1320
/proc/meminfo: memFree=29344472/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=210880 CPUtime=1694.87 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 67075 0 0 0 169460 27 0 0 20 0 8 0 391194454 215941120 29554 33554432000 134512640 146736320 4287508032 4287500728 136475864 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/1306/statm: 52720 29554 909 2985 0 49654 0
[pid=1306/tid=1309] ppid=1305 vsize=210880 CPUtime=142.12 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4241 0 0 0 14208 4 0 0 20 0 8 0 391211933 215941120 29554 33554432000 134512640 146736320 4287508032 4126851528 136001985 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=210880 CPUtime=326.5 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) R 1305 1305 32287 0 -1 4202560 3323 0 0 0 32644 6 0 0 20 0 8 0 391211933 215941120 29554 33554432000 134512640 146736320 4287508032 4116365752 136055875 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=210880 CPUtime=124.76 cores=0,2,4,6
/proc/1306/task/1311/stat : 1311 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4436 0 0 0 12473 3 0 0 20 0 8 0 391211933 215941120 29554 33554432000 134512640 146736320 4287508032 4105878700 135454103 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1312] ppid=1305 vsize=210880 CPUtime=176.15 cores=0,2,4,6
/proc/1306/task/1312/stat : 1312 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4835 0 0 0 17611 4 0 0 20 0 8 0 391211933 215941120 29554 33554432000 134512640 146736320 4287508032 4095394380 139028303 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1313] ppid=1305 vsize=210880 CPUtime=172.69 cores=0,2,4,6
/proc/1306/task/1313/stat : 1313 (pb_cplex) R 1305 1305 32287 0 -1 4202560 1634 0 0 0 17266 3 0 0 20 0 8 0 391211933 215941120 29554 33554432000 134512640 146736320 4287508032 4084908624 136403117 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1306/tid=1314] ppid=1305 vsize=210880 CPUtime=130.51 cores=0,2,4,6
/proc/1306/task/1314/stat : 1314 (pb_cplex) R 1305 1305 32287 0 -1 4202560 3438 0 0 0 13048 3 0 0 20 0 8 0 391211933 215941120 29554 33554432000 134512640 146736320 4287508032 4074422864 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=1306/tid=1315] ppid=1305 vsize=210880 CPUtime=207.22 cores=0,2,4,6
/proc/1306/task/1315/stat : 1315 (pb_cplex) R 1305 1305 32287 0 -1 4202560 18222 0 0 0 20713 9 0 0 20 0 8 0 391211933 215941120 29554 33554432000 134512640 146736320 4287508032 4063936664 136006662 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1694.87
Current children cumulated vsize (KiB) 220028
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+728.7 s]
/proc/loadavg: 8.42 5.84 4.49 10/184 1320
/proc/meminfo: memFree=29342236/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=212180 CPUtime=1800.32 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 69889 0 0 0 180003 29 0 0 20 0 8 0 391194454 217272320 30097 33554432000 134512640 146736320 4287508032 4287499364 135857498 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1306/statm: 53045 30097 909 2985 0 49979 0
[pid=1306/tid=1309] ppid=1305 vsize=212180 CPUtime=155.23 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4828 0 0 0 15519 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4126850172 135446350 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=212180 CPUtime=339.61 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) R 1305 1305 32287 0 -1 4202560 3921 0 0 0 33953 8 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4116365352 139044510 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=212180 CPUtime=137.68 cores=0,2,4,6
/proc/1306/task/1311/stat : 1311 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4482 0 0 0 13764 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4105878708 138462803 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1312] ppid=1305 vsize=212180 CPUtime=189.4 cores=0,2,4,6
/proc/1306/task/1312/stat : 1312 (pb_cplex) R 1305 1305 32287 0 -1 4202560 5553 0 0 0 18936 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4095393860 136385172 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1313] ppid=1305 vsize=212180 CPUtime=185.74 cores=0,2,4,6
/proc/1306/task/1313/stat : 1313 (pb_cplex) R 1305 1305 32287 0 -1 4202560 1647 0 0 0 18571 3 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4084908620 139028298 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1306/tid=1314] ppid=1305 vsize=212180 CPUtime=143.75 cores=0,2,4,6
/proc/1306/task/1314/stat : 1314 (pb_cplex) R 1305 1305 32287 0 -1 4202560 3454 0 0 0 14371 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4074422728 136000758 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1315] ppid=1305 vsize=212180 CPUtime=220.35 cores=0,2,4,6
/proc/1306/task/1315/stat : 1315 (pb_cplex) R 1305 1305 32287 0 -1 4202560 18931 0 0 0 22026 9 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4063936604 135855167 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 221328
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+728.7 s]
/proc/loadavg: 8.42 5.84 4.49 10/184 1320
/proc/meminfo: memFree=29342236/32873844 swapFree=7124/7124
[pid=1305] ppid=1303 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1305/stat : 1305 (run) S 1303 1305 32287 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391194454 9367552 270 33554432000 4194304 5064252 140735995801088 140735995800000 226329519694 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1305/statm: 2287 270 229 213 0 72 0
[pid=1306] ppid=1305 vsize=212180 CPUtime=1800.32 cores=0,2,4,6
/proc/1306/stat : 1306 (pb_cplex) R 1305 1305 32287 0 -1 4202496 69889 0 0 0 180003 29 0 0 20 0 8 0 391194454 217272320 30097 33554432000 134512640 146736320 4287508032 4287499364 135857498 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/1306/statm: 53045 30097 909 2985 0 49979 0
[pid=1306/tid=1309] ppid=1305 vsize=212180 CPUtime=155.23 cores=0,2,4,6
/proc/1306/task/1309/stat : 1309 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4828 0 0 0 15519 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4126850172 135446350 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1310] ppid=1305 vsize=212180 CPUtime=339.61 cores=0,2,4,6
/proc/1306/task/1310/stat : 1310 (pb_cplex) R 1305 1305 32287 0 -1 4202560 3921 0 0 0 33953 8 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4116365352 139044510 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=1306/tid=1311] ppid=1305 vsize=212180 CPUtime=137.68 cores=0,2,4,6
/proc/1306/task/1311/stat : 1311 (pb_cplex) R 1305 1305 32287 0 -1 4202560 4482 0 0 0 13764 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4105878708 138462803 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1312] ppid=1305 vsize=212180 CPUtime=189.4 cores=0,2,4,6
/proc/1306/task/1312/stat : 1312 (pb_cplex) R 1305 1305 32287 0 -1 4202560 5553 0 0 0 18936 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4095393860 136385172 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1313] ppid=1305 vsize=212180 CPUtime=185.74 cores=0,2,4,6
/proc/1306/task/1313/stat : 1313 (pb_cplex) R 1305 1305 32287 0 -1 4202560 1647 0 0 0 18571 3 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4084908620 139028298 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=1306/tid=1314] ppid=1305 vsize=212180 CPUtime=143.75 cores=0,2,4,6
/proc/1306/task/1314/stat : 1314 (pb_cplex) R 1305 1305 32287 0 -1 4202560 3454 0 0 0 14371 4 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4074422728 136000758 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=1306/tid=1315] ppid=1305 vsize=212180 CPUtime=220.35 cores=0,2,4,6
/proc/1306/task/1315/stat : 1315 (pb_cplex) R 1305 1305 32287 0 -1 4202560 18931 0 0 0 22026 9 0 0 20 0 8 0 391211933 217272320 30097 33554432000 134512640 146736320 4287508032 4063936604 135855167 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.32
Current children cumulated vsize (KiB) 221328
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 1305 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.32
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 728.716
CPU time (s): 1800.32
CPU user time (s): 1800.03
CPU system time (s): 0.29
CPU usage (%): 247.054
Max. virtual memory (cumulated for all children) (KiB): 221924
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.72074 second user time and 4.23536 second system time
The end