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-3731829-1339247097/watcher-3731829-1339247097 -o /tmp/evaluation-result-3731829-1339247097/solver-3731829-1339247097 -C 1800 -W 1900 -M 15500 run HOME/instance-3731829-1339247097.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: 4.09 1.84 0.72 2/173 27203
/proc/meminfo: memFree=31698700/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[startup+0.051999 s]
/proc/loadavg: 4.09 1.84 0.72 2/173 27203
/proc/meminfo: memFree=31698700/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100261 s]
/proc/loadavg: 4.09 1.84 0.72 2/173 27203
/proc/meminfo: memFree=31698700/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30023 s]
/proc/loadavg: 4.09 1.84 0.72 2/173 27203
/proc/meminfo: memFree=31698700/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700188 s]
/proc/loadavg: 4.09 1.84 0.72 2/173 27203
/proc/meminfo: memFree=31698700/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50026 s]
/proc/loadavg: 4.09 1.88 0.74 2/175 27206
/proc/meminfo: memFree=31753984/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=24108 CPUtime=1.48 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 5659 0 0 0 147 1 0 0 20 0 1 0 390837152 24686592 3239 33554432000 134512640 146736320 4292116400 4292111808 137703854 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27204/statm: 6027 3239 912 2985 0 2961 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 33256
[startup+3.10027 s]
/proc/loadavg: 4.09 1.88 0.74 2/174 27206
/proc/meminfo: memFree=31819092/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=23016 CPUtime=3.08 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 6402 0 0 0 307 1 0 0 20 0 1 0 390837152 23568384 3057 33554432000 134512640 146736320 4292116400 4292110472 139043583 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27204/statm: 5754 3057 912 2985 0 2688 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 32164
[startup+6.30026 s]
/proc/loadavg: 3.92 1.88 0.74 3/180 27226
/proc/meminfo: memFree=31818920/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=25144 CPUtime=6.29 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 8008 0 0 0 627 2 0 0 20 0 1 0 390837152 25747456 3466 33554432000 134512640 146736320 4292116400 4292112220 136406506 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27204/statm: 6286 3466 913 2985 0 3220 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 34292
[startup+12.7003 s]
/proc/loadavg: 3.76 1.88 0.75 3/180 27226
/proc/meminfo: memFree=31819040/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=23668 CPUtime=12.68 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 10772 0 0 0 1266 2 0 0 20 0 1 0 390837152 24236032 3231 33554432000 134512640 146736320 4292116400 4292110084 136385175 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/27204/statm: 5917 3231 913 2985 0 2851 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 32816
[startup+25.5003 s]
/proc/loadavg: 4.53 2.13 0.85 10/194 27240
/proc/meminfo: memFree=31764748/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=133244 CPUtime=52.14 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 20074 0 0 0 5184 30 0 0 20 0 8 0 390837152 136441856 10354 33554432000 134512640 146736320 4292116400 4292108224 135468690 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27204/statm: 33311 10354 944 2985 0 30245 0
[pid=27204/tid=27227] ppid=27203 vsize=133244 CPUtime=5.69 cores=1,3,5,7
/proc/27204/task/27227/stat : 27227 (pb_cplex) R 27203 27203 27040 0 -1 4202560 662 0 0 0 565 4 0 0 20 0 8 0 390838499 136441856 10354 33554432000 134512640 146736320 4292116400 4148994640 136403112 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27228] ppid=27203 vsize=133244 CPUtime=4.68 cores=1,3,5,7
/proc/27204/task/27228/stat : 27228 (pb_cplex) R 27203 27203 27040 0 -1 4202560 1356 0 0 0 465 3 0 0 20 0 8 0 390838499 136441856 10354 33554432000 134512640 146736320 4292116400 4138508880 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27229] ppid=27203 vsize=133244 CPUtime=4.46 cores=1,3,5,7
/proc/27204/task/27229/stat : 27229 (pb_cplex) R 27203 27203 27040 0 -1 4202560 587 0 0 0 444 2 0 0 20 0 8 0 390838499 136441856 10354 33554432000 134512640 146736320 4292116400 4128023120 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27230] ppid=27203 vsize=133244 CPUtime=4.63 cores=1,3,5,7
/proc/27204/task/27230/stat : 27230 (pb_cplex) R 27203 27203 27040 0 -1 4202560 888 0 0 0 459 4 0 0 20 0 8 0 390838499 136441856 10354 33554432000 134512640 146736320 4292116400 4117536976 136008089 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27231] ppid=27203 vsize=133244 CPUtime=4.61 cores=1,3,5,7
/proc/27204/task/27231/stat : 27231 (pb_cplex) R 27203 27203 27040 0 -1 4202560 845 0 0 0 459 2 0 0 20 0 8 0 390838499 136441856 10354 33554432000 134512640 146736320 4292116400 4107051100 135854509 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27232] ppid=27203 vsize=133244 CPUtime=4.25 cores=1,3,5,7
/proc/27204/task/27232/stat : 27232 (pb_cplex) R 27203 27203 27040 0 -1 4202560 822 0 0 0 420 5 0 0 20 0 8 0 390838499 136441856 10354 33554432000 134512640 146736320 4292116400 4096565704 136000340 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27233] ppid=27203 vsize=133244 CPUtime=4.02 cores=1,3,5,7
/proc/27204/task/27233/stat : 27233 (pb_cplex) R 27203 27203 27040 0 -1 4202560 564 0 0 0 395 7 0 0 20 0 8 0 390838499 136441856 10354 33554432000 134512640 146736320 4292116400 4086079544 136475862 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 52.14
Current children cumulated vsize (KiB) 142392
[startup+51.1005 s]
/proc/loadavg: 7.12 2.95 1.15 6/187 27247
/proc/meminfo: memFree=31760776/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=146756 CPUtime=123.56 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 29890 0 0 0 12299 57 0 0 20 0 8 0 390837152 150278144 13848 33554432000 134512640 146736320 4292116400 4292109264 136008450 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27204/statm: 36689 13848 961 2985 0 33623 0
[pid=27204/tid=27241] ppid=27203 vsize=146756 CPUtime=3.25 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 642 0 0 0 322 3 0 0 20 0 8 0 390841427 150278144 13848 33554432000 134512640 146736320 4292116400 4086079944 136000488 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=146756 CPUtime=3.14 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 524 0 0 0 314 0 0 0 20 0 8 0 390841427 150278144 13848 33554432000 134512640 146736320 4292116400 4096565340 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=146756 CPUtime=3.22 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 804 0 0 0 320 2 0 0 20 0 8 0 390841427 150278144 13848 33554432000 134512640 146736320 4292116400 4107051224 136009164 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=146756 CPUtime=2.54 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 498 0 0 0 254 0 0 0 20 0 8 0 390841427 150278144 13848 33554432000 134512640 146736320 4292116400 4117536836 136385174 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=146756 CPUtime=2.98 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 1040 0 0 0 297 1 0 0 20 0 8 0 390841427 150278144 13848 33554432000 134512640 146736320 4292116400 4143743032 136475800 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=146756 CPUtime=2.92 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) R 27203 27203 27040 0 -1 4202560 801 0 0 0 290 2 0 0 20 0 8 0 390841427 150278144 13848 33554432000 134512640 146736320 4292116400 4133257308 135855165 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=146756 CPUtime=2.84 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) R 27203 27203 27040 0 -1 4202560 562 0 0 0 282 2 0 0 20 0 8 0 390841427 150278144 13848 33554432000 134512640 146736320 4292116400 4065320968 135468104 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 123.56
Current children cumulated vsize (KiB) 155904
[startup+102.307 s]
/proc/loadavg: 11.38 4.71 1.84 17/193 27254
/proc/meminfo: memFree=31696068/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=151216 CPUtime=308.36 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 31583 0 0 0 30704 132 0 0 20 0 8 0 390837152 154845184 15555 33554432000 134512640 146736320 4292116400 4292109164 135454003 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27204/statm: 37804 15555 963 2985 0 34738 0
[pid=27204/tid=27241] ppid=27203 vsize=151216 CPUtime=28.43 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 669 0 0 0 2831 12 0 0 20 0 8 0 390841427 154845184 15555 33554432000 134512640 146736320 4292116400 4086079556 136385179 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=151216 CPUtime=26.11 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 659 0 0 0 2603 8 0 0 20 0 8 0 390841427 154845184 15555 33554432000 134512640 146736320 4292116400 4096565288 139044540 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=151216 CPUtime=26.66 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 1047 0 0 0 2657 9 0 0 20 0 8 0 390841427 154845184 15555 33554432000 134512640 146736320 4292116400 4107051216 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=151216 CPUtime=25.75 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 599 0 0 0 2565 10 0 0 20 0 8 0 390841427 154845184 15555 33554432000 134512640 146736320 4292116400 4117536976 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=151216 CPUtime=25.38 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 1523 0 0 0 2529 9 0 0 20 0 8 0 390841427 154845184 15555 33554432000 134512640 146736320 4292116400 4143743088 136384857 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=151216 CPUtime=25.44 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) R 27203 27203 27040 0 -1 4202560 1109 0 0 0 2529 15 0 0 20 0 8 0 390841427 154845184 15555 33554432000 134512640 146736320 4292116400 4133257492 136004236 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=151216 CPUtime=25.27 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) R 27203 27203 27040 0 -1 4202560 813 0 0 0 2515 12 0 0 20 0 8 0 390841427 154845184 15555 33554432000 134512640 146736320 4292116400 4065320872 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 308.36
Current children cumulated vsize (KiB) 160364
[startup+162.3 s]
/proc/loadavg: 12.97 6.31 2.57 17/193 27255
/proc/meminfo: memFree=31688172/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=151960 CPUtime=521.1 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 36784 0 0 0 51902 208 0 0 20 0 8 0 390837152 155607040 16099 33554432000 134512640 146736320 4292116400 4292109648 136403116 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27204/statm: 37990 16099 963 2985 0 34924 0
[pid=27204/tid=27241] ppid=27203 vsize=151960 CPUtime=54.28 cores=1,3,5,7
################
# More data... #
################
/proc/27204/statm: 38995 16927 963 2985 0 35929 0
[pid=27204/tid=27241] ppid=27203 vsize=155980 CPUtime=82.4 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 10094 0 0 0 8201 39 0 0 20 0 8 0 390841427 159723520 16927 33554432000 134512640 146736320 4292116400 4086079704 136009164 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=155980 CPUtime=78.79 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 774 0 0 0 7851 28 0 0 20 0 8 0 390841427 159723520 16927 33554432000 134512640 146736320 4292116400 4096564228 136385170 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=155980 CPUtime=80.49 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 8846 0 0 0 8021 28 0 0 20 0 8 0 390841427 159723520 16927 33554432000 134512640 146736320 4292116400 4107051100 135855174 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=155980 CPUtime=79.95 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 3947 0 0 0 7962 33 0 0 20 0 8 0 390841427 159723520 16927 33554432000 134512640 146736320 4292116400 4117537360 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=155980 CPUtime=79.56 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 8041 0 0 0 7921 35 0 0 20 0 8 0 390841427 159723520 16927 33554432000 134512640 146736320 4292116400 4143743028 136382704 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=155980 CPUtime=78.76 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) R 27203 27203 27040 0 -1 4202560 9873 0 0 0 7833 43 0 0 20 0 8 0 390841427 159723520 16927 33554432000 134512640 146736320 4292116400 4133257808 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=155980 CPUtime=79.63 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) R 27203 27203 27040 0 -1 4202560 4031 0 0 0 7929 34 0 0 20 0 8 0 390841427 159723520 16927 33554432000 134512640 146736320 4292116400 4065321000 139044514 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 738.96
Current children cumulated vsize (KiB) 165128
[startup+282.3 s]
/proc/loadavg: 14.31 9.04 4.02 11/193 27255
/proc/meminfo: memFree=31626228/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=229272 CPUtime=965.18 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 129358 0 0 0 96152 366 0 0 20 0 8 0 390837152 234774528 30728 33554432000 134512640 146736320 4292116400 4292105040 136008053 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27204/statm: 57318 30728 973 2985 0 54252 0
[pid=27204/tid=27241] ppid=27203 vsize=229272 CPUtime=110.22 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 17730 0 0 0 10978 44 0 0 20 0 8 0 390841427 234774528 30728 33554432000 134512640 146736320 4292116400 4086075720 136000401 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=229272 CPUtime=106.56 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 5518 0 0 0 10622 34 0 0 20 0 8 0 390841427 234774528 30728 33554432000 134512640 146736320 4292116400 4096561232 136008111 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=229272 CPUtime=108.5 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 15421 0 0 0 10816 34 0 0 20 0 8 0 390841427 234774528 30728 33554432000 134512640 146736320 4292116400 4107045904 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=229272 CPUtime=107.99 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 10013 0 0 0 10759 40 0 0 20 0 8 0 390841427 234774528 30728 33554432000 134512640 146736320 4292116400 4117532360 135525920 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=229272 CPUtime=108.73 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 16246 0 0 0 10827 46 0 0 20 0 8 0 390841427 234774528 30728 33554432000 134512640 146736320 4292116400 4143738808 136475773 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=229272 CPUtime=106.61 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) R 27203 27203 27040 0 -1 4202560 18736 0 0 0 10612 49 0 0 20 0 8 0 390841427 234774528 30728 33554432000 134512640 146736320 4292116400 4133254044 144785853 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=229272 CPUtime=108.27 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) R 27203 27203 27040 0 -1 4202560 10873 0 0 0 10786 41 0 0 20 0 8 0 390841427 234774528 30728 33554432000 134512640 146736320 4292116400 4065318200 136015725 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 965.18
Current children cumulated vsize (KiB) 238420
[startup+342.3 s]
/proc/loadavg: 14.15 9.96 4.65 15/194 27258
/proc/meminfo: memFree=31569680/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=219700 CPUtime=1204.71 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 159529 0 0 0 120075 396 0 0 20 0 8 0 390837152 224972800 30349 33554432000 134512640 146736320 4292116400 4292107804 136406496 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27204/statm: 54925 30349 974 2985 0 51859 0
[pid=27204/tid=27241] ppid=27203 vsize=219700 CPUtime=144.29 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 20217 0 0 0 14380 49 0 0 20 0 8 0 390841427 224972800 30349 33554432000 134512640 146736320 4292116400 4086075904 139046506 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=219700 CPUtime=141.15 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 8981 0 0 0 14077 38 0 0 20 0 8 0 390841427 224972800 30349 33554432000 134512640 146736320 4292116400 4096561860 136385172 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=219700 CPUtime=142.68 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 25416 0 0 0 14228 40 0 0 20 0 8 0 390841427 224972800 30349 33554432000 134512640 146736320 4292116400 4107046992 136008450 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=219700 CPUtime=141.61 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 12491 0 0 0 14118 43 0 0 20 0 8 0 390841427 224972800 30349 33554432000 134512640 146736320 4292116400 4117532980 136400586 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=219700 CPUtime=142.86 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 16482 0 0 0 14236 50 0 0 20 0 8 0 390841427 224972800 30349 33554432000 134512640 146736320 4292116400 4143741724 136406059 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=219700 CPUtime=135.31 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) S 27203 27203 27040 0 -1 4202560 19591 0 0 0 13477 54 0 0 20 0 8 0 390841427 224972800 30349 33554432000 134512640 146736320 4292116400 4133260944 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=219700 CPUtime=114.27 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) S 27203 27203 27040 0 -1 4202560 13888 0 0 0 11382 45 0 0 20 0 8 0 390841427 224972800 30349 33554432000 134512640 146736320 4292116400 4065324688 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1204.71
Current children cumulated vsize (KiB) 228848
[startup+402.3 s]
/proc/loadavg: 12.81 10.36 5.12 11/193 27258
/proc/meminfo: memFree=31593540/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=183900 CPUtime=1407.91 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 174919 0 0 0 140372 419 0 0 20 0 8 0 390837152 188313600 24027 33554432000 134512640 146736320 4292116400 4292110056 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/27204/statm: 45975 24027 974 2985 0 42909 0
[pid=27204/tid=27241] ppid=27203 vsize=183900 CPUtime=157.31 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 21389 0 0 0 15679 52 0 0 20 0 8 0 390841427 188313600 24027 33554432000 134512640 146736320 4292116400 4086079556 136385175 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=183900 CPUtime=183.86 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 10761 0 0 0 18343 43 0 0 20 0 8 0 390841427 188313600 24027 33554432000 134512640 146736320 4292116400 4096565456 136008042 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=183900 CPUtime=173.36 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 31749 0 0 0 17292 44 0 0 20 0 8 0 390841427 188313600 24027 33554432000 134512640 146736320 4292116400 4107051048 139044580 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=183900 CPUtime=160.57 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 12542 0 0 0 16010 47 0 0 20 0 8 0 390841427 188313600 24027 33554432000 134512640 146736320 4292116400 4117535916 135454079 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=183900 CPUtime=185.69 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 16620 0 0 0 18517 52 0 0 20 0 8 0 390841427 188313600 24027 33554432000 134512640 146736320 4292116400 4143743976 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=183900 CPUtime=138.44 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) R 27203 27203 27040 0 -1 4202560 19591 0 0 0 13790 54 0 0 20 0 8 0 390841427 188313600 24027 33554432000 134512640 146736320 4292116400 4133257808 136403129 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=183900 CPUtime=116.94 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) R 27203 27203 27040 0 -1 4202560 13893 0 0 0 11648 46 0 0 20 0 8 0 390841427 188313600 24027 33554432000 134512640 146736320 4292116400 4065321168 136008469 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1407.91
Current children cumulated vsize (KiB) 193048
[startup+462.3 s]
/proc/loadavg: 14.34 11.29 5.76 12/192 27258
/proc/meminfo: memFree=31581332/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=184720 CPUtime=1625.3 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 184888 0 0 0 162059 471 0 0 20 0 8 0 390837152 189153280 24336 33554432000 134512640 146736320 4292116400 4292109168 136384892 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/27204/statm: 46180 24336 974 2985 0 43114 0
[pid=27204/tid=27241] ppid=27203 vsize=184720 CPUtime=186.33 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 22917 0 0 0 18574 59 0 0 20 0 8 0 390841427 189153280 24336 33554432000 134512640 146736320 4292116400 4086079580 135855167 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=184720 CPUtime=210.95 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 10782 0 0 0 21045 50 0 0 20 0 8 0 390841427 189153280 24336 33554432000 134512640 146736320 4292116400 4096565456 136008003 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=184720 CPUtime=199.93 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 39995 0 0 0 19938 55 0 0 20 0 8 0 390841427 189153280 24336 33554432000 134512640 146736320 4292116400 4107051120 136384883 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=184720 CPUtime=187.48 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 12542 0 0 0 18695 53 0 0 20 0 8 0 390841427 189153280 24336 33554432000 134512640 146736320 4292116400 4117537224 135999808 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=184720 CPUtime=212.39 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 16620 0 0 0 21180 59 0 0 20 0 8 0 390841427 189153280 24336 33554432000 134512640 146736320 4292116400 4143743044 136385179 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=184720 CPUtime=165.25 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) R 27203 27203 27040 0 -1 4202560 19601 0 0 0 16466 59 0 0 20 0 8 0 390841427 189153280 24336 33554432000 134512640 146736320 4292116400 4133257808 136403103 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=184720 CPUtime=144.43 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) R 27203 27203 27040 0 -1 4202560 13987 0 0 0 14390 53 0 0 20 0 8 0 390841427 189153280 24336 33554432000 134512640 146736320 4292116400 4065321052 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1625.3
Current children cumulated vsize (KiB) 193868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+509 s]
/proc/loadavg: 13.50 11.50 6.10 11/193 27259
/proc/meminfo: memFree=31589756/32873844 swapFree=7116/7116
[pid=27203] ppid=27201 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/27203/stat : 27203 (run) S 27201 27203 27040 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390837152 9367552 270 33554432000 4194304 5064252 140735041658880 140735041657792 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/27203/statm: 2287 270 229 213 0 72 0
[pid=27204] ppid=27203 vsize=187484 CPUtime=1800.02 cores=1,3,5,7
/proc/27204/stat : 27204 (pb_cplex) R 27203 27203 27040 0 -1 4202496 200509 0 0 0 179486 516 0 0 20 0 8 0 390837152 191983616 24744 33554432000 134512640 146736320 4292116400 4292108204 135454079 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/27204/statm: 46871 24744 974 2985 0 43805 0
[pid=27204/tid=27241] ppid=27203 vsize=187484 CPUtime=207.99 cores=1,3,5,7
/proc/27204/task/27241/stat : 27241 (pb_cplex) R 27203 27203 27040 0 -1 4202560 31386 0 0 0 20732 67 0 0 20 0 8 0 390841427 191983616 24744 33554432000 134512640 146736320 4292116400 4086078644 138462800 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27242] ppid=27203 vsize=187484 CPUtime=232.66 cores=1,3,5,7
/proc/27204/task/27242/stat : 27242 (pb_cplex) R 27203 27203 27040 0 -1 4202560 10782 0 0 0 23212 54 0 0 20 0 8 0 390841427 191983616 24744 33554432000 134512640 146736320 4292116400 4096564396 135454073 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27243] ppid=27203 vsize=187484 CPUtime=221.73 cores=1,3,5,7
/proc/27204/task/27243/stat : 27243 (pb_cplex) R 27203 27203 27040 0 -1 4202560 46923 0 0 0 22108 65 0 0 20 0 8 0 390841427 191983616 24744 33554432000 134512640 146736320 4292116400 4107051212 136388868 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=27204/tid=27244] ppid=27203 vsize=187484 CPUtime=208.55 cores=1,3,5,7
/proc/27204/task/27244/stat : 27244 (pb_cplex) R 27203 27203 27040 0 -1 4202560 12551 0 0 0 20796 59 0 0 20 0 8 0 390841427 191983616 24744 33554432000 134512640 146736320 4292116400 4117537360 136403117 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=27204/tid=27245] ppid=27203 vsize=187484 CPUtime=234.22 cores=1,3,5,7
/proc/27204/task/27245/stat : 27245 (pb_cplex) R 27203 27203 27040 0 -1 4202560 16620 0 0 0 23358 64 0 0 20 0 8 0 390841427 191983616 24744 33554432000 134512640 146736320 4292116400 4143743192 136008931 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=27204/tid=27246] ppid=27203 vsize=187484 CPUtime=188.22 cores=1,3,5,7
/proc/27204/task/27246/stat : 27246 (pb_cplex) R 27203 27203 27040 0 -1 4202560 19601 0 0 0 18758 64 0 0 20 0 8 0 390841427 191983616 24744 33554432000 134512640 146736320 4292116400 4133257420 136388887 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=27204/tid=27247] ppid=27203 vsize=187484 CPUtime=165.87 cores=1,3,5,7
/proc/27204/task/27247/stat : 27247 (pb_cplex) R 27203 27203 27040 0 -1 4202560 14098 0 0 0 16530 57 0 0 20 0 8 0 390841427 191983616 24744 33554432000 134512640 146736320 4292116400 4065321960 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 196632
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 27203 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 509.017
CPU time (s): 1800.02
CPU user time (s): 1794.86
CPU system time (s): 5.16
CPU usage (%): 353.627
Max. virtual memory (cumulated for all children) (KiB): 241692
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0
maximum resident set size= 1080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 355
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2
involuntary context switches= 1
runsolver used 1.36179 second user time and 3.48447 second system time
The end