0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3743161-1338779646.opb>
4.48/4.52 c original problem has 400896 variables (400896 bin, 0 int, 0 impl, 0 cont) and 402763 constraints
4.48/4.52 c problem read
4.48/4.52 c presolving settings loaded
6.29/6.31 c presolving:
8.69/8.74 c (round 1) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 398809 upgd conss, 67806 impls, 1977 clqs
9.39/9.44 c (round 2) 0 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 67806 impls, 1977 clqs
104.08/104.11 c (round 3) 676 del vars, 1977 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12269620 impls, 1977 clqs
104.18/104.29 c (round 4) 676 del vars, 2653 del conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 400786 upgd conss, 12273622 impls, 1977 clqs
104.48/104.54 c presolving (5 rounds):
104.48/104.54 c 676 deleted vars, 2653 deleted constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
104.48/104.54 c 12273622 implications, 1977 cliques
104.48/104.54 c presolved problem has 400220 variables (400220 bin, 0 int, 0 impl, 0 cont) and 400110 constraints
104.48/104.54 c 1 constraints of type <knapsack>
104.48/104.54 c 26425 constraints of type <setppc>
104.48/104.54 c 373684 constraints of type <logicor>
104.48/104.54 c transformed objective value is always integral (scale: 1)
104.48/104.54 c Presolving Time: 98.89
104.48/104.54 c - non default parameters ----------------------------------------------------------------------
104.48/104.54 c # SCIP version 1.2.1.3
104.48/104.54 c
104.48/104.54 c # frequency for displaying node information lines
104.48/104.54 c # [type: int, range: [-1,2147483647], default: 100]
104.48/104.54 c display/freq = 10000
104.48/104.54 c
104.48/104.54 c # maximal time in seconds to run
104.48/104.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
104.48/104.54 c limits/time = 1785.48
104.48/104.54 c
104.48/104.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
104.48/104.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
104.48/104.54 c limits/memory = 13950
104.48/104.54 c
104.48/104.54 c # default clock type (1: CPU user seconds, 2: wall clock time)
104.48/104.54 c # [type: int, range: [1,2], default: 1]
104.48/104.54 c timing/clocktype = 2
104.48/104.54 c
104.48/104.54 c # should presolving try to simplify inequalities
104.48/104.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
104.48/104.54 c constraints/linear/simplifyinequalities = TRUE
104.48/104.54 c
104.48/104.54 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
104.48/104.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
104.48/104.54 c constraints/indicator/addCouplingCons = TRUE
104.48/104.54 c
104.48/104.54 c # should presolving try to simplify knapsacks
104.48/104.54 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
104.48/104.54 c constraints/knapsack/simplifyinequalities = TRUE
104.48/104.54 c
104.48/104.54 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
104.48/104.54 c # [type: int, range: [-1,2147483647], default: -1]
104.48/104.54 c separating/rapidlearning/freq = 0
104.48/104.54 c
104.48/104.54 c -----------------------------------------------------------------------------------------------
104.48/104.54 c start solving
104.58/104.67 c
285.85/285.97 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
285.85/285.97 c 281s| 1 | 0 | 27362 | - |2041M| 0 |1599 | 400k| 400k| 400k| 400k| 0 | 0 | 0 |-4.691708e+04 | -- | Inf
1611.53/1611.88 c 1607s| 1 | 0 | 91304 | - |2041M| 0 |1884 | 400k| 394k| 400k| 394k| 7 | 0 | 0 |-4.667133e+04 | -- | Inf
1800.00/1800.30 c pressed CTRL-C 1 times (5 times for forcing termination)
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-3743161-1338779646/watcher-3743161-1338779646 -o /tmp/evaluation-result-3743161-1338779646/solver-3743161-1338779646 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743161-1338779646.opb -t 1800 -m 15500
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: 2.00 2.00 2.00 3/176 26010
/proc/meminfo: memFree=25571012/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 1248 0 0 0 0 0 0 0 20 0 1 0 344088801 8105984 1194 33554432000 4194304 8395647 140737258084704 140735311341944 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 1979 1194 370 1026 0 949 0
[startup+0.0107331 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26010
/proc/meminfo: memFree=25571012/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=12912 CPUtime=0 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 2331 0 0 0 0 0 0 0 20 0 1 0 344088801 13221888 2276 33554432000 4194304 8395647 140737258084704 140735311341944 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 3228 2301 393 1026 0 2198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 12912
[startup+0.100275 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26010
/proc/meminfo: memFree=25571012/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=29644 CPUtime=0.08 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 6687 0 0 0 8 0 0 0 20 0 1 0 344088801 30355456 6632 33554432000 4194304 8395647 140737258084704 140735311341944 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 7411 6632 393 1026 0 6381 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 29644
[startup+0.300277 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26010
/proc/meminfo: memFree=25571012/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=54008 CPUtime=0.29 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 12739 0 0 0 28 1 0 0 20 0 1 0 344088801 55304192 12684 33554432000 4194304 8395647 140737258084704 140735311341944 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 13502 12684 393 1026 0 12472 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 54008
[startup+0.700277 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26010
/proc/meminfo: memFree=25571012/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=88508 CPUtime=0.69 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 21360 0 0 0 66 3 0 0 20 0 1 0 344088801 90632192 21305 33554432000 4194304 8395647 140737258084704 140737257949912 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 22127 21305 393 1026 0 21097 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 88508
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26011
/proc/meminfo: memFree=25447112/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=189808 CPUtime=1.48 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 46588 0 0 0 142 6 0 0 20 0 1 0 344088801 194363392 46533 33554432000 4194304 8395647 140737258084704 140737257949912 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 47452 46533 393 1026 0 46422 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 189808
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26011
/proc/meminfo: memFree=25310092/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=383932 CPUtime=3.09 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 95028 0 0 0 297 12 0 0 20 0 1 0 344088801 393146368 94973 33554432000 4194304 8395647 140737258084704 140737257949912 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 95983 94973 393 1026 0 94953 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 383932
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26011
/proc/meminfo: memFree=24582852/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=1137692 CPUtime=6.29 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 281036 0 0 0 594 35 0 0 20 0 1 0 344088801 1164996608 282121 33554432000 4194304 8395647 140737258084704 140737258082376 4601776 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 284423 282121 444 1026 0 283393 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1137692
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26011
/proc/meminfo: memFree=24019876/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=1553508 CPUtime=12.69 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 386254 0 0 0 1220 49 0 0 20 0 1 0 344088801 1590792192 385588 33554432000 4194304 8395647 140737258084704 140737258081848 4743421 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 388377 385588 501 1026 0 387347 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1553508
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26011
/proc/meminfo: memFree=24014420/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=1557412 CPUtime=25.49 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 387275 0 0 0 2500 49 0 0 20 0 1 0 344088801 1594789888 386609 33554432000 4194304 8395647 140737258084704 140737258081848 6068858 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 389353 386609 501 1026 0 388323 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1557412
[startup+51.1003 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 26011
/proc/meminfo: memFree=23832108/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=1734520 CPUtime=51.08 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 430656 0 0 0 5053 55 0 0 20 0 1 0 344088801 1776148480 429990 33554432000 4194304 8395647 140737258084704 140737258080856 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 433630 429990 501 1026 0 432600 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1734520
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26012
/proc/meminfo: memFree=23598396/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=1937380 CPUtime=102.28 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 480304 0 0 0 10165 63 0 0 20 0 1 0 344088801 1983877120 479638 33554432000 4194304 8395647 140737258084704 140737258080776 6080692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 484345 479638 501 1026 0 483315 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1937380
[startup+162.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 26012
/proc/meminfo: memFree=22910980/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2664628 CPUtime=162.26 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 605331 0 0 0 16130 96 0 0 20 0 1 0 344088801 2728579072 645660 33554432000 4194304 8395647 140737258084704 140737258080264 7382116 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 666157 645660 579 1026 0 665127 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 2664628
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26012
/proc/meminfo: memFree=22865696/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2714252 CPUtime=222.26 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 613947 0 0 0 22119 107 0 0 20 0 1 0 344088801 2779394048 650998 33554432000 4194304 8395647 140737258084704 140737258080264 6669594 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 678563 650998 579 1026 0 677533 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 2714252
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26050
/proc/meminfo: memFree=22749928/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2825596 CPUtime=282.25 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 630219 0 0 0 28105 120 0 0 20 0 1 0 344088801 2893410304 670217 33554432000 4194304 8395647 140737258084704 140737258079832 6697808 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 706399 670217 579 1026 0 705369 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 2825596
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26050
/proc/meminfo: memFree=22414148/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2854104 CPUtime=342.24 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 644768 0 0 0 34092 132 0 0 20 0 1 0 344088801 2922602496 675440 33554432000 4194304 8395647 140737258084704 140737258079352 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713526 675440 585 1026 0 712496 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 2854104
[startup+402.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 26054
/proc/meminfo: memFree=21684716/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2854104 CPUtime=402.22 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 649576 0 0 0 40086 136 0 0 20 0 1 0 344088801 2922602496 676190 33554432000 4194304 8395647 140737258084704 140737258078456 6696688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713526 676190 585 1026 0 712496 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2854104
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26054
/proc/meminfo: memFree=21577188/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2854104 CPUtime=462.21 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 653948 0 0 0 46080 141 0 0 20 0 1 0 344088801 2922602496 676302 33554432000 4194304 8395647 140737258084704 140737258079224 6708255 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713526 676302 585 1026 0 712496 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2854104
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 26054
/proc/meminfo: memFree=21523072/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2854104 CPUtime=522.21 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 658397 0 0 0 52074 147 0 0 20 0 1 0 344088801 2922602496 676399 33554432000 4194304 8395647 140737258084704 140737258079224 6752536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713526 676399 585 1026 0 712496 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2854104
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 26054
/proc/meminfo: memFree=21523100/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2854104 CPUtime=582.19 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 663995 0 0 0 58067 152 0 0 20 0 1 0 344088801 2922602496 675964 33554432000 4194304 8395647 140737258084704 140737258079224 6702262 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713526 675964 585 1026 0 712496 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 2854104
[startup+642.3 s]
################
# More data... #
################
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 706649 0 0 0 106013 199 0 0 20 0 1 0 344088801 2922602496 678813 33554432000 4194304 8395647 140737258084704 140737258079272 6721240 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713526 678813 585 1026 0 712496 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 2854104
[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26059
/proc/meminfo: memFree=21499256/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2854104 CPUtime=1122.1 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 710576 0 0 0 112007 203 0 0 20 0 1 0 344088801 2922602496 680496 33554432000 4194304 8395647 140737258084704 140737258079224 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713526 680496 585 1026 0 712496 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 2854104
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26059
/proc/meminfo: memFree=21491612/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2855204 CPUtime=1182.1 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 715181 0 0 0 118002 208 0 0 20 0 1 0 344088801 2923728896 682390 33554432000 4194304 8395647 140737258084704 140737258079224 6745165 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 713801 682390 585 1026 0 712771 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 2855204
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26059
/proc/meminfo: memFree=21491500/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2856120 CPUtime=1242.09 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 719316 0 0 0 123995 214 0 0 20 0 1 0 344088801 2924666880 682409 33554432000 4194304 8395647 140737258084704 140737258078456 6700514 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 714030 682409 585 1026 0 713000 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 2856120
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26059
/proc/meminfo: memFree=21491180/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2856552 CPUtime=1302.09 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 722383 0 0 0 129989 220 0 0 20 0 1 0 344088801 2925109248 682446 33554432000 4194304 8395647 140737258084704 140737258079272 6708572 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 714138 682446 585 1026 0 713108 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 2856552
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26060
/proc/meminfo: memFree=21487248/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2856552 CPUtime=1362.07 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 725696 0 0 0 135982 225 0 0 20 0 1 0 344088801 2925109248 682846 33554432000 4194304 8395647 140737258084704 140737258079224 6707974 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 714138 682846 585 1026 0 713108 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 2856552
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26060
/proc/meminfo: memFree=21602920/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2702800 CPUtime=1422.07 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 727664 0 0 0 141978 229 0 0 20 0 1 0 344088801 2767667200 659661 33554432000 4194304 8395647 140737258084704 140737258079992 5827857 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 675700 659661 603 1026 0 674670 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 2702800
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26060
/proc/meminfo: memFree=21564396/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2703948 CPUtime=1482.05 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 727874 0 0 0 147976 229 0 0 20 0 1 0 344088801 2768842752 663498 33554432000 4194304 8395647 140737258084704 140737258080232 5849682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 675987 663498 605 1026 0 674957 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 2703948
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26060
/proc/meminfo: memFree=21475772/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2843940 CPUtime=1542.04 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 734878 0 0 0 153973 231 0 0 20 0 1 0 344088801 2912194560 688821 33554432000 4194304 8395647 140737258084704 140737258080920 6698220 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 710985 688821 621 1026 0 709955 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 2843940
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26063
/proc/meminfo: memFree=21400236/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2897344 CPUtime=1602.03 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 741253 0 0 0 159965 238 0 0 20 0 1 0 344088801 2966880256 704438 33554432000 4194304 8395647 140737258084704 140737258079832 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 724336 704438 621 1026 0 723306 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 2897344
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26064
/proc/meminfo: memFree=21446580/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2897344 CPUtime=1662.02 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 741255 0 0 0 165961 241 0 0 20 0 1 0 344088801 2966880256 704583 33554432000 4194304 8395647 140737258084704 140737258079944 6197370 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 724336 704583 621 1026 0 723306 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 2897344
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26064
/proc/meminfo: memFree=21398396/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2897344 CPUtime=1722.01 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 741255 0 0 0 171957 244 0 0 20 0 1 0 344088801 2966880256 704583 33554432000 4194304 8395647 140737258084704 140737258079944 6198182 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 724336 704583 621 1026 0 723306 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 2897344
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26064
/proc/meminfo: memFree=21361440/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2915268 CPUtime=1782 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 746375 0 0 0 177954 246 0 0 20 0 1 0 344088801 2985234432 713791 33554432000 4194304 8395647 140737258084704 140737258079992 5823712 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 728817 713791 621 1026 0 727787 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 2915268
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26064
/proc/meminfo: memFree=21361424/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2915268 CPUtime=1800 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 746375 0 0 0 179754 246 0 0 20 0 1 0 344088801 2985234432 713791 33554432000 4194304 8395647 140737258084704 140737258079992 5849675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 728817 713791 621 1026 0 727787 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 2915268
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -26010
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26065
/proc/meminfo: memFree=21361424/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2915268 CPUtime=1801.1 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 746375 0 0 0 179864 246 0 0 20 0 1 0 344088801 2985234432 713791 33554432000 4194304 8395647 140737258084704 140737258079616 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 728817 713791 621 1026 0 727787 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 2915268
[startup+1801.81 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26065
/proc/meminfo: memFree=21361276/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2915268 CPUtime=1801.5 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 746375 0 0 0 179904 246 0 0 20 0 1 0 344088801 2985234432 713791 33554432000 4194304 8395647 140737258084704 140737258079616 5849675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 728817 713791 621 1026 0 727787 0
Current children cumulated CPU time (s) 1801.5
Current children cumulated vsize (KiB) 2915268
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26065
/proc/meminfo: memFree=21361276/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2915268 CPUtime=1801.9 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 746375 0 0 0 179944 246 0 0 20 0 1 0 344088801 2985234432 713791 33554432000 4194304 8395647 140737258084704 140737258079616 5849694 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 728817 713791 621 1026 0 727787 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 2915268
[startup+1802.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26065
/proc/meminfo: memFree=21361276/32873648 swapFree=7368/7368
[pid=26010] ppid=26008 vsize=2915268 CPUtime=1802 cores=1,3,5,7
/proc/26010/stat : 26010 (pbscip.linux.x8) R 26008 26010 23880 0 -1 4202496 746375 0 0 0 179954 246 0 0 20 0 1 0 344088801 2985234432 713791 33554432000 4194304 8395647 140737258084704 140737258079616 5849675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/26010/statm: 728817 713791 621 1026 0 727787 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 2915268
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.33
CPU time (s): 1802.04
CPU user time (s): 1799.55
CPU system time (s): 2.49062
CPU usage (%): 99.9839
Max. virtual memory (cumulated for all children) (KiB): 2915268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.55
system time used= 2.49062
maximum resident set size= 2855164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 746375
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= 24
involuntary context switches= 1853
runsolver used 3.2795 second user time and 8.94564 second system time
The end