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-3734733-1339247535/watcher-3734733-1339247535 -o /tmp/evaluation-result-3734733-1339247535/solver-3734733-1339247535 -C 1800 -W 1900 -M 15500 run HOME/instance-3734733-1339247535.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 8.88 8.78 4.92 3/177 11149
/proc/meminfo: memFree=30663960/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[startup+0.072698 s]
/proc/loadavg: 8.88 8.78 4.92 3/177 11149
/proc/meminfo: memFree=30663960/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100188 s]
/proc/loadavg: 8.88 8.78 4.92 3/177 11149
/proc/meminfo: memFree=30663960/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300117 s]
/proc/loadavg: 8.88 8.78 4.92 3/177 11149
/proc/meminfo: memFree=30663960/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700567 s]
/proc/loadavg: 8.88 8.78 4.92 3/177 11149
/proc/meminfo: memFree=30663960/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/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: 8.88 8.78 4.92 3/186 11172
/proc/meminfo: memFree=30660624/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=93740 CPUtime=3.54 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) R 11149 11149 10702 0 -1 4202496 4023 0 0 0 305 49 0 0 20 0 8 0 390878049 95989760 4408 33554432000 134512640 146736320 4287329168 4287324508 144757825 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11150/statm: 23435 4408 952 2985 0 20369 0
[pid=11150/tid=11166] ppid=11149 vsize=93740 CPUtime=0.41 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 35 0 0 0 35 6 0 0 20 0 8 0 390878058 95989760 4408 33554432000 134512640 146736320 4287329168 4130569872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=93740 CPUtime=0.38 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) R 11149 11149 10702 0 -1 4202560 33 0 0 0 32 6 0 0 20 0 8 0 390878058 95989760 4408 33554432000 134512640 146736320 4287329168 4141053464 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=93740 CPUtime=0.4 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 35 0 0 0 35 5 0 0 20 0 8 0 390878058 95989760 4408 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=93740 CPUtime=0.39 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) S 11149 11149 10702 0 -1 4202560 33 0 0 0 35 4 0 0 20 0 8 0 390878058 95989760 4408 33554432000 134512640 146736320 4287329168 4120084112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=93740 CPUtime=0.39 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 13 0 0 0 32 7 0 0 20 0 8 0 390878058 95989760 4408 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=93740 CPUtime=0.39 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) R 11149 11149 10702 0 -1 4202560 14 0 0 0 33 6 0 0 20 0 8 0 390878058 95989760 4408 33554432000 134512640 146736320 4287329168 4095730664 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=93740 CPUtime=0.39 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) R 11149 11149 10702 0 -1 4202560 17 0 0 0 33 6 0 0 20 0 8 0 390878058 95989760 4408 33554432000 134512640 146736320 4287329168 4074759704 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 102888
[startup+3.10048 s]
/proc/loadavg: 8.25 8.65 4.90 8/186 11172
/proc/meminfo: memFree=30642508/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=94764 CPUtime=7.72 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) R 11149 11149 10702 0 -1 4202496 4339 0 0 0 662 110 0 0 20 0 8 0 390878049 97038336 4636 33554432000 134512640 146736320 4287329168 4287322828 137852784 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11150/statm: 23691 4636 952 2985 0 20625 0
[pid=11150/tid=11166] ppid=11149 vsize=94764 CPUtime=0.91 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 82 0 0 0 81 10 0 0 20 0 8 0 390878058 97038336 4636 33554432000 134512640 146736320 4287329168 4130569872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=94764 CPUtime=0.93 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) R 11149 11149 10702 0 -1 4202560 51 0 0 0 78 15 0 0 20 0 8 0 390878058 97038336 4636 33554432000 134512640 146736320 4287329168 4141052904 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=94764 CPUtime=0.92 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) R 11149 11149 10702 0 -1 4202560 91 0 0 0 80 12 0 0 20 0 8 0 390878058 97038336 4636 33554432000 134512640 146736320 4287329168 4151541420 144580332 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=94764 CPUtime=0.92 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) S 11149 11149 10702 0 -1 4202560 80 0 0 0 82 10 0 0 20 0 8 0 390878058 97038336 4636 33554432000 134512640 146736320 4287329168 4120084112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=94764 CPUtime=0.9 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) R 11149 11149 10702 0 -1 4202560 68 0 0 0 73 17 0 0 20 0 8 0 390878058 97038336 4636 33554432000 134512640 146736320 4287329168 4106216424 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=94764 CPUtime=0.9 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 31 0 0 0 75 15 0 0 20 0 8 0 390878058 97038336 4636 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=94764 CPUtime=0.91 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) R 11149 11149 10702 0 -1 4202560 46 0 0 0 77 14 0 0 20 0 8 0 390878058 97038336 4636 33554432000 134512640 146736320 4287329168 4074759144 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.72
Current children cumulated vsize (KiB) 103912
[startup+6.30032 s]
/proc/loadavg: 8.25 8.65 4.90 3/186 11172
/proc/meminfo: memFree=30640012/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=94764 CPUtime=15.77 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) R 11149 11149 10702 0 -1 4202496 4372 0 0 0 1363 214 0 0 20 0 8 0 390878049 97038336 4646 33554432000 134512640 146736320 4287329168 4287324132 144757825 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/11150/statm: 23691 4646 952 2985 0 20625 0
[pid=11150/tid=11166] ppid=11149 vsize=94764 CPUtime=1.91 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 82 0 0 0 166 25 0 0 20 0 8 0 390878058 97038336 4646 33554432000 134512640 146736320 4287329168 4130569872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=94764 CPUtime=1.95 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) R 11149 11149 10702 0 -1 4202560 53 0 0 0 165 30 0 0 20 0 8 0 390878058 97038336 4646 33554432000 134512640 146736320 4287329168 4141054552 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=94764 CPUtime=1.9 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 101 0 0 0 167 23 0 0 20 0 8 0 390878058 97038336 4646 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=94764 CPUtime=1.94 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) R 11149 11149 10702 0 -1 4202560 80 0 0 0 172 22 0 0 20 0 8 0 390878058 97038336 4646 33554432000 134512640 146736320 4287329168 4120080200 138411659 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=94764 CPUtime=1.96 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 76 0 0 0 166 30 0 0 20 0 8 0 390878058 97038336 4646 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=94764 CPUtime=1.92 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 34 0 0 0 164 28 0 0 20 0 8 0 390878058 97038336 4646 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=94764 CPUtime=1.88 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) S 11149 11149 10702 0 -1 4202560 49 0 0 0 160 28 0 0 20 0 8 0 390878058 97038336 4646 33554432000 134512640 146736320 4287329168 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 15.77
Current children cumulated vsize (KiB) 103912
[startup+12.7003 s]
/proc/loadavg: 7.13 8.40 4.86 3/186 11172
/proc/meminfo: memFree=30639276/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=94764 CPUtime=32.2 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) R 11149 11149 10702 0 -1 4202496 4385 0 0 0 2791 429 0 0 20 0 8 0 390878049 97038336 4659 33554432000 134512640 146736320 4287329168 4287322792 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11150/statm: 23691 4659 952 2985 0 20625 0
[pid=11150/tid=11166] ppid=11149 vsize=94764 CPUtime=3.98 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) R 11149 11149 10702 0 -1 4202560 82 0 0 0 346 52 0 0 20 0 8 0 390878058 97038336 4659 33554432000 134512640 146736320 4287329168 4130566084 135523433 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=94764 CPUtime=4.01 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) R 11149 11149 10702 0 -1 4202560 57 0 0 0 338 63 0 0 20 0 8 0 390878058 97038336 4659 33554432000 134512640 146736320 4287329168 4141054244 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=94764 CPUtime=3.91 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 103 0 0 0 337 54 0 0 20 0 8 0 390878058 97038336 4659 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=94764 CPUtime=4.03 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) S 11149 11149 10702 0 -1 4202560 80 0 0 0 359 44 0 0 20 0 8 0 390878058 97038336 4659 33554432000 134512640 146736320 4287329168 4120084112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=94764 CPUtime=3.97 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) R 11149 11149 10702 0 -1 4202560 76 0 0 0 342 55 0 0 20 0 8 0 390878058 97038336 4659 33554432000 134512640 146736320 4287329168 4106216424 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=94764 CPUtime=3.94 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) R 11149 11149 10702 0 -1 4202560 38 0 0 0 342 52 0 0 20 0 8 0 390878058 97038336 4659 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=94764 CPUtime=3.97 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) S 11149 11149 10702 0 -1 4202560 52 0 0 0 343 54 0 0 20 0 8 0 390878058 97038336 4659 33554432000 134512640 146736320 4287329168 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 32.2
Current children cumulated vsize (KiB) 103912
[startup+25.5003 s]
/proc/loadavg: 6.19 8.15 4.82 3/186 11172
/proc/meminfo: memFree=30636780/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=94764 CPUtime=64.11 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) R 11149 11149 10702 0 -1 4202496 4432 0 0 0 5565 846 0 0 20 0 8 0 390878049 97038336 4688 33554432000 134512640 146736320 4287329168 4287324132 144757825 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11150/statm: 23691 4688 952 2985 0 20625 0
[pid=11150/tid=11166] ppid=11149 vsize=94764 CPUtime=7.97 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 89 0 0 0 695 102 0 0 20 0 8 0 390878058 97038336 4688 33554432000 134512640 146736320 4287329168 4130569872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=94764 CPUtime=8.05 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) S 11149 11149 10702 0 -1 4202560 65 0 0 0 687 118 0 0 20 0 8 0 390878058 97038336 4688 33554432000 134512640 146736320 4287329168 4141055632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=94764 CPUtime=7.98 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 111 0 0 0 686 112 0 0 20 0 8 0 390878058 97038336 4688 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=94764 CPUtime=8.07 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) R 11149 11149 10702 0 -1 4202560 87 0 0 0 711 96 0 0 20 0 8 0 390878058 97038336 4688 33554432000 134512640 146736320 4287329168 4120080952 136001775 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=94764 CPUtime=7.89 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 76 0 0 0 677 112 0 0 20 0 8 0 390878058 97038336 4688 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=94764 CPUtime=7.88 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 46 0 0 0 684 104 0 0 20 0 8 0 390878058 97038336 4688 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=94764 CPUtime=8.02 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) S 11149 11149 10702 0 -1 4202560 61 0 0 0 696 106 0 0 20 0 8 0 390878058 97038336 4688 33554432000 134512640 146736320 4287329168 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 64.11
Current children cumulated vsize (KiB) 103912
[startup+51.1003 s]
/proc/loadavg: 4.42 7.58 4.71 3/186 11172
/proc/meminfo: memFree=30630500/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
################
# More data... #
################
[pid=11150/tid=11171] ppid=11149 vsize=124336 CPUtime=144.39 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 780 0 0 0 12488 1951 0 0 20 0 8 0 390878058 127320064 9985 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=124336 CPUtime=145.41 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) S 11149 11149 10702 0 -1 4202560 769 0 0 0 12515 2026 0 0 20 0 8 0 390878058 127320064 9985 33554432000 134512640 146736320 4287329168 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1162.14
Current children cumulated vsize (KiB) 133484
[startup+522.3 s]
/proc/loadavg: 1.04 2.36 3.22 6/187 11176
/proc/meminfo: memFree=30615600/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=126316 CPUtime=1313.17 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) S 11149 11149 10702 0 -1 4202496 11085 0 0 0 113218 18099 0 0 20 0 8 0 390878049 129347584 10620 33554432000 134512640 146736320 4287329168 4287325520 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11150/statm: 31579 10620 952 2985 0 28513 0
[pid=11150/tid=11166] ppid=11149 vsize=126316 CPUtime=165.46 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 847 0 0 0 14249 2297 0 0 20 0 8 0 390878058 129347584 10620 33554432000 134512640 146736320 4287329168 4130569872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=126316 CPUtime=165.89 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) S 11149 11149 10702 0 -1 4202560 779 0 0 0 14149 2440 0 0 20 0 8 0 390878058 129347584 10620 33554432000 134512640 146736320 4287329168 4141055632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=126316 CPUtime=164.56 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) R 11149 11149 10702 0 -1 4202560 885 0 0 0 14068 2388 0 0 20 0 8 0 390878058 129347584 10620 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=126316 CPUtime=165.26 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) S 11149 11149 10702 0 -1 4202560 899 0 0 0 14266 2260 0 0 20 0 8 0 390878058 129347584 10620 33554432000 134512640 146736320 4287329168 4120084112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=126316 CPUtime=163.54 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1215 0 0 0 14104 2250 0 0 20 0 8 0 390878058 129347584 10620 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=126316 CPUtime=163.38 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) R 11149 11149 10702 0 -1 4202560 869 0 0 0 14137 2201 0 0 20 0 8 0 390878058 129347584 10620 33554432000 134512640 146736320 4287329168 4095731224 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=126316 CPUtime=164.52 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) R 11149 11149 10702 0 -1 4202560 808 0 0 0 14152 2300 0 0 20 0 8 0 390878058 129347584 10620 33554432000 134512640 146736320 4287329168 4074759704 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1313.17
Current children cumulated vsize (KiB) 135464
[startup+582.3 s]
/proc/loadavg: 1.05 2.12 3.08 3/186 11177
/proc/meminfo: memFree=30608280/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=126316 CPUtime=1464.35 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) R 11149 11149 10702 0 -1 4202496 11721 0 0 0 126230 20205 0 0 20 0 8 0 390878049 129347584 11256 33554432000 134512640 146736320 4287329168 4287325520 144580075 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11150/statm: 31579 11256 952 2985 0 28513 0
[pid=11150/tid=11166] ppid=11149 vsize=126316 CPUtime=184.51 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 936 0 0 0 15888 2563 0 0 20 0 8 0 390878058 129347584 11256 33554432000 134512640 146736320 4287329168 4130569872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=126316 CPUtime=185 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) S 11149 11149 10702 0 -1 4202560 862 0 0 0 15779 2721 0 0 20 0 8 0 390878058 129347584 11256 33554432000 134512640 146736320 4287329168 4141055632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=126316 CPUtime=183.58 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 969 0 0 0 15701 2657 0 0 20 0 8 0 390878058 129347584 11256 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=126316 CPUtime=184.16 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) S 11149 11149 10702 0 -1 4202560 983 0 0 0 15906 2510 0 0 20 0 8 0 390878058 129347584 11256 33554432000 134512640 146736320 4287329168 4120084112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=126316 CPUtime=182.34 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1299 0 0 0 15722 2512 0 0 20 0 8 0 390878058 129347584 11256 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=126316 CPUtime=182.41 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 949 0 0 0 15767 2474 0 0 20 0 8 0 390878058 129347584 11256 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=126316 CPUtime=183.41 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) S 11149 11149 10702 0 -1 4202560 853 0 0 0 15775 2566 0 0 20 0 8 0 390878058 129347584 11256 33554432000 134512640 146736320 4287329168 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1464.35
Current children cumulated vsize (KiB) 135464
[startup+642.3 s]
/proc/loadavg: 1.09 1.94 2.96 6/186 11177
/proc/meminfo: memFree=30615416/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=126316 CPUtime=1614.5 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) S 11149 11149 10702 0 -1 4202496 12356 0 0 0 139171 22279 0 0 20 0 8 0 390878049 129347584 11891 33554432000 134512640 146736320 4287329168 4287325520 144580073 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/11150/statm: 31579 11891 952 2985 0 28513 0
[pid=11150/tid=11166] ppid=11149 vsize=126316 CPUtime=203.39 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1018 0 0 0 17514 2825 0 0 20 0 8 0 390878058 129347584 11891 33554432000 134512640 146736320 4287329168 4130569836 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=126316 CPUtime=203.91 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) S 11149 11149 10702 0 -1 4202560 951 0 0 0 17420 2971 0 0 20 0 8 0 390878058 129347584 11891 33554432000 134512640 146736320 4287329168 4141055596 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=126316 CPUtime=202.45 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1056 0 0 0 17308 2937 0 0 20 0 8 0 390878058 129347584 11891 33554432000 134512640 146736320 4287329168 4151541356 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11169] ppid=11149 vsize=126316 CPUtime=203.02 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1064 0 0 0 17521 2781 0 0 20 0 8 0 390878058 129347584 11891 33554432000 134512640 146736320 4287329168 4120084112 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=126316 CPUtime=201.03 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) R 11149 11149 10702 0 -1 4202560 1384 0 0 0 17340 2763 0 0 20 0 8 0 390878058 129347584 11891 33554432000 134512640 146736320 4287329168 4106219152 144757825 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=126316 CPUtime=201.32 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1036 0 0 0 17390 2742 0 0 20 0 8 0 390878058 129347584 11891 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=126316 CPUtime=202.23 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) S 11149 11149 10702 0 -1 4202560 896 0 0 0 17382 2841 0 0 20 0 8 0 390878058 129347584 11891 33554432000 134512640 146736320 4287329168 4074761872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1614.5
Current children cumulated vsize (KiB) 135464
[startup+702.301 s]
/proc/loadavg: 1.06 1.78 2.84 4/186 11177
/proc/meminfo: memFree=30604424/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=153964 CPUtime=1765.22 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) R 11149 11149 10702 0 -1 4202496 12960 0 0 0 152169 24353 0 0 20 0 8 0 390878049 157659136 12487 33554432000 134512640 146736320 4287329168 4287322232 136014915 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/11150/statm: 38491 12487 952 2985 0 35425 0
[pid=11150/tid=11166] ppid=11149 vsize=153964 CPUtime=222.41 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1096 0 0 0 19148 3093 0 0 20 0 8 0 390878058 157659136 12487 33554432000 134512640 146736320 4287329168 4130569872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=153964 CPUtime=222.64 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) R 11149 11149 10702 0 -1 4202560 1032 0 0 0 19032 3232 0 0 20 0 8 0 390878058 157659136 12487 33554432000 134512640 146736320 4287329168 4141052904 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=153964 CPUtime=221.46 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1133 0 0 0 18925 3221 0 0 20 0 8 0 390878058 157659136 12487 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=11150/tid=11169] ppid=11149 vsize=153964 CPUtime=221.77 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) R 11149 11149 10702 0 -1 4202560 1148 0 0 0 19155 3022 0 0 20 0 8 0 390878058 157659136 12487 33554432000 134512640 146736320 4287329168 4120081944 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=153964 CPUtime=219.92 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1455 0 0 0 18960 3032 0 0 20 0 8 0 390878058 157659136 12487 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=153964 CPUtime=220.16 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1110 0 0 0 19014 3002 0 0 20 0 8 0 390878058 157659136 12487 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=153964 CPUtime=221.16 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) R 11149 11149 10702 0 -1 4202560 966 0 0 0 19011 3105 0 0 20 0 8 0 390878058 157659136 12487 33554432000 134512640 146736320 4287329168 4074759704 144757825 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1765.22
Current children cumulated vsize (KiB) 163112
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+716.106 s]
/proc/loadavg: 1.12 1.77 2.83 4/186 11177
/proc/meminfo: memFree=30615840/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=153964 CPUtime=1800.06 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) S 11149 11149 10702 0 -1 4202496 13112 0 0 0 155164 24842 0 0 20 0 8 0 390878049 157659136 12639 33554432000 134512640 146736320 4287329168 4287325520 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11150/statm: 38491 12639 952 2985 0 35425 0
[pid=11150/tid=11166] ppid=11149 vsize=153964 CPUtime=226.83 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) R 11149 11149 10702 0 -1 4202560 1115 0 0 0 19529 3154 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4130566856 136002745 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=153964 CPUtime=227.04 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1050 0 0 0 19408 3296 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4141055632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=153964 CPUtime=225.89 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1154 0 0 0 19308 3281 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 1 0 0
[pid=11150/tid=11169] ppid=11149 vsize=153964 CPUtime=226.17 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) R 11149 11149 10702 0 -1 4202560 1168 0 0 0 19526 3091 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4120081384 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=153964 CPUtime=224.26 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1474 0 0 0 19327 3099 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=153964 CPUtime=224.51 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1129 0 0 0 19391 3060 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=153964 CPUtime=225.51 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) R 11149 11149 10702 0 -1 4202560 986 0 0 0 19385 3166 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4074759704 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 163112
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+716.106 s]
/proc/loadavg: 1.12 1.77 2.83 4/186 11177
/proc/meminfo: memFree=30615840/32873844 swapFree=9160/9160
[pid=11149] ppid=11147 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/11149/stat : 11149 (run) S 11147 11149 10702 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390878048 9367552 270 33554432000 4194304 5064252 140736051415600 140736051414512 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/11149/statm: 2287 270 229 213 0 72 0
[pid=11150] ppid=11149 vsize=153964 CPUtime=1800.06 cores=0,2,4,6
/proc/11150/stat : 11150 (pb_cplex) S 11149 11149 10702 0 -1 4202496 13112 0 0 0 155164 24842 0 0 20 0 8 0 390878049 157659136 12639 33554432000 134512640 146736320 4287329168 4287325520 144580073 0 0 4096 16387 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11150/statm: 38491 12639 952 2985 0 35425 0
[pid=11150/tid=11166] ppid=11149 vsize=153964 CPUtime=226.83 cores=0,2,4,6
/proc/11150/task/11166/stat : 11166 (pb_cplex) R 11149 11149 10702 0 -1 4202560 1115 0 0 0 19529 3154 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4130566856 136002745 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11167] ppid=11149 vsize=153964 CPUtime=227.04 cores=0,2,4,6
/proc/11150/task/11167/stat : 11167 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1050 0 0 0 19408 3296 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4141055632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11168] ppid=11149 vsize=153964 CPUtime=225.89 cores=0,2,4,6
/proc/11150/task/11168/stat : 11168 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1154 0 0 0 19308 3281 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4151541392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 1 0 0
[pid=11150/tid=11169] ppid=11149 vsize=153964 CPUtime=226.17 cores=0,2,4,6
/proc/11150/task/11169/stat : 11169 (pb_cplex) R 11149 11149 10702 0 -1 4202560 1168 0 0 0 19526 3091 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4120081384 144757825 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11170] ppid=11149 vsize=153964 CPUtime=224.26 cores=0,2,4,6
/proc/11150/task/11170/stat : 11170 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1474 0 0 0 19327 3099 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4106219152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=11150/tid=11171] ppid=11149 vsize=153964 CPUtime=224.51 cores=0,2,4,6
/proc/11150/task/11171/stat : 11171 (pb_cplex) S 11149 11149 10702 0 -1 4202560 1129 0 0 0 19391 3060 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4095733392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=11150/tid=11172] ppid=11149 vsize=153964 CPUtime=225.51 cores=0,2,4,6
/proc/11150/task/11172/stat : 11172 (pb_cplex) R 11149 11149 10702 0 -1 4202560 986 0 0 0 19385 3166 0 0 20 0 8 0 390878058 157659136 12639 33554432000 134512640 146736320 4287329168 4074759704 144757825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 163112
Child status: 0
Real time (s): 716.121
CPU time (s): 1835.62
CPU user time (s): 1582.06
CPU system time (s): 253.564
CPU usage (%): 256.329
Max. virtual memory (cumulated for all children) (KiB): 163112
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1582.06
system time used= 253.564
maximum resident set size= 50564
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13477
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= 42399304
involuntary context switches= 7010977
runsolver used 1.2848 second user time and 3.19951 second system time
The end