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-3739682-1339249161/watcher-3739682-1339249161 -o /tmp/evaluation-result-3739682-1339249161/solver-3739682-1339249161 -C 1800 -W 1900 -M 15500 run HOME/instance-3739682-1339249161.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.27 6.51 4.27 3/177 30430
/proc/meminfo: memFree=29208548/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[startup+0.00968106 s]
/proc/loadavg: 8.27 6.51 4.27 3/177 30430
/proc/meminfo: memFree=29208548/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 8.27 6.51 4.27 3/177 30430
/proc/meminfo: memFree=29208548/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300266 s]
/proc/loadavg: 8.27 6.51 4.27 3/177 30430
/proc/meminfo: memFree=29208548/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700281 s]
/proc/loadavg: 8.27 6.51 4.27 3/177 30430
/proc/meminfo: memFree=29208548/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50028 s]
/proc/loadavg: 8.27 6.51 4.27 3/179 30432
/proc/meminfo: memFree=29166016/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=69440 CPUtime=1.49 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 22488 0 0 0 144 5 0 0 20 0 1 0 391040523 71106560 11531 33554432000 134512640 146736320 4289776624 4289771092 136017777 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 17360 11531 724 2985 0 14294 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 78588
[startup+3.1003 s]
/proc/loadavg: 7.76 6.43 4.25 3/179 30432
/proc/meminfo: memFree=29165272/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=70184 CPUtime=3.09 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 22699 0 0 0 304 5 0 0 20 0 1 0 391040523 71868416 11742 33554432000 134512640 146736320 4289776624 4289771272 139043270 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 17546 11742 724 2985 0 14480 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 79332
[startup+6.30028 s]
/proc/loadavg: 7.76 6.43 4.25 3/179 30432
/proc/meminfo: memFree=29160436/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=83976 CPUtime=6.29 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 28147 0 0 0 620 9 0 0 20 0 1 0 391040523 85991424 14593 33554432000 134512640 146736320 4289776624 4289769660 135526837 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 20994 14593 826 2985 0 17928 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 93124
[startup+12.7003 s]
/proc/loadavg: 6.88 6.29 4.23 3/179 30432
/proc/meminfo: memFree=29160376/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=72040 CPUtime=12.69 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 30813 0 0 0 1259 10 0 0 20 0 1 0 391040523 73768960 12712 33554432000 134512640 146736320 4289776624 4289770936 136015692 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 18010 12712 840 2985 0 14944 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 81188
[startup+25.5003 s]
/proc/loadavg: 6.13 6.14 4.20 3/179 30432
/proc/meminfo: memFree=29159336/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=72860 CPUtime=25.49 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 32445 0 0 0 2536 13 0 0 20 0 1 0 391040523 74608640 13033 33554432000 134512640 146736320 4289776624 4289770936 136015596 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 18215 13033 842 2985 0 15149 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 82008
[startup+51.1003 s]
/proc/loadavg: 4.72 5.81 4.14 3/180 30435
/proc/meminfo: memFree=29155500/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=73048 CPUtime=51.07 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 40289 0 0 0 5089 18 0 0 20 0 1 0 391040523 74801152 13987 33554432000 134512640 146736320 4289776624 4289770444 136017757 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 18262 13987 842 2985 0 15196 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 82196
[startup+102.306 s]
/proc/loadavg: 3.08 5.17 4.02 3/179 30436
/proc/meminfo: memFree=29156020/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=71896 CPUtime=102.27 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 54249 0 0 0 10207 20 0 0 20 0 1 0 391040523 73621504 13763 33554432000 134512640 146736320 4289776624 4289770892 136017763 0 0 4096 16387 0 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 17974 13763 872 2985 0 14908 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 81044
[startup+162.3 s]
/proc/loadavg: 3.51 4.86 3.97 10/186 30443
/proc/meminfo: memFree=29062716/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=272740 CPUtime=198.98 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 137738 0 0 0 19860 38 0 0 20 0 8 0 391040523 279285760 37133 33554432000 134512640 146736320 4289776624 4289769336 136475782 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30431/statm: 68185 37133 903 2985 0 65119 0
[pid=30431/tid=30437] ppid=30430 vsize=272740 CPUtime=6.21 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) R 30430 30430 29579 0 -1 4202560 3682 0 0 0 620 1 0 0 20 0 8 0 391051571 279285760 37133 33554432000 134512640 146736320 4289776624 4118378604 135454003 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=272740 CPUtime=6.08 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) R 30430 30430 29579 0 -1 4202560 7784 0 0 0 606 2 0 0 20 0 8 0 391051571 279285760 37133 33554432000 134512640 146736320 4289776624 4107893904 136008450 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=272740 CPUtime=6.15 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) R 30430 30430 29579 0 -1 4202560 3437 0 0 0 614 1 0 0 20 0 8 0 391051571 279285760 37133 33554432000 134512640 146736320 4289776624 4097407984 136384852 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=272740 CPUtime=6.07 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) R 30430 30430 29579 0 -1 4202560 3422 0 0 0 606 1 0 0 20 0 8 0 391051571 279285760 37133 33554432000 134512640 146736320 4289776624 4086924008 139023078 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=272740 CPUtime=6.13 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 2018 0 0 0 613 0 0 0 20 0 8 0 391051571 279285760 37133 33554432000 134512640 146736320 4289776624 4076436508 135854186 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=272740 CPUtime=6.21 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) R 30430 30430 29579 0 -1 4202560 2329 0 0 0 621 0 0 0 20 0 8 0 391051571 279285760 37133 33554432000 134512640 146736320 4289776624 4065951836 135855174 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=272740 CPUtime=6.02 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) R 30430 30430 29579 0 -1 4202560 2349 0 0 0 602 0 0 0 20 0 8 0 391051571 279285760 37133 33554432000 134512640 146736320 4289776624 4055466376 136388084 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 198.98
Current children cumulated vsize (KiB) 281888
[startup+222.3 s]
/proc/loadavg: 7.14 5.67 4.31 10/186 30443
/proc/meminfo: memFree=29056820/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=274584 CPUtime=438.1 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 149132 0 0 0 43763 47 0 0 20 0 8 0 391040523 281174016 38450 33554432000 134512640 146736320 4289776624 4289769488 136008177 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 68646 38450 903 2985 0 65580 0
[pid=30431/tid=30437] ppid=30430 vsize=274584 CPUtime=36.18 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) R 30430 30430 29579 0 -1 4202560 4696 0 0 0 3616 2 0 0 20 0 8 0 391051571 281174016 38450 33554432000 134512640 146736320 4289776624 4118380752 136008061 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=274584 CPUtime=35.94 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) R 30430 30430 29579 0 -1 4202560 11479 0 0 0 3591 3 0 0 20 0 8 0 391051571 281174016 38450 33554432000 134512640 146736320 4289776624 4107894992 136008042 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=274584 CPUtime=36.13 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) R 30430 30430 29579 0 -1 4202560 4684 0 0 0 3611 2 0 0 20 0 8 0 391051571 281174016 38450 33554432000 134512640 146736320 4289776624 4097409232 136008177 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=274584 CPUtime=35.79 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) R 30430 30430 29579 0 -1 4202560 4912 0 0 0 3577 2 0 0 20 0 8 0 391051571 281174016 38450 33554432000 134512640 146736320 4289776624 4086923356 135855127 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=274584 CPUtime=36.36 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 2880 0 0 0 3635 1 0 0 20 0 8 0 391051571 281174016 38450 33554432000 134512640 146736320 4289776624 4076438096 136403109 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=274584 CPUtime=36.1 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) R 30430 30430 29579 0 -1 4202560 3687 0 0 0 3608 2 0 0 20 0 8 0 391051571 281174016 38450 33554432000 134512640 146736320 4289776624 4065951836 135855174 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=274584 CPUtime=35.58 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) R 30430 30430 29579 0 -1 4202560 3240 0 0 0 3556 2 0 0 20 0 8 0 391051571 281174016 38450 33554432000 134512640 146736320 4289776624 4055466192 136008042 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 438.1
Current children cumulated vsize (KiB) 283732
################
# More data... #
################
/proc/30431/statm: 72827 46101 903 2985 0 69761 0
[pid=30431/tid=30437] ppid=30430 vsize=291308 CPUtime=60.83 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) R 30430 30430 29579 0 -1 4202560 6423 0 0 0 6079 4 0 0 20 0 8 0 391051571 298299392 46101 33554432000 134512640 146736320 4289776624 4118380612 136385185 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=291308 CPUtime=66.82 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) R 30430 30430 29579 0 -1 4202560 14720 0 0 0 6676 6 0 0 20 0 8 0 391051571 298299392 46101 33554432000 134512640 146736320 4289776624 4107894992 136008157 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=291308 CPUtime=67.51 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) R 30430 30430 29579 0 -1 4202560 7699 0 0 0 6746 5 0 0 20 0 8 0 391051571 298299392 46101 33554432000 134512640 146736320 4289776624 4097409232 136008047 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=291308 CPUtime=62.32 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) R 30430 30430 29579 0 -1 4202560 7385 0 0 0 6229 3 0 0 20 0 8 0 391051571 298299392 46101 33554432000 134512640 146736320 4289776624 4086923720 136000492 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=291308 CPUtime=69.27 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 14353 0 0 0 6921 6 0 0 20 0 8 0 391051571 298299392 46101 33554432000 134512640 146736320 4289776624 4076436624 136007994 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=291308 CPUtime=67.23 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) R 30430 30430 29579 0 -1 4202560 17969 0 0 0 6717 6 0 0 20 0 8 0 391051571 298299392 46101 33554432000 134512640 146736320 4289776624 4065950908 135526859 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=291308 CPUtime=62.27 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) R 30430 30430 29579 0 -1 4202560 4931 0 0 0 6224 3 0 0 20 0 8 0 391051571 298299392 46101 33554432000 134512640 146736320 4289776624 4055465132 135454087 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 673.13
Current children cumulated vsize (KiB) 300456
[startup+342.3 s]
/proc/loadavg: 8.64 6.66 4.83 10/186 30443
/proc/meminfo: memFree=29024028/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=291916 CPUtime=912.26 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 210921 0 0 0 91151 75 0 0 20 0 8 0 391040523 298921984 46804 33554432000 134512640 146736320 4289776624 4289769488 136008050 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30431/statm: 72979 46804 903 2985 0 69913 0
[pid=30431/tid=30437] ppid=30430 vsize=291916 CPUtime=90.36 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) R 30430 30430 29579 0 -1 4202560 6505 0 0 0 9031 5 0 0 20 0 8 0 391051571 298921984 46804 33554432000 134512640 146736320 4289776624 4118381000 136000487 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=291916 CPUtime=96.83 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) R 30430 30430 29579 0 -1 4202560 15232 0 0 0 9676 7 0 0 20 0 8 0 391051571 298921984 46804 33554432000 134512640 146736320 4289776624 4107894840 136475798 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=291916 CPUtime=97.63 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) R 30430 30430 29579 0 -1 4202560 8683 0 0 0 9756 7 0 0 20 0 8 0 391051571 298921984 46804 33554432000 134512640 146736320 4289776624 4097409300 136003490 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=291916 CPUtime=92.31 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) R 30430 30430 29579 0 -1 4202560 7793 0 0 0 9226 5 0 0 20 0 8 0 391051571 298921984 46804 33554432000 134512640 146736320 4289776624 4086923304 139044532 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=291916 CPUtime=99.44 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 14617 0 0 0 9937 7 0 0 20 0 8 0 391051571 298921984 46804 33554432000 134512640 146736320 4289776624 4076437712 136008020 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=291916 CPUtime=96.76 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) R 30430 30430 29579 0 -1 4202560 37168 0 0 0 9663 13 0 0 20 0 8 0 391051571 298921984 46804 33554432000 134512640 146736320 4289776624 4065951952 136008042 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=291916 CPUtime=91.8 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) R 30430 30430 29579 0 -1 4202560 5143 0 0 0 9176 4 0 0 20 0 8 0 391051571 298921984 46804 33554432000 134512640 146736320 4289776624 4055464400 135460545 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 912.26
Current children cumulated vsize (KiB) 301064
[startup+402.3 s]
/proc/loadavg: 7.68 6.76 4.97 10/185 30443
/proc/meminfo: memFree=29022548/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=293124 CPUtime=1134.39 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 240772 0 0 0 113352 87 0 0 20 0 8 0 391040523 300158976 47089 33554432000 134512640 146736320 4289776624 4289769372 135855165 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 73281 47089 903 2985 0 70215 0
[pid=30431/tid=30437] ppid=30430 vsize=293124 CPUtime=109.57 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) R 30430 30430 29579 0 -1 4202560 6507 0 0 0 10951 6 0 0 20 0 8 0 391051571 300158976 47089 33554432000 134512640 146736320 4289776624 4118379372 135456884 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=293124 CPUtime=122.8 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) R 30430 30430 29579 0 -1 4202560 21496 0 0 0 12270 10 0 0 20 0 8 0 391051571 300158976 47089 33554432000 134512640 146736320 4289776624 4107895424 139046538 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=293124 CPUtime=131.61 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) R 30430 30430 29579 0 -1 4202560 9140 0 0 0 13153 8 0 0 20 0 8 0 391051571 300158976 47089 33554432000 134512640 146736320 4289776624 4097409064 139044581 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=293124 CPUtime=114.79 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) R 30430 30430 29579 0 -1 4202560 7861 0 0 0 11473 6 0 0 20 0 8 0 391051571 300158976 47089 33554432000 134512640 146736320 4289776624 4086923356 135855165 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=293124 CPUtime=137.69 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 15218 0 0 0 13760 9 0 0 20 0 8 0 391051571 300158976 47089 33554432000 134512640 146736320 4289776624 4076437596 135854189 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=293124 CPUtime=127.36 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) R 30430 30430 29579 0 -1 4202560 55308 0 0 0 12719 17 0 0 20 0 8 0 391051571 300158976 47089 33554432000 134512640 146736320 4289776624 4065952336 136403109 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=293124 CPUtime=108.87 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) R 30430 30430 29579 0 -1 4202560 5143 0 0 0 10883 4 0 0 20 0 8 0 391051571 300158976 47089 33554432000 134512640 146736320 4289776624 4055466076 135855165 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1134.39
Current children cumulated vsize (KiB) 302272
[startup+462.3 s]
/proc/loadavg: 8.55 7.19 5.24 10/186 30444
/proc/meminfo: memFree=29021920/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=293576 CPUtime=1373.51 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 267180 0 0 0 137251 100 0 0 20 0 8 0 391040523 300621824 47249 33554432000 134512640 146736320 4289776624 4289769488 136008050 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30431/statm: 73394 47249 903 2985 0 70328 0
[pid=30431/tid=30437] ppid=30430 vsize=293576 CPUtime=139.45 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) R 30430 30430 29579 0 -1 4202560 6552 0 0 0 13938 7 0 0 20 0 8 0 391051571 300621824 47249 33554432000 134512640 146736320 4289776624 4118380768 139028313 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=293576 CPUtime=152.97 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) R 30430 30430 29579 0 -1 4202560 32238 0 0 0 15282 15 0 0 20 0 8 0 391051571 300621824 47249 33554432000 134512640 146736320 4289776624 4107895424 139046527 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=293576 CPUtime=161.87 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) R 30430 30430 29579 0 -1 4202560 9817 0 0 0 16176 11 0 0 20 0 8 0 391051571 300621824 47249 33554432000 134512640 146736320 4289776624 4097409072 136384852 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=293576 CPUtime=144.03 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) R 30430 30430 29579 0 -1 4202560 7941 0 0 0 14396 7 0 0 20 0 8 0 391051571 300621824 47249 33554432000 134512640 146736320 4289776624 4086923264 136018899 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=293576 CPUtime=167.45 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 15243 0 0 0 16735 10 0 0 20 0 8 0 391051571 300621824 47249 33554432000 134512640 146736320 4289776624 4076436632 136009136 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=293576 CPUtime=157.17 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) R 30430 30430 29579 0 -1 4202560 64949 0 0 0 15696 21 0 0 20 0 8 0 391051571 300621824 47249 33554432000 134512640 146736320 4289776624 4065951812 136385179 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=293576 CPUtime=138.71 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) R 30430 30430 29579 0 -1 4202560 5258 0 0 0 13866 5 0 0 20 0 8 0 391051571 300621824 47249 33554432000 134512640 146736320 4289776624 4055466192 136008441 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1373.51
Current children cumulated vsize (KiB) 302724
[startup+522.3 s]
/proc/loadavg: 8.82 7.49 5.45 10/186 30444
/proc/meminfo: memFree=29022408/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=292416 CPUtime=1612.64 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) R 30430 30430 29579 0 -1 4202496 292394 0 0 0 161153 111 0 0 20 0 8 0 391040523 299433984 47192 33554432000 134512640 146736320 4289776624 4289769488 136008364 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/30431/statm: 73104 47192 903 2985 0 70038 0
[pid=30431/tid=30437] ppid=30430 vsize=292416 CPUtime=169.26 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) R 30430 30430 29579 0 -1 4202560 6673 0 0 0 16919 7 0 0 20 0 8 0 391051571 299433984 47192 33554432000 134512640 146736320 4289776624 4118379664 136008416 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=292416 CPUtime=182.75 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) R 30430 30430 29579 0 -1 4202560 55734 0 0 0 18253 22 0 0 20 0 8 0 391051571 299433984 47192 33554432000 134512640 146736320 4289776624 4107894992 136008170 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=292416 CPUtime=191.84 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) R 30430 30430 29579 0 -1 4202560 10074 0 0 0 19173 11 0 0 20 0 8 0 391051571 299433984 47192 33554432000 134512640 146736320 4289776624 4097409096 136474927 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=292416 CPUtime=174.1 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) R 30430 30430 29579 0 -1 4202560 8202 0 0 0 17403 7 0 0 20 0 8 0 391051571 299433984 47192 33554432000 134512640 146736320 4289776624 4086923356 135855165 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=292416 CPUtime=196.88 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 15277 0 0 0 19678 10 0 0 20 0 8 0 391051571 299433984 47192 33554432000 134512640 146736320 4289776624 4076437960 136000404 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=292416 CPUtime=186.94 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) R 30430 30430 29579 0 -1 4202560 65695 0 0 0 18672 22 0 0 20 0 8 0 391051571 299433984 47192 33554432000 134512640 146736320 4289776624 4065951952 136008230 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=292416 CPUtime=168.51 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) R 30430 30430 29579 0 -1 4202560 5527 0 0 0 16845 6 0 0 20 0 8 0 391051571 299433984 47192 33554432000 134512640 146736320 4289776624 4055466096 136384857 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1612.64
Current children cumulated vsize (KiB) 301564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+578.201 s]
/proc/loadavg: 7.04 7.33 5.53 3/186 30444
/proc/meminfo: memFree=29020548/32873844 swapFree=7628/7628
[pid=30430] ppid=30428 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30430/stat : 30430 (run) S 30428 30430 29579 0 -1 4202496 353 0 0 0 0 0 0 0 20 0 1 0 391040523 9367552 269 33554432000 4194304 5064252 140733230199344 140733230198256 251044456014 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30430/statm: 2287 269 229 213 0 72 0
[pid=30431] ppid=30430 vsize=297440 CPUtime=1800.07 cores=0,2,4,6
/proc/30431/stat : 30431 (pb_cplex) S 30430 30430 29579 0 -1 4202496 304510 0 0 0 179889 118 0 0 20 0 8 0 391040523 304578560 47728 33554432000 134512640 146736320 4289776624 4289773008 144580073 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/30431/statm: 74360 47728 903 2985 0 71294 0
[pid=30431/tid=30437] ppid=30430 vsize=297440 CPUtime=204.31 cores=0,2,4,6
/proc/30431/task/30437/stat : 30437 (pb_cplex) S 30430 30430 29579 0 -1 4202560 9093 0 0 0 20421 10 0 0 20 0 8 0 391051571 304578560 47728 33554432000 134512640 146736320 4289776624 4118384272 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30438] ppid=30430 vsize=297440 CPUtime=202.95 cores=0,2,4,6
/proc/30431/task/30438/stat : 30438 (pb_cplex) S 30430 30430 29579 0 -1 4202560 60461 0 0 0 20270 25 0 0 20 0 8 0 391051571 304578560 47728 33554432000 134512640 146736320 4289776624 4107898512 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30431/tid=30439] ppid=30430 vsize=297440 CPUtime=213.8 cores=0,2,4,6
/proc/30431/task/30439/stat : 30439 (pb_cplex) S 30430 30430 29579 0 -1 4202560 10645 0 0 0 21368 12 0 0 20 0 8 0 391051571 304578560 47728 33554432000 134512640 146736320 4289776624 4097412752 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30440] ppid=30430 vsize=297440 CPUtime=197.81 cores=0,2,4,6
/proc/30431/task/30440/stat : 30440 (pb_cplex) S 30430 30430 29579 0 -1 4202560 9046 0 0 0 19772 9 0 0 20 0 8 0 391051571 304578560 47728 33554432000 134512640 146736320 4289776624 4086926992 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30431/tid=30441] ppid=30430 vsize=297440 CPUtime=235.46 cores=0,2,4,6
/proc/30431/task/30441/stat : 30441 (pb_cplex) R 30430 30430 29579 0 -1 4202560 17485 0 0 0 23534 12 0 0 20 0 8 0 391051571 304578560 47728 33554432000 134512640 146736320 4289776624 4076438096 136403117 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30442] ppid=30430 vsize=297440 CPUtime=200.6 cores=0,2,4,6
/proc/30431/task/30442/stat : 30442 (pb_cplex) S 30430 30430 29579 0 -1 4202560 66532 0 0 0 20036 24 0 0 20 0 8 0 391051571 304578560 47728 33554432000 134512640 146736320 4289776624 4065955472 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30431/tid=30443] ppid=30430 vsize=297440 CPUtime=183.7 cores=0,2,4,6
/proc/30431/task/30443/stat : 30443 (pb_cplex) S 30430 30430 29579 0 -1 4202560 6036 0 0 0 18364 6 0 0 20 0 8 0 391051571 304578560 47728 33554432000 134512640 146736320 4289776624 4055469712 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 306588
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30430 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 578.217
CPU time (s): 1800.07
CPU user time (s): 1798.89
CPU system time (s): 1.18
CPU usage (%): 311.314
Max. virtual memory (cumulated for all children) (KiB): 307740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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.17182 second user time and 3.9634 second system time
The end