0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 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-3736071-1338720930.opb>
0.78/0.86 c original problem has 40363 variables (40363 bin, 0 int, 0 impl, 0 cont) and 154319 constraints
0.78/0.86 c problem read
0.78/0.86 c presolving settings loaded
1.18/1.22 c presolving:
2.20/2.25 c (round 1) 1894 del vars, 3739 del conss, 0 add conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
2.29/2.36 c (round 2) 1894 del vars, 3805 del conss, 0 add conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
3.09/3.10 c (round 3) 1894 del vars, 3805 del conss, 0 add conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 150514 upgd conss, 1420138 impls, 0 clqs
14.89/14.98 c (15.0s) probing: 405/38469 (1.1%) - 0 fixings, 2 aggregations, 28291 implications, 0 bound changes
14.89/14.98 c (15.0s) probing aborted: 100/100 successive totally useless probings
14.89/14.99 c presolving (4 rounds):
14.89/14.99 c 1896 deleted vars, 3805 deleted constraints, 0 added constraints, 5 tightened bounds, 0 added holes, 22 changed sides, 22 changed coefficients
14.89/14.99 c 1474342 implications, 0 cliques
14.89/14.99 c presolved problem has 38467 variables (38467 bin, 0 int, 0 impl, 0 cont) and 150514 constraints
14.89/14.99 c 1 constraints of type <knapsack>
14.89/14.99 c 113986 constraints of type <setppc>
14.89/14.99 c 36527 constraints of type <logicor>
14.89/14.99 c transformed objective value is always integral (scale: 1)
14.89/14.99 c Presolving Time: 13.88
14.89/14.99 c - non default parameters ----------------------------------------------------------------------
14.89/14.99 c # SCIP version 2.0.1.5
14.89/14.99 c
14.89/14.99 c # frequency for displaying node information lines
14.89/14.99 c # [type: int, range: [-1,2147483647], default: 100]
14.89/14.99 c display/freq = 10000
14.89/14.99 c
14.89/14.99 c # maximal time in seconds to run
14.89/14.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.89/14.99 c limits/time = 1797
14.89/14.99 c
14.89/14.99 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
14.89/14.99 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
14.89/14.99 c limits/memory = 13950
14.89/14.99 c
14.89/14.99 c # default clock type (1: CPU user seconds, 2: wall clock time)
14.89/14.99 c # [type: int, range: [1,2], default: 1]
14.89/14.99 c timing/clocktype = 2
14.89/14.99 c
14.89/14.99 c # belongs reading time to solving time?
14.89/14.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.89/14.99 c timing/reading = TRUE
14.89/14.99 c
14.89/14.99 c # should presolving try to simplify inequalities
14.89/14.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.89/14.99 c constraints/linear/simplifyinequalities = TRUE
14.89/14.99 c
14.89/14.99 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
14.89/14.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.89/14.99 c constraints/indicator/addCouplingCons = TRUE
14.89/14.99 c
14.89/14.99 c # should presolving try to simplify knapsacks
14.89/14.99 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
14.89/14.99 c constraints/knapsack/simplifyinequalities = TRUE
14.89/14.99 c
14.89/14.99 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
14.89/14.99 c # [type: int, range: [-1,2147483647], default: -1]
14.89/14.99 c separating/rapidlearning/freq = 0
14.89/14.99 c
14.89/14.99 c -----------------------------------------------------------------------------------------------
14.89/14.99 c start solving
14.99/15.01 c
214.36/214.49 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
214.36/214.49 c 214s| 1 | 0 | 30569 | - | 306M| 0 | 11k| 38k| 150k| 38k| 150k| 0 | 87 | 0 | 1.057251e+01 | -- | Inf
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-3736071-1338720930/watcher-3736071-1338720930 -o /tmp/evaluation-result-3736071-1338720930/solver-3736071-1338720930 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3736071-1338720930.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 12762
/proc/meminfo: memFree=28629180/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 1527 0 0 0 0 0 0 0 20 0 1 0 338217378 9818112 1482 33554432000 4194304 9016284 140736547662336 140737433503224 7875499 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 2397 1483 311 1178 0 1215 0
[startup+0.0537329 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12762
/proc/meminfo: memFree=28629180/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=21108 CPUtime=0.04 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 4250 0 0 0 4 0 0 0 20 0 1 0 338217378 21614592 4205 33554432000 4194304 9016284 140736547662336 140737433503224 7874929 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 5277 4205 360 1178 0 4095 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 21108
[startup+0.100306 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12762
/proc/meminfo: memFree=28629180/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=26920 CPUtime=0.09 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 5730 0 0 0 8 1 0 0 20 0 1 0 338217378 27566080 5685 33554432000 4194304 9016284 140736547662336 140737433503224 7870498 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 6730 5685 360 1178 0 5548 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26920
[startup+0.300241 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12762
/proc/meminfo: memFree=28629180/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=45608 CPUtime=0.29 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 10402 0 0 0 27 2 0 0 20 0 1 0 338217378 46702592 10357 33554432000 4194304 9016284 140736547662336 140737433503224 4536486 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 11402 10357 360 1178 0 10220 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 45608
[startup+0.700252 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12762
/proc/meminfo: memFree=28629180/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=85268 CPUtime=0.69 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 20295 0 0 0 65 4 0 0 20 0 1 0 338217378 87314432 20250 33554432000 4194304 9016284 140736547662336 140737433503224 7870483 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 21317 20250 360 1178 0 20135 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85268
[startup+1.50026 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12763
/proc/meminfo: memFree=28448496/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=250940 CPUtime=1.49 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 60587 0 0 0 139 10 0 0 20 0 1 0 338217378 256962560 60495 33554432000 4194304 9016284 140736547662336 140736547658776 5227673 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 62735 60495 494 1178 0 61553 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 250940
[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12763
/proc/meminfo: memFree=28352768/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=319808 CPUtime=3.09 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 83577 0 0 0 294 15 0 0 20 0 1 0 338217378 327483392 77233 33554432000 4194304 9016284 140736547662336 140736547658712 5961426 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 79952 77233 510 1178 0 78770 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 319808
[startup+6.30034 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12763
/proc/meminfo: memFree=28303652/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=330408 CPUtime=6.29 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 84523 0 0 0 614 15 0 0 20 0 1 0 338217378 338337792 80121 33554432000 4194304 9016284 140736547662336 140736547659192 5510757 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 82602 80121 537 1178 0 81420 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 330408
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12763
/proc/meminfo: memFree=28301476/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=331592 CPUtime=12.69 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 84819 0 0 0 1254 15 0 0 20 0 1 0 338217378 339550208 80417 33554432000 4194304 9016284 140736547662336 140736547658120 5510753 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 82898 80417 537 1178 0 81716 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 331592
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12763
/proc/meminfo: memFree=28043412/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=609488 CPUtime=25.49 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 131156 0 0 0 2524 25 0 0 20 0 1 0 338217378 624115712 145297 33554432000 4194304 9016284 140736547662336 140736547655256 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 152372 145297 651 1178 0 151190 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 609488
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12763
/proc/meminfo: memFree=27995636/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=51.08 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 142960 0 0 0 5076 32 0 0 20 0 1 0 338217378 691765248 162147 33554432000 4194304 9016284 140736547662336 140736547656568 7181381 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 162147 654 1178 0 167706 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 675552
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12764
/proc/meminfo: memFree=27974516/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=102.28 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 143304 0 0 0 10192 36 0 0 20 0 1 0 338217378 691765248 164535 33554432000 4194304 9016284 140736547662336 140736547656120 7157120 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 164535 654 1178 0 167706 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 675552
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12764
/proc/meminfo: memFree=27971884/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=162.26 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 143317 0 0 0 16186 40 0 0 20 0 1 0 338217378 691765248 164548 33554432000 4194304 9016284 140736547662336 140736547656120 7870569 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 164548 654 1178 0 167706 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 675552
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12764
/proc/meminfo: memFree=27967088/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=222.25 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144263 0 0 0 22180 45 0 0 20 0 1 0 338217378 691765248 165704 33554432000 4194304 9016284 140736547662336 140736547654216 7157093 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 165704 666 1178 0 167706 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 675552
[startup+282.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 12767
/proc/meminfo: memFree=27966220/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=282.25 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144324 0 0 0 28174 51 0 0 20 0 1 0 338217378 691765248 165905 33554432000 4194304 9016284 140736547662336 140736547654168 7180996 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 165905 666 1178 0 167706 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 675552
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 12790
/proc/meminfo: memFree=27963404/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=342.23 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144336 0 0 0 34170 53 0 0 20 0 1 0 338217378 691765248 166561 33554432000 4194304 9016284 140736547662336 140736547654088 7189780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 166561 666 1178 0 167706 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 675552
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/177 12791
/proc/meminfo: memFree=27963000/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=402.21 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144343 0 0 0 40166 55 0 0 20 0 1 0 338217378 691765248 166756 33554432000 4194304 9016284 140736547662336 140736547654088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 166756 666 1178 0 167706 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 675552
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 12791
/proc/meminfo: memFree=27960084/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=462.21 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144347 0 0 0 46164 57 0 0 20 0 1 0 338217378 691765248 167430 33554432000 4194304 9016284 140736547662336 140736547654088 7189831 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167430 666 1178 0 167706 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 675552
[startup+522.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 12791
/proc/meminfo: memFree=27960240/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=522.2 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144348 0 0 0 52162 58 0 0 20 0 1 0 338217378 691765248 167446 33554432000 4194304 9016284 140736547662336 140736547654232 7189780 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167446 666 1178 0 167706 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 675552
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12791
/proc/meminfo: memFree=27960240/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=582.19 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144348 0 0 0 58159 60 0 0 20 0 1 0 338217378 691765248 167446 33554432000 4194304 9016284 140736547662336 140736547654088 7157120 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167446 666 1178 0 167706 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 675552
[startup+642.3 s]
################
# More data... #
################
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 106129 83 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7925162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 675552
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12796
/proc/meminfo: memFree=27862832/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1122.11 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 112126 85 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7190050 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 675552
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12796
/proc/meminfo: memFree=27862768/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1182.1 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 118121 89 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654120 7178162 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 675552
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12796
/proc/meminfo: memFree=27862704/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1242.09 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 124116 93 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654216 7178280 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 675552
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12797
/proc/meminfo: memFree=27862304/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1302.09 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 130114 95 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654232 6977601 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 675552
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12797
/proc/meminfo: memFree=27862552/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1362.07 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 136110 97 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 6851549 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 675552
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12797
/proc/meminfo: memFree=27862428/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1422.07 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 142109 98 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7178367 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 675552
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12800
/proc/meminfo: memFree=27862404/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1482.05 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 148104 101 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654232 7189597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 675552
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12800
/proc/meminfo: memFree=27862552/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1542.04 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 154101 103 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654232 7178299 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 675552
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12801
/proc/meminfo: memFree=27862552/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1602.04 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 160098 106 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7189593 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 675552
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12801
/proc/meminfo: memFree=27862676/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1662.03 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 166095 108 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7190048 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 675552
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 12801
/proc/meminfo: memFree=27862676/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1722.02 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 172093 109 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7189730 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 675552
[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 12801
/proc/meminfo: memFree=27862552/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1782.01 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 178090 111 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7189597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1782.01
Current children cumulated vsize (KiB) 675552
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 12877
/proc/meminfo: memFree=28241088/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1800.01 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 179890 111 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654232 7178364 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 675552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -12762
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12878
/proc/meminfo: memFree=28241088/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1801.1 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 179999 111 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7181022 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1801.1
Current children cumulated vsize (KiB) 675552
[startup+1801.81 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12878
/proc/meminfo: memFree=28241212/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1801.51 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 180040 111 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7189580 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1801.51
Current children cumulated vsize (KiB) 675552
[startup+1802.2 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12878
/proc/meminfo: memFree=28241212/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1801.9 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 180079 111 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7178125 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1801.9
Current children cumulated vsize (KiB) 675552
[startup+1802.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 12878
/proc/meminfo: memFree=28241212/32873844 swapFree=7644/7644
[pid=12762] ppid=12760 vsize=675552 CPUtime=1802 cores=1,3,5,7
/proc/12762/stat : 12762 (scip-2.0.1.4b_2) R 12760 12762 10351 0 -1 4202496 144351 0 0 0 180089 111 0 0 20 0 1 0 338217378 691765248 167532 33554432000 4194304 9016284 140736547662336 140736547654088 7178351 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/12762/statm: 168888 167532 666 1178 0 167706 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 675552
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.32
CPU time (s): 1802.03
CPU user time (s): 1800.9
CPU system time (s): 1.12783
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 679760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.9
system time used= 1.12783
maximum resident set size= 670128
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 144351
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= 15
involuntary context switches= 1855
runsolver used 3.17852 second user time and 8.68968 second system time
The end