0.00/0.00 c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
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-3452405-1307111912.opb>
0.00/0.10 c original problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
0.00/0.10 c problem read
0.00/0.10 c presolving settings loaded
0.19/0.27 o 0
0.19/0.27 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.27 c presolving:
0.59/0.63 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 254352 impls, 2000 clqs
1.30/1.31 c (1.3s) probing: 101/33544 (0.3%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
1.30/1.31 c (1.3s) probing aborted: 100/100 successive totally useless probings
1.30/1.31 c presolving (2 rounds):
1.30/1.31 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1.30/1.31 c 254352 implications, 2000 cliques
1.30/1.31 c presolved problem has 33544 variables (33544 bin, 0 int, 0 impl, 0 cont) and 34545 constraints
1.30/1.31 c 3000 constraints of type <setppc>
1.30/1.31 c 31544 constraints of type <and>
1.30/1.31 c 1 constraints of type <linear>
1.30/1.31 c transformed objective value is always integral (scale: 1)
1.30/1.31 c Presolving Time: 1.20
1.30/1.31 c - non default parameters ----------------------------------------------------------------------
1.30/1.31 c # SCIP version 2.0.1.4
1.30/1.31 c
1.30/1.31 c # frequency for displaying node information lines
1.30/1.31 c # [type: int, range: [-1,2147483647], default: 100]
1.30/1.31 c display/freq = 10000
1.30/1.31 c
1.30/1.31 c # maximal time in seconds to run
1.30/1.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.30/1.31 c limits/time = 1800
1.30/1.31 c
1.30/1.31 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1.30/1.31 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1.30/1.31 c limits/memory = 13950
1.30/1.31 c
1.30/1.31 c # default clock type (1: CPU user seconds, 2: wall clock time)
1.30/1.31 c # [type: int, range: [1,2], default: 1]
1.30/1.31 c timing/clocktype = 2
1.30/1.31 c
1.30/1.31 c # belongs reading time to solving time?
1.30/1.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.30/1.31 c timing/reading = TRUE
1.30/1.31 c
1.30/1.31 c # should presolving try to simplify inequalities
1.30/1.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.30/1.31 c constraints/linear/simplifyinequalities = TRUE
1.30/1.31 c
1.30/1.31 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1.30/1.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.30/1.31 c constraints/indicator/addCouplingCons = TRUE
1.30/1.31 c
1.30/1.31 c # should presolving try to simplify knapsacks
1.30/1.31 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1.30/1.31 c constraints/knapsack/simplifyinequalities = TRUE
1.30/1.31 c
1.30/1.31 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1.30/1.31 c # [type: int, range: [-1,2147483647], default: -1]
1.30/1.31 c separating/rapidlearning/freq = 0
1.30/1.31 c
1.30/1.31 c -----------------------------------------------------------------------------------------------
1.30/1.31 c start solving
1.30/1.32 c
504.92/505.01 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
504.92/505.01 c t 505s| 1 | 0 | 39026 | - | 141M| 0 | 18k| 33k| 34k| 33k| 66k| 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
505.31/505.34 o -22
505.31/505.34 c s 505s| 1 | 0 | 39026 | - | 142M| 0 | 18k| 33k| 34k| 33k| 66k| 0 | 0 | 0 |-5.000000e+02 |-2.200000e+01 | 95.60%
546.91/546.95 o -23
546.91/546.95 c U 547s| 1 | 0 | 39026 | - | 150M| 0 | 18k| 33k| 34k| 33k| 66k| 0 | 1 | 0 |-5.000000e+02 |-2.300000e+01 | 95.40%
928.92/928.91 c 929s| 1 | 0 | 57279 | - | 152M| 0 | 18k| 33k| 34k| 33k| 66k| 392 | 1 | 0 |-5.000000e+02 |-2.300000e+01 | 95.40%
1296.63/1296.69 c 1297s| 1 | 0 | 76284 | - | 152M| 0 | 18k| 33k| 34k| 33k| 66k| 567 | 1 | 0 |-5.000000e+02 |-2.300000e+01 | 95.40%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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-3452405-1307111912/watcher-3452405-1307111912 -o /tmp/evaluation-result-3452405-1307111912/solver-3452405-1307111912 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452405-1307111912.opb -t 1800 -m 15500
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: 2.00 2.02 1.94 2/550 23109
/proc/meminfo: memFree=21044080/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=12800 CPUtime=0.01 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 2206 0 0 0 1 0 0 0 25 0 1 0 822791639 13107200 2160 33554432000 4194304 9128323 140733843914496 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/23109/statm: 3200 2160 401 1205 0 1991 0
[startup+0.106568 s]
/proc/loadavg: 2.00 2.02 1.94 2/550 23109
/proc/meminfo: memFree=21044080/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=23592 CPUtime=0.1 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 4864 0 0 0 10 0 0 0 25 0 1 0 822791639 24158208 4816 33554432000 4194304 9128323 140733843914496 18446744073709551615 7980987 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 5898 4816 436 1205 0 4689 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 23592
[startup+0.200548 s]
/proc/loadavg: 2.00 2.02 1.94 2/550 23109
/proc/meminfo: memFree=21044080/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=63636 CPUtime=0.19 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 14599 0 0 0 18 1 0 0 25 0 1 0 822791639 65163264 14551 33554432000 4194304 9128323 140733843914496 18446744073709551615 5381101 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 15909 14556 475 1205 0 14700 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 63636
[startup+0.300533 s]
/proc/loadavg: 2.00 2.02 1.94 2/550 23109
/proc/meminfo: memFree=21044080/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=81484 CPUtime=0.29 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 19401 0 0 0 27 2 0 0 25 0 1 0 822791639 83439616 18898 33554432000 4194304 9128323 140733843914496 18446744073709551615 8008905 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 20371 18898 498 1205 0 19162 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 81484
[startup+0.700462 s]
/proc/loadavg: 2.00 2.02 1.94 2/550 23109
/proc/meminfo: memFree=21044080/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=102588 CPUtime=0.69 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 25444 0 0 0 67 2 0 0 25 0 1 0 822791639 105050112 24187 33554432000 4194304 9128323 140733843914496 18446744073709551615 4854387 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 25647 24187 526 1205 0 24438 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 102588
[startup+1.50031 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23110
/proc/meminfo: memFree=20944996/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=187684 CPUtime=1.49 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 47060 0 0 0 144 5 0 0 25 0 1 0 822791639 192188416 45069 33554432000 4194304 9128323 140733843914496 18446744073709551615 6685321 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 46921 45070 601 1205 0 45712 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 187684
[startup+3.10102 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23111
/proc/meminfo: memFree=20804376/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=272500 CPUtime=3.09 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 67845 0 0 0 301 8 0 0 25 0 1 0 822791639 279040000 63825 33554432000 4194304 9128323 140733843914496 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 68125 63825 711 1205 0 66916 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 272500
[startup+6.30044 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23111
/proc/meminfo: memFree=20779328/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=279328 CPUtime=6.29 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 70247 0 0 0 621 8 0 0 25 0 1 0 822791639 286031872 66112 33554432000 4194304 9128323 140733843914496 18446744073709551615 7284944 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 69832 66112 644 1205 0 68623 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 279328
[startup+12.7003 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23111
/proc/meminfo: memFree=20772908/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=283644 CPUtime=12.7 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 71921 0 0 0 1261 9 0 0 25 0 1 0 822791639 290451456 67742 33554432000 4194304 9128323 140733843914496 18446744073709551615 7284961 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 70911 67742 693 1205 0 69702 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 283644
[startup+25.5009 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23111
/proc/meminfo: memFree=20772920/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=283644 CPUtime=25.49 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 71942 0 0 0 2540 9 0 0 25 0 1 0 822791639 290451456 67763 33554432000 4194304 9128323 140733843914496 18446744073709551615 7315625 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 70911 67763 697 1205 0 69702 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 283644
[startup+51.1013 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23112
/proc/meminfo: memFree=20761052/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=297060 CPUtime=51.09 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 74806 0 0 0 5098 11 0 0 25 0 1 0 822791639 304189440 70575 33554432000 4194304 9128323 140733843914496 18446744073709551615 7314312 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 74265 70575 645 1205 0 73056 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 297060
[startup+102.301 s]
/proc/loadavg: 2.00 2.02 1.94 3/551 23113
/proc/meminfo: memFree=20756808/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=306240 CPUtime=102.32 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 85515 0 0 0 10217 15 0 0 25 0 1 0 822791639 313589760 71680 33554432000 4194304 9128323 140733843914496 18446744073709551615 7357433 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 76560 71680 645 1205 0 75351 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 306240
[startup+162.301 s]
/proc/loadavg: 2.00 2.01 1.94 3/551 23115
/proc/meminfo: memFree=20744724/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=313316 CPUtime=162.29 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 88438 0 0 0 16212 17 0 0 25 0 1 0 822791639 320835584 74541 33554432000 4194304 9128323 140733843914496 18446744073709551615 7316152 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 78329 74541 647 1205 0 77120 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 313316
[startup+222.321 s]
/proc/loadavg: 2.11 2.03 1.95 3/551 23116
/proc/meminfo: memFree=20736496/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=327812 CPUtime=222.32 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 93838 0 0 0 22212 20 0 0 25 0 1 0 822791639 335679488 76733 33554432000 4194304 9128323 140733843914496 18446744073709551615 7315689 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 81953 76733 645 1205 0 80744 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 327812
[startup+282.3 s]
/proc/loadavg: 2.22 2.07 1.97 3/551 23118
/proc/meminfo: memFree=20727292/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=328612 CPUtime=282.29 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 96107 0 0 0 28207 22 0 0 25 0 1 0 822791639 336498688 79002 33554432000 4194304 9128323 140733843914496 18446744073709551615 7357429 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 82153 79002 645 1205 0 80944 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 328612
[startup+342.301 s]
/proc/loadavg: 2.13 2.07 1.97 3/551 23120
/proc/meminfo: memFree=20726744/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=328612 CPUtime=342.31 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 105523 0 0 0 34205 26 0 0 25 0 1 0 822791639 336498688 79002 33554432000 4194304 9128323 140733843914496 18446744073709551615 7314669 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 82153 79002 645 1205 0 80944 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 328612
[startup+402.3 s]
/proc/loadavg: 2.05 2.05 1.97 3/551 23121
/proc/meminfo: memFree=20727448/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=328612 CPUtime=402.3 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 105523 0 0 0 40203 27 0 0 25 0 1 0 822791639 336498688 79002 33554432000 4194304 9128323 140733843914496 18446744073709551615 7357437 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 82153 79002 645 1205 0 80944 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 328612
[startup+462.301 s]
/proc/loadavg: 2.02 2.04 1.97 3/551 23123
/proc/meminfo: memFree=20727156/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=328612 CPUtime=462.31 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 105523 0 0 0 46202 29 0 0 25 0 1 0 822791639 336498688 79002 33554432000 4194304 9128323 140733843914496 18446744073709551615 6941934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 82153 79002 645 1205 0 80944 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 328612
[startup+522.301 s]
/proc/loadavg: 2.00 2.03 1.97 3/551 23124
/proc/meminfo: memFree=20580688/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=468696 CPUtime=522.3 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 145095 0 0 0 52186 44 0 0 25 0 1 0 822791639 479944704 115796 33554432000 4194304 9128323 140733843914496 18446744073709551615 7326709 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 117174 115796 734 1205 0 115965 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 468696
[startup+582.301 s]
/proc/loadavg: 1.95 2.01 1.97 3/551 23208
/proc/meminfo: memFree=20544280/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=582.31 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148066 0 0 0 58178 53 0 0 25 0 1 0 822791639 492150784 118766 33554432000 4194304 9128323 140733843914496 18446744073709551615 7018583 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118766 745 1205 0 118945 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 480616
[startup+642.301 s]
################
# More data... #
################
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 106157 76 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7325080 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 480616
[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 23222
/proc/meminfo: memFree=20518128/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1122.32 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 112153 79 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7357352 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 480616
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 23224
/proc/meminfo: memFree=20517504/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1182.33 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 118152 81 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7357898 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 480616
[startup+1242.3 s]
/proc/loadavg: 2.07 2.04 2.01 3/551 23226
/proc/meminfo: memFree=20516384/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1242.32 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 124150 82 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7325044 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 480616
[startup+1302.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/551 23227
/proc/meminfo: memFree=20516504/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1302.33 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 130148 85 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7021543 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 480616
[startup+1362.3 s]
/proc/loadavg: 2.13 2.08 2.02 3/551 23238
/proc/meminfo: memFree=20513400/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1362.33 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 136145 88 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 6309892 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 480616
[startup+1422.3 s]
/proc/loadavg: 2.13 2.09 2.02 3/551 23239
/proc/meminfo: memFree=20511560/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1422.35 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 142145 90 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 6941939 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 480616
[startup+1482.3 s]
/proc/loadavg: 2.05 2.07 2.02 3/551 23241
/proc/meminfo: memFree=20510196/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1482.33 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 148140 93 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7357408 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 480616
[startup+1542.32 s]
/proc/loadavg: 2.02 2.06 2.01 3/551 23246
/proc/meminfo: memFree=20509176/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1542.35 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 154140 95 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7279233 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 480616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/551 23247
/proc/meminfo: memFree=20507016/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1602.34 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 160137 97 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7357408 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 480616
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/551 23249
/proc/meminfo: memFree=20505512/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1662.34 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 166134 100 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7315455 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 480616
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/551 23250
/proc/meminfo: memFree=20503640/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1722.35 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 172133 102 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7327984 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 480616
[startup+1782.3 s]
/proc/loadavg: 2.10 2.05 2.01 3/551 23252
/proc/meminfo: memFree=20501148/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1782.34 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 178131 103 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7381243 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 480616
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.05 2.01 3/551 23252
/proc/meminfo: memFree=20500764/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1800.07 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 179903 104 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7328001 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 480616
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23109
Solver just ended. Dumping a history of the last processes samples
[startup+1800.7 s]
/proc/loadavg: 2.07 2.05 2.01 3/552 23253
/proc/meminfo: memFree=20500756/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1800.77 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 179973 104 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7328013 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1800.77
Current children cumulated vsize (KiB) 480616
[startup+1801.5 s]
/proc/loadavg: 2.07 2.05 2.01 3/552 23253
/proc/meminfo: memFree=20500756/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1801.55 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 180051 104 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7279264 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1801.55
Current children cumulated vsize (KiB) 480616
[startup+1801.92 s]
/proc/loadavg: 2.07 2.05 2.01 3/552 23254
/proc/meminfo: memFree=20500508/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1801.97 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 180093 104 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 6941028 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1801.97
Current children cumulated vsize (KiB) 480616
[startup+1802 s]
/proc/loadavg: 2.07 2.05 2.01 3/552 23254
/proc/meminfo: memFree=20500508/32951124 swapFree=53733252/67111528
[pid=23109] ppid=23107 vsize=480616 CPUtime=1802.05 cores=0,2,4,6
/proc/23109/stat : 23109 (scip-2.0.1.4.li) R 23107 23109 21496 0 -1 4202496 148205 0 0 0 180101 104 0 0 25 0 1 0 822791639 492150784 118854 33554432000 4194304 9128323 140733843914496 18446744073709551615 7346492 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/23109/statm: 120154 118854 749 1205 0 118945 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 480616
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.1
CPU user time (s): 1801.03
CPU system time (s): 1.06284
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 480616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.03
system time used= 1.06284
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148205
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= 2672
runsolver used 10.4954 second user time and 22.2926 second system time
The end