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-3730921-1339246856/watcher-3730921-1339246856 -o /tmp/evaluation-result-3730921-1339246856/solver-3730921-1339246856 -C 1800 -W 1900 -M 15500 run HOME/instance-3730921-1339246856.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.20 0.05 0.01 2/170 16764
/proc/meminfo: memFree=29018756/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[startup+0.038619 s]
/proc/loadavg: 0.20 0.05 0.01 2/170 16764
/proc/meminfo: memFree=29018756/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100212 s]
/proc/loadavg: 0.20 0.05 0.01 2/170 16764
/proc/meminfo: memFree=29018756/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300218 s]
/proc/loadavg: 0.20 0.05 0.01 2/170 16764
/proc/meminfo: memFree=29018756/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700192 s]
/proc/loadavg: 0.20 0.05 0.01 2/170 16764
/proc/meminfo: memFree=29018756/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/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: 0.27 0.06 0.02 2/172 16766
/proc/meminfo: memFree=28971344/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=139944 CPUtime=1.48 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 27835 0 0 0 143 5 0 0 20 0 1 0 390811095 143302656 18652 33554432000 134512640 146736320 4290619664 4290614360 136007612 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 34986 18652 730 2985 0 31920 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 149092
[startup+3.10022 s]
/proc/loadavg: 0.27 0.06 0.02 2/172 16766
/proc/meminfo: memFree=28945980/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=140196 CPUtime=3.09 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 29826 0 0 0 303 6 0 0 20 0 1 0 390811095 143560704 18721 33554432000 134512640 146736320 4290619664 4290614360 136007053 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 35049 18721 730 2985 0 31983 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 149344
[startup+6.30016 s]
/proc/loadavg: 0.27 0.06 0.02 2/172 16830
/proc/meminfo: memFree=28940944/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=143956 CPUtime=6.28 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 38471 0 0 0 621 7 0 0 20 0 1 0 390811095 147410944 20177 33554432000 134512640 146736320 4290619664 4290614632 144757825 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 35989 20177 794 2985 0 32923 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 153104
[startup+12.7002 s]
/proc/loadavg: 0.46 0.11 0.03 3/178 16874
/proc/meminfo: memFree=28876188/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=176684 CPUtime=12.69 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 58626 0 0 0 1258 11 0 0 20 0 1 0 390811095 180924416 28611 33554432000 134512640 146736320 4290619664 4290614688 135767031 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 44171 28612 830 2985 0 41105 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 185832
[startup+25.5003 s]
/proc/loadavg: 0.70 0.17 0.06 3/178 16874
/proc/meminfo: memFree=28875640/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=165972 CPUtime=25.48 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 85383 0 0 0 2532 16 0 0 20 0 1 0 390811095 169955328 27066 33554432000 134512640 146736320 4290619664 4290614272 139046528 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 41493 27066 842 2985 0 38427 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 175120
[startup+51.1002 s]
/proc/loadavg: 1.14 0.32 0.11 3/178 16874
/proc/meminfo: memFree=28870092/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=169208 CPUtime=51.07 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 118973 0 0 0 5085 22 0 0 20 0 1 0 390811095 173268992 28376 33554432000 134512640 146736320 4290619664 4290613672 139044527 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 42302 28376 843 2985 0 39236 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 178356
[startup+102.307 s]
/proc/loadavg: 1.65 0.60 0.21 3/177 16874
/proc/meminfo: memFree=28848244/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=182116 CPUtime=102.27 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 168992 0 0 0 10195 32 0 0 20 0 1 0 390811095 186486784 33649 33554432000 134512640 146736320 4290619664 4290613744 136384861 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 45529 33649 843 2985 0 42463 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 191264
[startup+162.3 s]
/proc/loadavg: 1.87 0.85 0.32 3/177 16874
/proc/meminfo: memFree=28846684/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=182468 CPUtime=162.26 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 202417 0 0 0 16188 38 0 0 20 0 1 0 390811095 186847232 33746 33554432000 134512640 146736320 4290619664 4290613704 139043579 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 45617 33746 843 2985 0 42551 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 191616
[startup+222.3 s]
/proc/loadavg: 1.95 1.06 0.42 3/177 16874
/proc/meminfo: memFree=28852856/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=178136 CPUtime=222.25 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 285033 0 0 0 22171 54 0 0 20 0 1 0 390811095 182411264 32291 33554432000 134512640 146736320 4290619664 4290613452 136017757 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 44534 32291 846 2985 0 41468 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 187284
[startup+282.3 s]
/proc/loadavg: 1.98 1.23 0.52 3/176 16874
/proc/meminfo: memFree=28851184/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=176408 CPUtime=282.23 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 411096 0 0 0 28146 77 0 0 20 0 1 0 390811095 180641792 32287 33554432000 134512640 146736320 4290619664 4290613736 139044550 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 44102 32287 857 2985 0 41036 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 185556
[startup+342.301 s]
/proc/loadavg: 1.99 1.36 0.61 3/184 16882
/proc/meminfo: memFree=28677144/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=494340 CPUtime=342.22 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 538002 0 0 0 34122 100 0 0 20 0 8 0 390811095 506204160 75936 33554432000 134512640 146736320 4290619664 4290611352 136007289 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 123585 75936 886 2985 0 120519 0
[pid=16765/tid=16876] ppid=16764 vsize=494340 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16876/stat : 16876 (pb_cplex) S 16764 16764 16516 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 8 0 390841397 506204160 75936 33554432000 134512640 146736320 4290619664 3930631824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16877] ppid=16764 vsize=494340 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16877/stat : 16877 (pb_cplex) S 16764 16764 16516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390841397 506204160 75936 33554432000 134512640 146736320 4290619664 3920146064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16878] ppid=16764 vsize=494340 CPUtime=0 cores=1,3,5,7
/proc/16765/task/16878/stat : 16878 (pb_cplex) S 16764 16764 16516 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 8 0 390841397 506204160 75936 33554432000 134512640 146736320 4290619664 3909660304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16879] ppid=16764 vsize=494340 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/16765/statm: 208928 150644 886 2985 0 205862 0
[pid=16765/tid=16876] ppid=16764 vsize=835712 CPUtime=73.26 cores=1,3,5,7
/proc/16765/task/16876/stat : 16876 (pb_cplex) R 16764 16764 16516 0 -1 4202560 31434 0 0 0 7316 10 0 0 20 0 8 0 390841397 855769088 150644 33554432000 134512640 146736320 4290619664 3930627160 136007083 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16877] ppid=16764 vsize=835712 CPUtime=58.83 cores=1,3,5,7
/proc/16765/task/16877/stat : 16877 (pb_cplex) S 16764 16764 16516 0 -1 4202560 28365 0 0 0 5873 10 0 0 20 0 8 0 390841397 855769088 150644 33554432000 134512640 146736320 4290619664 3920146064 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16878] ppid=16764 vsize=835712 CPUtime=9.48 cores=1,3,5,7
/proc/16765/task/16878/stat : 16878 (pb_cplex) S 16764 16764 16516 0 -1 4202560 16738 0 0 0 943 5 0 0 20 0 8 0 390841397 855769088 150644 33554432000 134512640 146736320 4290619664 3909660304 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16879] ppid=16764 vsize=835712 CPUtime=56.32 cores=1,3,5,7
/proc/16765/task/16879/stat : 16879 (pb_cplex) S 16764 16764 16516 0 -1 4202560 30164 0 0 0 5622 10 0 0 20 0 8 0 390841397 855769088 150644 33554432000 134512640 146736320 4290619664 3899174544 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16880] ppid=16764 vsize=835712 CPUtime=51.14 cores=1,3,5,7
/proc/16765/task/16880/stat : 16880 (pb_cplex) S 16764 16764 16516 0 -1 4202560 24867 0 0 0 5106 8 0 0 20 0 8 0 390841397 855769088 150644 33554432000 134512640 146736320 4290619664 3888688784 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16881] ppid=16764 vsize=835712 CPUtime=73.92 cores=1,3,5,7
/proc/16765/task/16881/stat : 16881 (pb_cplex) R 16764 16764 16516 0 -1 4202560 36731 0 0 0 7380 12 0 0 20 0 8 0 390841397 855769088 150644 33554432000 134512640 146736320 4290619664 3878198360 136007616 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16882] ppid=16764 vsize=835712 CPUtime=74.23 cores=1,3,5,7
/proc/16765/task/16882/stat : 16882 (pb_cplex) R 16764 16764 16516 0 -1 4202560 37975 0 0 0 7412 11 0 0 20 0 8 0 390841397 855769088 150644 33554432000 134512640 146736320 4290619664 3867712600 136007080 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 791.71
Current children cumulated vsize (KiB) 844860
[startup+522.3 s]
/proc/loadavg: 9.68 4.79 2.04 10/184 16917
/proc/meminfo: memFree=28180180/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=845452 CPUtime=991.41 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 878660 0 0 0 98930 211 0 0 20 0 8 0 390811095 865742848 155315 33554432000 134512640 146736320 4290619664 4290612724 136400534 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16765/statm: 211363 155315 886 2985 0 208297 0
[pid=16765/tid=16876] ppid=16764 vsize=845452 CPUtime=112.85 cores=1,3,5,7
/proc/16765/task/16876/stat : 16876 (pb_cplex) R 16764 16764 16516 0 -1 4202560 57621 0 0 0 11267 18 0 0 20 0 8 0 390841397 865742848 155315 33554432000 134512640 146736320 4290619664 3930628248 136007670 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16877] ppid=16764 vsize=845452 CPUtime=79.5 cores=1,3,5,7
/proc/16765/task/16877/stat : 16877 (pb_cplex) R 16764 16764 16516 0 -1 4202560 39610 0 0 0 7935 15 0 0 20 0 8 0 390841397 865742848 155315 33554432000 134512640 146736320 4290619664 3920141372 136400450 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16878] ppid=16764 vsize=845452 CPUtime=29.33 cores=1,3,5,7
/proc/16765/task/16878/stat : 16878 (pb_cplex) R 16764 16764 16516 0 -1 4202560 25665 0 0 0 2925 8 0 0 20 0 8 0 390841397 865742848 155315 33554432000 134512640 146736320 4290619664 3909656728 136007643 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16879] ppid=16764 vsize=845452 CPUtime=76.41 cores=1,3,5,7
/proc/16765/task/16879/stat : 16879 (pb_cplex) R 16764 16764 16516 0 -1 4202560 41534 0 0 0 7627 14 0 0 20 0 8 0 390841397 865742848 155315 33554432000 134512640 146736320 4290619664 3899169880 136007053 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16880] ppid=16764 vsize=845452 CPUtime=71.57 cores=1,3,5,7
/proc/16765/task/16880/stat : 16880 (pb_cplex) R 16764 16764 16516 0 -1 4202560 32356 0 0 0 7144 13 0 0 20 0 8 0 390841397 865742848 155315 33554432000 134512640 146736320 4290619664 3888685208 136007039 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16881] ppid=16764 vsize=845452 CPUtime=96.83 cores=1,3,5,7
/proc/16765/task/16881/stat : 16881 (pb_cplex) R 16764 16764 16516 0 -1 4202560 51853 0 0 0 9666 17 0 0 20 0 8 0 390841397 865742848 155315 33554432000 134512640 146736320 4290619664 3878199448 136007674 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16882] ppid=16764 vsize=845452 CPUtime=109.92 cores=1,3,5,7
/proc/16765/task/16882/stat : 16882 (pb_cplex) R 16764 16764 16516 0 -1 4202560 64485 0 0 0 10973 19 0 0 20 0 8 0 390841397 865742848 155315 33554432000 134512640 146736320 4290619664 3867713688 136007065 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 991.41
Current children cumulated vsize (KiB) 854600
[startup+582.3 s]
/proc/loadavg: 12.89 6.51 2.79 17/192 16948
/proc/meminfo: memFree=27909196/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=850248 CPUtime=1230.46 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 952837 0 0 0 122808 238 0 0 20 0 8 0 390811095 870653952 158144 33554432000 134512640 146736320 4290619664 4290612440 136007605 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16765/statm: 212562 158144 886 2985 0 209496 0
[pid=16765/tid=16876] ppid=16764 vsize=850248 CPUtime=142.55 cores=1,3,5,7
/proc/16765/task/16876/stat : 16876 (pb_cplex) R 16764 16764 16516 0 -1 4202560 64836 0 0 0 14234 21 0 0 20 0 8 0 390841397 870653952 158144 33554432000 134512640 146736320 4290619664 3930628248 136007053 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16877] ppid=16764 vsize=850248 CPUtime=109.16 cores=1,3,5,7
/proc/16765/task/16877/stat : 16877 (pb_cplex) R 16764 16764 16516 0 -1 4202560 58422 0 0 0 10894 22 0 0 20 0 8 0 390841397 870653952 158144 33554432000 134512640 146736320 4290619664 3920141400 136007313 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16878] ppid=16764 vsize=850248 CPUtime=58.86 cores=1,3,5,7
/proc/16765/task/16878/stat : 16878 (pb_cplex) R 16764 16764 16516 0 -1 4202560 33066 0 0 0 5875 11 0 0 20 0 8 0 390841397 870653952 158144 33554432000 134512640 146736320 4290619664 3909656728 136007661 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16879] ppid=16764 vsize=850248 CPUtime=106.48 cores=1,3,5,7
/proc/16765/task/16879/stat : 16879 (pb_cplex) R 16764 16764 16516 0 -1 4202560 50446 0 0 0 10631 17 0 0 20 0 8 0 390841397 870653952 158144 33554432000 134512640 146736320 4290619664 3899170908 135854535 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16880] ppid=16764 vsize=850248 CPUtime=101.53 cores=1,3,5,7
/proc/16765/task/16880/stat : 16880 (pb_cplex) R 16764 16764 16516 0 -1 4202560 43957 0 0 0 10136 17 0 0 20 0 8 0 390841397 870653952 158144 33554432000 134512640 146736320 4290619664 3888684560 136403109 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16881] ppid=16764 vsize=850248 CPUtime=127.09 cores=1,3,5,7
/proc/16765/task/16881/stat : 16881 (pb_cplex) R 16764 16764 16516 0 -1 4202560 59225 0 0 0 12688 21 0 0 20 0 8 0 390841397 870653952 158144 33554432000 134512640 146736320 4290619664 3878199448 136007616 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16882] ppid=16764 vsize=850248 CPUtime=139.59 cores=1,3,5,7
/proc/16765/task/16882/stat : 16882 (pb_cplex) R 16764 16764 16516 0 -1 4202560 72114 0 0 0 13937 22 0 0 20 0 8 0 390841397 870653952 158144 33554432000 134512640 146736320 4290619664 3867713664 135468704 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1230.46
Current children cumulated vsize (KiB) 859396
[startup+642.3 s]
/proc/loadavg: 13.25 7.83 3.48 17/191 16949
/proc/meminfo: memFree=27835296/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=853032 CPUtime=1469.58 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 1039552 0 0 0 146684 274 0 0 20 0 8 0 390811095 873504768 163764 33554432000 134512640 146736320 4290619664 4290611352 136007605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/16765/statm: 213258 163764 886 2985 0 210192 0
[pid=16765/tid=16876] ppid=16764 vsize=853032 CPUtime=172.47 cores=1,3,5,7
/proc/16765/task/16876/stat : 16876 (pb_cplex) R 16764 16764 16516 0 -1 4202560 75010 0 0 0 17221 26 0 0 20 0 8 0 390841397 873504768 163764 33554432000 134512640 146736320 4290619664 3930628136 139044505 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16877] ppid=16764 vsize=853032 CPUtime=139.09 cores=1,3,5,7
/proc/16765/task/16877/stat : 16877 (pb_cplex) R 16764 16764 16516 0 -1 4202560 70110 0 0 0 13882 27 0 0 20 0 8 0 390841397 873504768 163764 33554432000 134512640 146736320 4290619664 3920142488 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16878] ppid=16764 vsize=853032 CPUtime=88.88 cores=1,3,5,7
/proc/16765/task/16878/stat : 16878 (pb_cplex) R 16764 16764 16516 0 -1 4202560 39864 0 0 0 8874 14 0 0 20 0 8 0 390841397 873504768 163764 33554432000 134512640 146736320 4290619664 3909655640 136007661 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16879] ppid=16764 vsize=853032 CPUtime=136.41 cores=1,3,5,7
/proc/16765/task/16879/stat : 16879 (pb_cplex) R 16764 16764 16516 0 -1 4202560 54251 0 0 0 13621 20 0 0 20 0 8 0 390841397 873504768 163764 33554432000 134512640 146736320 4290619664 3899170968 136007616 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16880] ppid=16764 vsize=853032 CPUtime=131.28 cores=1,3,5,7
/proc/16765/task/16880/stat : 16880 (pb_cplex) R 16764 16764 16516 0 -1 4202560 70695 0 0 0 13101 27 0 0 20 0 8 0 390841397 873504768 163764 33554432000 134512640 146736320 4290619664 3888684008 139044564 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16881] ppid=16764 vsize=853032 CPUtime=156.73 cores=1,3,5,7
/proc/16765/task/16881/stat : 16881 (pb_cplex) R 16764 16764 16516 0 -1 4202560 70404 0 0 0 15647 26 0 0 20 0 8 0 390841397 873504768 163764 33554432000 134512640 146736320 4290619664 3878199448 136007605 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16882] ppid=16764 vsize=853032 CPUtime=169.44 cores=1,3,5,7
/proc/16765/task/16882/stat : 16882 (pb_cplex) R 16764 16764 16516 0 -1 4202560 81415 0 0 0 16917 27 0 0 20 0 8 0 390841397 873504768 163764 33554432000 134512640 146736320 4290619664 3867713688 136007097 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1469.58
Current children cumulated vsize (KiB) 862180
[startup+702.3 s]
/proc/loadavg: 11.44 8.38 3.95 10/184 16998
/proc/meminfo: memFree=28184524/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=853872 CPUtime=1708.73 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 1098433 0 0 0 170567 306 0 0 20 0 8 0 390811095 874364928 164134 33554432000 134512640 146736320 4290619664 4290611092 136017481 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16765/statm: 213468 164134 886 2985 0 210402 0
[pid=16765/tid=16876] ppid=16764 vsize=853872 CPUtime=202.39 cores=1,3,5,7
/proc/16765/task/16876/stat : 16876 (pb_cplex) R 16764 16764 16516 0 -1 4202560 85613 0 0 0 20208 31 0 0 20 0 8 0 390841397 874364928 164134 33554432000 134512640 146736320 4290619664 3930628248 136007053 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16877] ppid=16764 vsize=853872 CPUtime=168.95 cores=1,3,5,7
/proc/16765/task/16877/stat : 16877 (pb_cplex) R 16764 16764 16516 0 -1 4202560 86181 0 0 0 16861 34 0 0 20 0 8 0 390841397 874364928 164134 33554432000 134512640 146736320 4290619664 3920142488 136007065 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16878] ppid=16764 vsize=853872 CPUtime=118.91 cores=1,3,5,7
/proc/16765/task/16878/stat : 16878 (pb_cplex) R 16764 16764 16516 0 -1 4202560 43132 0 0 0 11874 17 0 0 20 0 8 0 390841397 874364928 164134 33554432000 134512640 146736320 4290619664 3909655640 136007083 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16879] ppid=16764 vsize=853872 CPUtime=166.39 cores=1,3,5,7
/proc/16765/task/16879/stat : 16879 (pb_cplex) R 16764 16764 16516 0 -1 4202560 62178 0 0 0 16615 24 0 0 20 0 8 0 390841397 874364928 164134 33554432000 134512640 146736320 4290619664 3899170940 136400463 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16880] ppid=16764 vsize=853872 CPUtime=161.2 cores=1,3,5,7
/proc/16765/task/16880/stat : 16880 (pb_cplex) R 16764 16764 16516 0 -1 4202560 74305 0 0 0 16090 30 0 0 20 0 8 0 390841397 874364928 164134 33554432000 134512640 146736320 4290619664 3888685208 136007065 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16881] ppid=16764 vsize=853872 CPUtime=186.28 cores=1,3,5,7
/proc/16765/task/16881/stat : 16881 (pb_cplex) R 16764 16764 16516 0 -1 4202560 73814 0 0 0 18598 30 0 0 20 0 8 0 390841397 874364928 164134 33554432000 134512640 146736320 4290619664 3878198280 139042876 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16882] ppid=16764 vsize=853872 CPUtime=199.15 cores=1,3,5,7
/proc/16765/task/16882/stat : 16882 (pb_cplex) R 16764 16764 16516 0 -1 4202560 88622 0 0 0 19883 32 0 0 20 0 8 0 390841397 874364928 164134 33554432000 134512640 146736320 4290619664 3867713688 136007612 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1708.73
Current children cumulated vsize (KiB) 863020
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+725.2 s]
/proc/loadavg: 10.66 8.40 4.05 9/191 17005
/proc/meminfo: memFree=27900884/32873624 swapFree=7112/7112
[pid=16764] ppid=16762 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/16764/stat : 16764 (run) S 16762 16764 16516 0 -1 4202496 355 0 0 0 0 0 0 0 20 0 1 0 390811095 9367552 270 33554432000 4194304 5064252 140733285233408 140733285232320 227512313422 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/16764/statm: 2287 270 229 213 0 72 0
[pid=16765] ppid=16764 vsize=860784 CPUtime=1800.1 cores=1,3,5,7
/proc/16765/stat : 16765 (pb_cplex) R 16764 16764 16516 0 -1 4202496 1125906 0 0 0 179692 318 0 0 20 0 8 0 390811095 881442816 165507 33554432000 134512640 146736320 4290619664 4290611352 136007065 0 0 4096 16387 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/16765/statm: 215196 165507 886 2985 0 212130 0
[pid=16765/tid=16876] ppid=16764 vsize=860784 CPUtime=210.73 cores=1,3,5,7
/proc/16765/task/16876/stat : 16876 (pb_cplex) S 16764 16764 16516 0 -1 4202560 87561 0 0 0 21041 32 0 0 20 0 8 0 390841397 881442816 165507 33554432000 134512640 146736320 4290619664 3930631824 144580073 0 2 4096 16387 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16877] ppid=16764 vsize=860784 CPUtime=180.91 cores=1,3,5,7
/proc/16765/task/16877/stat : 16877 (pb_cplex) R 16764 16764 16516 0 -1 4202560 91698 0 0 0 18055 36 0 0 20 0 8 0 390841397 881442816 165507 33554432000 134512640 146736320 4290619664 3920142928 136403114 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16878] ppid=16764 vsize=860784 CPUtime=130.75 cores=1,3,5,7
/proc/16765/task/16878/stat : 16878 (pb_cplex) R 16764 16764 16516 0 -1 4202560 45624 0 0 0 13057 18 0 0 20 0 8 0 390841397 881442816 165507 33554432000 134512640 146736320 4290619664 3909655640 136007053 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
[pid=16765/tid=16879] ppid=16764 vsize=860784 CPUtime=178.38 cores=1,3,5,7
/proc/16765/task/16879/stat : 16879 (pb_cplex) R 16764 16764 16516 0 -1 4202560 63600 0 0 0 17813 25 0 0 20 0 8 0 390841397 881442816 165507 33554432000 134512640 146736320 4290619664 3899171272 136001929 0 2 4096 16387 0 0 0 -1 7 0 0 0 0 0
[pid=16765/tid=16880] ppid=16764 vsize=860784 CPUtime=173.06 cores=1,3,5,7
/proc/16765/task/16880/stat : 16880 (pb_cplex) R 16764 16764 16516 0 -1 4202560 76327 0 0 0 17275 31 0 0 20 0 8 0 390841397 881442816 165507 33554432000 134512640 146736320 4290619664 3888685512 136001965 0 2 4096 16387 0 0 0 -1 3 0 0 0 0 0
[pid=16765/tid=16881] ppid=16764 vsize=860784 CPUtime=198.14 cores=1,3,5,7
/proc/16765/task/16881/stat : 16881 (pb_cplex) R 16764 16764 16516 0 -1 4202560 83907 0 0 0 19780 34 0 0 20 0 8 0 390841397 881442816 165507 33554432000 134512640 146736320 4290619664 3878199448 136007612 0 2 4096 16387 0 0 0 -1 5 0 0 0 0 0
[pid=16765/tid=16882] ppid=16764 vsize=860784 CPUtime=210.79 cores=1,3,5,7
/proc/16765/task/16882/stat : 16882 (pb_cplex) R 16764 16764 16516 0 -1 4202560 89712 0 0 0 21046 33 0 0 20 0 8 0 390841397 881442816 165507 33554432000 134512640 146736320 4290619664 3867713760 139028313 0 2 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 869932
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 16764 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.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 725.222
CPU time (s): 1800.1
CPU user time (s): 1796.92
CPU system time (s): 3.18
CPU usage (%): 248.214
Max. virtual memory (cumulated for all children) (KiB): 881268
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.03069 second user time and 4.33534 second system time
The end