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-3737293-1339248629/watcher-3737293-1339248629 -o /tmp/evaluation-result-3737293-1339248629/solver-3737293-1339248629 -C 1800 -W 1900 -M 15500 run HOME/instance-3737293-1339248629.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.59 7.08 5.60 3/178 11627
/proc/meminfo: memFree=28071660/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[startup+0.089496 s]
/proc/loadavg: 6.59 7.08 5.60 3/178 11627
/proc/meminfo: memFree=28071660/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100281 s]
/proc/loadavg: 6.59 7.08 5.60 3/178 11627
/proc/meminfo: memFree=28071660/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 6.59 7.08 5.60 3/178 11627
/proc/meminfo: memFree=28071660/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700223 s]
/proc/loadavg: 6.59 7.08 5.60 3/178 11627
/proc/meminfo: memFree=28071660/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 6.22 7.00 5.58 3/180 11629
/proc/meminfo: memFree=28062840/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=21708 CPUtime=1.49 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) R 11627 11627 10692 0 -1 4202496 5588 0 0 0 149 0 0 0 20 0 1 0 390990139 22228992 2904 33554432000 134512640 146736320 4286598624 4286590672 135460548 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/11628/statm: 5427 2904 893 2985 0 2361 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 30856
[startup+3.10038 s]
/proc/loadavg: 6.22 7.00 5.58 9/187 11636
/proc/meminfo: memFree=28047424/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=116620 CPUtime=5.64 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) R 11627 11627 10692 0 -1 4202496 10205 0 0 0 562 2 0 0 20 0 8 0 390990139 119418880 7292 33554432000 134512640 146736320 4286598624 4286591336 139044580 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11628/statm: 29155 7292 927 2985 0 26089 0
[pid=11628/tid=11630] ppid=11627 vsize=116620 CPUtime=0.7 cores=0,2,4,6
/proc/11628/task/11630/stat : 11630 (pb_cplex) R 11627 11627 10692 0 -1 4202560 262 0 0 0 70 0 0 0 20 0 8 0 390990307 119418880 7292 33554432000 134512640 146736320 4286598624 4150211560 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11631] ppid=11627 vsize=116620 CPUtime=0.68 cores=0,2,4,6
/proc/11628/task/11631/stat : 11631 (pb_cplex) R 11627 11627 10692 0 -1 4202560 301 0 0 0 68 0 0 0 20 0 8 0 390990307 119418880 7292 33554432000 134512640 146736320 4286598624 4139725008 136008050 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11632] ppid=11627 vsize=116620 CPUtime=0.43 cores=0,2,4,6
/proc/11628/task/11632/stat : 11632 (pb_cplex) R 11627 11627 10692 0 -1 4202560 309 0 0 0 43 0 0 0 20 0 8 0 390990307 119418880 7292 33554432000 134512640 146736320 4286598624 4129239080 139044581 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11633] ppid=11627 vsize=116620 CPUtime=0.35 cores=0,2,4,6
/proc/11628/task/11633/stat : 11633 (pb_cplex) R 11627 11627 10692 0 -1 4202560 344 0 0 0 35 0 0 0 20 0 8 0 390990307 119418880 7292 33554432000 134512640 146736320 4286598624 4118753872 136403112 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11634] ppid=11627 vsize=116620 CPUtime=0.38 cores=0,2,4,6
/proc/11628/task/11634/stat : 11634 (pb_cplex) R 11627 11627 10692 0 -1 4202560 462 0 0 0 38 0 0 0 20 0 8 0 390990307 119418880 7292 33554432000 134512640 146736320 4286598624 4108268112 136403112 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11635] ppid=11627 vsize=116620 CPUtime=0.35 cores=0,2,4,6
/proc/11628/task/11635/stat : 11635 (pb_cplex) R 11627 11627 10692 0 -1 4202560 353 0 0 0 35 0 0 0 20 0 8 0 390990307 119418880 7292 33554432000 134512640 146736320 4286598624 4097781968 136008170 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11636] ppid=11627 vsize=116620 CPUtime=0.36 cores=0,2,4,6
/proc/11628/task/11636/stat : 11636 (pb_cplex) R 11627 11627 10692 0 -1 4202560 338 0 0 0 36 0 0 0 20 0 8 0 390990307 119418880 7292 33554432000 134512640 146736320 4286598624 4087295240 139042981 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 5.64
Current children cumulated vsize (KiB) 125768
[startup+6.30022 s]
/proc/loadavg: 6.22 7.00 5.58 3/180 11636
/proc/meminfo: memFree=28047608/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=82592 CPUtime=11.92 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) R 11627 11627 10692 0 -1 4202496 11427 0 0 0 1184 8 0 0 20 0 1 0 390990139 84574208 6641 33554432000 134512640 146736320 4286598624 4286592712 136000487 0 0 4096 16387 0 0 0 17 0 0 0 0 0 0
/proc/11628/statm: 20648 6641 931 2985 0 17582 0
Current children cumulated CPU time (s) 11.92
Current children cumulated vsize (KiB) 91740
[startup+12.7004 s]
/proc/loadavg: 6.21 6.97 5.58 7/187 11650
/proc/meminfo: memFree=28007876/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=170144 CPUtime=28.71 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) R 11627 11627 10692 0 -1 4202496 26480 0 0 0 2850 21 0 0 20 0 8 0 390990139 174227456 16958 33554432000 134512640 146736320 4286598624 4286592296 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11628/statm: 42536 16958 952 2985 0 39470 0
[pid=11628/tid=11644] ppid=11627 vsize=170144 CPUtime=1.59 cores=0,2,4,6
/proc/11628/task/11644/stat : 11644 (pb_cplex) S 11627 11627 10692 0 -1 4202560 875 0 0 0 159 0 0 0 20 0 8 0 390990796 174227456 16958 33554432000 134512640 146736320 4286598624 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11645] ppid=11627 vsize=170144 CPUtime=1.67 cores=0,2,4,6
/proc/11628/task/11645/stat : 11645 (pb_cplex) S 11627 11627 10692 0 -1 4202560 812 0 0 0 167 0 0 0 20 0 8 0 390990796 174227456 16958 33554432000 134512640 146736320 4286598624 4135964304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11646] ppid=11627 vsize=170144 CPUtime=1.92 cores=0,2,4,6
/proc/11628/task/11646/stat : 11646 (pb_cplex) S 11627 11627 10692 0 -1 4202560 706 0 0 0 192 0 0 0 20 0 8 0 390990796 174227456 16958 33554432000 134512640 146736320 4286598624 4146450064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11647] ppid=11627 vsize=170144 CPUtime=1.82 cores=0,2,4,6
/proc/11628/task/11647/stat : 11647 (pb_cplex) R 11627 11627 10692 0 -1 4202560 25 0 0 0 182 0 0 0 20 0 8 0 390990796 174227456 16958 33554432000 134512640 146736320 4286598624 4118753044 135982866 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11648] ppid=11627 vsize=170144 CPUtime=1.47 cores=0,2,4,6
/proc/11628/task/11648/stat : 11648 (pb_cplex) R 11627 11627 10692 0 -1 4202560 30 0 0 0 147 0 0 0 20 0 8 0 390990796 174227456 16958 33554432000 134512640 146736320 4286598624 4048150984 136001996 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11649] ppid=11627 vsize=170144 CPUtime=1.43 cores=0,2,4,6
/proc/11628/task/11649/stat : 11649 (pb_cplex) R 11627 11627 10692 0 -1 4202560 541 0 0 0 143 0 0 0 20 0 8 0 390990796 174227456 16958 33554432000 134512640 146736320 4286598624 4037664272 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11650] ppid=11627 vsize=170144 CPUtime=1.43 cores=0,2,4,6
/proc/11628/task/11650/stat : 11650 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1200 0 0 0 143 0 0 0 20 0 8 0 390990796 174227456 16958 33554432000 134512640 146736320 4286598624 4027178128 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 28.71
Current children cumulated vsize (KiB) 179292
[startup+25.5004 s]
/proc/loadavg: 6.64 7.03 5.62 10/187 11650
/proc/meminfo: memFree=28004432/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=173216 CPUtime=73.1 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) R 11627 11627 10692 0 -1 4202496 29118 0 0 0 7272 38 0 0 20 0 8 0 390990139 177373184 17494 33554432000 134512640 146736320 4286598624 4286592296 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11628/statm: 43304 17494 952 2985 0 40238 0
[pid=11628/tid=11644] ppid=11627 vsize=173216 CPUtime=7.06 cores=0,2,4,6
/proc/11628/task/11644/stat : 11644 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1457 0 0 0 704 2 0 0 20 0 8 0 390990796 177373184 17494 33554432000 134512640 146736320 4286598624 4070563880 139044499 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11645] ppid=11627 vsize=173216 CPUtime=7.43 cores=0,2,4,6
/proc/11628/task/11645/stat : 11645 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1613 0 0 0 741 2 0 0 20 0 8 0 390990796 177373184 17494 33554432000 134512640 146736320 4286598624 4135959744 135468707 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11646] ppid=11627 vsize=173216 CPUtime=7.32 cores=0,2,4,6
/proc/11628/task/11646/stat : 11646 (pb_cplex) R 11627 11627 10692 0 -1 4202560 928 0 0 0 730 2 0 0 20 0 8 0 390990796 177373184 17494 33554432000 134512640 146736320 4286598624 4146446544 136008168 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11647] ppid=11627 vsize=173216 CPUtime=7.36 cores=0,2,4,6
/proc/11628/task/11647/stat : 11647 (pb_cplex) R 11627 11627 10692 0 -1 4202560 25 0 0 0 734 2 0 0 20 0 8 0 390990796 177373184 17494 33554432000 134512640 146736320 4286598624 4118753352 139042876 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11648] ppid=11627 vsize=173216 CPUtime=7.19 cores=0,2,4,6
/proc/11628/task/11648/stat : 11648 (pb_cplex) R 11627 11627 10692 0 -1 4202560 31 0 0 0 717 2 0 0 20 0 8 0 390990796 177373184 17494 33554432000 134512640 146736320 4286598624 4048152512 137088755 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11649] ppid=11627 vsize=173216 CPUtime=6.72 cores=0,2,4,6
/proc/11628/task/11649/stat : 11649 (pb_cplex) R 11627 11627 10692 0 -1 4202560 610 0 0 0 670 2 0 0 20 0 8 0 390990796 177373184 17494 33554432000 134512640 146736320 4286598624 4037663412 135450444 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11650] ppid=11627 vsize=173216 CPUtime=6.78 cores=0,2,4,6
/proc/11628/task/11650/stat : 11650 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1987 0 0 0 675 3 0 0 20 0 8 0 390990796 177373184 17494 33554432000 134512640 146736320 4286598624 4027180008 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 73.1
Current children cumulated vsize (KiB) 182364
[startup+51.1004 s]
/proc/loadavg: 6.83 7.06 5.67 3/193 11717
/proc/meminfo: memFree=29485876/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=183456 CPUtime=160.42 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) S 11627 11627 10692 0 -1 4202496 38698 0 0 0 15975 67 0 0 20 0 8 0 390990139 187858944 20272 33554432000 134512640 146736320 4286598624 4286595024 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11628/statm: 45864 20272 955 2985 0 42798 0
[pid=11628/tid=11644] ppid=11627 vsize=183456 CPUtime=21.24 cores=0,2,4,6
/proc/11628/task/11644/stat : 11644 (pb_cplex) R 11627 11627 10692 0 -1 4202560 2994 0 0 0 2119 5 0 0 20 0 8 0 390990796 187858944 20272 33554432000 134512640 146736320 4286598624 4070561180 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11645] ppid=11627 vsize=183456 CPUtime=18.89 cores=0,2,4,6
/proc/11628/task/11645/stat : 11645 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4237 0 0 0 1883 6 0 0 20 0 8 0 390990796 187858944 20272 33554432000 134512640 146736320 4286598624 4135964304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11646] ppid=11627 vsize=183456 CPUtime=18.17 cores=0,2,4,6
/proc/11628/task/11646/stat : 11646 (pb_cplex) S 11627 11627 10692 0 -1 4202560 1713 0 0 0 1811 6 0 0 20 0 8 0 390990796 187858944 20272 33554432000 134512640 146736320 4286598624 4146450064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11647] ppid=11627 vsize=183456 CPUtime=17.59 cores=0,2,4,6
/proc/11628/task/11647/stat : 11647 (pb_cplex) S 11627 11627 10692 0 -1 4202560 509 0 0 0 1754 5 0 0 20 0 8 0 390990796 187858944 20272 33554432000 134512640 146736320 4286598624 4118757008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11648] ppid=11627 vsize=183456 CPUtime=19.38 cores=0,2,4,6
/proc/11628/task/11648/stat : 11648 (pb_cplex) S 11627 11627 10692 0 -1 4202560 1903 0 0 0 1933 5 0 0 20 0 8 0 390990796 187858944 20272 33554432000 134512640 146736320 4286598624 4048154256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11649] ppid=11627 vsize=183456 CPUtime=17.56 cores=0,2,4,6
/proc/11628/task/11649/stat : 11649 (pb_cplex) S 11627 11627 10692 0 -1 4202560 1503 0 0 0 1749 7 0 0 20 0 8 0 390990796 187858944 20272 33554432000 134512640 146736320 4286598624 4037668496 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11650] ppid=11627 vsize=183456 CPUtime=13.14 cores=0,2,4,6
/proc/11628/task/11650/stat : 11650 (pb_cplex) S 11627 11627 10692 0 -1 4202560 2741 0 0 0 1309 5 0 0 20 0 8 0 390990796 187858944 20272 33554432000 134512640 146736320 4286598624 4027182736 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 160.42
Current children cumulated vsize (KiB) 192604
############
# WARNING:
# current cumulated CPU time (160.49 s) is less than in the last sample (160.62 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.130005 s) to the 'lost time'.
[startup+51.3004 s]
################
# More data... #
################
[pid=11628/tid=11743] ppid=11627 vsize=226304 CPUtime=100.28 cores=0,2,4,6
/proc/11628/task/11743/stat : 11743 (pb_cplex) S 11627 11627 10692 0 -1 4202560 1855 0 0 0 9971 57 0 0 20 0 8 0 391000738 231735296 35405 33554432000 134512640 146736320 4286598624 4086296208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11744] ppid=11627 vsize=226304 CPUtime=100.73 cores=0,2,4,6
/proc/11628/task/11744/stat : 11744 (pb_cplex) R 11627 11627 10692 0 -1 4202560 2609 0 0 0 10015 58 0 0 20 0 8 0 391000738 231735296 35405 33554432000 134512640 146736320 4286598624 4070563656 135525921 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11745] ppid=11627 vsize=226304 CPUtime=99.35 cores=0,2,4,6
/proc/11628/task/11745/stat : 11745 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1605 0 0 0 9875 60 0 0 20 0 8 0 391000738 231735296 35405 33554432000 134512640 146736320 4286598624 3984581200 136403112 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1153.34
Current children cumulated vsize (KiB) 235452
[startup+402.308 s]
/proc/loadavg: 12.22 9.44 7.11 12/193 11775
/proc/meminfo: memFree=29245280/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=234848 CPUtime=1343.72 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) R 11627 11627 10692 0 -1 4202496 73646 0 0 0 133621 751 0 0 20 0 8 0 390990139 240484352 37698 33554432000 134512640 146736320 4286598624 4286591500 136388921 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11628/statm: 58712 37698 955 2985 0 55646 0
[pid=11628/tid=11739] ppid=11627 vsize=234848 CPUtime=123.15 cores=0,2,4,6
/proc/11628/task/11739/stat : 11739 (pb_cplex) R 11627 11627 10692 0 -1 4202560 3102 0 0 0 12246 69 0 0 20 0 8 0 391000738 240484352 37698 33554432000 134512640 146736320 4286598624 4032816104 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11740] ppid=11627 vsize=234848 CPUtime=123.81 cores=0,2,4,6
/proc/11628/task/11740/stat : 11740 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1924 0 0 0 12306 75 0 0 20 0 8 0 391000738 240484352 37698 33554432000 134512640 146736320 4286598624 4043301864 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11741] ppid=11627 vsize=234848 CPUtime=124.69 cores=0,2,4,6
/proc/11628/task/11741/stat : 11741 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1081 0 0 0 12394 75 0 0 20 0 8 0 391000738 240484352 37698 33554432000 134512640 146736320 4286598624 4053787624 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11742] ppid=11627 vsize=234848 CPUtime=122.63 cores=0,2,4,6
/proc/11628/task/11742/stat : 11742 (pb_cplex) R 11627 11627 10692 0 -1 4202560 2599 0 0 0 12193 70 0 0 20 0 8 0 391000738 240484352 37698 33554432000 134512640 146736320 4286598624 4118757008 144580073 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11743] ppid=11627 vsize=234848 CPUtime=124.18 cores=0,2,4,6
/proc/11628/task/11743/stat : 11743 (pb_cplex) S 11627 11627 10692 0 -1 4202560 2759 0 0 0 12347 71 0 0 20 0 8 0 391000738 240484352 37698 33554432000 134512640 146736320 4286598624 4086296208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11744] ppid=11627 vsize=234848 CPUtime=124.28 cores=0,2,4,6
/proc/11628/task/11744/stat : 11744 (pb_cplex) S 11627 11627 10692 0 -1 4202560 3261 0 0 0 12357 71 0 0 20 0 8 0 391000738 240484352 37698 33554432000 134512640 146736320 4286598624 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11745] ppid=11627 vsize=234848 CPUtime=122.83 cores=0,2,4,6
/proc/11628/task/11745/stat : 11745 (pb_cplex) S 11627 11627 10692 0 -1 4202560 2486 0 0 0 12207 76 0 0 20 0 8 0 391000738 240484352 37698 33554432000 134512640 146736320 4286598624 3984584336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1343.72
Current children cumulated vsize (KiB) 243996
[startup+462.3 s]
/proc/loadavg: 12.20 9.86 7.39 15/193 11775
/proc/meminfo: memFree=29245644/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=246084 CPUtime=1551.07 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) R 11627 11627 10692 0 -1 4202496 80863 0 0 0 154233 874 0 0 20 0 8 0 390990139 251990016 40510 33554432000 134512640 146736320 4286598624 4286592296 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11628/statm: 61521 40510 955 2985 0 58455 0
[pid=11628/tid=11739] ppid=11627 vsize=246084 CPUtime=148.85 cores=0,2,4,6
/proc/11628/task/11739/stat : 11739 (pb_cplex) R 11627 11627 10692 0 -1 4202560 4034 0 0 0 14798 87 0 0 20 0 8 0 391000738 251990016 40510 33554432000 134512640 146736320 4286598624 4032814792 136002914 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11740] ppid=11627 vsize=246084 CPUtime=149.67 cores=0,2,4,6
/proc/11628/task/11740/stat : 11740 (pb_cplex) R 11627 11627 10692 0 -1 4202560 2770 0 0 0 14875 92 0 0 20 0 8 0 391000738 251990016 40510 33554432000 134512640 146736320 4286598624 4043301072 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11741] ppid=11627 vsize=246084 CPUtime=150.25 cores=0,2,4,6
/proc/11628/task/11741/stat : 11741 (pb_cplex) R 11627 11627 10692 0 -1 4202560 1962 0 0 0 14934 91 0 0 20 0 8 0 391000738 251990016 40510 33554432000 134512640 146736320 4286598624 4053786832 136008178 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11742] ppid=11627 vsize=246084 CPUtime=148.27 cores=0,2,4,6
/proc/11628/task/11742/stat : 11742 (pb_cplex) R 11627 11627 10692 0 -1 4202560 3230 0 0 0 14741 86 0 0 20 0 8 0 391000738 251990016 40510 33554432000 134512640 146736320 4286598624 4118753488 136008100 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11743] ppid=11627 vsize=246084 CPUtime=150.12 cores=0,2,4,6
/proc/11628/task/11743/stat : 11743 (pb_cplex) R 11627 11627 10692 0 -1 4202560 3474 0 0 0 14926 86 0 0 20 0 8 0 391000738 251990016 40510 33554432000 134512640 146736320 4286598624 4086292688 136008065 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11744] ppid=11627 vsize=246084 CPUtime=150.27 cores=0,2,4,6
/proc/11628/task/11744/stat : 11744 (pb_cplex) R 11627 11627 10692 0 -1 4202560 4164 0 0 0 14943 84 0 0 20 0 8 0 391000738 251990016 40510 33554432000 134512640 146736320 4286598624 4070564048 136008160 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11745] ppid=11627 vsize=246084 CPUtime=148.44 cores=0,2,4,6
/proc/11628/task/11745/stat : 11745 (pb_cplex) R 11627 11627 10692 0 -1 4202560 3601 0 0 0 14749 95 0 0 20 0 8 0 391000738 251990016 40510 33554432000 134512640 146736320 4286598624 3984580816 136008157 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1551.07
Current children cumulated vsize (KiB) 255232
[startup+522.3 s]
/proc/loadavg: 12.57 10.48 7.77 12/193 11775
/proc/meminfo: memFree=29225856/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=257316 CPUtime=1744.2 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) S 11627 11627 10692 0 -1 4202496 89155 0 0 0 173431 989 0 0 20 0 8 0 390990139 263491584 43456 33554432000 134512640 146736320 4286598624 4286595024 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11628/statm: 64329 43456 955 2985 0 61263 0
[pid=11628/tid=11739] ppid=11627 vsize=257316 CPUtime=172.4 cores=0,2,4,6
/proc/11628/task/11739/stat : 11739 (pb_cplex) R 11627 11627 10692 0 -1 4202560 5217 0 0 0 17139 101 0 0 20 0 8 0 391000738 263491584 43456 33554432000 134512640 146736320 4286598624 4032815560 136000176 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11740] ppid=11627 vsize=257316 CPUtime=173.99 cores=0,2,4,6
/proc/11628/task/11740/stat : 11740 (pb_cplex) S 11627 11627 10692 0 -1 4202560 3848 0 0 0 17291 108 0 0 20 0 8 0 391000738 263491584 43456 33554432000 134512640 146736320 4286598624 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11741] ppid=11627 vsize=257316 CPUtime=174.32 cores=0,2,4,6
/proc/11628/task/11741/stat : 11741 (pb_cplex) R 11627 11627 10692 0 -1 4202560 2931 0 0 0 17329 103 0 0 20 0 8 0 391000738 263491584 43456 33554432000 134512640 146736320 4286598624 4053787216 136403109 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11742] ppid=11627 vsize=257316 CPUtime=171.82 cores=0,2,4,6
/proc/11628/task/11742/stat : 11742 (pb_cplex) R 11627 11627 10692 0 -1 4202560 4324 0 0 0 17080 102 0 0 20 0 8 0 391000738 263491584 43456 33554432000 134512640 146736320 4286598624 4118753320 139044509 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11743] ppid=11627 vsize=257316 CPUtime=174.14 cores=0,2,4,6
/proc/11628/task/11743/stat : 11743 (pb_cplex) R 11627 11627 10692 0 -1 4202560 4447 0 0 0 17314 100 0 0 20 0 8 0 391000738 263491584 43456 33554432000 134512640 146736320 4286598624 4086292688 136008450 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11744] ppid=11627 vsize=257316 CPUtime=174.32 cores=0,2,4,6
/proc/11628/task/11744/stat : 11744 (pb_cplex) R 11627 11627 10692 0 -1 4202560 4684 0 0 0 17332 100 0 0 20 0 8 0 391000738 263491584 43456 33554432000 134512640 146736320 4286598624 4070563752 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11628/tid=11745] ppid=11627 vsize=257316 CPUtime=172.11 cores=0,2,4,6
/proc/11628/task/11745/stat : 11745 (pb_cplex) R 11627 11627 10692 0 -1 4202560 4781 0 0 0 17103 108 0 0 20 0 8 0 391000738 263491584 43456 33554432000 134512640 146736320 4286598624 3984581200 136403109 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1744.2
Current children cumulated vsize (KiB) 266464
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+539.5 s]
/proc/loadavg: 13.12 10.70 7.88 10/193 11775
/proc/meminfo: memFree=29223748/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=261964 CPUtime=1800.08 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) S 11627 11627 10692 0 -1 4202496 90725 0 0 0 178984 1024 0 0 20 0 8 0 390990139 268251136 44368 33554432000 134512640 146736320 4286598624 4286595024 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11628/statm: 65491 44368 955 2985 0 62425 0
[pid=11628/tid=11739] ppid=11627 vsize=261964 CPUtime=179.24 cores=0,2,4,6
/proc/11628/task/11739/stat : 11739 (pb_cplex) R 11627 11627 10692 0 -1 4202560 5402 0 0 0 17819 105 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4032814424 136007289 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11740] ppid=11627 vsize=261964 CPUtime=180.98 cores=0,2,4,6
/proc/11628/task/11740/stat : 11740 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4083 0 0 0 17986 112 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11741] ppid=11627 vsize=261964 CPUtime=181.16 cores=0,2,4,6
/proc/11628/task/11741/stat : 11741 (pb_cplex) S 11627 11627 10692 0 -1 4202560 3199 0 0 0 18008 108 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11742] ppid=11627 vsize=261964 CPUtime=178.67 cores=0,2,4,6
/proc/11628/task/11742/stat : 11742 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4430 0 0 0 17761 106 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4118757008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11743] ppid=11627 vsize=261964 CPUtime=180.96 cores=0,2,4,6
/proc/11628/task/11743/stat : 11743 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4644 0 0 0 17993 103 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4086296208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11744] ppid=11627 vsize=261964 CPUtime=181.32 cores=0,2,4,6
/proc/11628/task/11744/stat : 11744 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4762 0 0 0 18026 106 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11745] ppid=11627 vsize=261964 CPUtime=179.09 cores=0,2,4,6
/proc/11628/task/11745/stat : 11745 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4982 0 0 0 17796 113 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 3984584336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 271112
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+539.5 s]
/proc/loadavg: 13.12 10.70 7.88 10/193 11775
/proc/meminfo: memFree=29223748/32873648 swapFree=7376/7376
[pid=11627] ppid=11625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11627/stat : 11627 (run) S 11625 11627 10692 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 390990139 9367552 269 33554432000 4194304 5064252 140737029610384 140737029609296 213866145358 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/11627/statm: 2287 269 229 213 0 72 0
[pid=11628] ppid=11627 vsize=261964 CPUtime=1800.08 cores=0,2,4,6
/proc/11628/stat : 11628 (pb_cplex) S 11627 11627 10692 0 -1 4202496 90725 0 0 0 178984 1024 0 0 20 0 8 0 390990139 268251136 44368 33554432000 134512640 146736320 4286598624 4286595024 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11628/statm: 65491 44368 955 2985 0 62425 0
[pid=11628/tid=11739] ppid=11627 vsize=261964 CPUtime=179.24 cores=0,2,4,6
/proc/11628/task/11739/stat : 11739 (pb_cplex) R 11627 11627 10692 0 -1 4202560 5402 0 0 0 17819 105 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4032814424 136007289 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11740] ppid=11627 vsize=261964 CPUtime=180.98 cores=0,2,4,6
/proc/11628/task/11740/stat : 11740 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4083 0 0 0 17986 112 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4043304592 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11628/tid=11741] ppid=11627 vsize=261964 CPUtime=181.16 cores=0,2,4,6
/proc/11628/task/11741/stat : 11741 (pb_cplex) S 11627 11627 10692 0 -1 4202560 3199 0 0 0 18008 108 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4053790352 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11742] ppid=11627 vsize=261964 CPUtime=178.67 cores=0,2,4,6
/proc/11628/task/11742/stat : 11742 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4430 0 0 0 17761 106 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4118757008 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11743] ppid=11627 vsize=261964 CPUtime=180.96 cores=0,2,4,6
/proc/11628/task/11743/stat : 11743 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4644 0 0 0 17993 103 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4086296208 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11628/tid=11744] ppid=11627 vsize=261964 CPUtime=181.32 cores=0,2,4,6
/proc/11628/task/11744/stat : 11744 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4762 0 0 0 18026 106 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 4070567568 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11628/tid=11745] ppid=11627 vsize=261964 CPUtime=179.09 cores=0,2,4,6
/proc/11628/task/11745/stat : 11745 (pb_cplex) S 11627 11627 10692 0 -1 4202560 4982 0 0 0 17796 113 0 0 20 0 8 0 391000738 268251136 44368 33554432000 134512640 146736320 4286598624 3984584336 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 271112
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11627 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.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
# lost CPU time (s): 0.130005
# lost CPU user time (s): 0.160004
# lost CPU system time (s): -0.03
Real time (s): 539.532
CPU time (s): 1800.21
CPU user time (s): 1790
CPU system time (s): 10.21
CPU usage (%): 333.662
Max. virtual memory (cumulated for all children) (KiB): 272048
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 353
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.57076 second user time and 3.2555 second system time
The end