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-3736057-1339248045/watcher-3736057-1339248045 -o /tmp/evaluation-result-3736057-1339248045/solver-3736057-1339248045 -C 1800 -W 1900 -M 15500 run HOME/instance-3736057-1339248045.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: 7.80 8.66 6.43 10/187 22555
/proc/meminfo: memFree=31217108/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[startup+0.0686501 s]
/proc/loadavg: 7.80 8.66 6.43 10/187 22555
/proc/meminfo: memFree=31217108/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100196 s]
/proc/loadavg: 7.80 8.66 6.43 10/187 22555
/proc/meminfo: memFree=31217108/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30017 s]
/proc/loadavg: 7.80 8.66 6.43 10/187 22555
/proc/meminfo: memFree=31217108/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700202 s]
/proc/loadavg: 7.80 8.66 6.43 10/187 22555
/proc/meminfo: memFree=31217108/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 7.80 8.66 6.43 10/189 22557
/proc/meminfo: memFree=31171824/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=60920 CPUtime=1.48 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 21581 0 0 0 145 3 0 0 20 0 1 0 34771524 62382080 12079 33554432000 134512640 146736320 4292189424 4292187600 138729950 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 15230 12079 663 2985 0 12164 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 70068
[startup+3.10039 s]
/proc/loadavg: 7.80 8.66 6.43 10/189 22557
/proc/meminfo: memFree=31161224/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=194656 CPUtime=3.09 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 46236 0 0 0 298 11 0 0 20 0 1 0 34771524 199327744 25597 33554432000 134512640 146736320 4292189424 4292184152 136007674 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 48664 25597 792 2985 0 45598 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 203804
[startup+6.30034 s]
/proc/loadavg: 7.90 8.67 6.45 9/189 22557
/proc/meminfo: memFree=31122520/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=196740 CPUtime=6.28 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 52440 0 0 0 616 12 0 0 20 0 1 0 34771524 201461760 26330 33554432000 134512640 146736320 4292189424 4292184456 135999691 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 49185 26330 792 2985 0 46119 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 205888
[startup+12.7003 s]
/proc/loadavg: 7.83 8.64 6.45 7/189 22557
/proc/meminfo: memFree=31121692/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=197280 CPUtime=12.69 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 57851 0 0 0 1255 14 0 0 20 0 1 0 34771524 202014720 26479 33554432000 134512640 146736320 4292189424 4292184456 136001985 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 49320 26479 792 2985 0 46254 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 206428
[startup+25.5075 s]
/proc/loadavg: 7.31 8.48 6.43 9/188 22557
/proc/meminfo: memFree=31120332/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=198532 CPUtime=25.49 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 64689 0 0 0 2532 17 0 0 20 0 1 0 34771524 203296768 26786 33554432000 134512640 146736320 4292189424 4292184040 139044550 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 49633 26786 792 2985 0 46567 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 207680
[startup+51.1004 s]
/proc/loadavg: 7.80 8.50 6.49 9/188 22557
/proc/meminfo: memFree=31111712/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=198736 CPUtime=51.08 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 69622 0 0 0 5088 20 0 0 20 0 1 0 34771524 203505664 26925 33554432000 134512640 146736320 4292189424 4292184204 136017498 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 49684 26925 792 2985 0 46618 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 207884
[startup+102.3 s]
/proc/loadavg: 7.82 8.40 6.56 5/188 22557
/proc/meminfo: memFree=31035360/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=276480 CPUtime=102.27 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 132856 0 0 0 10188 39 0 0 20 0 1 0 34771524 283115520 43175 33554432000 134512640 146736320 4292189424 4292183752 136461557 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 69120 43175 899 2985 0 66054 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 285628
[startup+162.3 s]
/proc/loadavg: 7.03 8.01 6.54 4/188 22557
/proc/meminfo: memFree=31068452/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=218564 CPUtime=162.26 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 184597 0 0 0 16174 52 0 0 20 0 1 0 34771524 223809536 32651 33554432000 134512640 146736320 4292189424 4292183080 139044507 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 54641 32651 901 2985 0 51575 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 227712
[startup+222.3 s]
/proc/loadavg: 5.99 7.62 6.50 3/187 22557
/proc/meminfo: memFree=31053368/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=218564 CPUtime=222.26 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 185258 0 0 0 22173 53 0 0 20 0 1 0 34771524 223809536 35304 33554432000 134512640 146736320 4292189424 4292183152 136384857 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 54641 35304 903 2985 0 51575 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 227712
[startup+282.3 s]
/proc/loadavg: 6.65 7.51 6.53 10/188 22558
/proc/meminfo: memFree=31057396/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=218572 CPUtime=282.23 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 186454 0 0 0 28169 54 0 0 20 0 1 0 34771524 223817728 37351 33554432000 134512640 146736320 4292189424 4292183132 135854505 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 54643 37351 903 2985 0 51577 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 227720
[startup+342.307 s]
/proc/loadavg: 5.15 7.03 6.43 3/181 22618
/proc/meminfo: memFree=31287596/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=219176 CPUtime=342.23 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 189218 0 0 0 34168 55 0 0 20 0 1 0 34771524 224436224 37502 33554432000 134512640 146736320 4292189424 4292183244 136017495 0 0 4096 16387 0 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 54794 37502 903 2985 0 51728 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 228324
[startup+402.3 s]
/proc/loadavg: 4.29 6.36 6.23 10/195 22639
/proc/meminfo: memFree=30930104/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/22556/statm: 137921 98711 956 2985 0 134855 0
[pid=22556/tid=22633] ppid=22555 vsize=551684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22633/stat : 22633 (pb_cplex) S 22555 22555 21745 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 34809485 564924416 98711 33554432000 134512640 146736320 4292189424 3865587344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22634] ppid=22555 vsize=551684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22634/stat : 22634 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 564924416 98711 33554432000 134512640 146736320 4292189424 3855101584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22635] ppid=22555 vsize=551684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22635/stat : 22635 (pb_cplex) S 22555 22555 21745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 34809485 564924416 98711 33554432000 134512640 146736320 4292189424 3844615824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22636] ppid=22555 vsize=551684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22636/stat : 22636 (pb_cplex) S 22555 22555 21745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 34809485 564924416 98711 33554432000 134512640 146736320 4292189424 3834130064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22637] ppid=22555 vsize=551684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22637/stat : 22637 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 564924416 98711 33554432000 134512640 146736320 4292189424 3823644304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22638] ppid=22555 vsize=551684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22638/stat : 22638 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 564924416 98711 33554432000 134512640 146736320 4292189424 3813158544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22639] ppid=22555 vsize=551684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22639/stat : 22639 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 564924416 98711 33554432000 134512640 146736320 4292189424 3802672784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 822.14
Current children cumulated vsize (KiB) 560832
[startup+882.3 s]
/proc/loadavg: 4.71 6.77 6.64 3/188 22693
/proc/meminfo: memFree=31061864/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=561684 CPUtime=882.14 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 347751 0 0 0 88098 116 0 0 20 0 8 0 34771524 575164416 99881 33554432000 134512640 146736320 4292189424 4292183240 135999699 0 0 4096 16387 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22556/statm: 140421 99881 956 2985 0 137355 0
[pid=22556/tid=22633] ppid=22555 vsize=561684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22633/stat : 22633 (pb_cplex) S 22555 22555 21745 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 8 0 34809485 575164416 99881 33554432000 134512640 146736320 4292189424 3865587344 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22634] ppid=22555 vsize=561684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22634/stat : 22634 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 575164416 99881 33554432000 134512640 146736320 4292189424 3855101584 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22635] ppid=22555 vsize=561684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22635/stat : 22635 (pb_cplex) S 22555 22555 21745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 34809485 575164416 99881 33554432000 134512640 146736320 4292189424 3844615824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22636] ppid=22555 vsize=561684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22636/stat : 22636 (pb_cplex) S 22555 22555 21745 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 34809485 575164416 99881 33554432000 134512640 146736320 4292189424 3834130064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22637] ppid=22555 vsize=561684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22637/stat : 22637 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 575164416 99881 33554432000 134512640 146736320 4292189424 3823644304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22638] ppid=22555 vsize=561684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22638/stat : 22638 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 575164416 99881 33554432000 134512640 146736320 4292189424 3813158544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22639] ppid=22555 vsize=561684 CPUtime=0 cores=1,3,5,7
/proc/22556/task/22639/stat : 22639 (pb_cplex) S 22555 22555 21745 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 34809485 575164416 99881 33554432000 134512640 146736320 4292189424 3802672784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 570832
[startup+942.3 s]
/proc/loadavg: 7.20 7.07 6.75 10/188 22694
/proc/meminfo: memFree=30791828/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=902772 CPUtime=1111.81 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 409787 0 0 0 111021 160 0 0 20 0 8 0 34771524 924438528 163946 33554432000 134512640 146736320 4292189424 4292182288 136008450 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22556/statm: 225693 163946 956 2985 0 222627 0
[pid=22556/tid=22633] ppid=22555 vsize=902772 CPUtime=28.3 cores=1,3,5,7
/proc/22556/task/22633/stat : 22633 (pb_cplex) R 22555 22555 21745 0 -1 4202560 7462 0 0 0 2825 5 0 0 20 0 8 0 34809485 924438528 163946 33554432000 134512640 146736320 4292189424 3865582780 135526870 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22634] ppid=22555 vsize=902772 CPUtime=28.05 cores=1,3,5,7
/proc/22556/task/22634/stat : 22634 (pb_cplex) R 22555 22555 21745 0 -1 4202560 8421 0 0 0 2799 6 0 0 20 0 8 0 34809485 924438528 163946 33554432000 134512640 146736320 4292189424 3855097928 139042883 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22635] ppid=22555 vsize=902772 CPUtime=28.25 cores=1,3,5,7
/proc/22556/task/22635/stat : 22635 (pb_cplex) R 22555 22555 21745 0 -1 4202560 8577 0 0 0 2820 5 0 0 20 0 8 0 34809485 924438528 163946 33554432000 134512640 146736320 4292189424 3844612304 136008364 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22636] ppid=22555 vsize=902772 CPUtime=28.25 cores=1,3,5,7
/proc/22556/task/22636/stat : 22636 (pb_cplex) R 22555 22555 21745 0 -1 4202560 8000 0 0 0 2818 7 0 0 20 0 8 0 34809485 924438528 163946 33554432000 134512640 146736320 4292189424 3834126428 135854189 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22637] ppid=22555 vsize=902772 CPUtime=28.36 cores=1,3,5,7
/proc/22556/task/22637/stat : 22637 (pb_cplex) R 22555 22555 21745 0 -1 4202560 8664 0 0 0 2831 5 0 0 20 0 8 0 34809485 924438528 163946 33554432000 134512640 146736320 4292189424 3823640784 136008163 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22638] ppid=22555 vsize=902772 CPUtime=27.89 cores=1,3,5,7
/proc/22556/task/22638/stat : 22638 (pb_cplex) R 22555 22555 21745 0 -1 4202560 8235 0 0 0 2784 5 0 0 20 0 8 0 34809485 924438528 163946 33554432000 134512640 146736320 4292189424 3813154908 135854505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22639] ppid=22555 vsize=902772 CPUtime=28.4 cores=1,3,5,7
/proc/22556/task/22639/stat : 22639 (pb_cplex) R 22555 22555 21745 0 -1 4202560 7955 0 0 0 2834 6 0 0 20 0 8 0 34809485 924438528 163946 33554432000 134512640 146736320 4292189424 3802669264 136008450 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1111.81
Current children cumulated vsize (KiB) 911920
[startup+1002.31 s]
/proc/loadavg: 8.34 7.42 6.89 10/188 22694
/proc/meminfo: memFree=30751764/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=921644 CPUtime=1351.34 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 456838 0 0 0 134946 188 0 0 20 0 8 0 34771524 943763456 168063 33554432000 134512640 146736320 4292189424 4292182288 136008423 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22556/statm: 230411 168063 956 2985 0 227345 0
[pid=22556/tid=22633] ppid=22555 vsize=921644 CPUtime=58.59 cores=1,3,5,7
/proc/22556/task/22633/stat : 22633 (pb_cplex) R 22555 22555 21745 0 -1 4202560 12201 0 0 0 5851 8 0 0 20 0 8 0 34809485 943763456 168063 33554432000 134512640 146736320 4292189424 3865584044 136400477 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22634] ppid=22555 vsize=921644 CPUtime=57.65 cores=1,3,5,7
/proc/22556/task/22634/stat : 22634 (pb_cplex) R 22555 22555 21745 0 -1 4202560 17967 0 0 0 5755 10 0 0 20 0 8 0 34809485 943763456 168063 33554432000 134512640 146736320 4292189424 3855096860 135854509 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22635] ppid=22555 vsize=921644 CPUtime=57.95 cores=1,3,5,7
/proc/22556/task/22635/stat : 22635 (pb_cplex) R 22555 22555 21745 0 -1 4202560 13090 0 0 0 5787 8 0 0 20 0 8 0 34809485 943763456 168063 33554432000 134512640 146736320 4292189424 3844612312 136008602 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22636] ppid=22555 vsize=921644 CPUtime=58.37 cores=1,3,5,7
/proc/22556/task/22636/stat : 22636 (pb_cplex) R 22555 22555 21745 0 -1 4202560 16292 0 0 0 5827 10 0 0 20 0 8 0 34809485 943763456 168063 33554432000 134512640 146736320 4292189424 3834125456 136008230 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22637] ppid=22555 vsize=921644 CPUtime=57.71 cores=1,3,5,7
/proc/22556/task/22637/stat : 22637 (pb_cplex) R 22555 22555 21745 0 -1 4202560 12592 0 0 0 5762 9 0 0 20 0 8 0 34809485 943763456 168063 33554432000 134512640 146736320 4292189424 3823640616 139044505 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22638] ppid=22555 vsize=921644 CPUtime=58.16 cores=1,3,5,7
/proc/22556/task/22638/stat : 22638 (pb_cplex) R 22555 22555 21745 0 -1 4202560 12851 0 0 0 5809 7 0 0 20 0 8 0 34809485 943763456 168063 33554432000 134512640 146736320 4292189424 3813155024 136008450 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22639] ppid=22555 vsize=921644 CPUtime=58.26 cores=1,3,5,7
/proc/22556/task/22639/stat : 22639 (pb_cplex) R 22555 22555 21745 0 -1 4202560 15348 0 0 0 5816 10 0 0 20 0 8 0 34809485 943763456 168063 33554432000 134512640 146736320 4292189424 3802668184 136008620 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1351.34
Current children cumulated vsize (KiB) 930792
[startup+1062.3 s]
/proc/loadavg: 8.75 7.71 7.02 10/188 22694
/proc/meminfo: memFree=30733548/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=926772 CPUtime=1590.8 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 493631 0 0 0 158868 212 0 0 20 0 8 0 34771524 949014528 172604 33554432000 134512640 146736320 4292189424 4292181420 136400469 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/22556/statm: 231693 172604 956 2985 0 228627 0
[pid=22556/tid=22633] ppid=22555 vsize=926772 CPUtime=88.59 cores=1,3,5,7
/proc/22556/task/22633/stat : 22633 (pb_cplex) R 22555 22555 21745 0 -1 4202560 15980 0 0 0 8848 11 0 0 20 0 8 0 34809485 949014528 172604 33554432000 134512640 146736320 4292189424 3865583824 136008450 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22634] ppid=22555 vsize=926772 CPUtime=87.64 cores=1,3,5,7
/proc/22556/task/22634/stat : 22634 (pb_cplex) R 22555 22555 21745 0 -1 4202560 21283 0 0 0 8751 13 0 0 20 0 8 0 34809485 949014528 172604 33554432000 134512640 146736320 4292189424 3855096840 139042878 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22635] ppid=22555 vsize=926772 CPUtime=87.94 cores=1,3,5,7
/proc/22556/task/22635/stat : 22635 (pb_cplex) R 22555 22555 21745 0 -1 4202560 16781 0 0 0 8782 12 0 0 20 0 8 0 34809485 949014528 172604 33554432000 134512640 146736320 4292189424 3844612304 136008441 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22636] ppid=22555 vsize=926772 CPUtime=88.36 cores=1,3,5,7
/proc/22556/task/22636/stat : 22636 (pb_cplex) R 22555 22555 21745 0 -1 4202560 21249 0 0 0 8821 15 0 0 20 0 8 0 34809485 949014528 172604 33554432000 134512640 146736320 4292189424 3834125456 136008385 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22637] ppid=22555 vsize=926772 CPUtime=87.71 cores=1,3,5,7
/proc/22556/task/22637/stat : 22637 (pb_cplex) R 22555 22555 21745 0 -1 4202560 16451 0 0 0 8758 13 0 0 20 0 8 0 34809485 949014528 172604 33554432000 134512640 146736320 4292189424 3823640784 136008450 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22638] ppid=22555 vsize=926772 CPUtime=87.82 cores=1,3,5,7
/proc/22556/task/22638/stat : 22638 (pb_cplex) R 22555 22555 21745 0 -1 4202560 16738 0 0 0 8771 11 0 0 20 0 8 0 34809485 949014528 172604 33554432000 134512640 146736320 4292189424 3813154856 139044505 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22639] ppid=22555 vsize=926772 CPUtime=88.25 cores=1,3,5,7
/proc/22556/task/22639/stat : 22639 (pb_cplex) R 22555 22555 21745 0 -1 4202560 19319 0 0 0 8810 15 0 0 20 0 8 0 34809485 949014528 172604 33554432000 134512640 146736320 4292189424 3802668184 136008602 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1590.8
Current children cumulated vsize (KiB) 935920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1114.8 s]
/proc/loadavg: 8.97 7.94 7.14 10/188 22694
/proc/meminfo: memFree=30693756/32873844 swapFree=7132/7132
[pid=22555] ppid=22553 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/22555/stat : 22555 (run) S 22553 22555 21745 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 34771524 9367552 270 33554432000 4194304 5064252 140734405225056 140734405223968 273588840014 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/22555/statm: 2287 270 229 213 0 72 0
[pid=22556] ppid=22555 vsize=945416 CPUtime=1800.37 cores=1,3,5,7
/proc/22556/stat : 22556 (pb_cplex) R 22555 22555 21745 0 -1 4202496 539964 0 0 0 179801 236 0 0 20 0 8 0 34771524 968105984 182523 33554432000 134512640 146736320 4292189424 4292181584 136403112 0 0 4096 16387 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22556/statm: 236354 182523 956 2985 0 233288 0
[pid=22556/tid=22633] ppid=22555 vsize=945416 CPUtime=115 cores=1,3,5,7
/proc/22556/task/22633/stat : 22633 (pb_cplex) R 22555 22555 21745 0 -1 4202560 25317 0 0 0 11484 16 0 0 20 0 8 0 34809485 968105984 182523 33554432000 134512640 146736320 4292189424 3865582736 136008252 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22634] ppid=22555 vsize=945416 CPUtime=113.89 cores=1,3,5,7
/proc/22556/task/22634/stat : 22634 (pb_cplex) R 22555 22555 21745 0 -1 4202560 25626 0 0 0 11374 15 0 0 20 0 8 0 34809485 968105984 182523 33554432000 134512640 146736320 4292189424 3855096880 136384857 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22635] ppid=22555 vsize=945416 CPUtime=113.9 cores=1,3,5,7
/proc/22556/task/22635/stat : 22635 (pb_cplex) R 22555 22555 21745 0 -1 4202560 24945 0 0 0 11375 15 0 0 20 0 8 0 34809485 968105984 182523 33554432000 134512640 146736320 4292189424 3844611100 135854535 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=22556/tid=22636] ppid=22555 vsize=945416 CPUtime=114.26 cores=1,3,5,7
/proc/22556/task/22636/stat : 22636 (pb_cplex) R 22555 22555 21745 0 -1 4202560 25399 0 0 0 11408 18 0 0 20 0 8 0 34809485 968105984 182523 33554432000 134512640 146736320 4292189424 3834125704 135999665 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=22556/tid=22637] ppid=22555 vsize=945416 CPUtime=114.07 cores=1,3,5,7
/proc/22556/task/22637/stat : 22637 (pb_cplex) R 22555 22555 21745 0 -1 4202560 23243 0 0 0 11389 18 0 0 20 0 8 0 34809485 968105984 182523 33554432000 134512640 146736320 4292189424 3823639696 136008238 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=22556/tid=22638] ppid=22555 vsize=945416 CPUtime=113.82 cores=1,3,5,7
/proc/22556/task/22638/stat : 22638 (pb_cplex) R 22555 22555 21745 0 -1 4202560 20948 0 0 0 11369 13 0 0 20 0 8 0 34809485 968105984 182523 33554432000 134512640 146736320 4292189424 3813154908 135854509 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=22556/tid=22639] ppid=22555 vsize=945416 CPUtime=114.45 cores=1,3,5,7
/proc/22556/task/22639/stat : 22639 (pb_cplex) R 22555 22555 21745 0 -1 4202560 23956 0 0 0 11429 16 0 0 20 0 8 0 34809485 968105984 182523 33554432000 134512640 146736320 4292189424 3802668176 136008160 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.37
Current children cumulated vsize (KiB) 954564
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 22555 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=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.37
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1114.82
CPU time (s): 1800.37
CPU user time (s): 1798.01
CPU system time (s): 2.36
CPU usage (%): 161.495
Max. virtual memory (cumulated for all children) (KiB): 971788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
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 2.99954 second user time and 8.62569 second system time
The end