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-3731400-1339246865/watcher-3731400-1339246865 -o /tmp/evaluation-result-3731400-1339246865/solver-3731400-1339246865 -C 1800 -W 1900 -M 15500 run HOME/instance-3731400-1339246865.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.41 0.10 0.03 3/178 3655
/proc/meminfo: memFree=28625408/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[startup+0.040644 s]
/proc/loadavg: 0.41 0.10 0.03 3/178 3655
/proc/meminfo: memFree=28625408/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100214 s]
/proc/loadavg: 0.41 0.10 0.03 3/178 3655
/proc/meminfo: memFree=28625408/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300179 s]
/proc/loadavg: 0.41 0.10 0.03 3/178 3655
/proc/meminfo: memFree=28625408/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700179 s]
/proc/loadavg: 0.41 0.10 0.03 3/178 3655
/proc/meminfo: memFree=28625408/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 0.41 0.10 0.03 3/180 3657
/proc/meminfo: memFree=28641220/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=16960 CPUtime=1.48 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 4581 0 0 0 148 0 0 0 20 0 1 0 390810850 17367040 1930 33554432000 134512640 146736320 4292286288 4292280184 136015572 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/3656/statm: 4240 1930 890 2985 0 1174 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 26108
[startup+3.10042 s]
/proc/loadavg: 0.41 0.10 0.03 10/187 3664
/proc/meminfo: memFree=28605148/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=112780 CPUtime=6.48 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) S 3655 3655 3419 0 -1 4202496 9045 0 0 0 645 3 0 0 20 0 8 0 390810850 115486720 6026 33554432000 134512640 146736320 4292286288 4292282640 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3656/statm: 28195 6026 927 2985 0 25129 0
[pid=3656/tid=3658] ppid=3655 vsize=112780 CPUtime=0.63 cores=1,3,5,7
/proc/3656/task/3658/stat : 3658 (pb_cplex) R 3655 3655 3419 0 -1 4202560 301 0 0 0 63 0 0 0 20 0 8 0 390811026 115486720 6026 33554432000 134512640 146736320 4292286288 4148186024 138412928 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3659] ppid=3655 vsize=112780 CPUtime=0.39 cores=1,3,5,7
/proc/3656/task/3659/stat : 3659 (pb_cplex) R 3655 3655 3419 0 -1 4202560 308 0 0 0 39 0 0 0 20 0 8 0 390811026 115486720 6026 33554432000 134512640 146736320 4292286288 4137701468 135855162 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3660] ppid=3655 vsize=112780 CPUtime=0.69 cores=1,3,5,7
/proc/3656/task/3660/stat : 3660 (pb_cplex) R 3655 3655 3419 0 -1 4202560 299 0 0 0 69 0 0 0 20 0 8 0 390811026 115486720 6026 33554432000 134512640 146736320 4292286288 4127215528 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3661] ppid=3655 vsize=112780 CPUtime=0.57 cores=1,3,5,7
/proc/3656/task/3661/stat : 3661 (pb_cplex) R 3655 3655 3419 0 -1 4202560 309 0 0 0 57 0 0 0 20 0 8 0 390811026 115486720 6026 33554432000 134512640 146736320 4292286288 4116730856 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3662] ppid=3655 vsize=112780 CPUtime=0.6 cores=1,3,5,7
/proc/3656/task/3662/stat : 3662 (pb_cplex) R 3655 3655 3419 0 -1 4202560 275 0 0 0 60 0 0 0 20 0 8 0 390811026 115486720 6026 33554432000 134512640 146736320 4292286288 4106245504 137069161 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3663] ppid=3655 vsize=112780 CPUtime=0.51 cores=1,3,5,7
/proc/3656/task/3663/stat : 3663 (pb_cplex) R 3655 3655 3419 0 -1 4202560 306 0 0 0 51 0 0 0 20 0 8 0 390811026 115486720 6026 33554432000 134512640 146736320 4292286288 4095759336 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3664] ppid=3655 vsize=112780 CPUtime=0.46 cores=1,3,5,7
/proc/3656/task/3664/stat : 3664 (pb_cplex) R 3655 3655 3419 0 -1 4202560 332 0 0 0 46 0 0 0 20 0 8 0 390811026 115486720 6026 33554432000 134512640 146736320 4292286288 4085272616 139044552 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.48
Current children cumulated vsize (KiB) 121928
[startup+6.30036 s]
/proc/loadavg: 1.10 0.24 0.08 10/187 3664
/proc/meminfo: memFree=28598336/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=118828 CPUtime=17.27 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 10965 0 0 0 1721 6 0 0 20 0 8 0 390810850 121679872 7613 33554432000 134512640 146736320 4292286288 4292277328 135464862 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3656/statm: 29707 7613 927 2985 0 26641 0
[pid=3656/tid=3658] ppid=3655 vsize=118828 CPUtime=2.35 cores=1,3,5,7
/proc/3656/task/3658/stat : 3658 (pb_cplex) R 3655 3655 3419 0 -1 4202560 564 0 0 0 234 1 0 0 20 0 8 0 390811026 121679872 7613 33554432000 134512640 146736320 4292286288 4148187344 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3659] ppid=3655 vsize=118828 CPUtime=1.79 cores=1,3,5,7
/proc/3656/task/3659/stat : 3659 (pb_cplex) R 3655 3655 3419 0 -1 4202560 522 0 0 0 179 0 0 0 20 0 8 0 390811026 121679872 7613 33554432000 134512640 146736320 4292286288 4137701832 136001712 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3660] ppid=3655 vsize=118828 CPUtime=1.89 cores=1,3,5,7
/proc/3656/task/3660/stat : 3660 (pb_cplex) R 3655 3655 3419 0 -1 4202560 526 0 0 0 189 0 0 0 20 0 8 0 390811026 121679872 7613 33554432000 134512640 146736320 4292286288 4127215836 136009363 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3661] ppid=3655 vsize=118828 CPUtime=2.04 cores=1,3,5,7
/proc/3656/task/3661/stat : 3661 (pb_cplex) R 3655 3655 3419 0 -1 4202560 460 0 0 0 204 0 0 0 20 0 8 0 390811026 121679872 7613 33554432000 134512640 146736320 4292286288 4116730856 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3662] ppid=3655 vsize=118828 CPUtime=1.67 cores=1,3,5,7
/proc/3656/task/3662/stat : 3662 (pb_cplex) R 3655 3655 3419 0 -1 4202560 613 0 0 0 167 0 0 0 20 0 8 0 390811026 121679872 7613 33554432000 134512640 146736320 4292286288 4106245096 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3663] ppid=3655 vsize=118828 CPUtime=1.94 cores=1,3,5,7
/proc/3656/task/3663/stat : 3663 (pb_cplex) R 3655 3655 3419 0 -1 4202560 663 0 0 0 193 1 0 0 20 0 8 0 390811026 121679872 7613 33554432000 134512640 146736320 4292286288 4095757484 135454096 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3664] ppid=3655 vsize=118828 CPUtime=1.76 cores=1,3,5,7
/proc/3656/task/3664/stat : 3664 (pb_cplex) R 3655 3655 3419 0 -1 4202560 631 0 0 0 176 0 0 0 20 0 8 0 390811026 121679872 7613 33554432000 134512640 146736320 4292286288 4085272796 136009357 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 17.27
Current children cumulated vsize (KiB) 127976
[startup+12.7004 s]
/proc/loadavg: 1.57 0.35 0.12 3/187 3685
/proc/meminfo: memFree=28144760/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=150000 CPUtime=31.95 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 21316 0 0 0 3173 22 0 0 20 0 8 0 390810850 153600000 12545 33554432000 134512640 146736320 4292286288 4292275672 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3656/statm: 37500 12545 958 2985 0 34434 0
[pid=3656/tid=3679] ppid=3655 vsize=150000 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) S 3655 3655 3419 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390811955 153600000 12545 33554432000 134512640 146736320 4292286288 4085276304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=150000 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) S 3655 3655 3419 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390811955 153600000 12545 33554432000 134512640 146736320 4292286288 4095762064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=150000 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) S 3655 3655 3419 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390811955 153600000 12545 33554432000 134512640 146736320 4292286288 4106247824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=150000 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) S 3655 3655 3419 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390811955 153600000 12545 33554432000 134512640 146736320 4292286288 4116733584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=150000 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) S 3655 3655 3419 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390811955 153600000 12545 33554432000 134512640 146736320 4292286288 4054986384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=150000 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) S 3655 3655 3419 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390811955 153600000 12545 33554432000 134512640 146736320 4292286288 4044500624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=150000 CPUtime=0 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) S 3655 3655 3419 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390811955 153600000 12545 33554432000 134512640 146736320 4292286288 4034014864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 31.95
Current children cumulated vsize (KiB) 159148
[startup+25.5005 s]
/proc/loadavg: 2.81 0.68 0.22 10/187 3685
/proc/meminfo: memFree=27953732/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=163056 CPUtime=71.41 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 27577 0 0 0 7110 31 0 0 20 0 8 0 390810850 166969344 15907 33554432000 134512640 146736320 4292286288 4292279120 136008168 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3656/statm: 40764 15907 958 2985 0 37698 0
[pid=3656/tid=3679] ppid=3655 vsize=163056 CPUtime=4.99 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) R 3655 3655 3419 0 -1 4202560 840 0 0 0 498 1 0 0 20 0 8 0 390811955 166969344 15907 33554432000 134512640 146736320 4292286288 4085272784 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=163056 CPUtime=4.22 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) R 3655 3655 3419 0 -1 4202560 310 0 0 0 422 0 0 0 20 0 8 0 390811955 166969344 15907 33554432000 134512640 146736320 4292286288 4095758152 135525918 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=163056 CPUtime=4.53 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) R 3655 3655 3419 0 -1 4202560 396 0 0 0 453 0 0 0 20 0 8 0 390811955 166969344 15907 33554432000 134512640 146736320 4292286288 4106242924 135456778 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=163056 CPUtime=5.28 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) R 3655 3655 3419 0 -1 4202560 154 0 0 0 528 0 0 0 20 0 8 0 390811955 166969344 15907 33554432000 134512640 146736320 4292286288 4116730064 136007990 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=163056 CPUtime=4.98 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 1386 0 0 0 497 1 0 0 20 0 8 0 390811955 166969344 15907 33554432000 134512640 146736320 4292286288 4054981960 136388069 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=163056 CPUtime=4.18 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) R 3655 3655 3419 0 -1 4202560 850 0 0 0 417 1 0 0 20 0 8 0 390811955 166969344 15907 33554432000 134512640 146736320 4292286288 4044495848 139044580 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=163056 CPUtime=4.32 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) R 3655 3655 3419 0 -1 4202560 1170 0 0 0 432 0 0 0 20 0 8 0 390811955 166969344 15907 33554432000 134512640 146736320 4292286288 4034011728 135521105 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 71.41
Current children cumulated vsize (KiB) 172204
[startup+51.1005 s]
/proc/loadavg: 4.72 1.30 0.44 9/187 3685
/proc/meminfo: memFree=27940416/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=172272 CPUtime=159.82 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 39466 0 0 0 15919 63 0 0 20 0 8 0 390810850 176406528 18022 33554432000 134512640 146736320 4292286288 4292279368 136000313 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3656/statm: 43068 18022 960 2985 0 40002 0
[pid=3656/tid=3679] ppid=3655 vsize=172272 CPUtime=16 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) R 3655 3655 3419 0 -1 4202560 1454 0 0 0 1595 5 0 0 20 0 8 0 390811955 176406528 18022 33554432000 134512640 146736320 4292286288 4085273576 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=172272 CPUtime=15.6 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) R 3655 3655 3419 0 -1 4202560 2815 0 0 0 1555 5 0 0 20 0 8 0 390811955 176406528 18022 33554432000 134512640 146736320 4292286288 4095758152 135525914 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=172272 CPUtime=15.16 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) R 3655 3655 3419 0 -1 4202560 1914 0 0 0 1511 5 0 0 20 0 8 0 390811955 176406528 18022 33554432000 134512640 146736320 4292286288 4106243328 135443544 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=172272 CPUtime=16.99 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) S 3655 3655 3419 0 -1 4202560 301 0 0 0 1694 5 0 0 20 0 8 0 390811955 176406528 18022 33554432000 134512640 146736320 4292286288 4116733584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=172272 CPUtime=15.63 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 5428 0 0 0 1557 6 0 0 20 0 8 0 390811955 176406528 18022 33554432000 134512640 146736320 4292286288 4054982728 139042904 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=172272 CPUtime=15.49 cores=1,3,5,7
################
# More data... #
################
/proc/3656/statm: 48639 26197 983 2985 0 45573 0
[pid=3656/tid=3679] ppid=3655 vsize=194556 CPUtime=115.58 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) R 3655 3655 3419 0 -1 4202560 2602 0 0 0 11526 32 0 0 20 0 8 0 390811955 199225344 26197 33554432000 134512640 146736320 4292286288 4085272640 135521348 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=194556 CPUtime=122.13 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) R 3655 3655 3419 0 -1 4202560 9153 0 0 0 12182 31 0 0 20 0 8 0 390811955 199225344 26197 33554432000 134512640 146736320 4292286288 4095757484 135454079 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=194556 CPUtime=118.24 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) R 3655 3655 3419 0 -1 4202560 25311 0 0 0 11786 38 0 0 20 0 8 0 390811955 199225344 26197 33554432000 134512640 146736320 4292286288 4106244144 136384857 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=194556 CPUtime=122.84 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) R 3655 3655 3419 0 -1 4202560 3276 0 0 0 12248 36 0 0 20 0 8 0 390811955 199225344 26197 33554432000 134512640 146736320 4292286288 4116732196 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=194556 CPUtime=127.31 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 9323 0 0 0 12699 32 0 0 20 0 8 0 390811955 199225344 26197 33554432000 134512640 146736320 4292286288 4054982724 136385177 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=194556 CPUtime=116.05 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) R 3655 3655 3419 0 -1 4202560 14735 0 0 0 11570 35 0 0 20 0 8 0 390811955 199225344 26197 33554432000 134512640 146736320 4292286288 4044496988 135854186 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=194556 CPUtime=117.35 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) R 3655 3655 3419 0 -1 4202560 13658 0 0 0 11701 34 0 0 20 0 8 0 390811955 199225344 26197 33554432000 134512640 146736320 4292286288 4034011344 136008455 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1003.03
Current children cumulated vsize (KiB) 203704
[startup+342.3 s]
/proc/loadavg: 11.63 6.73 2.92 10/193 3751
/proc/meminfo: memFree=29763304/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=205940 CPUtime=1215.81 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) S 3655 3655 3419 0 -1 4202496 110826 0 0 0 121231 350 0 0 20 0 8 0 390810850 210882560 28425 33554432000 134512640 146736320 4292286288 4292282640 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3656/statm: 51485 28425 983 2985 0 48419 0
[pid=3656/tid=3679] ppid=3655 vsize=205940 CPUtime=142.11 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) R 3655 3655 3419 0 -1 4202560 3299 0 0 0 14170 41 0 0 20 0 8 0 390811955 210882560 28425 33554432000 134512640 146736320 4292286288 4085272784 136008065 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=205940 CPUtime=148.57 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) R 3655 3655 3419 0 -1 4202560 9477 0 0 0 14819 38 0 0 20 0 8 0 390811955 210882560 28425 33554432000 134512640 146736320 4292286288 4095759336 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=205940 CPUtime=144.37 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) R 3655 3655 3419 0 -1 4202560 27277 0 0 0 14390 47 0 0 20 0 8 0 390811955 210882560 28425 33554432000 134512640 146736320 4292286288 4106243912 135525124 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=205940 CPUtime=149.32 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) R 3655 3655 3419 0 -1 4202560 4023 0 0 0 14888 44 0 0 20 0 8 0 390811955 210882560 28425 33554432000 134512640 146736320 4292286288 4116729904 136384849 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=205940 CPUtime=153.76 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 9822 0 0 0 15337 39 0 0 20 0 8 0 390811955 210882560 28425 33554432000 134512640 146736320 4292286288 4054983656 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=205940 CPUtime=143.18 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) R 3655 3655 3419 0 -1 4202560 16180 0 0 0 14276 42 0 0 20 0 8 0 390811955 210882560 28425 33554432000 134512640 146736320 4292286288 4044496968 139042902 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=205940 CPUtime=143.41 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) R 3655 3655 3419 0 -1 4202560 13858 0 0 0 14297 44 0 0 20 0 8 0 390811955 210882560 28425 33554432000 134512640 146736320 4292286288 4034011592 136000795 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1215.81
Current children cumulated vsize (KiB) 215088
[startup+402.3 s]
/proc/loadavg: 10.95 7.57 3.45 17/192 3751
/proc/meminfo: memFree=29753132/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=209296 CPUtime=1430.97 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 120333 0 0 0 142693 404 0 0 20 0 8 0 390810850 214319104 29258 33554432000 134512640 146736320 4292286288 4292278004 135450820 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/3656/statm: 52324 29258 983 2985 0 49258 0
[pid=3656/tid=3679] ppid=3655 vsize=209296 CPUtime=168.68 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) R 3655 3655 3419 0 -1 4202560 3813 0 0 0 16821 47 0 0 20 0 8 0 390811955 214319104 29258 33554432000 134512640 146736320 4292286288 4085271256 135466467 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=209296 CPUtime=175.28 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) R 3655 3655 3419 0 -1 4202560 9477 0 0 0 17483 45 0 0 20 0 8 0 390811955 214319104 29258 33554432000 134512640 146736320 4292286288 4095758544 136008069 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=209296 CPUtime=171.31 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) R 3655 3655 3419 0 -1 4202560 27277 0 0 0 17077 54 0 0 20 0 8 0 390811955 214319104 29258 33554432000 134512640 146736320 4292286288 4106244164 136385183 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=209296 CPUtime=176.76 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) R 3655 3655 3419 0 -1 4202560 7739 0 0 0 17624 52 0 0 20 0 8 0 390811955 214319104 29258 33554432000 134512640 146736320 4292286288 4116730064 136007970 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=209296 CPUtime=180.95 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 10263 0 0 0 18049 46 0 0 20 0 8 0 390811955 214319104 29258 33554432000 134512640 146736320 4292286288 4054982864 136008234 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=209296 CPUtime=169.58 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) R 3655 3655 3419 0 -1 4202560 18177 0 0 0 16909 49 0 0 20 0 8 0 390811955 214319104 29258 33554432000 134512640 146736320 4292286288 4044497104 136008126 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=209296 CPUtime=170.03 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) R 3655 3655 3419 0 -1 4202560 13858 0 0 0 16953 50 0 0 20 0 8 0 390811955 214319104 29258 33554432000 134512640 146736320 4292286288 4034011344 136007963 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1430.97
Current children cumulated vsize (KiB) 218444
[startup+462.3 s]
/proc/loadavg: 12.19 8.60 4.06 17/193 3752
/proc/meminfo: memFree=29747852/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=213124 CPUtime=1644.81 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) S 3655 3655 3419 0 -1 4202496 124206 0 0 0 164021 460 0 0 20 0 8 0 390810850 218238976 30006 33554432000 134512640 146736320 4292286288 4292282640 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3656/statm: 53281 30006 983 2985 0 50215 0
[pid=3656/tid=3679] ppid=3655 vsize=213124 CPUtime=194.9 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) S 3655 3655 3419 0 -1 4202560 4288 0 0 0 19434 56 0 0 20 0 8 0 390811955 218238976 30006 33554432000 134512640 146736320 4292286288 4085276304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=213124 CPUtime=201.85 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) R 3655 3655 3419 0 -1 4202560 9557 0 0 0 20132 53 0 0 20 0 8 0 390811955 218238976 30006 33554432000 134512640 146736320 4292286288 4095758928 136403112 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=213124 CPUtime=197.99 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) S 3655 3655 3419 0 -1 4202560 28519 0 0 0 19738 61 0 0 20 0 8 0 390811955 218238976 30006 33554432000 134512640 146736320 4292286288 4106247824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=213124 CPUtime=203.99 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) R 3655 3655 3419 0 -1 4202560 9600 0 0 0 20337 62 0 0 20 0 8 0 390811955 218238976 30006 33554432000 134512640 146736320 4292286288 4116730904 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=213124 CPUtime=207.47 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 10263 0 0 0 20694 53 0 0 20 0 8 0 390811955 218238976 30006 33554432000 134512640 146736320 4292286288 4054983656 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=213124 CPUtime=196.19 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) R 3655 3655 3419 0 -1 4202560 18249 0 0 0 19563 56 0 0 20 0 8 0 390811955 218238976 30006 33554432000 134512640 146736320 4292286288 4044497896 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=213124 CPUtime=196.43 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) S 3655 3655 3419 0 -1 4202560 13858 0 0 0 19587 56 0 0 20 0 8 0 390811955 218238976 30006 33554432000 134512640 146736320 4292286288 4034014864 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1644.81
Current children cumulated vsize (KiB) 222272
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+505.9 s]
/proc/loadavg: 12.56 9.18 4.47 12/193 3752
/proc/meminfo: memFree=29745620/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=212560 CPUtime=1800.28 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 125990 0 0 0 179531 497 0 0 20 0 8 0 390810850 217661440 29977 33554432000 134512640 146736320 4292286288 4292278120 135467759 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3656/statm: 53140 29977 983 2985 0 50074 0
[pid=3656/tid=3679] ppid=3655 vsize=212560 CPUtime=214.5 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) R 3655 3655 3419 0 -1 4202560 4288 0 0 0 21388 62 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4085272392 135525920 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=212560 CPUtime=221.27 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) S 3655 3655 3419 0 -1 4202560 10358 0 0 0 22071 56 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4095762064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=212560 CPUtime=217.56 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) R 3655 3655 3419 0 -1 4202560 28775 0 0 0 21692 64 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4106244300 136388871 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=212560 CPUtime=223.47 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) R 3655 3655 3419 0 -1 4202560 10309 0 0 0 22281 66 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4116729912 136475800 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=212560 CPUtime=226.77 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 10263 0 0 0 22620 57 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4054982860 136388881 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=212560 CPUtime=215.59 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) R 3655 3655 3419 0 -1 4202560 18256 0 0 0 21497 62 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4044496964 136385179 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=212560 CPUtime=215.53 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) R 3655 3655 3419 0 -1 4202560 13858 0 0 0 21490 63 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4034011208 139042888 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 221708
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+505.9 s]
/proc/loadavg: 12.56 9.18 4.47 12/193 3752
/proc/meminfo: memFree=29745620/32873844 swapFree=7632/7632
[pid=3655] ppid=3653 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/3655/stat : 3655 (run) S 3653 3655 3419 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390810850 9367552 270 33554432000 4194304 5064252 140735662464528 140735662463440 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/3655/statm: 2287 270 229 213 0 72 0
[pid=3656] ppid=3655 vsize=212560 CPUtime=1800.28 cores=1,3,5,7
/proc/3656/stat : 3656 (pb_cplex) R 3655 3655 3419 0 -1 4202496 125990 0 0 0 179531 497 0 0 20 0 8 0 390810850 217661440 29977 33554432000 134512640 146736320 4292286288 4292278120 135467759 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/3656/statm: 53140 29977 983 2985 0 50074 0
[pid=3656/tid=3679] ppid=3655 vsize=212560 CPUtime=214.5 cores=1,3,5,7
/proc/3656/task/3679/stat : 3679 (pb_cplex) R 3655 3655 3419 0 -1 4202560 4288 0 0 0 21388 62 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4085272392 135525920 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=3656/tid=3680] ppid=3655 vsize=212560 CPUtime=221.27 cores=1,3,5,7
/proc/3656/task/3680/stat : 3680 (pb_cplex) S 3655 3655 3419 0 -1 4202560 10358 0 0 0 22071 56 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4095762064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3681] ppid=3655 vsize=212560 CPUtime=217.56 cores=1,3,5,7
/proc/3656/task/3681/stat : 3681 (pb_cplex) R 3655 3655 3419 0 -1 4202560 28775 0 0 0 21692 64 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4106244300 136388871 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=3656/tid=3682] ppid=3655 vsize=212560 CPUtime=223.47 cores=1,3,5,7
/proc/3656/task/3682/stat : 3682 (pb_cplex) R 3655 3655 3419 0 -1 4202560 10309 0 0 0 22281 66 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4116729912 136475800 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3683] ppid=3655 vsize=212560 CPUtime=226.77 cores=1,3,5,7
/proc/3656/task/3683/stat : 3683 (pb_cplex) R 3655 3655 3419 0 -1 4202560 10263 0 0 0 22620 57 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4054982860 136388881 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=3656/tid=3684] ppid=3655 vsize=212560 CPUtime=215.59 cores=1,3,5,7
/proc/3656/task/3684/stat : 3684 (pb_cplex) R 3655 3655 3419 0 -1 4202560 18256 0 0 0 21497 62 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4044496964 136385179 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=3656/tid=3685] ppid=3655 vsize=212560 CPUtime=215.53 cores=1,3,5,7
/proc/3656/task/3685/stat : 3685 (pb_cplex) R 3655 3655 3419 0 -1 4202560 13858 0 0 0 21490 63 0 0 20 0 8 0 390811955 217661440 29977 33554432000 134512640 146736320 4292286288 4034011208 139042888 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.28
Current children cumulated vsize (KiB) 221708
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3655 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.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 505.933
CPU time (s): 1800.28
CPU user time (s): 1795.31
CPU system time (s): 4.97
CPU usage (%): 355.833
Max. virtual memory (cumulated for all children) (KiB): 224736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
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.67075 second user time and 3.38549 second system time
The end