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-3729829-1339246838/watcher-3729829-1339246838 -o /tmp/evaluation-result-3729829-1339246838/solver-3729829-1339246838 -C 1800 -W 1900 -M 15500 run HOME/instance-3729829-1339246838.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.00 0.00 0.00 2/172 732
/proc/meminfo: memFree=31468472/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[startup+0.090976 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 732
/proc/meminfo: memFree=31468472/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100356 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 732
/proc/meminfo: memFree=31468472/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300227 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 732
/proc/meminfo: memFree=31468472/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700206 s]
/proc/loadavg: 0.00 0.00 0.00 2/172 732
/proc/meminfo: memFree=31468472/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 0.00 0.00 0.00 2/174 742
/proc/meminfo: memFree=31450692/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=74976 CPUtime=2.56 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 13229 0 0 0 229 27 0 0 20 0 1 0 390808896 76775424 5166 33554432000 134512640 146736320 4293043536 4293037416 139044557 0 0 4096 16387 0 0 0 17 3 0 0 2 0 0
/proc/733/statm: 18744 5166 886 2985 0 15678 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 84124
[startup+3.10034 s]
/proc/loadavg: 0.00 0.00 0.00 2/181 756
/proc/meminfo: memFree=31433736/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=124128 CPUtime=4.39 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 24228 0 0 0 404 35 0 0 20 0 8 0 390808896 127107072 10587 33554432000 134512640 146736320 4293043536 4293037160 144757825 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/733/statm: 31032 10587 896 2985 0 27966 0
[pid=733/tid=750] ppid=732 vsize=124128 CPUtime=0.04 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) R 732 732 694 0 -1 4202560 31 0 0 0 4 0 0 0 20 0 8 0 390809084 127107072 10587 33554432000 134512640 146736320 4293043536 4130517160 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=124128 CPUtime=0.04 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 41 0 0 0 4 0 0 0 20 0 8 0 390809084 127107072 10587 33554432000 134512640 146736320 4293043536 4141001816 136007289 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=124128 CPUtime=0 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 269 0 0 0 0 0 0 0 20 0 8 0 390809084 127107072 10587 33554432000 134512640 146736320 4293043536 4151489512 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=124128 CPUtime=0 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 346 0 0 0 0 0 0 0 20 0 8 0 390809084 127107072 10587 33554432000 134512640 146736320 4293043536 4117881424 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=124128 CPUtime=0.01 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 499 0 0 0 1 0 0 0 20 0 8 0 390809084 127107072 10587 33554432000 134512640 146736320 4293043536 4097825880 136007289 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=124128 CPUtime=0 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) S 732 732 694 0 -1 4202560 30 0 0 0 0 0 0 0 20 0 8 0 390809084 127107072 10587 33554432000 134512640 146736320 4293043536 4087344784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=124128 CPUtime=0 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) S 732 732 694 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 8 0 390809084 127107072 10587 33554432000 134512640 146736320 4293043536 4068470416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 133276
[startup+6.30045 s]
/proc/loadavg: 0.16 0.03 0.01 7/187 778
/proc/meminfo: memFree=31281652/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=128124 CPUtime=15.65 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 29274 0 0 0 1442 123 0 0 20 0 8 0 390808896 131198976 11512 33554432000 134512640 146736320 4293043536 4293036232 139043594 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 2 0 0
/proc/733/statm: 32031 11512 896 2985 0 28965 0
[pid=733/tid=750] ppid=732 vsize=128124 CPUtime=1.61 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) R 732 732 694 0 -1 4202560 354 0 0 0 151 10 0 0 20 0 8 0 390809084 131198976 11512 33554432000 134512640 146736320 4293043536 4130517992 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=128124 CPUtime=1.43 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 141 0 0 0 138 5 0 0 20 0 8 0 390809084 131198976 11512 33554432000 134512640 146736320 4293043536 4141004864 137460992 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=128124 CPUtime=1.32 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 1583 0 0 0 112 20 0 0 20 0 8 0 390809084 131198976 11512 33554432000 134512640 146736320 4293043536 4151487860 136400419 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=128124 CPUtime=1.34 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 633 0 0 0 120 14 0 0 20 0 8 0 390809084 131198976 11512 33554432000 134512640 146736320 4293043536 4117881832 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=128124 CPUtime=1.49 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) S 732 732 694 0 -1 4202560 2248 0 0 0 133 16 0 0 20 0 8 0 390809084 131198976 11512 33554432000 134512640 146736320 4293043536 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=128124 CPUtime=1.33 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) R 732 732 694 0 -1 4202560 235 0 0 0 122 11 0 0 20 0 8 0 390809084 131198976 11512 33554432000 134512640 146736320 4293043536 4087341696 139046530 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=128124 CPUtime=1.28 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) R 732 732 694 0 -1 4202560 656 0 0 0 120 8 0 0 20 0 8 0 390809084 131198976 11512 33554432000 134512640 146736320 4293043536 4068466872 136400574 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 15.65
Current children cumulated vsize (KiB) 137272
[startup+12.7004 s]
/proc/loadavg: 0.87 0.18 0.06 8/187 778
/proc/meminfo: memFree=30882580/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=131092 CPUtime=38.04 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 40129 0 0 0 3506 298 0 0 20 0 8 0 390808896 134238208 12356 33554432000 134512640 146736320 4293043536 4293037160 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 2 0 0
/proc/733/statm: 32773 12356 896 2985 0 29707 0
[pid=733/tid=750] ppid=732 vsize=131092 CPUtime=4.42 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) R 732 732 694 0 -1 4202560 731 0 0 0 413 29 0 0 20 0 8 0 390809084 134238208 12356 33554432000 134512640 146736320 4293043536 4130517584 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=131092 CPUtime=4.34 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 629 0 0 0 412 22 0 0 20 0 8 0 390809084 134238208 12356 33554432000 134512640 146736320 4293043536 4141002676 135450566 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=131092 CPUtime=4.19 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 2585 0 0 0 368 51 0 0 20 0 8 0 390809084 134238208 12356 33554432000 134512640 146736320 4293043536 4151488436 135450575 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=131092 CPUtime=4.06 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 1463 0 0 0 367 39 0 0 20 0 8 0 390809084 134238208 12356 33554432000 134512640 146736320 4293043536 4117879248 135459537 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=131092 CPUtime=4.09 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 4336 0 0 0 368 41 0 0 20 0 8 0 390809084 134238208 12356 33554432000 134512640 146736320 4293043536 4097827020 136017527 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=131092 CPUtime=4.11 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) R 732 732 694 0 -1 4202560 2265 0 0 0 386 25 0 0 20 0 8 0 390809084 134238208 12356 33554432000 134512640 146736320 4293043536 4087341252 136017811 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=131092 CPUtime=4.05 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) R 732 732 694 0 -1 4202560 4694 0 0 0 362 43 0 0 20 0 8 0 390809084 134238208 12356 33554432000 134512640 146736320 4293043536 4068467688 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 38.04
Current children cumulated vsize (KiB) 140240
[startup+25.5005 s]
/proc/loadavg: 1.56 0.37 0.12 3/187 779
/proc/meminfo: memFree=30645544/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=141132 CPUtime=67.42 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 54444 0 0 0 6246 496 0 0 20 0 8 0 390808896 144519168 14220 33554432000 134512640 146736320 4293043536 4293029528 136007622 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 2 0 0
/proc/733/statm: 35283 14220 902 2985 0 32217 0
[pid=733/tid=750] ppid=732 vsize=141132 CPUtime=7.24 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) S 732 732 694 0 -1 4202560 742 0 0 0 680 44 0 0 20 0 8 0 390809084 144519168 14220 33554432000 134512640 146736320 4293043536 4130520720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=141132 CPUtime=7.26 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) S 732 732 694 0 -1 4202560 630 0 0 0 691 35 0 0 20 0 8 0 390809084 144519168 14220 33554432000 134512640 146736320 4293043536 4141006480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=141132 CPUtime=7.03 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) S 732 732 694 0 -1 4202560 3867 0 0 0 622 81 0 0 20 0 8 0 390809084 144519168 14220 33554432000 134512640 146736320 4293043536 4151492240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=141132 CPUtime=6.94 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) S 732 732 694 0 -1 4202560 2957 0 0 0 632 62 0 0 20 0 8 0 390809084 144519168 14220 33554432000 134512640 146736320 4293043536 4117884560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=141132 CPUtime=6.95 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) S 732 732 694 0 -1 4202560 4750 0 0 0 614 81 0 0 20 0 8 0 390809084 144519168 14220 33554432000 134512640 146736320 4293043536 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=141132 CPUtime=7 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) S 732 732 694 0 -1 4202560 4004 0 0 0 646 54 0 0 20 0 8 0 390809084 144519168 14220 33554432000 134512640 146736320 4293043536 4087344784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=141132 CPUtime=6.98 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) S 732 732 694 0 -1 4202560 4845 0 0 0 634 64 0 0 20 0 8 0 390809084 144519168 14220 33554432000 134512640 146736320 4293043536 4068470416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 67.42
Current children cumulated vsize (KiB) 150280
[startup+51.1004 s]
/proc/loadavg: 2.31 0.63 0.21 9/187 801
/proc/meminfo: memFree=29792416/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=133968 CPUtime=151.11 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) S 732 732 694 0 -1 4202496 67511 0 0 0 13928 1183 0 0 20 0 8 0 390808896 137183232 13288 33554432000 134512640 146736320 4293043536 4293039888 144580073 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 2 0 0
/proc/733/statm: 33492 13288 903 2985 0 30426 0
[pid=733/tid=750] ppid=732 vsize=133968 CPUtime=17.42 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) R 732 732 694 0 -1 4202560 764 0 0 0 1623 119 0 0 20 0 8 0 390809084 137183232 13288 33554432000 134512640 146736320 4293043536 4130517992 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=133968 CPUtime=17.46 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 659 0 0 0 1609 137 0 0 20 0 8 0 390809084 137183232 13288 33554432000 134512640 146736320 4293043536 4141003344 136403112 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=133968 CPUtime=16.74 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 8292 0 0 0 1496 178 0 0 20 0 8 0 390809084 137183232 13288 33554432000 134512640 146736320 4293043536 4151488716 136017793 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=133968 CPUtime=17 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 3630 0 0 0 1569 131 0 0 20 0 8 0 390809084 137183232 13288 33554432000 134512640 146736320 4293043536 4117881832 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=133968 CPUtime=17.01 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 4769 0 0 0 1524 177 0 0 20 0 8 0 390809084 137183232 13288 33554432000 134512640 146736320 4293043536 4097827816 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=133968 CPUtime=16.95 cores=1,3,5,7
################
# More data... #
################
[startup+92.7004 s]
/proc/loadavg: 4.85 1.49 0.52 7/186 801
/proc/meminfo: memFree=30340480/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=132944 CPUtime=300.35 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 85363 0 0 0 27555 2480 0 0 20 0 8 0 390808896 136134656 13004 33554432000 134512640 146736320 4293043536 4293037160 144757825 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 2 0 0
/proc/733/statm: 33236 13004 921 2985 0 30170 0
[pid=733/tid=750] ppid=732 vsize=132944 CPUtime=36.03 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) R 732 732 694 0 -1 4202560 3467 0 0 0 3359 244 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4130517992 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=132944 CPUtime=36.13 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 3625 0 0 0 3308 305 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4141002944 135468684 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=132944 CPUtime=35.34 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 10625 0 0 0 3191 343 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4151488584 139043568 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=132944 CPUtime=35.41 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 7208 0 0 0 3254 287 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4117881036 136017845 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=132944 CPUtime=35.99 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 5359 0 0 0 3283 316 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4097828376 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=132944 CPUtime=35.34 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) R 732 732 694 0 -1 4202560 6621 0 0 0 3229 305 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4087343704 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=132944 CPUtime=35.59 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) R 732 732 694 0 -1 4202560 12534 0 0 0 3232 327 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4068467280 136403117 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 300.35
Current children cumulated vsize (KiB) 142092
[startup+94.3004 s]
/proc/loadavg: 4.62 1.50 0.53 4/186 801
/proc/meminfo: memFree=30338248/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=132944 CPUtime=306.11 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 85877 0 0 0 28086 2525 0 0 20 0 8 0 390808896 136134656 13004 33554432000 134512640 146736320 4293043536 4293037720 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 2 0 0
/proc/733/statm: 33236 13004 921 2985 0 30170 0
[pid=733/tid=750] ppid=732 vsize=132944 CPUtime=36.71 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) R 732 732 694 0 -1 4202560 3712 0 0 0 3423 248 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4130517584 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=132944 CPUtime=36.84 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 3625 0 0 0 3367 317 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4141003344 136403117 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=132944 CPUtime=36.05 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 10625 0 0 0 3253 352 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4151488688 136400477 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=132944 CPUtime=36.17 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 7208 0 0 0 3323 294 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4117881068 136493081 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=132944 CPUtime=36.72 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 5359 0 0 0 3353 319 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4097827020 136017474 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=132944 CPUtime=36.06 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) R 732 732 694 0 -1 4202560 6621 0 0 0 3299 307 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4087341648 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=132944 CPUtime=36.31 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) R 732 732 694 0 -1 4202560 12803 0 0 0 3302 329 0 0 20 0 8 0 390809084 136134656 13004 33554432000 134512640 146736320 4293043536 4068469336 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 306.11
Current children cumulated vsize (KiB) 142092
[startup+95.9005 s]
/proc/loadavg: 4.62 1.50 0.53 8/186 801
/proc/meminfo: memFree=30335892/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=132948 CPUtime=311.77 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 86819 0 0 0 28610 2567 0 0 20 0 8 0 390808896 136138752 13004 33554432000 134512640 146736320 4293043536 4293037160 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 2 0 0
/proc/733/statm: 33237 13004 921 2985 0 30171 0
[pid=733/tid=750] ppid=732 vsize=132948 CPUtime=37.42 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) R 732 732 694 0 -1 4202560 4127 0 0 0 3491 251 0 0 20 0 8 0 390809084 136138752 13004 33554432000 134512640 146736320 4293043536 4130516496 136403103 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=132948 CPUtime=37.6 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 3625 0 0 0 3436 324 0 0 20 0 8 0 390809084 136138752 13004 33554432000 134512640 146736320 4293043536 4141003752 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=132948 CPUtime=36.7 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 10625 0 0 0 3309 361 0 0 20 0 8 0 390809084 136138752 13004 33554432000 134512640 146736320 4293043536 4151488968 135999611 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=132948 CPUtime=36.84 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 7442 0 0 0 3387 297 0 0 20 0 8 0 390809084 136138752 13004 33554432000 134512640 146736320 4293043536 4117880904 139043581 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=132948 CPUtime=37.44 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 5359 0 0 0 3419 325 0 0 20 0 8 0 390809084 136138752 13004 33554432000 134512640 146736320 4293043536 4097826888 139043579 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=132948 CPUtime=36.72 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) R 732 732 694 0 -1 4202560 6701 0 0 0 3355 317 0 0 20 0 8 0 390809084 136138752 13004 33554432000 134512640 146736320 4293043536 4087341096 139044580 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=132948 CPUtime=37.05 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) R 732 732 694 0 -1 4202560 13012 0 0 0 3373 332 0 0 20 0 8 0 390809084 136138752 13004 33554432000 134512640 146736320 4293043536 4068467116 136400477 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 311.77
Current children cumulated vsize (KiB) 142096
[startup+96.3005 s]
/proc/loadavg: 4.62 1.50 0.53 8/186 801
/proc/meminfo: memFree=30335892/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=128852 CPUtime=313.18 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) S 732 732 694 0 -1 4202496 87797 0 0 0 28741 2577 0 0 20 0 8 0 390808896 131944448 12150 33554432000 134512640 146736320 4293043536 4293039888 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 2 0 0
/proc/733/statm: 32213 12150 921 2985 0 29147 0
[pid=733/tid=750] ppid=732 vsize=128852 CPUtime=37.59 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) S 732 732 694 0 -1 4202560 4525 0 0 0 3505 254 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4130520720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=128852 CPUtime=37.73 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) S 732 732 694 0 -1 4202560 3625 0 0 0 3448 325 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4141006480 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=128852 CPUtime=36.9 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) S 732 732 694 0 -1 4202560 10832 0 0 0 3328 362 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4151492240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=128852 CPUtime=37.03 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 7442 0 0 0 3406 297 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4117881008 136400469 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=128852 CPUtime=37.63 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) S 732 732 694 0 -1 4202560 5558 0 0 0 3434 329 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4097830544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=128852 CPUtime=36.9 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) S 732 732 694 0 -1 4202560 6701 0 0 0 3372 318 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4087344784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=128852 CPUtime=37.25 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) S 732 732 694 0 -1 4202560 13186 0 0 0 3393 332 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4068470416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 313.18
Current children cumulated vsize (KiB) 138000
[startup+96.7004 s]
/proc/loadavg: 4.62 1.50 0.53 10/186 801
/proc/meminfo: memFree=30337132/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=128852 CPUtime=314.53 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) R 732 732 694 0 -1 4202496 87799 0 0 0 28866 2587 0 0 20 0 8 0 390808896 131944448 12150 33554432000 134512640 146736320 4293043536 4293037160 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 2 0 0
/proc/733/statm: 32213 12150 921 2985 0 29147 0
[pid=733/tid=750] ppid=732 vsize=128852 CPUtime=37.78 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) S 732 732 694 0 -1 4202560 4525 0 0 0 3521 257 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4130520720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=128852 CPUtime=37.89 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 3625 0 0 0 3464 325 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4141002692 135523326 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=128852 CPUtime=37.05 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) R 732 732 694 0 -1 4202560 10832 0 0 0 3342 363 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4151488552 139044585 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=128852 CPUtime=37.2 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 7444 0 0 0 3420 300 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4117881464 135535136 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=128852 CPUtime=37.78 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 5558 0 0 0 3448 330 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4097827816 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=128852 CPUtime=37.08 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) R 732 732 694 0 -1 4202560 6701 0 0 0 3390 318 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4087341260 136017787 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=128852 CPUtime=37.44 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) R 732 732 694 0 -1 4202560 13186 0 0 0 3411 333 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4068467688 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 314.53
Current children cumulated vsize (KiB) 138000
[startup+96.8073 s]
/proc/loadavg: 4.62 1.50 0.53 10/186 801
/proc/meminfo: memFree=30337132/32873844 swapFree=7120/7120
[pid=732] ppid=730 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/732/stat : 732 (run) S 730 732 694 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390808896 9367552 270 33554432000 4194304 5064252 140733717619200 140733717618112 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/732/statm: 2287 270 229 213 0 72 0
[pid=733] ppid=732 vsize=128852 CPUtime=314.85 cores=1,3,5,7
/proc/733/stat : 733 (pb_cplex) S 732 732 694 0 -1 4202496 87799 0 0 0 28896 2589 0 0 20 0 8 0 390808896 131944448 12150 33554432000 134512640 146736320 4293043536 4293039888 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 2 0 0
/proc/733/statm: 32213 12150 921 2985 0 29147 0
[pid=733/tid=750] ppid=732 vsize=128852 CPUtime=37.79 cores=1,3,5,7
/proc/733/task/750/stat : 750 (pb_cplex) S 732 732 694 0 -1 4202560 4525 0 0 0 3522 257 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4130520720 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=733/tid=751] ppid=732 vsize=128852 CPUtime=37.95 cores=1,3,5,7
/proc/733/task/751/stat : 751 (pb_cplex) R 732 732 694 0 -1 4202560 3625 0 0 0 3470 325 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4141002948 135844448 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=733/tid=752] ppid=732 vsize=128852 CPUtime=37.09 cores=1,3,5,7
/proc/733/task/752/stat : 752 (pb_cplex) S 732 732 694 0 -1 4202560 10832 0 0 0 3345 364 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4151492240 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=733/tid=753] ppid=732 vsize=128852 CPUtime=37.27 cores=1,3,5,7
/proc/733/task/753/stat : 753 (pb_cplex) R 732 732 694 0 -1 4202560 7444 0 0 0 3426 301 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4117880872 139044505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=733/tid=754] ppid=732 vsize=128852 CPUtime=37.81 cores=1,3,5,7
/proc/733/task/754/stat : 754 (pb_cplex) R 732 732 694 0 -1 4202560 5558 0 0 0 3451 330 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4097825908 135450747 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=733/tid=755] ppid=732 vsize=128852 CPUtime=37.1 cores=1,3,5,7
/proc/733/task/755/stat : 755 (pb_cplex) S 732 732 694 0 -1 4202560 6701 0 0 0 3392 318 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4087344784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=733/tid=756] ppid=732 vsize=128852 CPUtime=37.5 cores=1,3,5,7
/proc/733/task/756/stat : 756 (pb_cplex) S 732 732 694 0 -1 4202560 13186 0 0 0 3417 333 0 0 20 0 8 0 390809084 131944448 12150 33554432000 134512640 146736320 4293043536 4068470416 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 314.85
Current children cumulated vsize (KiB) 138000
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 732 and gives
# childrusage.ru_utime.tv_sec=288
# childrusage.ru_utime.tv_usec=846088
# childrusage.ru_stime.tv_sec=25
# childrusage.ru_stime.tv_usec=971051
# CPU time returned by wait4() is 314.817
# while last known CPU time is 314.85
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 96.8623
CPU time (s): 314.85
CPU user time (s): 288.96
CPU system time (s): 25.89
CPU usage (%): 325.049
Max. virtual memory (cumulated for all children) (KiB): 150280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 288.846
system time used= 25.9711
maximum resident set size= 57320
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 88177
page faults= 0
swaps= 0
block input operations= 88
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 77178
involuntary context switches= 19595
runsolver used 0.26096 second user time and 0.734888 second system time
The end