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-3742198-1339250901/watcher-3742198-1339250901 -o /tmp/evaluation-result-3742198-1339250901/solver-3742198-1339250901 -C 1800 -W 1900 -M 15500 run HOME/instance-3742198-1339250901.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: 10.49 11.20 9.86 9/184 4227
/proc/meminfo: memFree=31010988/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[startup+0.00758791 s]
/proc/loadavg: 10.49 11.20 9.86 9/184 4227
/proc/meminfo: memFree=31010988/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100209 s]
/proc/loadavg: 10.49 11.20 9.86 9/184 4227
/proc/meminfo: memFree=31010988/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300185 s]
/proc/loadavg: 10.49 11.20 9.86 9/184 4227
/proc/meminfo: memFree=31010988/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700189 s]
/proc/loadavg: 10.49 11.20 9.86 9/184 4227
/proc/meminfo: memFree=31010988/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 10.29 11.14 9.85 3/186 4229
/proc/meminfo: memFree=30994232/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=36200 CPUtime=1.49 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 6630 0 0 0 148 1 0 0 20 0 1 0 391218720 37068800 5054 33554432000 134512640 146736320 4293412128 4293406776 136475808 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 9050 5054 725 2985 0 5984 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 45348
[startup+3.10022 s]
/proc/loadavg: 10.29 11.14 9.85 9/186 4229
/proc/meminfo: memFree=30993364/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=36200 CPUtime=3.09 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 6648 0 0 0 308 1 0 0 20 0 1 0 391218720 37068800 5072 33554432000 134512640 146736320 4293412128 4293406768 136384857 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 9050 5072 725 2985 0 5984 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 45348
[startup+6.30022 s]
/proc/loadavg: 10.03 11.07 9.83 10/186 4229
/proc/meminfo: memFree=30992120/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=35996 CPUtime=6.28 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 7572 0 0 0 627 1 0 0 20 0 1 0 391218720 36859904 5296 33554432000 134512640 146736320 4293412128 4293404492 135465172 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 8999 5296 780 2985 0 5933 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 45144
[startup+12.7002 s]
/proc/loadavg: 9.86 11.02 9.82 10/186 4229
/proc/meminfo: memFree=30990788/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=36024 CPUtime=12.69 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 7582 0 0 0 1267 2 0 0 20 0 1 0 391218720 36888576 5306 33554432000 134512640 146736320 4293412128 4293404928 138462606 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 9006 5306 780 2985 0 5940 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 45172
[startup+25.5003 s]
/proc/loadavg: 9.46 10.87 9.79 10/186 4229
/proc/meminfo: memFree=30977836/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=48676 CPUtime=25.48 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 11461 0 0 0 2546 2 0 0 20 0 1 0 391218720 49844224 7802 33554432000 134512640 146736320 4293412128 4293405928 136480238 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 12169 7802 819 2985 0 9103 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 57824
[startup+51.1002 s]
/proc/loadavg: 8.84 10.61 9.73 9/186 4229
/proc/meminfo: memFree=30965292/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=48652 CPUtime=51.08 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 14024 0 0 0 5105 3 0 0 20 0 1 0 391218720 49819648 8130 33554432000 134512640 146736320 4293412128 4293406328 136015622 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 12163 8130 840 2985 0 9097 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 57800
[startup+102.307 s]
/proc/loadavg: 7.21 9.93 9.55 3/180 4282
/proc/meminfo: memFree=31111844/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=41052 CPUtime=102.28 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 18566 0 0 0 10224 4 0 0 20 0 1 0 391218720 42037248 7606 33554432000 134512640 146736320 4293412128 4293406400 139046836 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 10263 7606 842 2985 0 7197 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 50200
[startup+162.3 s]
/proc/loadavg: 3.91 8.49 9.08 3/179 4282
/proc/meminfo: memFree=31106524/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=41600 CPUtime=162.26 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 18710 0 0 0 16222 4 0 0 20 0 1 0 391218720 42598400 7750 33554432000 134512640 146736320 4293412128 4293406384 136385269 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 10400 7750 844 2985 0 7334 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 50748
[startup+222.3 s]
/proc/loadavg: 2.70 7.31 8.63 3/179 4283
/proc/meminfo: memFree=31102792/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=41600 CPUtime=222.25 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 18710 0 0 0 22221 4 0 0 20 0 1 0 391218720 42598400 7750 33554432000 134512640 146736320 4293412128 4293405872 136384857 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 10400 7750 844 2985 0 7334 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 50748
[startup+282.3 s]
/proc/loadavg: 2.26 6.34 8.21 3/186 4290
/proc/meminfo: memFree=31059584/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=173340 CPUtime=282.24 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 32039 0 0 0 28217 7 0 0 20 0 8 0 391218720 177500160 18486 33554432000 134512640 146736320 4293412128 4293404868 136385170 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/4228/statm: 43335 18486 884 2985 0 40269 0
[pid=4228/tid=4284] ppid=4227 vsize=173340 CPUtime=0 cores=1,3,5,7
/proc/4228/task/4284/stat : 4284 (pb_cplex) S 4227 4227 2899 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391244325 177500160 18486 33554432000 134512640 146736320 4293412128 4118167184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4285] ppid=4227 vsize=173340 CPUtime=0 cores=1,3,5,7
/proc/4228/task/4285/stat : 4285 (pb_cplex) S 4227 4227 2899 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391244325 177500160 18486 33554432000 134512640 146736320 4293412128 4107681424 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4228/tid=4286] ppid=4227 vsize=173340 CPUtime=0 cores=1,3,5,7
/proc/4228/task/4286/stat : 4286 (pb_cplex) S 4227 4227 2899 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 391244325 177500160 18486 33554432000 134512640 146736320 4293412128 4097195664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4287] ppid=4227 vsize=173340 CPUtime=0 cores=1,3,5,7
/proc/4228/task/4287/stat : 4287 (pb_cplex) S 4227 4227 2899 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391244325 177500160 18486 33554432000 134512640 146736320 4293412128 4086709904 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4288] ppid=4227 vsize=173340 CPUtime=0 cores=1,3,5,7
/proc/4228/task/4288/stat : 4288 (pb_cplex) S 4227 4227 2899 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391244325 177500160 18486 33554432000 134512640 146736320 4293412128 4076224144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4289] ppid=4227 vsize=173340 CPUtime=0 cores=1,3,5,7
/proc/4228/task/4289/stat : 4289 (pb_cplex) S 4227 4227 2899 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391244325 177500160 18486 33554432000 134512640 146736320 4293412128 4065738384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4228/tid=4290] ppid=4227 vsize=173340 CPUtime=0 cores=1,3,5,7
/proc/4228/task/4290/stat : 4290 (pb_cplex) S 4227 4227 2899 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391244325 177500160 18486 33554432000 134512640 146736320 4293412128 4055252624 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 182488
[startup+342.3 s]
/proc/loadavg: 2.09 5.55 7.82 3/186 4290
################
# More data... #
################
/proc/4228/statm: 55589 32045 884 2985 0 52523 0
[pid=4228/tid=4284] ppid=4227 vsize=222356 CPUtime=80.88 cores=1,3,5,7
/proc/4228/task/4284/stat : 4284 (pb_cplex) S 4227 4227 2899 0 -1 4202560 7016 0 0 0 8082 6 0 0 20 0 8 0 391244325 227692544 32045 33554432000 134512640 146736320 4293412128 4118167184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4228/tid=4285] ppid=4227 vsize=222356 CPUtime=83.08 cores=1,3,5,7
/proc/4228/task/4285/stat : 4285 (pb_cplex) R 4227 4227 2899 0 -1 4202560 1236 0 0 0 8307 1 0 0 20 0 8 0 391244325 227692544 32045 33554432000 134512640 146736320 4293412128 4107677900 136388886 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4286] ppid=4227 vsize=222356 CPUtime=82.56 cores=1,3,5,7
/proc/4228/task/4286/stat : 4286 (pb_cplex) R 4227 4227 2899 0 -1 4202560 25380 0 0 0 8243 13 0 0 20 0 8 0 391244325 227692544 32045 33554432000 134512640 146736320 4293412128 4097191984 136384857 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4287] ppid=4227 vsize=222356 CPUtime=83.23 cores=1,3,5,7
/proc/4228/task/4287/stat : 4287 (pb_cplex) R 4227 4227 2899 0 -1 4202560 33080 0 0 0 8305 18 0 0 20 0 8 0 391244325 227692544 32045 33554432000 134512640 146736320 4293412128 4086706232 136475800 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4288] ppid=4227 vsize=222356 CPUtime=82.43 cores=1,3,5,7
/proc/4228/task/4288/stat : 4288 (pb_cplex) R 4227 4227 2899 0 -1 4202560 4603 0 0 0 8237 6 0 0 20 0 8 0 391244325 227692544 32045 33554432000 134512640 146736320 4293412128 4076220872 136000882 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4289] ppid=4227 vsize=222356 CPUtime=82.69 cores=1,3,5,7
/proc/4228/task/4289/stat : 4289 (pb_cplex) R 4227 4227 2899 0 -1 4202560 1195 0 0 0 8266 3 0 0 20 0 8 0 391244325 227692544 32045 33554432000 134512640 146736320 4293412128 4065735112 136000338 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4290] ppid=4227 vsize=222356 CPUtime=82.35 cores=1,3,5,7
/proc/4228/task/4290/stat : 4290 (pb_cplex) R 4227 4227 2899 0 -1 4202560 15340 0 0 0 8223 12 0 0 20 0 8 0 391244325 227692544 32045 33554432000 134512640 146736320 4293412128 4055249112 136009167 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1015.84
Current children cumulated vsize (KiB) 231504
[startup+582.3 s]
/proc/loadavg: 7.89 7.02 7.90 8/186 4291
/proc/meminfo: memFree=30979896/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=222356 CPUtime=1254.77 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 136534 0 0 0 125409 68 0 0 20 0 8 0 391218720 227692544 32183 33554432000 134512640 146736320 4293412128 4293403216 135460327 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4228/statm: 55589 32183 884 2985 0 52523 0
[pid=4228/tid=4284] ppid=4227 vsize=222356 CPUtime=80.88 cores=1,3,5,7
/proc/4228/task/4284/stat : 4284 (pb_cplex) S 4227 4227 2899 0 -1 4202560 7016 0 0 0 8082 6 0 0 20 0 8 0 391244325 227692544 32183 33554432000 134512640 146736320 4293412128 4118167184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4228/tid=4285] ppid=4227 vsize=222356 CPUtime=118.68 cores=1,3,5,7
/proc/4228/task/4285/stat : 4285 (pb_cplex) R 4227 4227 2899 0 -1 4202560 1238 0 0 0 11865 3 0 0 20 0 8 0 391244325 227692544 32183 33554432000 134512640 146736320 4293412128 4107677768 139042888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4286] ppid=4227 vsize=222356 CPUtime=118.54 cores=1,3,5,7
/proc/4228/task/4286/stat : 4286 (pb_cplex) R 4227 4227 2899 0 -1 4202560 30231 0 0 0 11838 16 0 0 20 0 8 0 391244325 227692544 32183 33554432000 134512640 146736320 4293412128 4097192028 135855170 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4287] ppid=4227 vsize=222356 CPUtime=120.06 cores=1,3,5,7
/proc/4228/task/4287/stat : 4287 (pb_cplex) R 4227 4227 2899 0 -1 4202560 44646 0 0 0 11982 24 0 0 20 0 8 0 391244325 227692544 32183 33554432000 134512640 146736320 4293412128 4086706268 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4288] ppid=4227 vsize=222356 CPUtime=117.56 cores=1,3,5,7
/proc/4228/task/4288/stat : 4288 (pb_cplex) R 4227 4227 2899 0 -1 4202560 4603 0 0 0 11749 7 0 0 20 0 8 0 391244325 227692544 32183 33554432000 134512640 146736320 4293412128 4076220472 136475859 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4289] ppid=4227 vsize=222356 CPUtime=106.74 cores=1,3,5,7
/proc/4228/task/4289/stat : 4289 (pb_cplex) S 4227 4227 2899 0 -1 4202560 1195 0 0 0 10671 3 0 0 20 0 8 0 391244325 227692544 32183 33554432000 134512640 146736320 4293412128 4065738384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4290] ppid=4227 vsize=222356 CPUtime=118.78 cores=1,3,5,7
/proc/4228/task/4290/stat : 4290 (pb_cplex) R 4227 4227 2899 0 -1 4202560 15341 0 0 0 11865 13 0 0 20 0 8 0 391244325 227692544 32183 33554432000 134512640 146736320 4293412128 4055248072 135468226 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1254.77
Current children cumulated vsize (KiB) 231504
[startup+642.3 s]
/proc/loadavg: 6.76 6.86 7.79 6/186 4291
/proc/meminfo: memFree=30978656/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=222364 CPUtime=1493.69 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 163297 0 0 0 149288 81 0 0 20 0 8 0 391218720 227700736 32156 33554432000 134512640 146736320 4293412128 4293404032 135445123 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/4228/statm: 55591 32156 884 2985 0 52525 0
[pid=4228/tid=4284] ppid=4227 vsize=222364 CPUtime=80.88 cores=1,3,5,7
/proc/4228/task/4284/stat : 4284 (pb_cplex) S 4227 4227 2899 0 -1 4202560 7016 0 0 0 8082 6 0 0 20 0 8 0 391244325 227700736 32156 33554432000 134512640 146736320 4293412128 4118167184 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4228/tid=4285] ppid=4227 vsize=222364 CPUtime=168.66 cores=1,3,5,7
/proc/4228/task/4285/stat : 4285 (pb_cplex) R 4227 4227 2899 0 -1 4202560 12009 0 0 0 16858 8 0 0 20 0 8 0 391244325 227700736 32156 33554432000 134512640 146736320 4293412128 4107677764 136385179 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4286] ppid=4227 vsize=222364 CPUtime=121.61 cores=1,3,5,7
/proc/4228/task/4286/stat : 4286 (pb_cplex) S 4227 4227 2899 0 -1 4202560 30267 0 0 0 12145 16 0 0 20 0 8 0 391244325 227700736 32156 33554432000 134512640 146736320 4293412128 4097195664 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4287] ppid=4227 vsize=222364 CPUtime=167.68 cores=1,3,5,7
/proc/4228/task/4287/stat : 4287 (pb_cplex) R 4227 4227 2899 0 -1 4202560 59545 0 0 0 16737 31 0 0 20 0 8 0 391244325 227700736 32156 33554432000 134512640 146736320 4293412128 4086705324 135454090 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4288] ppid=4227 vsize=222364 CPUtime=157.79 cores=1,3,5,7
/proc/4228/task/4288/stat : 4288 (pb_cplex) S 4227 4227 2899 0 -1 4202560 5658 0 0 0 15771 8 0 0 20 0 8 0 391244325 227700736 32156 33554432000 134512640 146736320 4293412128 4076224144 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4289] ppid=4227 vsize=222364 CPUtime=106.74 cores=1,3,5,7
/proc/4228/task/4289/stat : 4289 (pb_cplex) S 4227 4227 2899 0 -1 4202560 1195 0 0 0 10671 3 0 0 20 0 8 0 391244325 227700736 32156 33554432000 134512640 146736320 4293412128 4065738384 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4290] ppid=4227 vsize=222364 CPUtime=165.12 cores=1,3,5,7
/proc/4228/task/4290/stat : 4290 (pb_cplex) R 4227 4227 2899 0 -1 4202560 15343 0 0 0 16498 14 0 0 20 0 8 0 391244325 227700736 32156 33554432000 134512640 146736320 4293412128 4055248988 135855130 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1493.69
Current children cumulated vsize (KiB) 231512
[startup+702.3 s]
/proc/loadavg: 7.21 6.89 7.73 10/187 4294
/proc/meminfo: memFree=30977932/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=222364 CPUtime=1703.66 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 179329 0 0 0 170276 90 0 0 20 0 8 0 391218720 227700736 32208 33554432000 134512640 146736320 4293412128 4293404868 136385175 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4228/statm: 55591 32208 884 2985 0 52525 0
[pid=4228/tid=4284] ppid=4227 vsize=222364 CPUtime=97.73 cores=1,3,5,7
/proc/4228/task/4284/stat : 4284 (pb_cplex) R 4227 4227 2899 0 -1 4202560 8772 0 0 0 9767 6 0 0 20 0 8 0 391244325 227700736 32208 33554432000 134512640 146736320 4293412128 4118163524 136385184 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4285] ppid=4227 vsize=222364 CPUtime=196.76 cores=1,3,5,7
/proc/4228/task/4285/stat : 4285 (pb_cplex) R 4227 4227 2899 0 -1 4202560 12035 0 0 0 19667 9 0 0 20 0 8 0 391244325 227700736 32208 33554432000 134512640 146736320 4293412128 4107678288 136403109 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4286] ppid=4227 vsize=222364 CPUtime=138.37 cores=1,3,5,7
/proc/4228/task/4286/stat : 4286 (pb_cplex) R 4227 4227 2899 0 -1 4202560 30927 0 0 0 13820 17 0 0 20 0 8 0 391244325 227700736 32208 33554432000 134512640 146736320 4293412128 4097192028 135855165 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4287] ppid=4227 vsize=222364 CPUtime=208.44 cores=1,3,5,7
/proc/4228/task/4287/stat : 4287 (pb_cplex) R 4227 4227 2899 0 -1 4202560 73133 0 0 0 20806 38 0 0 20 0 8 0 391244325 227700736 32208 33554432000 134512640 146736320 4293412128 4086706632 136000404 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4228/tid=4288] ppid=4227 vsize=222364 CPUtime=174.71 cores=1,3,5,7
/proc/4228/task/4288/stat : 4288 (pb_cplex) R 4227 4227 2899 0 -1 4202560 5658 0 0 0 17463 8 0 0 20 0 8 0 391244325 227700736 32208 33554432000 134512640 146736320 4293412128 4076220508 135855146 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=4228/tid=4289] ppid=4227 vsize=222364 CPUtime=123.55 cores=1,3,5,7
/proc/4228/task/4289/stat : 4289 (pb_cplex) R 4227 4227 2899 0 -1 4202560 1195 0 0 0 12352 3 0 0 20 0 8 0 391244325 227700736 32208 33554432000 134512640 146736320 4293412128 4065734724 136385175 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4290] ppid=4227 vsize=222364 CPUtime=196.3 cores=1,3,5,7
/proc/4228/task/4290/stat : 4290 (pb_cplex) R 4227 4227 2899 0 -1 4202560 15345 0 0 0 19615 15 0 0 20 0 8 0 391244325 227700736 32208 33554432000 134512640 146736320 4293412128 4055249104 136008443 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1703.66
Current children cumulated vsize (KiB) 231512
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+726.5 s]
/proc/loadavg: 7.82 7.06 7.77 10/187 4294
/proc/meminfo: memFree=30978088/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=222364 CPUtime=1800.07 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 186310 0 0 0 179912 95 0 0 20 0 8 0 391218720 227700736 32242 33554432000 134512640 146736320 4293412128 4293404892 135854171 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4228/statm: 55591 32242 884 2985 0 52525 0
[pid=4228/tid=4284] ppid=4227 vsize=222364 CPUtime=109.83 cores=1,3,5,7
/proc/4228/task/4284/stat : 4284 (pb_cplex) R 4227 4227 2899 0 -1 4202560 10341 0 0 0 10976 7 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4118163568 136384857 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4285] ppid=4227 vsize=222364 CPUtime=208.85 cores=1,3,5,7
/proc/4228/task/4285/stat : 4285 (pb_cplex) R 4227 4227 2899 0 -1 4202560 12035 0 0 0 20875 10 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4107677788 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4286] ppid=4227 vsize=222364 CPUtime=150.48 cores=1,3,5,7
/proc/4228/task/4286/stat : 4286 (pb_cplex) R 4227 4227 2899 0 -1 4202560 32564 0 0 0 15030 18 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4097192008 139042888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4287] ppid=4227 vsize=222364 CPUtime=220.46 cores=1,3,5,7
/proc/4228/task/4287/stat : 4287 (pb_cplex) R 4227 4227 2899 0 -1 4202560 76906 0 0 0 22006 40 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4086706248 139042977 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4288] ppid=4227 vsize=222364 CPUtime=186.82 cores=1,3,5,7
/proc/4228/task/4288/stat : 4288 (pb_cplex) R 4227 4227 2899 0 -1 4202560 5658 0 0 0 18673 9 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4076220508 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4289] ppid=4227 vsize=222364 CPUtime=135.66 cores=1,3,5,7
/proc/4228/task/4289/stat : 4289 (pb_cplex) R 4227 4227 2899 0 -1 4202560 1196 0 0 0 13561 5 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4065734712 136475800 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4290] ppid=4227 vsize=222364 CPUtime=208.41 cores=1,3,5,7
/proc/4228/task/4290/stat : 4290 (pb_cplex) R 4227 4227 2899 0 -1 4202560 15346 0 0 0 20825 16 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4055248968 139042881 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 231512
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+726.5 s]
/proc/loadavg: 7.82 7.06 7.77 10/187 4294
/proc/meminfo: memFree=30978088/32873844 swapFree=7116/7116
[pid=4227] ppid=4225 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4227/stat : 4227 (run) S 4225 4227 2899 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 391218720 9367552 269 33554432000 4194304 5064252 140733851495776 140733851494688 247064061518 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4227/statm: 2287 269 229 213 0 72 0
[pid=4228] ppid=4227 vsize=222364 CPUtime=1800.07 cores=1,3,5,7
/proc/4228/stat : 4228 (pb_cplex) R 4227 4227 2899 0 -1 4202496 186310 0 0 0 179912 95 0 0 20 0 8 0 391218720 227700736 32242 33554432000 134512640 146736320 4293412128 4293404892 135854171 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/4228/statm: 55591 32242 884 2985 0 52525 0
[pid=4228/tid=4284] ppid=4227 vsize=222364 CPUtime=109.83 cores=1,3,5,7
/proc/4228/task/4284/stat : 4284 (pb_cplex) R 4227 4227 2899 0 -1 4202560 10341 0 0 0 10976 7 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4118163568 136384857 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4285] ppid=4227 vsize=222364 CPUtime=208.85 cores=1,3,5,7
/proc/4228/task/4285/stat : 4285 (pb_cplex) R 4227 4227 2899 0 -1 4202560 12035 0 0 0 20875 10 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4107677788 135855174 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4286] ppid=4227 vsize=222364 CPUtime=150.48 cores=1,3,5,7
/proc/4228/task/4286/stat : 4286 (pb_cplex) R 4227 4227 2899 0 -1 4202560 32564 0 0 0 15030 18 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4097192008 139042888 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=4228/tid=4287] ppid=4227 vsize=222364 CPUtime=220.46 cores=1,3,5,7
/proc/4228/task/4287/stat : 4287 (pb_cplex) R 4227 4227 2899 0 -1 4202560 76906 0 0 0 22006 40 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4086706248 139042977 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4288] ppid=4227 vsize=222364 CPUtime=186.82 cores=1,3,5,7
/proc/4228/task/4288/stat : 4288 (pb_cplex) R 4227 4227 2899 0 -1 4202560 5658 0 0 0 18673 9 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4076220508 135855165 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=4228/tid=4289] ppid=4227 vsize=222364 CPUtime=135.66 cores=1,3,5,7
/proc/4228/task/4289/stat : 4289 (pb_cplex) R 4227 4227 2899 0 -1 4202560 1196 0 0 0 13561 5 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4065734712 136475800 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=4228/tid=4290] ppid=4227 vsize=222364 CPUtime=208.41 cores=1,3,5,7
/proc/4228/task/4290/stat : 4290 (pb_cplex) R 4227 4227 2899 0 -1 4202560 15346 0 0 0 20825 16 0 0 20 0 8 0 391244325 227700736 32242 33554432000 134512640 146736320 4293412128 4055248968 139042881 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 231512
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 4227 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=0
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 726.517
CPU time (s): 1800.07
CPU user time (s): 1799.12
CPU system time (s): 0.95
CPU usage (%): 247.767
Max. virtual memory (cumulated for all children) (KiB): 232536
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0
maximum resident set size= 1076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 354
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.3298 second user time and 5.09622 second system time
The end