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-3452286-1307105116.opb>
0.00/0.10 c original problem has 1000 variables (1000 bin, 0 int, 0 impl, 0 cont) and 1000 constraints
0.00/0.10 c problem read
0.00/0.10 c presolving settings loaded
0.39/0.43 o 1000
0.39/0.43 c feasible solution found by trivial heuristic, objective value 1.000000e+03
0.39/0.43 c presolving:
5.69/5.78 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 11549996 impls, 0 clqs
8.09/8.11 c (8.1s) probing: 101/76286 (0.1%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
8.09/8.11 c (8.1s) probing aborted: 100/100 successive totally useless probings
8.09/8.12 c presolving (2 rounds):
8.09/8.12 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
8.09/8.12 c 11549996 implications, 0 cliques
8.09/8.12 c presolved problem has 76286 variables (76286 bin, 0 int, 0 impl, 0 cont) and 76286 constraints
8.09/8.12 c 75286 constraints of type <and>
8.09/8.12 c 1000 constraints of type <logicor>
8.09/8.12 c transformed objective value is always integral (scale: 1)
8.09/8.12 c Presolving Time: 8.00
8.09/8.12 c - non default parameters ----------------------------------------------------------------------
8.09/8.12 c # SCIP version 2.0.1.4
8.09/8.12 c
8.09/8.12 c # frequency for displaying node information lines
8.09/8.12 c # [type: int, range: [-1,2147483647], default: 100]
8.09/8.12 c display/freq = 10000
8.09/8.12 c
8.09/8.12 c # maximal time in seconds to run
8.09/8.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.09/8.12 c limits/time = 1800
8.09/8.12 c
8.09/8.12 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
8.09/8.12 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
8.09/8.12 c limits/memory = 13950
8.09/8.12 c
8.09/8.12 c # default clock type (1: CPU user seconds, 2: wall clock time)
8.09/8.12 c # [type: int, range: [1,2], default: 1]
8.09/8.12 c timing/clocktype = 2
8.09/8.12 c
8.09/8.12 c # belongs reading time to solving time?
8.09/8.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.09/8.12 c timing/reading = TRUE
8.09/8.12 c
8.09/8.12 c # should presolving try to simplify inequalities
8.09/8.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.09/8.12 c constraints/linear/simplifyinequalities = TRUE
8.09/8.12 c
8.09/8.12 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
8.09/8.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.09/8.12 c constraints/indicator/addCouplingCons = TRUE
8.09/8.12 c
8.09/8.12 c # should presolving try to simplify knapsacks
8.09/8.12 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
8.09/8.12 c constraints/knapsack/simplifyinequalities = TRUE
8.09/8.12 c
8.09/8.12 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
8.09/8.12 c # [type: int, range: [-1,2147483647], default: -1]
8.09/8.12 c separating/rapidlearning/freq = 0
8.09/8.12 c
8.09/8.12 c -----------------------------------------------------------------------------------------------
8.09/8.12 c start solving
8.09/8.14 c
9.59/9.67 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
9.59/9.67 c t 9.7s| 1 | 0 | 2000 | - | 597M| 0 |2000 | 76k| 76k| 76k| 151k| 0 | 0 | 0 | 0.000000e+00 | 1.000000e+03 | Inf
11.89/11.99 c 12.0s| 1 | 0 | 5000 | - | 599M| 0 |2000 | 76k| 76k| 76k| 153k|2000 | 0 | 0 | 0.000000e+00 | 1.000000e+03 | Inf
15.89/15.98 c 16.0s| 1 | 0 | 8000 | - | 600M| 0 |2000 | 76k| 76k| 76k| 155k|4000 | 0 | 0 | 0.000000e+00 | 1.000000e+03 | Inf
21.49/21.58 c 21.6s| 1 | 0 | 11000 | - | 601M| 0 |2000 | 76k| 76k| 76k| 157k|6000 | 0 | 0 | 0.000000e+00 | 1.000000e+03 | Inf
21.79/21.82 o 57
21.79/21.82 c s21.8s| 1 | 0 | 11000 | - | 602M| 0 |2000 | 76k| 76k| 76k| 157k|6000 | 0 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
23.29/23.36 c 23.4s| 1 | 0 | 14000 | - | 603M| 0 |2000 | 76k| 76k| 76k| 159k|8000 | 0 | 0 | 0.000000e+00 | 5.700000e+01 | Inf
23.59/23.65 o 50
23.59/23.65 c s23.7s| 1 | 0 | 14000 | - | 604M| 0 |2000 | 76k| 76k| 76k| 159k|8000 | 0 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
25.19/25.23 c 25.2s| 1 | 0 | 17000 | - | 605M| 0 |2000 | 76k| 76k| 76k| 161k| 10k| 0 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
27.09/27.11 c 27.1s| 1 | 0 | 20000 | - | 606M| 0 |2000 | 76k| 76k| 76k| 163k| 12k| 0 | 0 | 0.000000e+00 | 5.000000e+01 | Inf
27.29/27.35 o 48
27.29/27.35 c s27.3s| 1 | 0 | 20000 | - | 606M| 0 |2000 | 76k| 76k| 76k| 163k| 12k| 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
28.49/28.62 c 28.6s| 1 | 2 | 20000 | - | 606M| 0 |2000 | 76k| 76k| 76k| 163k| 12k| 0 | 0 | 0.000000e+00 | 4.800000e+01 | Inf
1800.01/1800.01 c
1800.01/1800.01 c SCIP Status : solving was interrupted [time limit reached]
1800.01/1800.01 c Solving Time (sec) : 1800.01
1800.01/1800.01 c Solving Nodes : 229
1800.01/1800.01 c Primal Bound : +4.80000000000000e+01 (4 solutions)
1800.01/1800.01 c Dual Bound : +1.00000000000000e+00
1800.01/1800.01 c Gap : 4700.00 %
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-3452286-1307105116/watcher-3452286-1307105116 -o /tmp/evaluation-result-3452286-1307105116/solver-3452286-1307105116 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452286-1307105116.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: 1.93 2.01 1.99 3/572 21994
/proc/meminfo: memFree=31712488/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=11924 CPUtime=0.01 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 1994 0 0 0 1 0 0 0 25 0 1 0 822110420 12210176 1948 33554432000 4194304 9128323 140735822143392 18446744073709551615 7980987 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/21994/statm: 2981 1948 401 1205 0 1772 0
[startup+0.109887 s]
/proc/loadavg: 1.93 2.01 1.99 3/572 21994
/proc/meminfo: memFree=31712488/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=21596 CPUtime=0.1 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 4380 0 0 0 10 0 0 0 25 0 1 0 822110420 22114304 4333 33554432000 4194304 9128323 140735822143392 18446744073709551615 6886064 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 5399 4333 436 1205 0 4190 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 21596
[startup+0.200812 s]
/proc/loadavg: 1.93 2.01 1.99 3/572 21994
/proc/meminfo: memFree=31712488/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=63000 CPUtime=0.19 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 14445 0 0 0 18 1 0 0 25 0 1 0 822110420 64512000 14398 33554432000 4194304 9128323 140735822143392 18446744073709551615 4337012 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 15750 14398 475 1205 0 14541 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 63000
[startup+0.300864 s]
/proc/loadavg: 1.93 2.01 1.99 3/572 21994
/proc/meminfo: memFree=31712488/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=102544 CPUtime=0.29 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 24321 0 0 0 27 2 0 0 25 0 1 0 822110420 105005056 24274 33554432000 4194304 9128323 140735822143392 18446744073709551615 4207617 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 25636 24277 475 1205 0 24427 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 102544
[startup+0.700723 s]
/proc/loadavg: 1.93 2.01 1.99 3/572 21994
/proc/meminfo: memFree=31712488/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=163264 CPUtime=0.68 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 38884 0 0 0 65 3 0 0 25 0 1 0 822110420 167182336 38382 33554432000 4194304 9128323 140735822143392 18446744073709551615 8008920 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 40816 38382 499 1205 0 39607 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 163264
[startup+1.50065 s]
/proc/loadavg: 1.93 2.01 1.99 3/573 21995
/proc/meminfo: memFree=31529704/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=226564 CPUtime=1.49 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 54699 0 0 0 144 5 0 0 25 0 1 0 822110420 232001536 54197 33554432000 4194304 9128323 140735822143392 18446744073709551615 6588968 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 56641 54197 499 1205 0 55432 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 226564
[startup+3.10036 s]
/proc/loadavg: 1.93 2.01 1.99 3/573 21995
/proc/meminfo: memFree=31435708/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=357848 CPUtime=3.09 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 87467 0 0 0 301 8 0 0 25 0 1 0 822110420 366436352 86965 33554432000 4194304 9128323 140735822143392 18446744073709551615 6589035 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 89462 86965 499 1205 0 88253 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 357848
[startup+6.30072 s]
/proc/loadavg: 1.93 2.01 1.99 3/573 21995
/proc/meminfo: memFree=31182872/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=552368 CPUtime=6.29 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 137638 0 0 0 616 13 0 0 25 0 1 0 822110420 565624832 135531 33554432000 4194304 9128323 140735822143392 18446744073709551615 8008900 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 138092 135531 523 1205 0 136883 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 552368
[startup+12.7006 s]
/proc/loadavg: 1.94 2.01 1.99 3/573 21995
/proc/meminfo: memFree=30825912/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=896632 CPUtime=12.69 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 233676 0 0 0 1247 22 0 0 25 0 1 0 822110420 918151168 221151 33554432000 4194304 9128323 140735822143392 18446744073709551615 5871716 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 224158 221151 667 1205 0 222949 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 896632
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 1.99 3/573 21996
/proc/meminfo: memFree=30825028/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=896632 CPUtime=25.49 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 233989 0 0 0 2525 24 0 0 25 0 1 0 822110420 918151168 221451 33554432000 4194304 9128323 140735822143392 18446744073709551615 6674628 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 224158 221451 661 1205 0 222949 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 896632
[startup+51.1008 s]
/proc/loadavg: 1.97 2.00 1.99 3/573 21996
/proc/meminfo: memFree=30823188/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=899804 CPUtime=51.09 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 309504 0 0 0 5065 44 0 0 25 0 1 0 822110420 921399296 221684 33554432000 4194304 9128323 140735822143392 18446744073709551615 7191234 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 224951 221684 687 1205 0 223742 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 899804
[startup+102.301 s]
/proc/loadavg: 1.98 2.00 1.99 3/573 21998
/proc/meminfo: memFree=30819320/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=907116 CPUtime=102.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 310701 0 0 0 10176 55 0 0 25 0 1 0 822110420 928886784 222881 33554432000 4194304 9128323 140735822143392 18446744073709551615 4965273 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 226779 222881 694 1205 0 225570 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 907116
[startup+162.301 s]
/proc/loadavg: 1.99 2.00 1.99 3/573 21999
/proc/meminfo: memFree=30805884/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=918544 CPUtime=162.29 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 314014 0 0 0 16166 63 0 0 25 0 1 0 822110420 940589056 226194 33554432000 4194304 9128323 140735822143392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 229636 226194 694 1205 0 228427 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 918544
[startup+222.333 s]
/proc/loadavg: 1.99 2.00 1.99 3/573 22001
/proc/meminfo: memFree=30791692/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=934560 CPUtime=222.33 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 317370 0 0 0 22161 72 0 0 25 0 1 0 822110420 956989440 229550 33554432000 4194304 9128323 140735822143392 18446744073709551615 6712957 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 233640 229550 694 1205 0 232431 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 934560
[startup+282.301 s]
/proc/loadavg: 2.14 2.03 2.00 3/573 22002
/proc/meminfo: memFree=30785184/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=942528 CPUtime=282.29 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 319251 0 0 0 28145 84 0 0 25 0 1 0 822110420 965148672 231431 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192234 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 235632 231431 694 1205 0 234423 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 942528
[startup+342.301 s]
/proc/loadavg: 2.12 2.04 2.00 3/573 22004
/proc/meminfo: memFree=30785508/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=942528 CPUtime=342.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 319268 0 0 0 34138 92 0 0 25 0 1 0 822110420 965148672 231448 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 235632 231448 696 1205 0 234423 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 942528
[startup+402.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/573 22006
/proc/meminfo: memFree=30785204/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=942528 CPUtime=402.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 319302 0 0 0 40127 103 0 0 25 0 1 0 822110420 965148672 231474 33554432000 4194304 9128323 140735822143392 18446744073709551615 6578323 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 235632 231474 714 1205 0 234423 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 942528
[startup+462.301 s]
/proc/loadavg: 2.08 2.06 2.01 3/573 22007
/proc/meminfo: memFree=30783300/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=942652 CPUtime=462.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 319749 0 0 0 46123 107 0 0 25 0 1 0 822110420 965275648 231903 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192196 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 235663 231903 696 1205 0 234454 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 942652
[startup+522.301 s]
/proc/loadavg: 2.03 2.05 2.00 3/573 22009
/proc/meminfo: memFree=30783120/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=944856 CPUtime=522.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 320076 0 0 0 52118 113 0 0 25 0 1 0 822110420 967532544 232230 33554432000 4194304 9128323 140735822143392 18446744073709551615 6505895 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 236214 232230 696 1205 0 235005 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 944856
[startup+582.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 22010
/proc/meminfo: memFree=30763968/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=961240 CPUtime=582.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 324102 0 0 0 58108 122 0 0 25 0 1 0 822110420 984309760 236256 33554432000 4194304 9128323 140735822143392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 240310 236256 696 1205 0 239101 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 961240
[startup+642.3 s]
################
# More data... #
################
[startup+882.322 s]
/proc/loadavg: 2.07 2.03 2.01 3/573 22018
/proc/meminfo: memFree=30738836/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=964868 CPUtime=882.33 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 325648 0 0 0 88067 166 0 0 25 0 1 0 822110420 988024832 237802 33554432000 4194304 9128323 140735822143392 18446744073709551615 6673722 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 241217 237802 696 1205 0 240008 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 964868
[startup+942.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/573 22020
/proc/meminfo: memFree=30694284/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=967052 CPUtime=942.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 326198 0 0 0 94049 182 0 0 25 0 1 0 822110420 990261248 238352 33554432000 4194304 9128323 140735822143392 18446744073709551615 7286019 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 241763 238352 696 1205 0 240554 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 967052
[startup+1002.3 s]
/proc/loadavg: 2.09 2.06 2.01 3/573 22031
/proc/meminfo: memFree=30693388/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=967684 CPUtime=1002.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 326199 0 0 0 100034 197 0 0 25 0 1 0 822110420 990908416 238353 33554432000 4194304 9128323 140735822143392 18446744073709551615 7342934 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 241921 238353 696 1205 0 240712 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 967684
[startup+1062.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/573 22032
/proc/meminfo: memFree=30689504/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=974992 CPUtime=1062.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 327276 0 0 0 106024 207 0 0 25 0 1 0 822110420 998391808 239430 33554432000 4194304 9128323 140735822143392 18446744073709551615 7326668 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 243748 239430 696 1205 0 242539 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 974992
[startup+1122.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/573 22034
/proc/meminfo: memFree=30687488/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=974992 CPUtime=1122.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 327812 0 0 0 112013 218 0 0 25 0 1 0 822110420 998391808 239966 33554432000 4194304 9128323 140735822143392 18446744073709551615 6581570 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 243748 239966 696 1205 0 242539 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 974992
[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 22038
/proc/meminfo: memFree=30686128/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=974992 CPUtime=1182.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 327868 0 0 0 118005 226 0 0 25 0 1 0 822110420 998391808 240022 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192230 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/21994/statm: 243748 240022 696 1205 0 242539 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 974992
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 22040
/proc/meminfo: memFree=30680640/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=979260 CPUtime=1242.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 329247 0 0 0 123994 236 0 0 25 0 1 0 822110420 1002762240 241401 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192183 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 244815 241401 696 1205 0 243606 0
Current children cumulated CPU time (s) 1242.3
Current children cumulated vsize (KiB) 979260
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 22042
/proc/meminfo: memFree=30676748/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=981124 CPUtime=1302.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 329755 0 0 0 129986 244 0 0 25 0 1 0 822110420 1004670976 241876 33554432000 4194304 9128323 140735822143392 18446744073709551615 6712802 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 245281 241876 696 1205 0 244072 0
Current children cumulated CPU time (s) 1302.3
Current children cumulated vsize (KiB) 981124
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 22071
/proc/meminfo: memFree=30905408/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=981124 CPUtime=1362.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 329757 0 0 0 135982 248 0 0 25 0 1 0 822110420 1004670976 241878 33554432000 4194304 9128323 140735822143392 18446744073709551615 4964865 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 245281 241878 696 1205 0 244072 0
Current children cumulated CPU time (s) 1362.3
Current children cumulated vsize (KiB) 981124
[startup+1422.3 s]
/proc/loadavg: 2.19 2.06 2.02 3/573 22073
/proc/meminfo: memFree=30904332/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=981916 CPUtime=1422.32 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 329760 0 0 0 141976 256 0 0 25 0 1 0 822110420 1005481984 241881 33554432000 4194304 9128323 140735822143392 18446744073709551615 4964895 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 245479 241881 696 1205 0 244270 0
Current children cumulated CPU time (s) 1422.32
Current children cumulated vsize (KiB) 981916
[startup+1482.3 s]
/proc/loadavg: 2.12 2.06 2.02 3/573 22074
/proc/meminfo: memFree=30898212/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=989024 CPUtime=1482.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 331631 0 0 0 147970 260 0 0 25 0 1 0 822110420 1012760576 243752 33554432000 4194304 9128323 140735822143392 18446744073709551615 7097328 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 247256 243752 696 1205 0 246047 0
Current children cumulated CPU time (s) 1482.3
Current children cumulated vsize (KiB) 989024
[startup+1542.32 s]
/proc/loadavg: 2.04 2.05 2.01 3/573 22076
/proc/meminfo: memFree=30895192/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=993844 CPUtime=1542.33 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 332491 0 0 0 153967 266 0 0 25 0 1 0 822110420 1017696256 244612 33554432000 4194304 9128323 140735822143392 18446744073709551615 7267311 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 248461 244612 696 1205 0 247252 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 993844
[startup+1602.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/573 22078
/proc/meminfo: memFree=30895264/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=993844 CPUtime=1602.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 332494 0 0 0 159961 269 0 0 25 0 1 0 822110420 1017696256 244615 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192366 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 248461 244615 696 1205 0 247252 0
Current children cumulated CPU time (s) 1602.3
Current children cumulated vsize (KiB) 993844
[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/573 22079
/proc/meminfo: memFree=30896692/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=990524 CPUtime=1662.3 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 373540 0 0 0 165951 279 0 0 25 0 1 0 822110420 1014296576 244230 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192144 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 247631 244230 726 1205 0 246422 0
Current children cumulated CPU time (s) 1662.3
Current children cumulated vsize (KiB) 990524
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 22081
/proc/meminfo: memFree=30894160/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=993216 CPUtime=1722.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 374237 0 0 0 171941 290 0 0 25 0 1 0 822110420 1017053184 244903 33554432000 4194304 9128323 140735822143392 18446744073709551615 7192361 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 248304 244903 702 1205 0 247095 0
Current children cumulated CPU time (s) 1722.31
Current children cumulated vsize (KiB) 993216
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/573 22082
/proc/meminfo: memFree=30888412/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=997260 CPUtime=1782.31 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 375272 0 0 0 177933 298 0 0 25 0 1 0 822110420 1021194240 245938 33554432000 4194304 9128323 140735822143392 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/21994/statm: 249315 245938 719 1205 0 248106 0
Current children cumulated CPU time (s) 1782.31
Current children cumulated vsize (KiB) 997260
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 22083
/proc/meminfo: memFree=30889384/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=997260 CPUtime=1800.03 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 375272 0 0 0 179703 300 0 0 25 0 1 0 822110420 1021194240 245938 33554432000 4194304 9128323 140735822143392 18446744073709551615 4692805 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21994/statm: 249315 245938 719 1205 0 248106 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 997260
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800 s]
/proc/loadavg: 2.00 2.01 2.00 3/573 22083
/proc/meminfo: memFree=30889384/32950928 swapFree=43925852/67111528
[pid=21994] ppid=21992 vsize=997260 CPUtime=1800.03 cores=0,2,4,6
/proc/21994/stat : 21994 (scip-2.0.1.4.li) R 21992 21994 20770 0 -1 4202496 375272 0 0 0 179703 300 0 0 25 0 1 0 822110420 1021194240 245938 33554432000 4194304 9128323 140735822143392 18446744073709551615 4692805 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/21994/statm: 249315 245938 719 1205 0 248106 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 997260
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.07
CPU time (s): 1800.09
CPU user time (s): 1797.04
CPU system time (s): 3.04754
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 1208736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.04
system time used= 3.04754
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 375272
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= 5
involuntary context switches= 3143
runsolver used 9.91049 second user time and 24.3673 second system time
The end