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-3737414-1339248651/watcher-3737414-1339248651 -o /tmp/evaluation-result-3737414-1339248651/solver-3737414-1339248651 -C 1800 -W 1900 -M 15500 run HOME/instance-3737414-1339248651.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 6.43 6.13 5.29 4/176 17289
/proc/meminfo: memFree=28664772/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[startup+0.047341 s]
/proc/loadavg: 6.43 6.13 5.29 4/176 17289
/proc/meminfo: memFree=28664772/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100208 s]
/proc/loadavg: 6.43 6.13 5.29 4/176 17289
/proc/meminfo: memFree=28664772/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300133 s]
/proc/loadavg: 6.43 6.13 5.29 4/176 17289
/proc/meminfo: memFree=28664772/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700255 s]
/proc/loadavg: 6.43 6.13 5.29 4/176 17289
/proc/meminfo: memFree=28664772/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 6.16 6.08 5.28 3/178 17291
/proc/meminfo: memFree=28638220/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=54044 CPUtime=1.49 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 9717 0 0 0 148 1 0 0 20 0 1 0 390990586 55341056 7367 33554432000 134512640 146736320 4293641392 4293636036 136385183 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 13511 7367 795 2985 0 10445 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 63192
[startup+3.10015 s]
/proc/loadavg: 6.16 6.08 5.28 3/178 17291
/proc/meminfo: memFree=28637392/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=54088 CPUtime=3.09 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 9769 0 0 0 308 1 0 0 20 0 1 0 390990586 55386112 7419 33554432000 134512640 146736320 4293641392 4293636560 136403117 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 13522 7419 795 2985 0 10456 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 63236
[startup+6.3002 s]
/proc/loadavg: 6.16 6.08 5.28 3/178 17291
/proc/meminfo: memFree=28636408/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=54132 CPUtime=6.29 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 9785 0 0 0 628 1 0 0 20 0 1 0 390990586 55431168 7435 33554432000 134512640 146736320 4293641392 4293636608 139046486 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 13533 7435 795 2985 0 10467 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 63280
[startup+12.7002 s]
/proc/loadavg: 5.52 5.94 5.24 3/177 17291
/proc/meminfo: memFree=28635588/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=54144 CPUtime=12.68 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 9790 0 0 0 1267 1 0 0 20 0 1 0 390990586 55443456 7440 33554432000 134512640 146736320 4293641392 4293636080 136384892 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 13536 7440 795 2985 0 10470 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 63292
[startup+25.5003 s]
/proc/loadavg: 4.98 5.81 5.21 3/177 17292
/proc/meminfo: memFree=28636340/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=53780 CPUtime=25.48 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 9919 0 0 0 2547 1 0 0 20 0 1 0 390990586 55070720 7336 33554432000 134512640 146736320 4293641392 4293636008 139044499 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 13445 7336 795 2985 0 10379 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 62928
[startup+51.1002 s]
/proc/loadavg: 3.96 5.50 5.12 3/177 17292
/proc/meminfo: memFree=28618608/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=74000 CPUtime=51.08 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 16472 0 0 0 5105 3 0 0 20 0 1 0 390990586 75776000 11974 33554432000 134512640 146736320 4293641392 4293635856 136403109 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 18500 11974 902 2985 0 15434 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 83148
[startup+102.306 s]
/proc/loadavg: 2.78 4.91 4.94 3/177 17292
/proc/meminfo: memFree=28627464/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=58736 CPUtime=102.28 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 45926 0 0 0 10220 8 0 0 20 0 1 0 390990586 60145664 9378 33554432000 134512640 146736320 4293641392 4293635464 136000401 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 14684 9378 908 2985 0 11618 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 67884
[startup+162.3 s]
/proc/loadavg: 2.28 4.38 4.75 3/177 17292
/proc/meminfo: memFree=28593696/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=78428 CPUtime=162.26 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 65172 0 0 0 16215 11 0 0 20 0 1 0 390990586 80310272 12981 33554432000 134512640 146736320 4293641392 4293634452 136400567 0 0 4096 16387 0 0 0 17 2 0 0 0 0 0
/proc/17290/statm: 19607 12981 941 2985 0 16541 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 87576
[startup+222.3 s]
/proc/loadavg: 3.19 4.32 4.71 3/184 17320
/proc/meminfo: memFree=28548808/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=224724 CPUtime=269.65 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 153440 0 0 0 26918 47 0 0 20 0 8 0 390990586 230117376 28556 33554432000 134512640 146736320 4293641392 4293634104 136475798 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17290/statm: 56181 28556 975 2985 0 53115 0
[pid=17290/tid=17314] ppid=17289 vsize=224724 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) S 17289 17289 16516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391009957 230117376 28556 33554432000 134512640 146736320 4293641392 3920621200 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=224724 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) S 17289 17289 16516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391009957 230117376 28556 33554432000 134512640 146736320 4293641392 3931106960 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=224724 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17316/stat : 17316 (pb_cplex) S 17289 17289 16516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391009957 230117376 28556 33554432000 134512640 146736320 4293641392 4057984656 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17317] ppid=17289 vsize=224724 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17317/stat : 17317 (pb_cplex) S 17289 17289 16516 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 8 0 391009957 230117376 28556 33554432000 134512640 146736320 4293641392 4090629776 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17318] ppid=17289 vsize=224724 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17318/stat : 17318 (pb_cplex) S 17289 17289 16516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391009957 230117376 28556 33554432000 134512640 146736320 4293641392 4080144016 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17319] ppid=17289 vsize=224724 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17319/stat : 17319 (pb_cplex) S 17289 17289 16516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 391009957 230117376 28556 33554432000 134512640 146736320 4293641392 4069658256 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17320] ppid=17289 vsize=224724 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17320/stat : 17320 (pb_cplex) S 17289 17289 16516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391009957 230117376 28556 33554432000 134512640 146736320 4293641392 4020235920 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 269.65
Current children cumulated vsize (KiB) 233872
[startup+282.3 s]
/proc/loadavg: 2.44 3.90 4.54 3/184 17320
/proc/meminfo: memFree=28528268/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=226784 CPUtime=329.63 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 155617 0 0 0 32916 47 0 0 20 0 8 0 390990586 232226816 33160 33554432000 134512640 146736320 4293641392 4293634256 136008065 0 0 4096 16387 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/17290/statm: 56696 33160 975 2985 0 53630 0
[pid=17290/tid=17314] ppid=17289 vsize=226784 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) S 17289 17289 16516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391009957 232226816 33160 33554432000 134512640 146736320 4293641392 3920621200 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=226784 CPUtime=0 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) S 17289 17289 16516 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 8 0 391009957 232226816 33160 33554432000 134512640 146736320 4293641392 3931106960 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=226784 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/17290/statm: 79884 52572 975 2985 0 76818 0
[pid=17290/tid=17314] ppid=17289 vsize=319536 CPUtime=37.46 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) R 17289 17289 16516 0 -1 4202560 28348 0 0 0 3740 6 0 0 20 0 8 0 391009957 327204864 52572 33554432000 134512640 146736320 4293641392 3920617544 139042888 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=319536 CPUtime=37.94 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) R 17289 17289 16516 0 -1 4202560 14985 0 0 0 3791 3 0 0 20 0 8 0 391009957 327204864 52572 33554432000 134512640 146736320 4293641392 3931102236 135855165 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=319536 CPUtime=37.64 cores=0,2,4,6
/proc/17290/task/17316/stat : 17316 (pb_cplex) R 17289 17289 16516 0 -1 4202560 28227 0 0 0 3758 6 0 0 20 0 8 0 391009957 327204864 52572 33554432000 134512640 146736320 4293641392 4057979008 135468707 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17317] ppid=17289 vsize=319536 CPUtime=37.75 cores=0,2,4,6
/proc/17290/task/17317/stat : 17317 (pb_cplex) R 17289 17289 16516 0 -1 4202560 14938 0 0 0 3772 3 0 0 20 0 8 0 391009957 327204864 52572 33554432000 134512640 146736320 4293641392 4090626116 136385175 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17318] ppid=17289 vsize=319536 CPUtime=38.12 cores=0,2,4,6
/proc/17290/task/17318/stat : 17318 (pb_cplex) R 17289 17289 16516 0 -1 4202560 27458 0 0 0 3807 5 0 0 20 0 8 0 391009957 327204864 52572 33554432000 134512640 146736320 4293641392 4080139240 139044550 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17319] ppid=17289 vsize=319536 CPUtime=38.13 cores=0,2,4,6
/proc/17290/task/17319/stat : 17319 (pb_cplex) R 17289 17289 16516 0 -1 4202560 24390 0 0 0 3807 6 0 0 20 0 8 0 391009957 327204864 52572 33554432000 134512640 146736320 4293641392 4069654620 135855165 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17320] ppid=17289 vsize=319536 CPUtime=37.66 cores=0,2,4,6
/proc/17290/task/17320/stat : 17320 (pb_cplex) R 17289 17289 16516 0 -1 4202560 20720 0 0 0 3762 4 0 0 20 0 8 0 391009957 327204864 52572 33554432000 134512640 146736320 4293641392 4020231144 139044550 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 856.99
Current children cumulated vsize (KiB) 328684
[startup+642.3 s]
/proc/loadavg: 8.27 5.11 4.66 10/184 17325
/proc/meminfo: memFree=28440248/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=322096 CPUtime=1096.63 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 465185 0 0 0 109543 120 0 0 20 0 8 0 390990586 329826304 53124 33554432000 134512640 146736320 4293641392 4293634268 136009850 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17290/statm: 80524 53124 975 2985 0 77458 0
[pid=17290/tid=17314] ppid=17289 vsize=322096 CPUtime=67.57 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) R 17289 17289 16516 0 -1 4202560 40203 0 0 0 6747 10 0 0 20 0 8 0 391009957 329826304 53124 33554432000 134512640 146736320 4293641392 3920617680 136008017 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=322096 CPUtime=67.63 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) R 17289 17289 16516 0 -1 4202560 27512 0 0 0 6755 8 0 0 20 0 8 0 391009957 329826304 53124 33554432000 134512640 146736320 4293641392 3931103440 136008042 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=322096 CPUtime=67.69 cores=0,2,4,6
/proc/17290/task/17316/stat : 17316 (pb_cplex) R 17289 17289 16516 0 -1 4202560 42665 0 0 0 6759 10 0 0 20 0 8 0 391009957 329826304 53124 33554432000 134512640 146736320 4293641392 4057981148 136009705 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17317] ppid=17289 vsize=322096 CPUtime=67.51 cores=0,2,4,6
/proc/17290/task/17317/stat : 17317 (pb_cplex) R 17289 17289 16516 0 -1 4202560 33369 0 0 0 6742 9 0 0 20 0 8 0 391009957 329826304 53124 33554432000 134512640 146736320 4293641392 4090626120 139042864 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17318] ppid=17289 vsize=322096 CPUtime=67.72 cores=0,2,4,6
/proc/17290/task/17318/stat : 17318 (pb_cplex) R 17289 17289 16516 0 -1 4202560 38460 0 0 0 6764 8 0 0 20 0 8 0 391009957 329826304 53124 33554432000 134512640 146736320 4293641392 4080140344 136475864 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17319] ppid=17289 vsize=322096 CPUtime=68.04 cores=0,2,4,6
/proc/17290/task/17319/stat : 17319 (pb_cplex) R 17289 17289 16516 0 -1 4202560 43719 0 0 0 6792 12 0 0 20 0 8 0 391009957 329826304 53124 33554432000 134512640 146736320 4293641392 4069653696 135468704 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17320] ppid=17289 vsize=322096 CPUtime=67.58 cores=0,2,4,6
/proc/17290/task/17320/stat : 17320 (pb_cplex) R 17289 17289 16516 0 -1 4202560 23900 0 0 0 6752 6 0 0 20 0 8 0 391009957 329826304 53124 33554432000 134512640 146736320 4293641392 4020232400 136008050 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1096.63
Current children cumulated vsize (KiB) 331244
[startup+702.3 s]
/proc/loadavg: 8.73 5.82 4.93 10/184 17325
/proc/meminfo: memFree=28439380/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=322108 CPUtime=1336.23 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 490124 0 0 0 133496 127 0 0 20 0 8 0 390990586 329838592 53205 33554432000 134512640 146736320 4293641392 4293634256 136008042 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17290/statm: 80527 53205 975 2985 0 77461 0
[pid=17290/tid=17314] ppid=17289 vsize=322108 CPUtime=97.48 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) R 17289 17289 16516 0 -1 4202560 42220 0 0 0 9737 11 0 0 20 0 8 0 391009957 329838592 53205 33554432000 134512640 146736320 4293641392 3920617564 135855165 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=322108 CPUtime=97.33 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) R 17289 17289 16516 0 -1 4202560 27904 0 0 0 9725 8 0 0 20 0 8 0 391009957 329838592 53205 33554432000 134512640 146736320 4293641392 3931103440 136008438 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=322108 CPUtime=97.58 cores=0,2,4,6
/proc/17290/task/17316/stat : 17316 (pb_cplex) R 17289 17289 16516 0 -1 4202560 56778 0 0 0 9744 14 0 0 20 0 8 0 391009957 329838592 53205 33554432000 134512640 146736320 4293641392 4057981204 136003825 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17317] ppid=17289 vsize=322108 CPUtime=96.8 cores=0,2,4,6
/proc/17290/task/17317/stat : 17317 (pb_cplex) R 17289 17289 16516 0 -1 4202560 38571 0 0 0 9670 10 0 0 20 0 8 0 391009957 329838592 53205 33554432000 134512640 146736320 4293641392 4090626324 136003493 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17318] ppid=17289 vsize=322108 CPUtime=97.64 cores=0,2,4,6
/proc/17290/task/17318/stat : 17318 (pb_cplex) R 17289 17289 16516 0 -1 4202560 39499 0 0 0 9756 8 0 0 20 0 8 0 391009957 329838592 53205 33554432000 134512640 146736320 4293641392 4080140360 139042890 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17319] ppid=17289 vsize=322108 CPUtime=97.96 cores=0,2,4,6
/proc/17290/task/17319/stat : 17319 (pb_cplex) R 17289 17289 16516 0 -1 4202560 43719 0 0 0 9784 12 0 0 20 0 8 0 391009957 329838592 53205 33554432000 134512640 146736320 4293641392 4069654344 135526016 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17320] ppid=17289 vsize=322108 CPUtime=97.5 cores=0,2,4,6
/proc/17290/task/17320/stat : 17320 (pb_cplex) R 17289 17289 16516 0 -1 4202560 24292 0 0 0 9744 6 0 0 20 0 8 0 391009957 329838592 53205 33554432000 134512640 146736320 4293641392 4020232400 136008441 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1336.23
Current children cumulated vsize (KiB) 331256
[startup+762.307 s]
/proc/loadavg: 8.90 6.39 5.18 10/184 17325
/proc/meminfo: memFree=28426884/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=322108 CPUtime=1575.87 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 500425 0 0 0 157457 130 0 0 20 0 8 0 390990586 329838592 53209 33554432000 134512640 146736320 4293641392 4293634104 136475763 0 0 4096 16387 18446744073709551615 0 0 17 6 0 0 0 0 0
/proc/17290/statm: 80527 53209 975 2985 0 77461 0
[pid=17290/tid=17314] ppid=17289 vsize=322108 CPUtime=127.4 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) R 17289 17289 16516 0 -1 4202560 43633 0 0 0 12729 11 0 0 20 0 8 0 391009957 329838592 53209 33554432000 134512640 146736320 4293641392 3920617288 135525914 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=322108 CPUtime=126.83 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) R 17289 17289 16516 0 -1 4202560 28690 0 0 0 12675 8 0 0 20 0 8 0 391009957 329838592 53209 33554432000 134512640 146736320 4293641392 3931103048 135525914 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=322108 CPUtime=127.5 cores=0,2,4,6
/proc/17290/task/17316/stat : 17316 (pb_cplex) R 17289 17289 16516 0 -1 4202560 61129 0 0 0 12735 15 0 0 20 0 8 0 391009957 329838592 53209 33554432000 134512640 146736320 4293641392 4057981020 135855165 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17317] ppid=17289 vsize=322108 CPUtime=126.73 cores=0,2,4,6
/proc/17290/task/17317/stat : 17317 (pb_cplex) R 17289 17289 16516 0 -1 4202560 38963 0 0 0 12662 11 0 0 20 0 8 0 391009957 329838592 53209 33554432000 134512640 146736320 4293641392 4090626640 136403116 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17318] ppid=17289 vsize=322108 CPUtime=127.57 cores=0,2,4,6
/proc/17290/task/17318/stat : 17318 (pb_cplex) R 17289 17289 16516 0 -1 4202560 39891 0 0 0 12748 9 0 0 20 0 8 0 391009957 329838592 53209 33554432000 134512640 146736320 4293641392 4080140744 136001974 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17319] ppid=17289 vsize=322108 CPUtime=127.48 cores=0,2,4,6
/proc/17290/task/17319/stat : 17319 (pb_cplex) R 17289 17289 16516 0 -1 4202560 44503 0 0 0 12736 12 0 0 20 0 8 0 391009957 329838592 53209 33554432000 134512640 146736320 4293641392 4069655168 139046532 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17320] ppid=17289 vsize=322108 CPUtime=127.53 cores=0,2,4,6
/proc/17290/task/17320/stat : 17320 (pb_cplex) R 17289 17289 16516 0 -1 4202560 24683 0 0 0 12746 7 0 0 20 0 8 0 391009957 329838592 53209 33554432000 134512640 146736320 4293641392 4020232468 136003826 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1575.87
Current children cumulated vsize (KiB) 331256
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+818.5 s]
/proc/loadavg: 8.96 6.83 5.40 10/184 17325
/proc/meminfo: memFree=28434672/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=322708 CPUtime=1800.31 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 517563 0 0 0 179896 135 0 0 20 0 8 0 390990586 330452992 53439 33554432000 134512640 146736320 4293641392 4293632936 138412928 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17290/statm: 80677 53439 975 2985 0 77611 0
[pid=17290/tid=17314] ppid=17289 vsize=322708 CPUtime=154.36 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) R 17289 17289 16516 0 -1 4202560 45059 0 0 0 15423 13 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 3920617564 135854189 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=322708 CPUtime=153.58 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) R 17289 17289 16516 0 -1 4202560 29698 0 0 0 15349 9 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 3931103344 136384895 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=322708 CPUtime=155 cores=0,2,4,6
/proc/17290/task/17316/stat : 17316 (pb_cplex) R 17289 17289 16516 0 -1 4202560 61892 0 0 0 15484 16 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4057981384 136000758 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17317] ppid=17289 vsize=322708 CPUtime=154.43 cores=0,2,4,6
/proc/17290/task/17317/stat : 17317 (pb_cplex) R 17289 17289 16516 0 -1 4202560 39565 0 0 0 15431 12 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4090626048 136018896 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17318] ppid=17289 vsize=322708 CPUtime=154.58 cores=0,2,4,6
/proc/17290/task/17318/stat : 17318 (pb_cplex) R 17289 17289 16516 0 -1 4202560 40789 0 0 0 15448 10 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4080140380 135855130 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17319] ppid=17289 vsize=322708 CPUtime=159.4 cores=0,2,4,6
/proc/17290/task/17319/stat : 17319 (pb_cplex) R 17289 17289 16516 0 -1 4202560 54360 0 0 0 15924 16 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4069654620 135855165 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17320] ppid=17289 vsize=322708 CPUtime=155.25 cores=0,2,4,6
/proc/17290/task/17320/stat : 17320 (pb_cplex) R 17289 17289 16516 0 -1 4202560 25466 0 0 0 15517 8 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4020232468 136003493 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 331856
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+818.5 s]
/proc/loadavg: 8.96 6.83 5.40 10/184 17325
/proc/meminfo: memFree=28434672/32873624 swapFree=7112/7112
[pid=17289] ppid=17287 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/17289/stat : 17289 (run) S 17287 17289 16516 0 -1 4202496 354 0 0 0 0 0 0 0 20 0 1 0 390990586 9367552 269 33554432000 4194304 5064252 140736382640080 140736382638992 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/17289/statm: 2287 269 229 213 0 72 0
[pid=17290] ppid=17289 vsize=322708 CPUtime=1800.31 cores=0,2,4,6
/proc/17290/stat : 17290 (pb_cplex) R 17289 17289 16516 0 -1 4202496 517563 0 0 0 179896 135 0 0 20 0 8 0 390990586 330452992 53439 33554432000 134512640 146736320 4293641392 4293632936 138412928 0 0 4096 16387 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/17290/statm: 80677 53439 975 2985 0 77611 0
[pid=17290/tid=17314] ppid=17289 vsize=322708 CPUtime=154.36 cores=0,2,4,6
/proc/17290/task/17314/stat : 17314 (pb_cplex) R 17289 17289 16516 0 -1 4202560 45059 0 0 0 15423 13 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 3920617564 135854189 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17315] ppid=17289 vsize=322708 CPUtime=153.58 cores=0,2,4,6
/proc/17290/task/17315/stat : 17315 (pb_cplex) R 17289 17289 16516 0 -1 4202560 29698 0 0 0 15349 9 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 3931103344 136384895 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17316] ppid=17289 vsize=322708 CPUtime=155 cores=0,2,4,6
/proc/17290/task/17316/stat : 17316 (pb_cplex) R 17289 17289 16516 0 -1 4202560 61892 0 0 0 15484 16 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4057981384 136000758 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17317] ppid=17289 vsize=322708 CPUtime=154.43 cores=0,2,4,6
/proc/17290/task/17317/stat : 17317 (pb_cplex) R 17289 17289 16516 0 -1 4202560 39565 0 0 0 15431 12 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4090626048 136018896 0 2 4096 16387 0 0 0 -1 2 0 0 0 0 0
[pid=17290/tid=17318] ppid=17289 vsize=322708 CPUtime=154.58 cores=0,2,4,6
/proc/17290/task/17318/stat : 17318 (pb_cplex) R 17289 17289 16516 0 -1 4202560 40789 0 0 0 15448 10 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4080140380 135855130 0 2 4096 16387 0 0 0 -1 6 0 0 0 0 0
[pid=17290/tid=17319] ppid=17289 vsize=322708 CPUtime=159.4 cores=0,2,4,6
/proc/17290/task/17319/stat : 17319 (pb_cplex) R 17289 17289 16516 0 -1 4202560 54360 0 0 0 15924 16 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4069654620 135855165 0 2 4096 16387 0 0 0 -1 4 0 0 0 0 0
[pid=17290/tid=17320] ppid=17289 vsize=322708 CPUtime=155.25 cores=0,2,4,6
/proc/17290/task/17320/stat : 17320 (pb_cplex) R 17289 17289 16516 0 -1 4202560 25466 0 0 0 15517 8 0 0 20 0 8 0 391009957 330452992 53439 33554432000 134512640 146736320 4293641392 4020232468 136003493 0 2 4096 16387 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.31
Current children cumulated vsize (KiB) 331856
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17289 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.31
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 818.516
CPU time (s): 1800.31
CPU user time (s): 1798.96
CPU system time (s): 1.35
CPU usage (%): 219.948
Max. virtual memory (cumulated for all children) (KiB): 335520
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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= 3
runsolver used 1.86272 second user time and 5.00224 second system time
The end