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-3730895-1339246856/watcher-3730895-1339246856 -o /tmp/evaluation-result-3730895-1339246856/solver-3730895-1339246856 -C 1800 -W 1900 -M 15500 run HOME/instance-3730895-1339246856.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.19 0.05 0.01 3/178 23404
/proc/meminfo: memFree=29415628/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[startup+0.096018 s]
/proc/loadavg: 0.19 0.05 0.01 3/178 23404
/proc/meminfo: memFree=29415628/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100266 s]
/proc/loadavg: 0.19 0.05 0.01 3/178 23404
/proc/meminfo: memFree=29415628/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300259 s]
/proc/loadavg: 0.19 0.05 0.01 3/178 23404
/proc/meminfo: memFree=29415628/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700252 s]
/proc/loadavg: 0.19 0.05 0.01 3/178 23404
/proc/meminfo: memFree=29415628/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/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: 0.19 0.05 0.01 3/180 23406
/proc/meminfo: memFree=29402228/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=29220 CPUtime=1.49 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 9224 0 0 0 148 1 0 0 20 0 1 0 390814213 29921280 3996 33554432000 134512640 146736320 4289138528 4289132648 139044505 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23405/statm: 7305 3996 857 2985 0 4239 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 38368
[startup+3.10038 s]
/proc/loadavg: 0.19 0.05 0.01 9/187 23413
/proc/meminfo: memFree=29361936/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=174772 CPUtime=6.12 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 31278 0 0 0 589 23 0 0 20 0 8 0 390814213 178966528 19343 33554432000 134512640 146736320 4289138528 4289131352 136006886 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23405/statm: 43693 19343 897 2985 0 40627 0
[pid=23405/tid=23407] ppid=23404 vsize=174772 CPUtime=0.43 cores=1,3,5,7
/proc/23405/task/23407/stat : 23407 (pb_cplex) R 23404 23404 23197 0 -1 4202560 1207 0 0 0 43 0 0 0 20 0 8 0 390814385 178966528 19343 33554432000 134512640 146736320 4289138528 4147400424 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23408] ppid=23404 vsize=174772 CPUtime=0.56 cores=1,3,5,7
/proc/23405/task/23408/stat : 23408 (pb_cplex) R 23404 23404 23197 0 -1 4202560 1913 0 0 0 54 2 0 0 20 0 8 0 390814385 178966528 19343 33554432000 134512640 146736320 4289138528 4136915944 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23409] ppid=23404 vsize=174772 CPUtime=0.66 cores=1,3,5,7
/proc/23405/task/23409/stat : 23409 (pb_cplex) R 23404 23404 23197 0 -1 4202560 1971 0 0 0 64 2 0 0 20 0 8 0 390814385 178966528 19343 33554432000 134512640 146736320 4289138528 4126428276 135451458 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23410] ppid=23404 vsize=174772 CPUtime=0.42 cores=1,3,5,7
/proc/23405/task/23410/stat : 23410 (pb_cplex) R 23404 23404 23197 0 -1 4202560 1826 0 0 0 41 1 0 0 20 0 8 0 390814385 178966528 19343 33554432000 134512640 146736320 4289138528 4115944424 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23411] ppid=23404 vsize=174772 CPUtime=0.5 cores=1,3,5,7
/proc/23405/task/23411/stat : 23411 (pb_cplex) S 23404 23404 23197 0 -1 4202560 2823 0 0 0 46 4 0 0 20 0 8 0 390814385 178966528 19343 33554432000 134512640 146736320 4289138528 4105459372 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23412] ppid=23404 vsize=174772 CPUtime=0.53 cores=1,3,5,7
/proc/23405/task/23412/stat : 23412 (pb_cplex) R 23404 23404 23197 0 -1 4202560 2299 0 0 0 47 6 0 0 20 0 8 0 390814385 178966528 19343 33554432000 134512640 146736320 4289138528 4094972036 136400586 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23413] ppid=23404 vsize=174772 CPUtime=0.63 cores=1,3,5,7
/proc/23405/task/23413/stat : 23413 (pb_cplex) R 23404 23404 23197 0 -1 4202560 2437 0 0 0 59 4 0 0 20 0 8 0 390814385 178966528 19343 33554432000 134512640 146736320 4289138528 4084485952 144797972 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.12
Current children cumulated vsize (KiB) 183920
[startup+6.30027 s]
/proc/loadavg: 0.34 0.08 0.02 4/187 23443
/proc/meminfo: memFree=29307948/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=101572 CPUtime=9.87 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 32867 0 0 0 951 36 0 0 20 0 1 0 390814213 104009728 11547 33554432000 134512640 146736320 4289138528 4289132616 139042885 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/23405/statm: 25393 11547 901 2985 0 22327 0
Current children cumulated CPU time (s) 9.87
Current children cumulated vsize (KiB) 110720
[startup+12.7005 s]
/proc/loadavg: 0.47 0.11 0.03 3/187 23457
/proc/meminfo: memFree=29324516/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=141172 CPUtime=16.69 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 42478 0 0 0 1624 45 0 0 20 0 8 0 390814213 144560128 13463 33554432000 134512640 146736320 4289138528 4289130704 136403116 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23405/statm: 35293 13463 909 2985 0 32227 0
[pid=23405/tid=23451] ppid=23404 vsize=141172 CPUtime=0 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) S 23404 23404 23197 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390815398 144560128 13463 33554432000 134512640 146736320 4289138528 4130705040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=141172 CPUtime=0 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) S 23404 23404 23197 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 390815398 144560128 13463 33554432000 134512640 146736320 4289138528 4141190800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=141172 CPUtime=0 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) S 23404 23404 23197 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390815398 144560128 13463 33554432000 134512640 146736320 4289138528 4151676560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=141172 CPUtime=0 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) S 23404 23404 23197 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 8 0 390815398 144560128 13463 33554432000 134512640 146736320 4289138528 4115947152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=141172 CPUtime=0 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) S 23404 23404 23197 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390815398 144560128 13463 33554432000 134512640 146736320 4289138528 4105461392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=141172 CPUtime=0 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) S 23404 23404 23197 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390815398 144560128 13463 33554432000 134512640 146736320 4289138528 4094975632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=141172 CPUtime=0 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) S 23404 23404 23197 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 390815398 144560128 13463 33554432000 134512640 146736320 4289138528 4084489872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 16.69
Current children cumulated vsize (KiB) 150320
[startup+25.5005 s]
/proc/loadavg: 3.43 0.78 0.25 16/194 23534
/proc/meminfo: memFree=29291548/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=200648 CPUtime=63.09 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 87068 0 0 0 6241 68 0 0 20 0 8 0 390814213 205463552 27303 33554432000 134512640 146736320 4289138528 4289131408 136008441 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23405/statm: 50162 27303 909 2985 0 47096 0
[pid=23405/tid=23451] ppid=23404 vsize=200648 CPUtime=5.39 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) R 23404 23404 23197 0 -1 4202560 6576 0 0 0 536 3 0 0 20 0 8 0 390815398 205463552 27303 33554432000 134512640 146736320 4289138528 4130702312 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=200648 CPUtime=5.29 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) R 23404 23404 23197 0 -1 4202560 3881 0 0 0 527 2 0 0 20 0 8 0 390815398 205463552 27303 33554432000 134512640 146736320 4289138528 4141187664 136403116 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=200648 CPUtime=5.44 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) R 23404 23404 23197 0 -1 4202560 4730 0 0 0 541 3 0 0 20 0 8 0 390815398 205463552 27303 33554432000 134512640 146736320 4289138528 4151673832 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=200648 CPUtime=6.26 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) R 23404 23404 23197 0 -1 4202560 3576 0 0 0 625 1 0 0 20 0 8 0 390815398 205463552 27303 33554432000 134512640 146736320 4289138528 4115944424 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=200648 CPUtime=5.55 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) R 23404 23404 23197 0 -1 4202560 5289 0 0 0 553 2 0 0 20 0 8 0 390815398 205463552 27303 33554432000 134512640 146736320 4289138528 4105458120 136001974 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=200648 CPUtime=5.49 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) R 23404 23404 23197 0 -1 4202560 6441 0 0 0 547 2 0 0 20 0 8 0 390815398 205463552 27303 33554432000 134512640 146736320 4289138528 4094971996 135854509 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=200648 CPUtime=5.46 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) R 23404 23404 23197 0 -1 4202560 7491 0 0 0 544 2 0 0 20 0 8 0 390815398 205463552 27303 33554432000 134512640 146736320 4289138528 4084486296 136007299 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 63.09
Current children cumulated vsize (KiB) 209796
[startup+51.1005 s]
/proc/loadavg: 6.62 1.75 0.59 17/194 23534
/proc/meminfo: memFree=29257540/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=225996 CPUtime=160.24 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 134840 0 0 0 15916 108 0 0 20 0 8 0 390814213 231419904 33485 33554432000 134512640 146736320 4289138528 4289131404 135846792 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/23405/statm: 56499 33485 909 2985 0 53433 0
[pid=23405/tid=23451] ppid=23404 vsize=225996 CPUtime=17.2 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) R 23404 23404 23197 0 -1 4202560 12089 0 0 0 1712 8 0 0 20 0 8 0 390815398 231419904 33485 33554432000 134512640 146736320 4289138528 4130701224 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=225996 CPUtime=16.82 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) R 23404 23404 23197 0 -1 4202560 9887 0 0 0 1675 7 0 0 20 0 8 0 390815398 231419904 33485 33554432000 134512640 146736320 4289138528 4141187420 139023034 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=225996 CPUtime=17.5 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) R 23404 23404 23197 0 -1 4202560 10204 0 0 0 1741 9 0 0 20 0 8 0 390815398 231419904 33485 33554432000 134512640 146736320 4289138528 4151673284 135999570 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=225996 CPUtime=18.88 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) R 23404 23404 23197 0 -1 4202560 13244 0 0 0 1879 9 0 0 20 0 8 0 390815398 231419904 33485 33554432000 134512640 146736320 4289138528 4115942544 136007977 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=225996 CPUtime=17.43 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) R 23404 23404 23197 0 -1 4202560 12647 0 0 0 1736 7 0 0 20 0 8 0 390815398 231419904 33485 33554432000 134512640 146736320 4289138528 4105458516 135983225 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=225996 CPUtime=17.63 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) R 23404 23404 23197 0 -1 4202560 14314 0 0 0 1757 6 0 0 20 0 8 0 390815398 231419904 33485 33554432000 134512640 146736320 4289138528 4094972904 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=225996 CPUtime=17.65 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) R 23404 23404 23197 0 -1 4202560 9861 0 0 0 1758 7 0 0 20 0 8 0 390815398 231419904 33485 33554432000 134512640 146736320 4289138528 4084485264 136008168 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 160.24
Current children cumulated vsize (KiB) 235144
[startup+102.307 s]
/proc/loadavg: 10.47 3.52 1.25 17/193 23534
/proc/meminfo: memFree=29200608/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=248136 CPUtime=352.78 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 271418 0 0 0 35086 192 0 0 20 0 8 0 390814213 254091264 39171 33554432000 134512640 146736320 4289138528 4289131392 136469378 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
################
# More data... #
################
/proc/23405/statm: 64507 41363 913 2985 0 61441 0
[pid=23405/tid=23451] ppid=23404 vsize=258028 CPUtime=130.05 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) R 23404 23404 23197 0 -1 4202560 79271 0 0 0 12959 46 0 0 20 0 8 0 390815398 264220672 41363 33554432000 134512640 146736320 4289138528 4130702312 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=258028 CPUtime=127.96 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) R 23404 23404 23197 0 -1 4202560 85895 0 0 0 12743 53 0 0 20 0 8 0 390815398 264220672 41363 33554432000 134512640 146736320 4289138528 4141186888 135525908 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=258028 CPUtime=129.03 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) R 23404 23404 23197 0 -1 4202560 72472 0 0 0 12852 51 0 0 20 0 8 0 390815398 264220672 41363 33554432000 134512640 146736320 4289138528 4151672872 139044580 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=258028 CPUtime=130.41 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) R 23404 23404 23197 0 -1 4202560 78658 0 0 0 12992 49 0 0 20 0 8 0 390815398 264220672 41363 33554432000 134512640 146736320 4289138528 4115942928 136403109 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=258028 CPUtime=129.04 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) R 23404 23404 23197 0 -1 4202560 49733 0 0 0 12863 41 0 0 20 0 8 0 390815398 264220672 41363 33554432000 134512640 146736320 4289138528 4105457872 136008178 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=258028 CPUtime=130.25 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) R 23404 23404 23197 0 -1 4202560 88974 0 0 0 12973 52 0 0 20 0 8 0 390815398 264220672 41363 33554432000 134512640 146736320 4289138528 4094972112 136008356 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=258028 CPUtime=129.64 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) R 23404 23404 23197 0 -1 4202560 84890 0 0 0 12918 46 0 0 20 0 8 0 390815398 264220672 41363 33554432000 134512640 146736320 4289138528 4084487144 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1109.35
Current children cumulated vsize (KiB) 267176
[startup+402.3 s]
/proc/loadavg: 12.65 9.19 4.33 11/193 23535
/proc/meminfo: memFree=29180444/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=259876 CPUtime=1331.23 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 796703 0 0 0 132628 495 0 0 20 0 8 0 390814213 266113024 41873 33554432000 134512640 146736320 4289138528 4289131408 136008116 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23405/statm: 64969 41873 913 2985 0 61903 0
[pid=23405/tid=23451] ppid=23404 vsize=259876 CPUtime=157.46 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) R 23404 23404 23197 0 -1 4202560 92921 0 0 0 15693 53 0 0 20 0 8 0 390815398 266113024 41873 33554432000 134512640 146736320 4289138528 4130701368 136475798 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=259876 CPUtime=155.9 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) R 23404 23404 23197 0 -1 4202560 107410 0 0 0 15527 63 0 0 20 0 8 0 390815398 266113024 41873 33554432000 134512640 146736320 4289138528 4141187280 136008065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=259876 CPUtime=155.91 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) R 23404 23404 23197 0 -1 4202560 82587 0 0 0 15530 61 0 0 20 0 8 0 390815398 266113024 41873 33554432000 134512640 146736320 4289138528 4151673424 136403117 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=259876 CPUtime=157.35 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) R 23404 23404 23197 0 -1 4202560 95305 0 0 0 15676 59 0 0 20 0 8 0 390815398 266113024 41873 33554432000 134512640 146736320 4289138528 4115943852 136400469 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=259876 CPUtime=157.25 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) R 23404 23404 23197 0 -1 4202560 71545 0 0 0 15673 52 0 0 20 0 8 0 390815398 266113024 41873 33554432000 134512640 146736320 4289138528 4105457644 135454007 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=259876 CPUtime=158.5 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) R 23404 23404 23197 0 -1 4202560 104946 0 0 0 15787 63 0 0 20 0 8 0 390815398 266113024 41873 33554432000 134512640 146736320 4289138528 4094972112 136008065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=259876 CPUtime=157.11 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) R 23404 23404 23197 0 -1 4202560 91824 0 0 0 15659 52 0 0 20 0 8 0 390815398 266113024 41873 33554432000 134512640 146736320 4289138528 4084487104 144757825 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1331.23
Current children cumulated vsize (KiB) 269024
[startup+462.3 s]
/proc/loadavg: 11.79 9.62 4.79 11/193 23535
/proc/meminfo: memFree=29156448/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=260720 CPUtime=1555.53 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 912599 0 0 0 154986 567 0 0 20 0 8 0 390814213 266977280 42198 33554432000 134512640 146736320 4289138528 4289131408 136008172 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23405/statm: 65180 42198 913 2985 0 62114 0
[pid=23405/tid=23451] ppid=23404 vsize=260720 CPUtime=185.72 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) R 23404 23404 23197 0 -1 4202560 106554 0 0 0 18508 64 0 0 20 0 8 0 390815398 266977280 42198 33554432000 134512640 146736320 4289138528 4130702312 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=260720 CPUtime=183.99 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) R 23404 23404 23197 0 -1 4202560 120131 0 0 0 18327 72 0 0 20 0 8 0 390815398 266977280 42198 33554432000 134512640 146736320 4289138528 4141187520 135999764 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=260720 CPUtime=183.76 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) R 23404 23404 23197 0 -1 4202560 95087 0 0 0 18308 68 0 0 20 0 8 0 390815398 266977280 42198 33554432000 134512640 146736320 4289138528 4151673040 136008163 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=260720 CPUtime=185.9 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) R 23404 23404 23197 0 -1 4202560 109334 0 0 0 18523 67 0 0 20 0 8 0 390815398 266977280 42198 33554432000 134512640 146736320 4289138528 4115944016 136403116 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=260720 CPUtime=184.91 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) R 23404 23404 23197 0 -1 4202560 87785 0 0 0 18431 60 0 0 20 0 8 0 390815398 266977280 42198 33554432000 134512640 146736320 4289138528 4105457872 136008385 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=260720 CPUtime=186.15 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) R 23404 23404 23197 0 -1 4202560 120461 0 0 0 18542 73 0 0 20 0 8 0 390815398 266977280 42198 33554432000 134512640 146736320 4289138528 4094972952 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=260720 CPUtime=184.06 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) R 23404 23404 23197 0 -1 4202560 102738 0 0 0 18345 61 0 0 20 0 8 0 390815398 266977280 42198 33554432000 134512640 146736320 4289138528 4084486256 136384857 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1555.53
Current children cumulated vsize (KiB) 269868
[startup+522.3 s]
/proc/loadavg: 13.46 10.53 5.40 17/193 23535
/proc/meminfo: memFree=29160160/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=259140 CPUtime=1780.59 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) R 23404 23404 23197 0 -1 4202496 992401 0 0 0 177428 631 0 0 20 0 8 0 390814213 265359360 42323 33554432000 134512640 146736320 4289138528 4289132200 144757825 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/23405/statm: 64785 42323 913 2985 0 61719 0
[pid=23405/tid=23451] ppid=23404 vsize=259140 CPUtime=214.17 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) R 23404 23404 23197 0 -1 4202560 120443 0 0 0 21344 73 0 0 20 0 8 0 390815398 265359360 42323 33554432000 134512640 146736320 4289138528 4130702312 144757825 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=259140 CPUtime=212.53 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) R 23404 23404 23197 0 -1 4202560 131333 0 0 0 21172 81 0 0 20 0 8 0 390815398 265359360 42323 33554432000 134512640 146736320 4289138528 4141188072 144757825 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=259140 CPUtime=210.95 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) R 23404 23404 23197 0 -1 4202560 100572 0 0 0 21020 75 0 0 20 0 8 0 390815398 265359360 42323 33554432000 134512640 146736320 4289138528 4151673040 136008017 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=259140 CPUtime=214.18 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) S 23404 23404 23197 0 -1 4202560 118874 0 0 0 21343 75 0 0 20 0 8 0 390815398 265359360 42323 33554432000 134512640 146736320 4289138528 4115947152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=259140 CPUtime=212.07 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) R 23404 23404 23197 0 -1 4202560 97922 0 0 0 21138 69 0 0 20 0 8 0 390815398 265359360 42323 33554432000 134512640 146736320 4289138528 4105458664 144757825 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=259140 CPUtime=213.91 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) S 23404 23404 23197 0 -1 4202560 132351 0 0 0 21308 83 0 0 20 0 8 0 390815398 265359360 42323 33554432000 134512640 146736320 4289138528 4094975632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=259140 CPUtime=212.37 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) S 23404 23404 23197 0 -1 4202560 119259 0 0 0 21164 73 0 0 20 0 8 0 390815398 265359360 42323 33554432000 134512640 146736320 4289138528 4084489872 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1780.59
Current children cumulated vsize (KiB) 268288
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+527.5 s]
/proc/loadavg: 13.10 10.50 5.42 4/186 23585
/proc/meminfo: memFree=29282376/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=259732 CPUtime=1800.03 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) S 23404 23404 23197 0 -1 4202496 1003558 0 0 0 179353 650 0 0 20 0 8 0 390814213 265965568 42456 33554432000 134512640 146736320 4289138528 4289134928 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23405/statm: 64933 42456 913 2985 0 61867 0
[pid=23405/tid=23451] ppid=23404 vsize=259732 CPUtime=216.73 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) S 23404 23404 23197 0 -1 4202560 121968 0 0 0 21598 75 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4130705040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=259732 CPUtime=215.04 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) S 23404 23404 23197 0 -1 4202560 131565 0 0 0 21421 83 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4141190800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=259732 CPUtime=213.3 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) S 23404 23404 23197 0 -1 4202560 102413 0 0 0 21254 76 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4151676560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=259732 CPUtime=216.51 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) S 23404 23404 23197 0 -1 4202560 121218 0 0 0 21575 76 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4115947152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=259732 CPUtime=214.56 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) S 23404 23404 23197 0 -1 4202560 99899 0 0 0 21384 72 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4105461392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=259732 CPUtime=216.81 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) S 23404 23404 23197 0 -1 4202560 132638 0 0 0 21596 85 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4094975632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=259732 CPUtime=214.72 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) R 23404 23404 23197 0 -1 4202560 120867 0 0 0 21395 77 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4084486736 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 268880
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+527.5 s]
/proc/loadavg: 13.10 10.50 5.42 4/186 23585
/proc/meminfo: memFree=29282376/32873844 swapFree=7372/7372
[pid=23404] ppid=23402 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/23404/stat : 23404 (run) S 23402 23404 23197 0 -1 4202496 356 0 0 0 0 0 0 0 20 0 1 0 390814213 9367552 270 33554432000 4194304 5064252 140734972511216 140734972510128 245294065230 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/23404/statm: 2287 270 229 213 0 72 0
[pid=23405] ppid=23404 vsize=259732 CPUtime=1800.03 cores=1,3,5,7
/proc/23405/stat : 23405 (pb_cplex) S 23404 23404 23197 0 -1 4202496 1003558 0 0 0 179353 650 0 0 20 0 8 0 390814213 265965568 42456 33554432000 134512640 146736320 4289138528 4289134928 144580073 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/23405/statm: 64933 42456 913 2985 0 61867 0
[pid=23405/tid=23451] ppid=23404 vsize=259732 CPUtime=216.73 cores=1,3,5,7
/proc/23405/task/23451/stat : 23451 (pb_cplex) S 23404 23404 23197 0 -1 4202560 121968 0 0 0 21598 75 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4130705040 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23405/tid=23452] ppid=23404 vsize=259732 CPUtime=215.04 cores=1,3,5,7
/proc/23405/task/23452/stat : 23452 (pb_cplex) S 23404 23404 23197 0 -1 4202560 131565 0 0 0 21421 83 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4141190800 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23405/tid=23453] ppid=23404 vsize=259732 CPUtime=213.3 cores=1,3,5,7
/proc/23405/task/23453/stat : 23453 (pb_cplex) S 23404 23404 23197 0 -1 4202560 102413 0 0 0 21254 76 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4151676560 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23454] ppid=23404 vsize=259732 CPUtime=216.51 cores=1,3,5,7
/proc/23405/task/23454/stat : 23454 (pb_cplex) S 23404 23404 23197 0 -1 4202560 121218 0 0 0 21575 76 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4115947152 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23405/tid=23455] ppid=23404 vsize=259732 CPUtime=214.56 cores=1,3,5,7
/proc/23405/task/23455/stat : 23455 (pb_cplex) S 23404 23404 23197 0 -1 4202560 99899 0 0 0 21384 72 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4105461392 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23456] ppid=23404 vsize=259732 CPUtime=216.81 cores=1,3,5,7
/proc/23405/task/23456/stat : 23456 (pb_cplex) S 23404 23404 23197 0 -1 4202560 132638 0 0 0 21596 85 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4094975632 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23405/tid=23457] ppid=23404 vsize=259732 CPUtime=214.72 cores=1,3,5,7
/proc/23405/task/23457/stat : 23457 (pb_cplex) R 23404 23404 23197 0 -1 4202560 120867 0 0 0 21395 77 0 0 20 0 8 0 390815398 265965568 42456 33554432000 134512640 146736320 4289138528 4084486736 136403109 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 268880
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23404 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.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 527.663
CPU time (s): 1800.03
CPU user time (s): 1793.53
CPU system time (s): 6.5
CPU usage (%): 341.133
Max. virtual memory (cumulated for all children) (KiB): 288016
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= 356
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.42178 second user time and 3.76343 second system time
The end