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-3734843-1339247589/watcher-3734843-1339247589 -o /tmp/evaluation-result-3734843-1339247589/solver-3734843-1339247589 -C 1800 -W 1900 -M 15500 run HOME/instance-3734843-1339247589.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 7.27 7.83 4.91 3/177 4155
/proc/meminfo: memFree=29848060/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[startup+0.0245091 s]
/proc/loadavg: 7.27 7.83 4.91 3/177 4155
/proc/meminfo: memFree=29848060/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100163 s]
/proc/loadavg: 7.27 7.83 4.91 3/177 4155
/proc/meminfo: memFree=29848060/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300137 s]
/proc/loadavg: 7.27 7.83 4.91 3/177 4155
/proc/meminfo: memFree=29848060/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700132 s]
/proc/loadavg: 7.27 7.83 4.91 3/177 4155
/proc/meminfo: memFree=29848060/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 7.27 7.83 4.91 7/186 4220
/proc/meminfo: memFree=29839316/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=96800 CPUtime=3.88 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) S 4155 4155 3419 0 -1 4202496 11419 0 0 0 362 26 0 0 20 0 8 0 390883239 99123200 3378 33554432000 134512640 146736320 4291907936 4291904336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4156/statm: 24200 3378 974 2985 0 21134 0
[pid=4156/tid=4214] ppid=4155 vsize=96800 CPUtime=0.27 cores=0,2,4,6
/proc/4156/task/4214/stat : 4214 (pb_cplex) S 4155 4155 3419 0 -1 4202560 236 0 0 0 27 0 0 0 20 0 8 0 390883299 99123200 3378 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4215] ppid=4155 vsize=96800 CPUtime=0.27 cores=0,2,4,6
/proc/4156/task/4215/stat : 4215 (pb_cplex) S 4155 4155 3419 0 -1 4202560 396 0 0 0 25 2 0 0 20 0 8 0 390883299 99123200 3378 33554432000 134512640 146736320 4291907936 4141350544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4216] ppid=4155 vsize=96800 CPUtime=0.25 cores=0,2,4,6
/proc/4156/task/4216/stat : 4216 (pb_cplex) S 4155 4155 3419 0 -1 4202560 377 0 0 0 23 2 0 0 20 0 8 0 390883299 99123200 3378 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4217] ppid=4155 vsize=96800 CPUtime=0.27 cores=0,2,4,6
/proc/4156/task/4217/stat : 4217 (pb_cplex) S 4155 4155 3419 0 -1 4202560 373 0 0 0 25 2 0 0 20 0 8 0 390883299 99123200 3378 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4218] ppid=4155 vsize=96800 CPUtime=0.29 cores=0,2,4,6
/proc/4156/task/4218/stat : 4218 (pb_cplex) S 4155 4155 3419 0 -1 4202560 404 0 0 0 27 2 0 0 20 0 8 0 390883299 99123200 3378 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4219] ppid=4155 vsize=96800 CPUtime=0.3 cores=0,2,4,6
/proc/4156/task/4219/stat : 4219 (pb_cplex) S 4155 4155 3419 0 -1 4202560 62 0 0 0 28 2 0 0 20 0 8 0 390883299 99123200 3378 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4220] ppid=4155 vsize=96800 CPUtime=0.25 cores=0,2,4,6
/proc/4156/task/4220/stat : 4220 (pb_cplex) R 4155 4155 3419 0 -1 4202560 387 0 0 0 23 2 0 0 20 0 8 0 390883299 99123200 3378 33554432000 134512640 146736320 4291907936 4088915356 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.88
Current children cumulated vsize (KiB) 105948
[startup+3.10033 s]
/proc/loadavg: 7.27 7.83 4.91 4/186 4220
/proc/meminfo: memFree=29837600/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=97824 CPUtime=7.24 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) R 4155 4155 3419 0 -1 4202496 14613 0 0 0 676 48 0 0 20 0 8 0 390883239 100171776 3824 33554432000 134512640 146736320 4291907936 4291900068 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 24456 3824 982 2985 0 21390 0
[pid=4156/tid=4214] ppid=4155 vsize=97824 CPUtime=0.64 cores=0,2,4,6
/proc/4156/task/4214/stat : 4214 (pb_cplex) R 4155 4155 3419 0 -1 4202560 511 0 0 0 61 3 0 0 20 0 8 0 390883299 100171776 3824 33554432000 134512640 146736320 4291907936 4130858812 136962616 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4215] ppid=4155 vsize=97824 CPUtime=0.72 cores=0,2,4,6
/proc/4156/task/4215/stat : 4215 (pb_cplex) R 4155 4155 3419 0 -1 4202560 640 0 0 0 68 4 0 0 20 0 8 0 390883299 100171776 3824 33554432000 134512640 146736320 4291907936 4141345816 136232592 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4216] ppid=4155 vsize=97824 CPUtime=0.67 cores=0,2,4,6
/proc/4156/task/4216/stat : 4216 (pb_cplex) R 4155 4155 3419 0 -1 4202560 611 0 0 0 62 5 0 0 20 0 8 0 390883299 100171776 3824 33554432000 134512640 146736320 4291907936 4151829368 136015722 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4217] ppid=4155 vsize=97824 CPUtime=0.63 cores=0,2,4,6
/proc/4156/task/4217/stat : 4217 (pb_cplex) R 4155 4155 3419 0 -1 4202560 503 0 0 0 58 5 0 0 20 0 8 0 390883299 100171776 3824 33554432000 134512640 146736320 4291907936 4120370976 136388291 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4218] ppid=4155 vsize=97824 CPUtime=0.68 cores=0,2,4,6
/proc/4156/task/4218/stat : 4218 (pb_cplex) R 4155 4155 3419 0 -1 4202560 975 0 0 0 62 6 0 0 20 0 8 0 390883299 100171776 3824 33554432000 134512640 146736320 4291907936 4109888128 137145720 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4219] ppid=4155 vsize=97824 CPUtime=0.77 cores=0,2,4,6
/proc/4156/task/4219/stat : 4219 (pb_cplex) R 4155 4155 3419 0 -1 4202560 603 0 0 0 72 5 0 0 20 0 8 0 390883299 100171776 3824 33554432000 134512640 146736320 4291907936 4099401380 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4220] ppid=4155 vsize=97824 CPUtime=0.65 cores=0,2,4,6
/proc/4156/task/4220/stat : 4220 (pb_cplex) R 4155 4155 3419 0 -1 4202560 841 0 0 0 61 4 0 0 20 0 8 0 390883299 100171776 3824 33554432000 134512640 146736320 4291907936 4088914844 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.24
Current children cumulated vsize (KiB) 106972
[startup+6.30032 s]
/proc/loadavg: 7.41 7.85 4.93 10/186 4220
/proc/meminfo: memFree=29834128/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=100896 CPUtime=20.01 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) R 4155 4155 3419 0 -1 4202496 21419 0 0 0 1895 106 0 0 20 0 8 0 390883239 103317504 4190 33554432000 134512640 146736320 4291907936 4291897436 144785853 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 25224 4190 982 2985 0 22158 0
[pid=4156/tid=4214] ppid=4155 vsize=100896 CPUtime=2.13 cores=0,2,4,6
/proc/4156/task/4214/stat : 4214 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1797 0 0 0 202 11 0 0 20 0 8 0 390883299 103317504 4190 33554432000 134512640 146736320 4291907936 4130858240 137083612 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4215] ppid=4155 vsize=100896 CPUtime=2.23 cores=0,2,4,6
/proc/4156/task/4215/stat : 4215 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1328 0 0 0 213 10 0 0 20 0 8 0 390883299 103317504 4190 33554432000 134512640 146736320 4291907936 4141342172 135855174 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4216] ppid=4155 vsize=100896 CPUtime=2.33 cores=0,2,4,6
/proc/4156/task/4216/stat : 4216 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1200 0 0 0 220 13 0 0 20 0 8 0 390883299 103317504 4190 33554432000 134512640 146736320 4291907936 4151827880 139041207 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4217] ppid=4155 vsize=100896 CPUtime=2.31 cores=0,2,4,6
/proc/4156/task/4217/stat : 4217 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1178 0 0 0 219 12 0 0 20 0 8 0 390883299 103317504 4190 33554432000 134512640 146736320 4291907936 4120373680 136236141 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4218] ppid=4155 vsize=100896 CPUtime=2.47 cores=0,2,4,6
/proc/4156/task/4218/stat : 4218 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1985 0 0 0 233 14 0 0 20 0 8 0 390883299 103317504 4190 33554432000 134512640 146736320 4291907936 4109888996 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4219] ppid=4155 vsize=100896 CPUtime=2.31 cores=0,2,4,6
/proc/4156/task/4219/stat : 4219 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1518 0 0 0 219 12 0 0 20 0 8 0 390883299 103317504 4190 33554432000 134512640 146736320 4291907936 4099399324 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4220] ppid=4155 vsize=100896 CPUtime=2.13 cores=0,2,4,6
/proc/4156/task/4220/stat : 4220 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1659 0 0 0 203 10 0 0 20 0 8 0 390883299 103317504 4190 33554432000 134512640 146736320 4291907936 4088914876 136468960 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 20.01
Current children cumulated vsize (KiB) 110044
[startup+12.7003 s]
/proc/loadavg: 7.06 7.77 4.92 3/186 4255
/proc/meminfo: memFree=29834160/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=99872 CPUtime=36.7 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) S 4155 4155 3419 0 -1 4202496 38397 0 0 0 3478 192 0 0 20 0 8 0 390883239 102268928 4211 33554432000 134512640 146736320 4291907936 4291904336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 24968 4211 983 2985 0 21902 0
[pid=4156/tid=4249] ppid=4155 vsize=99872 CPUtime=0.68 cores=0,2,4,6
/proc/4156/task/4249/stat : 4249 (pb_cplex) S 4155 4155 3419 0 -1 4202560 1597 0 0 0 63 5 0 0 20 0 8 0 390884154 102268928 4211 33554432000 134512640 146736320 4291907936 4088921744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4250] ppid=4155 vsize=99872 CPUtime=0.81 cores=0,2,4,6
/proc/4156/task/4250/stat : 4250 (pb_cplex) S 4155 4155 3419 0 -1 4202560 2397 0 0 0 76 5 0 0 20 0 8 0 390884154 102268928 4211 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4251] ppid=4155 vsize=99872 CPUtime=0.71 cores=0,2,4,6
/proc/4156/task/4251/stat : 4251 (pb_cplex) S 4155 4155 3419 0 -1 4202560 832 0 0 0 66 5 0 0 20 0 8 0 390884154 102268928 4211 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4252] ppid=4155 vsize=99872 CPUtime=0.49 cores=0,2,4,6
/proc/4156/task/4252/stat : 4252 (pb_cplex) S 4155 4155 3419 0 -1 4202560 716 0 0 0 46 3 0 0 20 0 8 0 390884154 102268928 4211 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4253] ppid=4155 vsize=99872 CPUtime=0.72 cores=0,2,4,6
/proc/4156/task/4253/stat : 4253 (pb_cplex) S 4155 4155 3419 0 -1 4202560 2362 0 0 0 69 3 0 0 20 0 8 0 390884154 102268928 4211 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4254] ppid=4155 vsize=99872 CPUtime=0.59 cores=0,2,4,6
/proc/4156/task/4254/stat : 4254 (pb_cplex) S 4155 4155 3419 0 -1 4202560 1654 0 0 0 55 4 0 0 20 0 8 0 390884154 102268928 4211 33554432000 134512640 146736320 4291907936 4141350544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4255] ppid=4155 vsize=99872 CPUtime=0.81 cores=0,2,4,6
/proc/4156/task/4255/stat : 4255 (pb_cplex) R 4155 4155 3419 0 -1 4202560 1526 0 0 0 77 4 0 0 20 0 8 0 390884154 102268928 4211 33554432000 134512640 146736320 4291907936 4130858396 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 36.7
Current children cumulated vsize (KiB) 109020
[startup+25.5003 s]
/proc/loadavg: 5.94 7.49 4.87 4/186 4255
/proc/meminfo: memFree=29826668/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=108672 CPUtime=56.22 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) R 4155 4155 3419 0 -1 4202496 93596 0 0 0 5316 306 0 0 20 0 8 0 390883239 111280128 6105 33554432000 134512640 146736320 4291907936 4291903008 137368143 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 27168 6105 983 2985 0 24102 0
[pid=4156/tid=4249] ppid=4155 vsize=108672 CPUtime=3.21 cores=0,2,4,6
/proc/4156/task/4249/stat : 4249 (pb_cplex) S 4155 4155 3419 0 -1 4202560 9239 0 0 0 302 19 0 0 20 0 8 0 390884154 111280128 6105 33554432000 134512640 146736320 4291907936 4088921744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4250] ppid=4155 vsize=108672 CPUtime=3.12 cores=0,2,4,6
/proc/4156/task/4250/stat : 4250 (pb_cplex) R 4155 4155 3419 0 -1 4202560 8759 0 0 0 292 20 0 0 20 0 8 0 390884154 111280128 6105 33554432000 134512640 146736320 4291907936 4099404060 144785853 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4251] ppid=4155 vsize=108672 CPUtime=3.06 cores=0,2,4,6
/proc/4156/task/4251/stat : 4251 (pb_cplex) S 4155 4155 3419 0 -1 4202560 7356 0 0 0 288 18 0 0 20 0 8 0 390884154 111280128 6106 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4252] ppid=4155 vsize=108672 CPUtime=2.96 cores=0,2,4,6
/proc/4156/task/4252/stat : 4252 (pb_cplex) S 4155 4155 3419 0 -1 4202560 7391 0 0 0 279 17 0 0 20 0 8 0 390884154 111280128 6115 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4253] ppid=4155 vsize=108672 CPUtime=3.11 cores=0,2,4,6
/proc/4156/task/4253/stat : 4253 (pb_cplex) S 4155 4155 3419 0 -1 4202560 9102 0 0 0 294 17 0 0 20 0 8 0 390884154 111280128 6115 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4254] ppid=4155 vsize=108672 CPUtime=3.12 cores=0,2,4,6
/proc/4156/task/4254/stat : 4254 (pb_cplex) S 4155 4155 3419 0 -1 4202560 9307 0 0 0 291 21 0 0 20 0 8 0 390884154 111280128 6115 33554432000 134512640 146736320 4291907936 4141350544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4255] ppid=4155 vsize=108672 CPUtime=3.06 cores=0,2,4,6
/proc/4156/task/4255/stat : 4255 (pb_cplex) S 4155 4155 3419 0 -1 4202560 7551 0 0 0 287 19 0 0 20 0 8 0 390884154 111280128 6115 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 56.22
Current children cumulated vsize (KiB) 117820
[startup+51.1003 s]
/proc/loadavg: 4.68 7.06 4.80 3/186 4255
/proc/meminfo: memFree=29817304/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
################
# More data... #
################
[pid=4156/tid=4289] ppid=4155 vsize=124172 CPUtime=157.07 cores=0,2,4,6
/proc/4156/task/4289/stat : 4289 (pb_cplex) S 4155 4155 3419 0 -1 4202560 102526 0 0 0 14495 1212 0 0 20 0 8 0 390890430 127152128 9897 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4290] ppid=4155 vsize=124172 CPUtime=156.45 cores=0,2,4,6
/proc/4156/task/4290/stat : 4290 (pb_cplex) S 4155 4155 3419 0 -1 4202560 102422 0 0 0 14441 1204 0 0 20 0 8 0 390890430 127152128 9897 33554432000 134512640 146736320 4291907936 4088921744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1432.65
Current children cumulated vsize (KiB) 133320
[startup+1002.3 s]
/proc/loadavg: 7.36 5.55 4.40 3/186 4420
/proc/meminfo: memFree=29904560/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=125420 CPUtime=1519.58 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) S 4155 4155 3419 0 -1 4202496 1143636 0 0 0 140960 10998 0 0 20 0 8 0 390883239 128430080 10331 33554432000 134512640 146736320 4291907936 4291904336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4156/statm: 31355 10331 983 2985 0 28289 0
[pid=4156/tid=4284] ppid=4155 vsize=125420 CPUtime=168.83 cores=0,2,4,6
/proc/4156/task/4284/stat : 4284 (pb_cplex) S 4155 4155 3419 0 -1 4202560 103267 0 0 0 15609 1274 0 0 20 0 8 0 390890430 128430080 10331 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4285] ppid=4155 vsize=125420 CPUtime=167.74 cores=0,2,4,6
/proc/4156/task/4285/stat : 4285 (pb_cplex) S 4155 4155 3419 0 -1 4202560 104228 0 0 0 15480 1294 0 0 20 0 8 0 390890430 128430080 10331 33554432000 134512640 146736320 4291907936 4141350544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4286] ppid=4155 vsize=125420 CPUtime=168.96 cores=0,2,4,6
/proc/4156/task/4286/stat : 4286 (pb_cplex) S 4155 4155 3419 0 -1 4202560 104693 0 0 0 15583 1313 0 0 20 0 8 0 390890430 128430080 10331 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4287] ppid=4155 vsize=125420 CPUtime=165.73 cores=0,2,4,6
/proc/4156/task/4287/stat : 4287 (pb_cplex) S 4155 4155 3419 0 -1 4202560 101285 0 0 0 15298 1275 0 0 20 0 8 0 390890430 128430080 10331 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4288] ppid=4155 vsize=125420 CPUtime=168.3 cores=0,2,4,6
/proc/4156/task/4288/stat : 4288 (pb_cplex) S 4155 4155 3419 0 -1 4202560 104993 0 0 0 15542 1288 0 0 20 0 8 0 390890430 128430080 10331 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4289] ppid=4155 vsize=125420 CPUtime=167.25 cores=0,2,4,6
/proc/4156/task/4289/stat : 4289 (pb_cplex) R 4155 4155 3419 0 -1 4202560 106069 0 0 0 15427 1298 0 0 20 0 8 0 390890430 128430080 10331 33554432000 134512640 146736320 4291907936 4099401116 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4290] ppid=4155 vsize=125420 CPUtime=166.53 cores=0,2,4,6
/proc/4156/task/4290/stat : 4290 (pb_cplex) S 4155 4155 3419 0 -1 4202560 105765 0 0 0 15367 1286 0 0 20 0 8 0 390890430 128430080 10331 33554432000 134512640 146736320 4291907936 4088921744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1519.58
Current children cumulated vsize (KiB) 134568
[startup+1062.3 s]
/proc/loadavg: 4.11 4.96 4.27 3/194 4430
/proc/meminfo: memFree=29867384/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=125576 CPUtime=1609.5 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) R 4155 4155 3419 0 -1 4202496 1191834 0 0 0 149264 11686 0 0 20 0 8 0 390883239 128589824 10674 33554432000 134512640 146736320 4291907936 4291899036 144785853 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/4156/statm: 31394 10674 983 2985 0 28328 0
[pid=4156/tid=4284] ppid=4155 vsize=125576 CPUtime=180.02 cores=0,2,4,6
/proc/4156/task/4284/stat : 4284 (pb_cplex) S 4155 4155 3419 0 -1 4202560 109136 0 0 0 16639 1363 0 0 20 0 8 0 390890430 128589824 10674 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4285] ppid=4155 vsize=125576 CPUtime=178.86 cores=0,2,4,6
/proc/4156/task/4285/stat : 4285 (pb_cplex) S 4155 4155 3419 0 -1 4202560 110370 0 0 0 16503 1383 0 0 20 0 8 0 390890430 128589824 10674 33554432000 134512640 146736320 4291907936 4141350544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4286] ppid=4155 vsize=125576 CPUtime=180.04 cores=0,2,4,6
/proc/4156/task/4286/stat : 4286 (pb_cplex) S 4155 4155 3419 0 -1 4202560 111004 0 0 0 16602 1402 0 0 20 0 8 0 390890430 128589824 10674 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4287] ppid=4155 vsize=125576 CPUtime=176.52 cores=0,2,4,6
/proc/4156/task/4287/stat : 4287 (pb_cplex) S 4155 4155 3419 0 -1 4202560 107058 0 0 0 16288 1364 0 0 20 0 8 0 390890430 128589824 10674 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4288] ppid=4155 vsize=125576 CPUtime=179.72 cores=0,2,4,6
/proc/4156/task/4288/stat : 4288 (pb_cplex) S 4155 4155 3419 0 -1 4202560 111230 0 0 0 16593 1379 0 0 20 0 8 0 390890430 128589824 10674 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4289] ppid=4155 vsize=125576 CPUtime=178.66 cores=0,2,4,6
/proc/4156/task/4289/stat : 4289 (pb_cplex) S 4155 4155 3419 0 -1 4202560 113038 0 0 0 16484 1382 0 0 20 0 8 0 390890430 128589824 10674 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4290] ppid=4155 vsize=125576 CPUtime=177.34 cores=0,2,4,6
/proc/4156/task/4290/stat : 4290 (pb_cplex) S 4155 4155 3419 0 -1 4202560 110651 0 0 0 16366 1368 0 0 20 0 8 0 390890430 128589824 10674 33554432000 134512640 146736320 4291907936 4088921744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1609.5
Current children cumulated vsize (KiB) 134724
[startup+1122.3 s]
/proc/loadavg: 6.57 5.50 4.49 10/193 4430
/proc/meminfo: memFree=29813428/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=128240 CPUtime=1695.73 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) S 4155 4155 3419 0 -1 4202496 1242420 0 0 0 157193 12380 0 0 20 0 8 0 390883239 131317760 11261 33554432000 134512640 146736320 4291907936 4291904336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 32060 11261 983 2985 0 28994 0
[pid=4156/tid=4284] ppid=4155 vsize=128240 CPUtime=190.22 cores=0,2,4,6
/proc/4156/task/4284/stat : 4284 (pb_cplex) S 4155 4155 3419 0 -1 4202560 114977 0 0 0 17574 1448 0 0 20 0 8 0 390890430 131317760 11261 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4285] ppid=4155 vsize=128240 CPUtime=188.91 cores=0,2,4,6
/proc/4156/task/4285/stat : 4285 (pb_cplex) R 4155 4155 3419 0 -1 4202560 116332 0 0 0 17420 1471 0 0 20 0 8 0 390890430 131317760 11261 33554432000 134512640 146736320 4291907936 4141342876 144785853 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4286] ppid=4155 vsize=128240 CPUtime=190.74 cores=0,2,4,6
/proc/4156/task/4286/stat : 4286 (pb_cplex) S 4155 4155 3419 0 -1 4202560 117911 0 0 0 17582 1492 0 0 20 0 8 0 390890430 131317760 11264 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4287] ppid=4155 vsize=128240 CPUtime=186.29 cores=0,2,4,6
/proc/4156/task/4287/stat : 4287 (pb_cplex) R 4155 4155 3419 0 -1 4202560 112512 0 0 0 17182 1447 0 0 20 0 8 0 390890430 131317760 11264 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4288] ppid=4155 vsize=128240 CPUtime=189.88 cores=0,2,4,6
/proc/4156/task/4288/stat : 4288 (pb_cplex) S 4155 4155 3419 0 -1 4202560 118124 0 0 0 17522 1466 0 0 20 0 8 0 390890430 131317760 11264 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4289] ppid=4155 vsize=128240 CPUtime=188.59 cores=0,2,4,6
/proc/4156/task/4289/stat : 4289 (pb_cplex) S 4155 4155 3419 0 -1 4202560 119391 0 0 0 17399 1460 0 0 20 0 8 0 390890430 131317760 11264 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4290] ppid=4155 vsize=128240 CPUtime=187.82 cores=0,2,4,6
/proc/4156/task/4290/stat : 4290 (pb_cplex) S 4155 4155 3419 0 -1 4202560 117526 0 0 0 17322 1460 0 0 20 0 8 0 390890430 131317760 11264 33554432000 134512640 146736320 4291907936 4088921744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1695.73
Current children cumulated vsize (KiB) 137388
[startup+1182.3 s]
/proc/loadavg: 8.18 6.20 4.80 12/193 4430
/proc/meminfo: memFree=29809956/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=132312 CPUtime=1781.33 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) S 4155 4155 3419 0 -1 4202496 1294593 0 0 0 165054 13079 0 0 20 0 8 0 390883239 135487488 11574 33554432000 134512640 146736320 4291907936 4291904336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/4156/statm: 33078 11574 983 2985 0 30012 0
[pid=4156/tid=4284] ppid=4155 vsize=132312 CPUtime=200.22 cores=0,2,4,6
/proc/4156/task/4284/stat : 4284 (pb_cplex) S 4155 4155 3419 0 -1 4202560 121106 0 0 0 18490 1532 0 0 20 0 8 0 390890430 135487488 11574 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4285] ppid=4155 vsize=132312 CPUtime=199.08 cores=0,2,4,6
/proc/4156/task/4285/stat : 4285 (pb_cplex) R 4155 4155 3419 0 -1 4202560 122981 0 0 0 18352 1556 0 0 20 0 8 0 390890430 135487488 11574 33554432000 134512640 146736320 4291907936 4141344156 144785853 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4286] ppid=4155 vsize=132312 CPUtime=200.6 cores=0,2,4,6
/proc/4156/task/4286/stat : 4286 (pb_cplex) S 4155 4155 3419 0 -1 4202560 124057 0 0 0 18483 1577 0 0 20 0 8 0 390890430 135487488 11574 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4287] ppid=4155 vsize=132312 CPUtime=196.69 cores=0,2,4,6
/proc/4156/task/4287/stat : 4287 (pb_cplex) S 4155 4155 3419 0 -1 4202560 119330 0 0 0 18131 1538 0 0 20 0 8 0 390890430 135487488 11574 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=4156/tid=4288] ppid=4155 vsize=132312 CPUtime=199.8 cores=0,2,4,6
/proc/4156/task/4288/stat : 4288 (pb_cplex) S 4155 4155 3419 0 -1 4202560 124823 0 0 0 18423 1557 0 0 20 0 8 0 390890430 135487488 11574 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4289] ppid=4155 vsize=132312 CPUtime=198.92 cores=0,2,4,6
/proc/4156/task/4289/stat : 4289 (pb_cplex) S 4155 4155 3419 0 -1 4202560 126524 0 0 0 18341 1551 0 0 20 0 8 0 390890430 135487488 11574 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4290] ppid=4155 vsize=132312 CPUtime=197.34 cores=0,2,4,6
/proc/4156/task/4290/stat : 4290 (pb_cplex) S 4155 4155 3419 0 -1 4202560 123737 0 0 0 18190 1544 0 0 20 0 8 0 390890430 135487488 11574 33554432000 134512640 146736320 4291907936 4088921744 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1781.33
Current children cumulated vsize (KiB) 141460
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1195.1 s]
/proc/loadavg: 8.21 6.30 4.85 10/193 4430
/proc/meminfo: memFree=29805168/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=132456 CPUtime=1800.09 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) S 4155 4155 3419 0 -1 4202496 1303808 0 0 0 166777 13232 0 0 20 0 8 0 390883239 135634944 11643 33554432000 134512640 146736320 4291907936 4291904336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4156/statm: 33114 11643 983 2985 0 30048 0
[pid=4156/tid=4284] ppid=4155 vsize=132456 CPUtime=202.39 cores=0,2,4,6
/proc/4156/task/4284/stat : 4284 (pb_cplex) S 4155 4155 3419 0 -1 4202560 122198 0 0 0 18690 1549 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4285] ppid=4155 vsize=132456 CPUtime=201.24 cores=0,2,4,6
/proc/4156/task/4285/stat : 4285 (pb_cplex) S 4155 4155 3419 0 -1 4202560 124189 0 0 0 18550 1574 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4141350544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4286] ppid=4155 vsize=132456 CPUtime=202.74 cores=0,2,4,6
/proc/4156/task/4286/stat : 4286 (pb_cplex) S 4155 4155 3419 0 -1 4202560 125192 0 0 0 18678 1596 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4287] ppid=4155 vsize=132456 CPUtime=198.77 cores=0,2,4,6
/proc/4156/task/4287/stat : 4287 (pb_cplex) S 4155 4155 3419 0 -1 4202560 120202 0 0 0 18321 1556 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4288] ppid=4155 vsize=132456 CPUtime=201.91 cores=0,2,4,6
/proc/4156/task/4288/stat : 4288 (pb_cplex) S 4155 4155 3419 0 -1 4202560 125985 0 0 0 18616 1575 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4289] ppid=4155 vsize=132456 CPUtime=201.14 cores=0,2,4,6
/proc/4156/task/4289/stat : 4289 (pb_cplex) S 4155 4155 3419 0 -1 4202560 127588 0 0 0 18543 1571 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4290] ppid=4155 vsize=132456 CPUtime=199.81 cores=0,2,4,6
/proc/4156/task/4290/stat : 4290 (pb_cplex) R 4155 4155 3419 0 -1 4202560 125179 0 0 0 18415 1566 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4088916328 136737554 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 141604
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1195.1 s]
/proc/loadavg: 8.21 6.30 4.85 10/193 4430
/proc/meminfo: memFree=29805168/32873844 swapFree=7632/7632
[pid=4155] ppid=4153 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/4155/stat : 4155 (run) S 4153 4155 3419 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390883239 9367552 270 33554432000 4194304 5064252 140736284316624 140736284315536 209883653710 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/4155/statm: 2287 270 229 213 0 72 0
[pid=4156] ppid=4155 vsize=132456 CPUtime=1800.09 cores=0,2,4,6
/proc/4156/stat : 4156 (pb_cplex) S 4155 4155 3419 0 -1 4202496 1303808 0 0 0 166777 13232 0 0 20 0 8 0 390883239 135634944 11643 33554432000 134512640 146736320 4291907936 4291904336 144580073 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/4156/statm: 33114 11643 983 2985 0 30048 0
[pid=4156/tid=4284] ppid=4155 vsize=132456 CPUtime=202.39 cores=0,2,4,6
/proc/4156/task/4284/stat : 4284 (pb_cplex) S 4155 4155 3419 0 -1 4202560 122198 0 0 0 18690 1549 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4130864784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4285] ppid=4155 vsize=132456 CPUtime=201.24 cores=0,2,4,6
/proc/4156/task/4285/stat : 4285 (pb_cplex) S 4155 4155 3419 0 -1 4202560 124189 0 0 0 18550 1574 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4141350544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4286] ppid=4155 vsize=132456 CPUtime=202.74 cores=0,2,4,6
/proc/4156/task/4286/stat : 4286 (pb_cplex) S 4155 4155 3419 0 -1 4202560 125192 0 0 0 18678 1596 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4151836304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4287] ppid=4155 vsize=132456 CPUtime=198.77 cores=0,2,4,6
/proc/4156/task/4287/stat : 4287 (pb_cplex) S 4155 4155 3419 0 -1 4202560 120202 0 0 0 18321 1556 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4120379024 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=4156/tid=4288] ppid=4155 vsize=132456 CPUtime=201.91 cores=0,2,4,6
/proc/4156/task/4288/stat : 4288 (pb_cplex) S 4155 4155 3419 0 -1 4202560 125985 0 0 0 18616 1575 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4109893264 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=4156/tid=4289] ppid=4155 vsize=132456 CPUtime=201.14 cores=0,2,4,6
/proc/4156/task/4289/stat : 4289 (pb_cplex) S 4155 4155 3419 0 -1 4202560 127588 0 0 0 18543 1571 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4099407504 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=4156/tid=4290] ppid=4155 vsize=132456 CPUtime=199.81 cores=0,2,4,6
/proc/4156/task/4290/stat : 4290 (pb_cplex) R 4155 4155 3419 0 -1 4202560 125179 0 0 0 18415 1566 0 0 20 0 8 0 390890430 135634944 11643 33554432000 134512640 146736320 4291907936 4088916328 136737554 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 141604
Child status: 0
Real time (s): 1195.11
CPU time (s): 1814.29
CPU user time (s): 1680.66
CPU system time (s): 133.623
CPU usage (%): 151.808
Max. virtual memory (cumulated for all children) (KiB): 141652
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1680.66
system time used= 133.623
maximum resident set size= 46712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1304173
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= 9339186
involuntary context switches= 1219489
runsolver used 2.88256 second user time and 6.97294 second system time
The end