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-3729595-1339246836/watcher-3729595-1339246836 -o /tmp/evaluation-result-3729595-1339246836/solver-3729595-1339246836 -C 1800 -W 1900 -M 15500 run HOME/instance-3729595-1339246836.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 3/176 17624
/proc/meminfo: memFree=31330596/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=11812 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (runsolver) D 17620 17624 17566 0 -1 4202560 45 0 0 0 0 0 0 0 20 0 1 0 390812493 12095488 56 33554432000 4194304 5436572 140736751718592 140736751714472 5057063 0 0 4096 24578 18446744071580397875 0 0 17 3 0 0 0 0 0
/proc/17624/statm: 2953 56 36 304 0 2645 0
[startup+0.0648 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 17624
/proc/meminfo: memFree=31330596/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100274 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 17624
/proc/meminfo: memFree=31330596/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 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 3/176 17624
/proc/meminfo: memFree=31330596/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700173 s]
/proc/loadavg: 0.00 0.00 0.00 3/176 17624
/proc/meminfo: memFree=31330596/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 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.00 0.00 0.00 11/187 17642
/proc/meminfo: memFree=31284076/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=71712 CPUtime=2.51 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 12743 0 0 0 242 9 0 0 20 0 1 0 390812493 73433088 4571 33554432000 134512640 146736320 4292094960 4292089040 136008234 0 0 4096 16387 0 0 0 17 3 0 0 1 0 0
/proc/17628/statm: 17928 4571 887 2985 0 14862 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 80860
[startup+3.10016 s]
/proc/loadavg: 0.16 0.03 0.01 4/187 17656
/proc/meminfo: memFree=31279180/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=106732 CPUtime=4.26 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 17592 0 0 0 409 17 0 0 20 0 8 0 390812493 109293568 5442 33554432000 134512640 146736320 4292094960 4292087120 136403109 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 1 0 0
/proc/17628/statm: 26683 5442 895 2985 0 23617 0
Current children cumulated CPU time (s) 4.26
Current children cumulated vsize (KiB) 115880
[startup+6.30044 s]
/proc/loadavg: 0.16 0.03 0.01 17/194 17670
/proc/meminfo: memFree=31249396/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=128336 CPUtime=15.39 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) S 17624 17624 17566 0 -1 4202496 33408 0 0 0 1515 24 0 0 20 0 8 0 390812493 131416064 9970 33554432000 134512640 146736320 4292094960 4292091344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 1 0 0
/proc/17628/statm: 32084 9970 895 2985 0 29018 0
[pid=17628/tid=17664] ppid=17624 vsize=128336 CPUtime=1.41 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) R 17624 17624 17566 0 -1 4202560 3565 0 0 0 140 1 0 0 20 0 8 0 390812732 131416064 9970 33554432000 134512640 146736320 4292094960 4130513536 139046527 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=128336 CPUtime=1.4 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1506 0 0 0 140 0 0 0 20 0 8 0 390812732 131416064 9970 33554432000 134512640 146736320 4292094960 4141002384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=128336 CPUtime=1.27 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1171 0 0 0 127 0 0 0 20 0 8 0 390812732 131416064 9970 33554432000 134512640 146736320 4292094960 4151484456 139044505 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=128336 CPUtime=1.3 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2109 0 0 0 130 0 0 0 20 0 8 0 390812732 131416064 9970 33554432000 134512640 146736320 4292094960 4117877736 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=128336 CPUtime=1.25 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) S 17624 17624 17566 0 -1 4202560 972 0 0 0 123 2 0 0 20 0 8 0 390812732 131416064 9970 33554432000 134512640 146736320 4292094960 4107394704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=128336 CPUtime=1.44 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2861 0 0 0 143 1 0 0 20 0 8 0 390812732 131416064 9970 33554432000 134512640 146736320 4292094960 4096905808 136403129 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=128336 CPUtime=1.39 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) R 17624 17624 17566 0 -1 4202560 702 0 0 0 139 0 0 0 20 0 8 0 390812732 131416064 9970 33554432000 134512640 146736320 4292094960 4086419348 136017485 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 15.39
Current children cumulated vsize (KiB) 137484
[startup+12.7004 s]
/proc/loadavg: 2.22 0.48 0.15 16/194 17670
/proc/meminfo: memFree=31245740/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=128352 CPUtime=37.21 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 35770 0 0 0 3682 39 0 0 20 0 8 0 390812493 131432448 10037 33554432000 134512640 146736320 4292094960 4292087616 136019067 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 1 0 0
/proc/17628/statm: 32088 10037 895 2985 0 29022 0
[pid=17628/tid=17664] ppid=17624 vsize=128352 CPUtime=4.23 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) R 17624 17624 17566 0 -1 4202560 4920 0 0 0 419 4 0 0 20 0 8 0 390812732 131432448 10037 33554432000 134512640 146736320 4292094960 4130512936 139044581 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=128352 CPUtime=4.02 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1506 0 0 0 400 2 0 0 20 0 8 0 390812732 131432448 10037 33554432000 134512640 146736320 4292094960 4140999656 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=128352 CPUtime=4.02 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1380 0 0 0 400 2 0 0 20 0 8 0 390812732 131432448 10037 33554432000 134512640 146736320 4292094960 4151488144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=128352 CPUtime=4 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2669 0 0 0 398 2 0 0 20 0 8 0 390812732 131432448 10037 33554432000 134512640 146736320 4292094960 4117876888 136007629 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=128352 CPUtime=3.92 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) R 17624 17624 17566 0 -1 4202560 974 0 0 0 389 3 0 0 20 0 8 0 390812732 131432448 10037 33554432000 134512640 146736320 4292094960 4107391128 136007050 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=128352 CPUtime=4.1 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2873 0 0 0 408 2 0 0 20 0 8 0 390812732 131432448 10037 33554432000 134512640 146736320 4292094960 4096905808 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=128352 CPUtime=4.08 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) R 17624 17624 17566 0 -1 4202560 714 0 0 0 406 2 0 0 20 0 8 0 390812732 131432448 10037 33554432000 134512640 146736320 4292094960 4086419608 136007584 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 37.21
Current children cumulated vsize (KiB) 137500
[startup+25.5004 s]
/proc/loadavg: 2.77 0.66 0.22 5/194 17671
/proc/meminfo: memFree=31235868/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=139452 CPUtime=76.3 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 50632 0 0 0 7565 65 0 0 20 0 8 0 390812493 142798848 12155 33554432000 134512640 146736320 4292094960 4292083080 139042906 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 1 0 0
/proc/17628/statm: 34863 12155 902 2985 0 31797 0
[pid=17628/tid=17664] ppid=17624 vsize=139452 CPUtime=8.88 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) S 17624 17624 17566 0 -1 4202560 7421 0 0 0 881 7 0 0 20 0 8 0 390812732 142798848 12155 33554432000 134512640 146736320 4292094960 4130516624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=139452 CPUtime=8.55 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) S 17624 17624 17566 0 -1 4202560 2221 0 0 0 851 4 0 0 20 0 8 0 390812732 142798848 12155 33554432000 134512640 146736320 4292094960 4141002384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=139452 CPUtime=8.71 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1728 0 0 0 866 5 0 0 20 0 8 0 390812732 142798848 12155 33554432000 134512640 146736320 4292094960 4151488144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=139452 CPUtime=8.64 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) S 17624 17624 17566 0 -1 4202560 5895 0 0 0 858 6 0 0 20 0 8 0 390812732 142798848 12155 33554432000 134512640 146736320 4292094960 4117880464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=139452 CPUtime=8.52 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1321 0 0 0 847 5 0 0 20 0 8 0 390812732 142798848 12155 33554432000 134512640 146736320 4292094960 4107394704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=139452 CPUtime=8.78 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) S 17624 17624 17566 0 -1 4202560 3095 0 0 0 873 5 0 0 20 0 8 0 390812732 142798848 12155 33554432000 134512640 146736320 4292094960 4096908944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=139452 CPUtime=8.67 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1728 0 0 0 862 5 0 0 20 0 8 0 390812732 142798848 12155 33554432000 134512640 146736320 4292094960 4086423184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 76.3
Current children cumulated vsize (KiB) 148600
Solver just ended. Dumping a history of the last processes samples
[startup+25.6004 s]
/proc/loadavg: 2.77 0.66 0.22 5/194 17671
/proc/meminfo: memFree=31235868/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=139452 CPUtime=76.4 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 50638 0 0 0 7575 65 0 0 20 0 8 0 390812493 142798848 12161 33554432000 134512640 146736320 4292094960 4292083080 139042902 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 1 0 0
/proc/17628/statm: 34863 12161 902 2985 0 31797 0
[pid=17628/tid=17664] ppid=17624 vsize=139452 CPUtime=8.88 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) S 17624 17624 17566 0 -1 4202560 7421 0 0 0 881 7 0 0 20 0 8 0 390812732 142798848 12161 33554432000 134512640 146736320 4292094960 4130516624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=139452 CPUtime=8.55 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) S 17624 17624 17566 0 -1 4202560 2221 0 0 0 851 4 0 0 20 0 8 0 390812732 142798848 12161 33554432000 134512640 146736320 4292094960 4141002384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=139452 CPUtime=8.71 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1728 0 0 0 866 5 0 0 20 0 8 0 390812732 142798848 12161 33554432000 134512640 146736320 4292094960 4151488144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=139452 CPUtime=8.64 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) S 17624 17624 17566 0 -1 4202560 5895 0 0 0 858 6 0 0 20 0 8 0 390812732 142798848 12161 33554432000 134512640 146736320 4292094960 4117880464 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=139452 CPUtime=8.52 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1321 0 0 0 847 5 0 0 20 0 8 0 390812732 142798848 12161 33554432000 134512640 146736320 4292094960 4107394704 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=139452 CPUtime=8.78 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) S 17624 17624 17566 0 -1 4202560 3095 0 0 0 873 5 0 0 20 0 8 0 390812732 142798848 12161 33554432000 134512640 146736320 4292094960 4096908944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=139452 CPUtime=8.67 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1728 0 0 0 862 5 0 0 20 0 8 0 390812732 142798848 12161 33554432000 134512640 146736320 4292094960 4086423184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 76.4
Current children cumulated vsize (KiB) 148600
[startup+38.4004 s]
/proc/loadavg: 3.64 0.94 0.31 10/194 17693
/proc/meminfo: memFree=31242788/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=128516 CPUtime=100.57 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) S 17624 17624 17566 0 -1 4202496 59089 0 0 0 9983 74 0 0 20 0 8 0 390812493 131600384 10251 33554432000 134512640 146736320 4292094960 4292091344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 1 0 0
/proc/17628/statm: 32129 10251 903 2985 0 29063 0
[pid=17628/tid=17664] ppid=17624 vsize=128516 CPUtime=10.85 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) R 17624 17624 17566 0 -1 4202560 7563 0 0 0 1077 8 0 0 20 0 8 0 390812732 131600384 10251 33554432000 134512640 146736320 4292094960 4130513048 136007616 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=128516 CPUtime=10.55 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2612 0 0 0 1050 5 0 0 20 0 8 0 390812732 131600384 10251 33554432000 134512640 146736320 4292094960 4140998932 136004384 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=128516 CPUtime=10.66 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1728 0 0 0 1060 6 0 0 20 0 8 0 390812732 131600384 10251 33554432000 134512640 146736320 4292094960 4151484568 136007616 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=128516 CPUtime=10.59 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 6383 0 0 0 1052 7 0 0 20 0 8 0 390812732 131600384 10251 33554432000 134512640 146736320 4292094960 4117877328 136403117 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=128516 CPUtime=10.54 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1885 0 0 0 1047 7 0 0 20 0 8 0 390812732 131600384 10251 33554432000 134512640 146736320 4292094960 4107391976 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=128516 CPUtime=10.67 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) R 17624 17624 17566 0 -1 4202560 3095 0 0 0 1061 6 0 0 20 0 8 0 390812732 131600384 10251 33554432000 134512640 146736320 4292094960 4096905156 135523311 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=128516 CPUtime=10.59 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1728 0 0 0 1052 7 0 0 20 0 8 0 390812732 131600384 10251 33554432000 134512640 146736320 4292094960 4086420076 136468834 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 100.57
Current children cumulated vsize (KiB) 137664
[startup+44.8004 s]
/proc/loadavg: 4.55 1.17 0.39 17/194 17693
/proc/meminfo: memFree=31243052/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=129548 CPUtime=122.39 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 63562 0 0 0 12152 87 0 0 20 0 8 0 390812493 132657152 10285 33554432000 134512640 146736320 4292094960 4292090060 137015996 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 1 0 0
/proc/17628/statm: 32387 10285 903 2985 0 29321 0
[pid=17628/tid=17664] ppid=17624 vsize=129548 CPUtime=13.55 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) R 17624 17624 17566 0 -1 4202560 8450 0 0 0 1345 10 0 0 20 0 8 0 390812732 132657152 10285 33554432000 134512640 146736320 4292094960 4130515660 139023078 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=129548 CPUtime=13.29 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) R 17624 17624 17566 0 -1 4202560 3254 0 0 0 1322 7 0 0 20 0 8 0 390812732 132657152 10285 33554432000 134512640 146736320 4292094960 4140999656 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=129548 CPUtime=13.34 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1728 0 0 0 1327 7 0 0 20 0 8 0 390812732 132657152 10285 33554432000 134512640 146736320 4292094960 4151485008 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=129548 CPUtime=13.28 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 7448 0 0 0 1320 8 0 0 20 0 8 0 390812732 132657152 10285 33554432000 134512640 146736320 4292094960 4117876776 139044572 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=129548 CPUtime=13.19 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1907 0 0 0 1310 9 0 0 20 0 8 0 390812732 132657152 10285 33554432000 134512640 146736320 4292094960 4107391976 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=129548 CPUtime=13.43 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) R 17624 17624 17566 0 -1 4202560 3300 0 0 0 1335 8 0 0 20 0 8 0 390812732 132657152 10285 33554432000 134512640 146736320 4292094960 4096908944 144580073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=129548 CPUtime=13.26 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) S 17624 17624 17566 0 -1 4202560 2945 0 0 0 1317 9 0 0 20 0 8 0 390812732 132657152 10285 33554432000 134512640 146736320 4292094960 4086423184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 122.39
Current children cumulated vsize (KiB) 138696
[startup+48.0004 s]
/proc/loadavg: 5.31 1.38 0.47 11/194 17693
/proc/meminfo: memFree=31243300/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=129548 CPUtime=133.26 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 64338 0 0 0 13231 95 0 0 20 0 8 0 390812493 132657152 10305 33554432000 134512640 146736320 4292094960 4292087768 136007062 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 1 0 0
/proc/17628/statm: 32387 10305 903 2985 0 29321 0
[pid=17628/tid=17664] ppid=17624 vsize=129548 CPUtime=14.86 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) R 17624 17624 17566 0 -1 4202560 8547 0 0 0 1475 11 0 0 20 0 8 0 390812732 132657152 10305 33554432000 134512640 146736320 4292094960 4130513528 135535158 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=129548 CPUtime=14.57 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) R 17624 17624 17566 0 -1 4202560 3501 0 0 0 1449 8 0 0 20 0 8 0 390812732 132657152 10305 33554432000 134512640 146736320 4292094960 4140998864 136008020 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=129548 CPUtime=14.74 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1728 0 0 0 1466 8 0 0 20 0 8 0 390812732 132657152 10305 33554432000 134512640 146736320 4292094960 4151483580 135453303 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=129548 CPUtime=14.62 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 7702 0 0 0 1453 9 0 0 20 0 8 0 390812732 132657152 10305 33554432000 134512640 146736320 4292094960 4117876888 136007654 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=129548 CPUtime=14.59 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1907 0 0 0 1449 10 0 0 20 0 8 0 390812732 132657152 10305 33554432000 134512640 146736320 4292094960 4107391128 136007303 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=129548 CPUtime=14.8 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) R 17624 17624 17566 0 -1 4202560 3300 0 0 0 1471 9 0 0 20 0 8 0 390812732 132657152 10305 33554432000 134512640 146736320 4292094960 4096905204 138462752 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=129548 CPUtime=14.54 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2945 0 0 0 1445 9 0 0 20 0 8 0 390812732 132657152 10305 33554432000 134512640 146736320 4292094960 4086420048 136403117 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 133.26
Current children cumulated vsize (KiB) 138696
[startup+49.6071 s]
/proc/loadavg: 5.31 1.38 0.47 16/194 17693
/proc/meminfo: memFree=31242928/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=129548 CPUtime=138.82 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) S 17624 17624 17566 0 -1 4202496 65652 0 0 0 13784 98 0 0 20 0 8 0 390812493 132657152 10309 33554432000 134512640 146736320 4292094960 4292091344 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 1 0 0
/proc/17628/statm: 32387 10309 903 2985 0 29321 0
[pid=17628/tid=17664] ppid=17624 vsize=129548 CPUtime=15.54 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) S 17624 17624 17566 0 -1 4202560 8822 0 0 0 1542 12 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4130516624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=129548 CPUtime=15.28 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) S 17624 17624 17566 0 -1 4202560 3839 0 0 0 1519 9 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4141002384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=129548 CPUtime=15.42 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) S 17624 17624 17566 0 -1 4202560 1728 0 0 0 1534 8 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4151488144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=129548 CPUtime=15.3 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 7923 0 0 0 1521 9 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4117877736 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=129548 CPUtime=15.3 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2386 0 0 0 1520 10 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4107391976 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=129548 CPUtime=15.51 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) S 17624 17624 17566 0 -1 4202560 3300 0 0 0 1542 9 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4096908944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=129548 CPUtime=15.2 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2946 0 0 0 1510 10 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4086419660 135846779 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 138.82
Current children cumulated vsize (KiB) 138696
[startup+50.4004 s]
/proc/loadavg: 5.31 1.38 0.47 16/194 17693
/proc/meminfo: memFree=31242928/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=129548 CPUtime=141.29 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 66212 0 0 0 14030 99 0 0 20 0 8 0 390812493 132657152 10309 33554432000 134512640 146736320 4292094960 4292087768 136007289 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 1 0 0
/proc/17628/statm: 32387 10309 903 2985 0 29321 0
[pid=17628/tid=17664] ppid=17624 vsize=129548 CPUtime=15.84 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) R 17624 17624 17566 0 -1 4202560 8947 0 0 0 1572 12 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4130513896 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=129548 CPUtime=15.58 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) R 17624 17624 17566 0 -1 4202560 4126 0 0 0 1549 9 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4140999656 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=129548 CPUtime=15.72 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1728 0 0 0 1563 9 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4151485432 136476064 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=129548 CPUtime=15.61 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 7923 0 0 0 1552 9 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4117878296 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=129548 CPUtime=15.62 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2386 0 0 0 1552 10 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4107392896 137083836 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=129548 CPUtime=15.8 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) R 17624 17624 17566 0 -1 4202560 3300 0 0 0 1571 9 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4096905368 136007612 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=129548 CPUtime=15.52 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2946 0 0 0 1542 10 0 0 20 0 8 0 390812732 132657152 10309 33554432000 134512640 146736320 4292094960 4086420048 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 141.29
Current children cumulated vsize (KiB) 138696
[startup+50.6004 s]
/proc/loadavg: 5.31 1.38 0.47 9/194 17693
/proc/meminfo: memFree=31242308/32873844 swapFree=8656/8656
[pid=17624] ppid=17620 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/17624/stat : 17624 (run) S 17620 17624 17566 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390812493 9367552 269 33554432000 4194304 5064252 140736140796624 140736140795536 249649849934 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/17624/statm: 2287 269 229 213 0 72 0
[pid=17628] ppid=17624 vsize=129548 CPUtime=142 cores=1,3,5,7
/proc/17628/stat : 17628 (pb_cplex) R 17624 17624 17566 0 -1 4202496 66320 0 0 0 14101 99 0 0 20 0 8 0 390812493 132657152 10313 33554432000 134512640 146736320 4292094960 4292087708 135854509 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 1 0 0
/proc/17628/statm: 32387 10313 907 2985 0 29321 0
[pid=17628/tid=17664] ppid=17624 vsize=129548 CPUtime=15.94 cores=1,3,5,7
/proc/17628/task/17664/stat : 17664 (pb_cplex) R 17624 17624 17566 0 -1 4202560 9025 0 0 0 1582 12 0 0 20 0 8 0 390812732 132657152 10313 33554432000 134512640 146736320 4292094960 4130513008 136384861 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17665] ppid=17624 vsize=129548 CPUtime=15.68 cores=1,3,5,7
/proc/17628/task/17665/stat : 17665 (pb_cplex) S 17624 17624 17566 0 -1 4202560 4152 0 0 0 1559 9 0 0 20 0 8 0 390812732 132657152 10313 33554432000 134512640 146736320 4292094960 4141002384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17666] ppid=17624 vsize=129548 CPUtime=15.81 cores=1,3,5,7
/proc/17628/task/17666/stat : 17666 (pb_cplex) R 17624 17624 17566 0 -1 4202560 1728 0 0 0 1572 9 0 0 20 0 8 0 390812732 132657152 10313 33554432000 134512640 146736320 4292094960 4151486400 137091327 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=17628/tid=17667] ppid=17624 vsize=129548 CPUtime=15.69 cores=1,3,5,7
/proc/17628/task/17667/stat : 17667 (pb_cplex) R 17624 17624 17566 0 -1 4202560 7923 0 0 0 1560 9 0 0 20 0 8 0 390812732 132657152 10313 33554432000 134512640 146736320 4292094960 4117877736 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=17628/tid=17668] ppid=17624 vsize=129548 CPUtime=15.72 cores=1,3,5,7
/proc/17628/task/17668/stat : 17668 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2386 0 0 0 1561 11 0 0 20 0 8 0 390812732 132657152 10313 33554432000 134512640 146736320 4292094960 4107391976 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=17628/tid=17669] ppid=17624 vsize=129548 CPUtime=15.87 cores=1,3,5,7
/proc/17628/task/17669/stat : 17669 (pb_cplex) S 17624 17624 17566 0 -1 4202560 3304 0 0 0 1578 9 0 0 20 0 8 0 390812732 132657152 10313 33554432000 134512640 146736320 4292094960 4096908944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=17628/tid=17670] ppid=17624 vsize=129548 CPUtime=15.61 cores=1,3,5,7
/proc/17628/task/17670/stat : 17670 (pb_cplex) R 17624 17624 17566 0 -1 4202560 2946 0 0 0 1551 10 0 0 20 0 8 0 390812732 132657152 10313 33554432000 134512640 146736320 4292094960 4086419608 136007605 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 142
Current children cumulated vsize (KiB) 138696
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17624 and gives
# childrusage.ru_utime.tv_sec=140
# childrusage.ru_utime.tv_usec=803594
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=58839
# CPU time returned by wait4() is 141.862
# while last known CPU time is 142
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 50.6518
CPU time (s): 142
CPU user time (s): 141.01
CPU system time (s): 0.99
CPU usage (%): 280.346
Max. virtual memory (cumulated for all children) (KiB): 148780
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 140.804
system time used= 1.05884
maximum resident set size= 48748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66703
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= 26511
involuntary context switches= 8770
runsolver used 0.140978 second user time and 0.345947 second system time
The end