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-3452572-1307099572.opb>
12.30/12.31 c original problem has 27027 variables (27027 bin, 0 int, 0 impl, 0 cont) and 1883063 constraints
12.30/12.31 c problem read
12.30/12.31 c presolving settings loaded
18.29/18.32 c presolving:
25.89/25.99 c (round 1) 14491 del vars, 1733117 del conss, 0 add conss, 14007 chg bounds, 172 chg sides, 344 chg coeffs, 0 upgd conss, 3308286 impls, 0 clqs
25.99/26.07 c (round 2) 14500 del vars, 1743543 del conss, 0 add conss, 14007 chg bounds, 172 chg sides, 344 chg coeffs, 0 upgd conss, 3308286 impls, 0 clqs
26.09/26.10 c (round 3) 14502 del vars, 1743545 del conss, 0 add conss, 14007 chg bounds, 173 chg sides, 346 chg coeffs, 0 upgd conss, 3308458 impls, 0 clqs
26.80/26.80 c (round 4) 14502 del vars, 1743545 del conss, 0 add conss, 14007 chg bounds, 173 chg sides, 346 chg coeffs, 139518 upgd conss, 3308458 impls, 0 clqs
42.70/42.77 c (42.8s) probing: 1000/12525 (8.0%) - 0 fixings, 0 aggregations, 5480 implications, 0 bound changes
61.51/61.54 c (61.5s) probing: 2000/12525 (16.0%) - 0 fixings, 0 aggregations, 23704 implications, 0 bound changes
61.51/61.56 c (61.6s) probing: 2001/12525 (16.0%) - 0 fixings, 0 aggregations, 23739 implications, 0 bound changes
61.51/61.56 c (61.6s) probing aborted: 2000/2000 successive useless probings
61.51/61.56 c presolving (5 rounds):
61.51/61.56 c 14502 deleted vars, 1743545 deleted constraints, 0 added constraints, 14007 tightened bounds, 0 added holes, 173 changed sides, 346 changed coefficients
61.51/61.56 c 3357266 implications, 0 cliques
61.51/61.56 c presolved problem has 12525 variables (12525 bin, 0 int, 0 impl, 0 cont) and 139518 constraints
61.51/61.56 c 93808 constraints of type <setppc>
61.51/61.56 c 45710 constraints of type <logicor>
61.51/61.56 c transformed objective value is always integral (scale: 1)
61.51/61.56 c Presolving Time: 48.10
61.51/61.56 c - non default parameters ----------------------------------------------------------------------
61.51/61.56 c # SCIP version 2.0.1.4
61.51/61.56 c
61.51/61.56 c # frequency for displaying node information lines
61.51/61.56 c # [type: int, range: [-1,2147483647], default: 100]
61.51/61.56 c display/freq = 10000
61.51/61.56 c
61.51/61.56 c # maximal time in seconds to run
61.51/61.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
61.51/61.56 c limits/time = 1800
61.51/61.56 c
61.51/61.56 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
61.51/61.56 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
61.51/61.56 c limits/memory = 13950
61.51/61.56 c
61.51/61.56 c # default clock type (1: CPU user seconds, 2: wall clock time)
61.51/61.56 c # [type: int, range: [1,2], default: 1]
61.51/61.56 c timing/clocktype = 2
61.51/61.56 c
61.51/61.56 c # belongs reading time to solving time?
61.51/61.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.51/61.56 c timing/reading = TRUE
61.51/61.56 c
61.51/61.56 c # should presolving try to simplify inequalities
61.51/61.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.51/61.56 c constraints/linear/simplifyinequalities = TRUE
61.51/61.56 c
61.51/61.56 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
61.51/61.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.51/61.56 c constraints/indicator/addCouplingCons = TRUE
61.51/61.56 c
61.51/61.56 c # should presolving try to simplify knapsacks
61.51/61.56 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
61.51/61.56 c constraints/knapsack/simplifyinequalities = TRUE
61.51/61.56 c
61.51/61.56 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
61.51/61.56 c # [type: int, range: [-1,2147483647], default: -1]
61.51/61.56 c separating/rapidlearning/freq = 0
61.51/61.56 c
61.51/61.56 c -----------------------------------------------------------------------------------------------
61.51/61.56 c start solving
61.51/61.57 c
61.51/61.60 o 176
61.51/61.60 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
61.51/61.60 c t61.6s| 1 | 0 | 0 | - | 863M| 0 | - | 12k| 139k| 0 | 0 | 0 | 0 | 0 | -- | 1.760000e+02 | Inf
176.30/176.34 c 176s| 1 | 0 | 30063 | - | 936M| 0 | 11k| 12k| 139k| 12k| 139k| 0 | 0 | 0 | 1.000000e+01 | 1.760000e+02 |1660.00%
482.71/482.81 c 483s| 1 | 0 | 76758 | - | 938M| 0 | 10k| 12k| 139k| 12k| 141k|2000 | 0 | 0 | 1.822533e+01 | 1.760000e+02 | 865.69%
541.00/541.01 c 541s| 1 | 0 | 88463 | - | 939M| 0 |9214 | 12k| 139k| 12k| 142k|2754 | 0 | 0 | 3.325000e+01 | 1.760000e+02 | 429.32%
586.01/586.06 c 586s| 1 | 0 | 93122 | - | 939M| 0 |9240 | 12k| 139k| 12k| 142k|2778 | 0 | 0 | 3.475000e+01 | 1.760000e+02 | 406.47%
631.43/631.44 c 631s| 1 | 0 | 97422 | - | 939M| 0 |8902 | 12k| 139k| 12k| 142k|2816 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
788.91/788.99 c 789s| 1 | 0 |102745 | - | 939M| 0 |9125 | 12k| 139k| 12k| 142k|2827 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
930.32/930.35 c 930s| 1 | 0 |106895 | - | 939M| 0 |9076 | 12k| 139k| 12k| 142k|2903 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
984.02/984.06 c 984s| 1 | 0 |111361 | - | 939M| 0 |8921 | 12k| 139k| 12k| 142k|2912 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
1346.63/1346.62 c 1347s| 1 | 0 |115208 | - | 939M| 0 |8856 | 12k| 139k| 12k| 142k|2922 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
1700.04/1700.00 c 1700s| 1 | 0 |119011 | - | 939M| 0 |8912 | 12k| 139k| 12k| 142k|2959 | 0 | 0 | 3.600000e+01 | 1.760000e+02 | 388.89%
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-3452572-1307099572/watcher-3452572-1307099572 -o /tmp/evaluation-result-3452572-1307099572/solver-3452572-1307099572 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3452572-1307099572.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: 1.94 2.04 2.01 2/521 23263
/proc/meminfo: memFree=21159372/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=13248 CPUtime=0.01 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 2312 0 0 0 1 0 0 0 23 0 1 0 802372868 13565952 2265 33554432000 4194304 9128323 140737335154912 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 3312 2265 400 1205 0 2103 0
[startup+0.0324491 s]
/proc/loadavg: 1.94 2.04 2.01 2/521 23263
/proc/meminfo: memFree=21159372/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=18380 CPUtime=0.02 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 3581 0 0 0 2 0 0 0 23 0 1 0 802372868 18821120 3534 33554432000 4194304 9128323 140737335154912 18446744073709551615 8008920 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 4595 3534 400 1205 0 3386 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 18380
[startup+0.100434 s]
/proc/loadavg: 1.94 2.04 2.01 2/521 23263
/proc/meminfo: memFree=21159372/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=23400 CPUtime=0.09 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 4833 0 0 0 9 0 0 0 23 0 1 0 802372868 23961600 4784 33554432000 4194304 9128323 140737335154912 18446744073709551615 7447725 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 5850 4784 400 1205 0 4641 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 23400
[startup+0.300399 s]
/proc/loadavg: 1.94 2.04 2.01 2/521 23263
/proc/meminfo: memFree=21159372/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=33644 CPUtime=0.29 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 7461 0 0 0 28 1 0 0 25 0 1 0 802372868 34451456 7378 33554432000 4194304 9128323 140737335154912 18446744073709551615 5376227 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 8411 7378 400 1205 0 7202 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33644
[startup+0.700326 s]
/proc/loadavg: 1.94 2.04 2.01 2/521 23263
/proc/meminfo: memFree=21159372/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=50856 CPUtime=0.69 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 11761 0 0 0 68 1 0 0 25 0 1 0 802372868 52076544 11671 33554432000 4194304 9128323 140737335154912 18446744073709551615 8008925 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 12714 11671 400 1205 0 11505 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 50856
[startup+1.50019 s]
/proc/loadavg: 1.94 2.04 2.01 3/522 23264
/proc/meminfo: memFree=21099392/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=87748 CPUtime=1.49 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 21003 0 0 0 146 3 0 0 25 0 1 0 802372868 89853952 20898 33554432000 4194304 9128323 140737335154912 18446744073709551615 7998096 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 21937 20898 400 1205 0 20728 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 87748
[startup+3.10088 s]
/proc/loadavg: 2.11 2.07 2.02 3/522 23264
/proc/meminfo: memFree=21045196/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=160816 CPUtime=3.09 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 39292 0 0 0 304 5 0 0 25 0 1 0 802372868 164675584 39157 33554432000 4194304 9128323 140737335154912 18446744073709551615 8057568 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 40204 39157 400 1205 0 38995 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 160816
[startup+6.3003 s]
/proc/loadavg: 2.11 2.07 2.02 3/522 23264
/proc/meminfo: memFree=20897020/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=307804 CPUtime=6.29 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 76035 0 0 0 619 10 0 0 25 0 1 0 802372868 315191296 75840 33554432000 4194304 9128323 140737335154912 18446744073709551615 6192900 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/23263/statm: 76951 75840 400 1205 0 75742 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 307804
[startup+12.7011 s]
/proc/loadavg: 2.09 2.07 2.02 3/522 23265
/proc/meminfo: memFree=20594124/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=819980 CPUtime=12.69 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 202833 0 0 0 1241 28 0 0 25 0 1 0 802372868 839659520 202423 33554432000 4194304 9128323 140737335154912 18446744073709551615 4207617 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 205188 202447 435 1205 0 203979 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 819980
[startup+25.5008 s]
/proc/loadavg: 2.08 2.07 2.02 3/522 23265
/proc/meminfo: memFree=19208616/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1975088 CPUtime=25.49 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 622700 0 0 0 2470 79 0 0 25 0 1 0 802372868 2022490112 486542 33554432000 4194304 9128323 140737335154912 18446744073709551615 6890131 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493772 486542 521 1205 0 492563 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1975088
[startup+51.1011 s]
/proc/loadavg: 2.05 2.06 2.01 3/522 23266
/proc/meminfo: memFree=19317208/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1868176 CPUtime=51.1 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 631093 0 0 0 5029 81 0 0 25 0 1 0 802372868 1913012224 459926 33554432000 4194304 9128323 140737335154912 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 467044 459926 664 1205 0 465835 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 1868176
[startup+102.32 s]
/proc/loadavg: 2.02 2.05 2.01 3/522 23267
/proc/meminfo: memFree=19202872/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1992172 CPUtime=102.31 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 673864 0 0 0 10138 93 0 0 25 0 1 0 802372868 2039984128 488520 33554432000 4194304 9128323 140737335154912 18446744073709551615 7316191 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 498043 488520 780 1205 0 496834 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1992172
[startup+162.301 s]
/proc/loadavg: 2.00 2.04 2.00 3/522 23269
/proc/meminfo: memFree=19200648/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1994536 CPUtime=162.3 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 674546 0 0 0 16130 100 0 0 25 0 1 0 802372868 2042404864 489108 33554432000 4194304 9128323 140737335154912 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 498634 489108 780 1205 0 497425 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 1994536
[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 23270
/proc/meminfo: memFree=19211432/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=222.3 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 681771 0 0 0 22119 111 0 0 25 0 1 0 802372868 2022330368 486416 33554432000 4194304 9128323 140737335154912 18446744073709551615 7284969 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486416 772 1205 0 492524 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 1974932
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23272
/proc/meminfo: memFree=19211728/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=282.3 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 681790 0 0 0 28114 116 0 0 25 0 1 0 802372868 2022330368 486435 33554432000 4194304 9128323 140737335154912 18446744073709551615 7315455 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486435 772 1205 0 492524 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1974932
[startup+342.301 s]
/proc/loadavg: 2.08 2.04 2.01 3/522 23273
/proc/meminfo: memFree=19210776/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=342.31 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 681793 0 0 0 34109 122 0 0 25 0 1 0 802372868 2022330368 486438 33554432000 4194304 9128323 140737335154912 18446744073709551615 7316182 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486438 772 1205 0 492524 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 1974932
[startup+402.301 s]
/proc/loadavg: 2.17 2.09 2.02 3/522 23275
/proc/meminfo: memFree=19210884/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=402.3 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 681796 0 0 0 40103 127 0 0 25 0 1 0 802372868 2022330368 486441 33554432000 4194304 9128323 140737335154912 18446744073709551615 7313767 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486441 772 1205 0 492524 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1974932
[startup+462.301 s]
/proc/loadavg: 2.09 2.08 2.02 3/522 23277
/proc/meminfo: memFree=19212224/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=462.3 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 681806 0 0 0 46097 133 0 0 25 0 1 0 802372868 2022330368 486451 33554432000 4194304 9128323 140737335154912 18446744073709551615 7244757 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486451 772 1205 0 492524 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1974932
[startup+522.301 s]
/proc/loadavg: 2.03 2.07 2.02 3/522 23278
/proc/meminfo: memFree=19216044/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=522.31 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682036 0 0 0 52092 139 0 0 25 0 1 0 802372868 2022330368 486632 33554432000 4194304 9128323 140737335154912 18446744073709551615 7077395 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486632 747 1205 0 492524 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 1974932
[startup+582.301 s]
/proc/loadavg: 2.01 2.05 2.01 3/522 23280
/proc/meminfo: memFree=19223076/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=582.31 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682444 0 0 0 58086 145 0 0 25 0 1 0 802372868 2022330368 486991 33554432000 4194304 9128323 140737335154912 18446744073709551615 7279254 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486991 1055 1205 0 492524 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1974932
[startup+642.301 s]
################
# More data... #
################
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 100041 191 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 6694338 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 1974932
[startup+1062.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/522 23295
/proc/meminfo: memFree=19235692/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1062.33 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 106035 198 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 1974932
[startup+1122.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/522 23297
/proc/meminfo: memFree=19235176/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1122.33 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 112027 206 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 7021486 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 1974932
[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23299
/proc/meminfo: memFree=19218164/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1182.33 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 118021 212 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 7021486 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 1974932
[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23300
/proc/meminfo: memFree=19218028/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1242.32 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 124013 219 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 1974932
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/522 23302
/proc/meminfo: memFree=19210692/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1302.34 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 130007 227 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 1974932
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/522 23304
/proc/meminfo: memFree=19210928/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1362.34 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 136002 232 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8009021 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 1974932
[startup+1422.32 s]
/proc/loadavg: 2.23 2.05 2.02 3/522 23305
/proc/meminfo: memFree=19210896/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1422.35 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 141997 238 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 1974932
[startup+1482.3 s]
/proc/loadavg: 2.16 2.05 2.02 3/522 23335
/proc/meminfo: memFree=19407236/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1482.33 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 147986 247 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 7021480 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 1974932
[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 2.01 3/522 23336
/proc/meminfo: memFree=19422304/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1542.34 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 153982 252 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8009001 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 1974932
[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/522 23338
/proc/meminfo: memFree=19422524/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1602.34 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 159975 259 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8012955 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 1974932
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/522 23340
/proc/meminfo: memFree=19411312/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1662.34 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682445 0 0 0 165968 266 0 0 25 0 1 0 802372868 2022330368 486992 33554432000 4194304 9128323 140737335154912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486992 1055 1205 0 492524 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 1974932
[startup+1722.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/522 23341
/proc/meminfo: memFree=19412152/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1722.35 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682459 0 0 0 171963 272 0 0 25 0 1 0 802372868 2022330368 486995 33554432000 4194304 9128323 140737335154912 18446744073709551615 7315612 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486995 1047 1205 0 492524 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 1974932
[startup+1782.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/522 23343
/proc/meminfo: memFree=19399196/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1782.35 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682464 0 0 0 177958 277 0 0 25 0 1 0 802372868 2022330368 486995 33554432000 4194304 9128323 140737335154912 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486995 1042 1205 0 492524 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 1974932
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.06 2.05 2.01 3/522 23343
/proc/meminfo: memFree=19400168/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1800.06 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682464 0 0 0 179728 278 0 0 25 0 1 0 802372868 2022330368 486995 33554432000 4194304 9128323 140737335154912 18446744073709551615 7315582 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486995 1042 1205 0 492524 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1974932
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -23263
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.06 2.05 2.01 3/523 23344
/proc/meminfo: memFree=19399044/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1801.45 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682464 0 0 0 179866 279 0 0 25 0 1 0 802372868 2022330368 486995 33554432000 4194304 9128323 140737335154912 18446744073709551615 7312779 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486995 1042 1205 0 492524 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 1974932
[startup+1801.82 s]
/proc/loadavg: 2.05 2.05 2.00 3/523 23344
/proc/meminfo: memFree=19399416/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1801.87 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682464 0 0 0 179908 279 0 0 25 0 1 0 802372868 2022330368 486995 33554432000 4194304 9128323 140737335154912 18446744073709551615 7240633 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486995 1042 1205 0 492524 0
Current children cumulated CPU time (s) 1801.87
Current children cumulated vsize (KiB) 1974932
[startup+1802 s]
/proc/loadavg: 2.05 2.05 2.00 3/523 23344
/proc/meminfo: memFree=19399416/32951124 swapFree=58800704/67111528
[pid=23263] ppid=23261 vsize=1974932 CPUtime=1802.05 cores=1,3,5,7
/proc/23263/stat : 23263 (scip-2.0.1.4.li) R 23261 23263 22695 0 -1 4202496 682464 0 0 0 179926 279 0 0 25 0 1 0 802372868 2022330368 486995 33554432000 4194304 9128323 140737335154912 18446744073709551615 7325427 0 0 4096 16384 0 0 0 17 3 0 0 0
/proc/23263/statm: 493733 486995 1042 1205 0 492524 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 1974932
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.1
CPU time (s): 1802.16
CPU user time (s): 1799.29
CPU system time (s): 2.86956
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 2387980
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.29
system time used= 2.86956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 682464
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= 6176
runsolver used 8.87665 second user time and 22.2086 second system time
The end