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-3451902-1307115470.opb>
0.19/0.20 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 30406 constraints
0.19/0.20 c problem read
0.19/0.20 c presolving settings loaded
0.19/0.28 o 0
0.19/0.28 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.19/0.28 c presolving:
0.29/0.32 c (round 1) 576 del vars, 576 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.39/0.42 c (round 2) 576 del vars, 4958 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 25448 upgd conss, 2340 impls, 0 clqs
0.39/0.45 c (0.5s) probing: 101/1449 (7.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.39/0.45 c (0.5s) probing aborted: 100/100 successive totally useless probings
0.39/0.45 c presolving (3 rounds):
0.39/0.45 c 576 deleted vars, 4958 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.39/0.45 c 2340 implications, 0 cliques
0.39/0.45 c presolved problem has 1449 variables (1449 bin, 0 int, 0 impl, 0 cont) and 25448 constraints
0.39/0.45 c 594 constraints of type <setppc>
0.39/0.45 c 24854 constraints of type <logicor>
0.39/0.45 c transformed objective value is always integral (scale: 1)
0.39/0.45 c Presolving Time: 0.23
0.39/0.45 c - non default parameters ----------------------------------------------------------------------
0.39/0.45 c # SCIP version 2.0.1.4
0.39/0.45 c
0.39/0.45 c # frequency for displaying node information lines
0.39/0.45 c # [type: int, range: [-1,2147483647], default: 100]
0.39/0.45 c display/freq = 10000
0.39/0.45 c
0.39/0.45 c # maximal time in seconds to run
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/time = 1800
0.39/0.45 c
0.39/0.45 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.39/0.45 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.39/0.45 c limits/memory = 13950
0.39/0.45 c
0.39/0.45 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.39/0.45 c # [type: int, range: [1,2], default: 1]
0.39/0.45 c timing/clocktype = 2
0.39/0.45 c
0.39/0.45 c # belongs reading time to solving time?
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c timing/reading = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify inequalities
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/linear/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/indicator/addCouplingCons = TRUE
0.39/0.45 c
0.39/0.45 c # should presolving try to simplify knapsacks
0.39/0.45 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.39/0.45 c constraints/knapsack/simplifyinequalities = TRUE
0.39/0.45 c
0.39/0.45 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.39/0.45 c # [type: int, range: [-1,2147483647], default: -1]
0.39/0.45 c separating/rapidlearning/freq = 0
0.39/0.45 c
0.39/0.45 c -----------------------------------------------------------------------------------------------
0.39/0.45 c start solving
0.39/0.45 c
3.59/3.64 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
3.59/3.64 c t 3.6s| 1 | 0 | 10498 | - | 35M| 0 |1442 |1449 | 25k|1449 | 25k| 0 | 0 | 0 |-2.439500e+02 | 0.000000e+00 | 100.00%
3.59/3.68 o -3
3.59/3.68 c R 3.7s| 1 | 0 | 10498 | - | 35M| 0 |1442 |1449 | 25k|1449 | 25k| 0 | 0 | 0 |-2.439500e+02 |-3.000000e+00 | 98.77%
3.69/3.73 o -4
3.69/3.73 c s 3.7s| 1 | 0 | 10498 | - | 35M| 0 |1442 |1449 | 25k|1449 | 25k| 0 | 0 | 0 |-2.439500e+02 |-4.000000e+00 | 98.36%
5.40/5.47 c 5.5s| 1 | 0 | 14124 | - | 36M| 0 |1439 |1449 | 25k|1449 | 25k| 6 | 0 | 0 |-2.413250e+02 |-4.000000e+00 | 98.34%
5.40/5.47 o -16
5.40/5.47 c b 5.5s| 1 | 0 | 14124 | - | 36M| 0 |1439 |1449 | 25k|1449 | 25k| 6 | 0 | 0 |-2.413250e+02 |-1.600000e+01 | 93.37%
7.49/7.52 c 7.5s| 1 | 0 | 18854 | - | 36M| 0 |1448 |1449 | 25k|1449 | 25k| 12 | 0 | 0 |-2.395961e+02 |-1.600000e+01 | 93.32%
17.19/17.20 c 17.2s| 1 | 0 | 27506 | - | 37M| 0 |1448 |1449 | 25k|1449 | 25k| 19 | 0 | 0 |-2.380812e+02 |-1.600000e+01 | 93.28%
31.70/31.72 c 31.7s| 1 | 0 | 37382 | - | 39M| 0 |1448 |1449 | 25k|1449 | 25k| 73 | 0 | 0 |-2.337453e+02 |-1.600000e+01 | 93.15%
47.40/47.48 c 47.5s| 1 | 0 | 47637 | - | 41M| 0 |1446 |1449 | 25k|1449 | 25k| 80 | 0 | 0 |-2.320696e+02 |-1.600000e+01 | 93.11%
65.09/65.14 c 65.1s| 1 | 0 | 61518 | - | 43M| 0 |1445 |1449 | 25k|1449 | 25k| 88 | 0 | 0 |-2.311620e+02 |-1.600000e+01 | 93.08%
74.60/74.61 c 74.6s| 1 | 0 | 64498 | - | 46M| 0 |1444 |1449 | 25k|1449 | 25k| 92 | 0 | 0 |-2.308347e+02 |-1.600000e+01 | 93.07%
90.49/90.58 c 90.6s| 1 | 0 | 74606 | - | 50M| 0 |1446 |1449 | 25k|1449 | 25k| 99 | 0 | 0 |-2.303325e+02 |-1.600000e+01 | 93.05%
106.49/106.54 c 107s| 1 | 0 | 83416 | - | 54M| 0 |1448 |1449 | 25k|1449 | 25k| 103 | 0 | 0 |-2.298460e+02 |-1.600000e+01 | 93.04%
153.39/153.46 c 153s| 1 | 0 |107130 | - | 55M| 0 |1444 |1449 | 25k|1449 | 25k| 106 | 0 | 0 |-2.282736e+02 |-1.600000e+01 | 92.99%
175.59/175.69 c 176s| 1 | 0 |115226 | - | 56M| 0 |1446 |1449 | 25k|1449 | 25k| 108 | 0 | 0 |-2.281070e+02 |-1.600000e+01 | 92.99%
191.30/191.32 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
191.30/191.32 c 191s| 1 | 0 |116336 | - | 57M| 0 |1446 |1449 | 25k|1449 | 25k| 109 | 0 | 0 |-2.281070e+02 |-1.600000e+01 | 92.99%
208.60/208.69 c 209s| 1 | 0 |117361 | - | 57M| 0 |1446 |1449 | 25k|1449 | 25k| 110 | 0 | 0 |-2.281070e+02 |-1.600000e+01 | 92.99%
229.29/229.30 c 229s| 1 | 0 |120883 | - | 57M| 0 |1445 |1449 | 25k|1449 | 25k| 111 | 0 | 0 |-2.280912e+02 |-1.600000e+01 | 92.99%
248.30/248.34 c 248s| 1 | 0 |123168 | - | 58M| 0 |1444 |1449 | 25k|1449 | 25k| 112 | 0 | 0 |-2.280456e+02 |-1.600000e+01 | 92.98%
265.90/265.90 c 266s| 1 | 0 |128092 | - | 62M| 0 |1447 |1449 | 25k|1449 | 25k| 114 | 0 | 0 |-2.279708e+02 |-1.600000e+01 | 92.98%
287.60/287.61 c 288s| 1 | 0 |133493 | - | 66M| 0 |1447 |1449 | 25k|1449 | 25k| 116 | 0 | 0 |-2.279645e+02 |-1.600000e+01 | 92.98%
306.81/306.91 c 307s| 1 | 0 |135061 | - | 68M| 0 |1447 |1449 | 25k|1449 | 25k| 117 | 0 | 0 |-2.279645e+02 |-1.600000e+01 | 92.98%
327.50/327.51 c 328s| 1 | 0 |136751 | - | 69M| 0 |1446 |1449 | 25k|1449 | 25k| 118 | 0 | 0 |-2.279645e+02 |-1.600000e+01 | 92.98%
347.90/347.98 c 348s| 1 | 0 |137757 | - | 70M| 0 |1446 |1449 | 25k|1449 | 25k| 119 | 0 | 0 |-2.279645e+02 |-1.600000e+01 | 92.98%
368.10/368.13 c 368s| 1 | 0 |151561 | - | 70M| 0 |1447 |1449 | 25k|1449 | 25k| 120 | 0 | 0 |-2.279510e+02 |-1.600000e+01 | 92.98%
389.11/389.19 c 389s| 1 | 0 |157084 | - | 70M| 0 |1445 |1449 | 25k|1449 | 25k| 120 | 0 | 18 |-2.274654e+02 |-1.600000e+01 | 92.97%
421.00/421.05 c 421s| 1 | 0 |176131 | - | 70M| 0 |1442 |1449 | 25k|1449 | 25k| 121 | 0 | 18 |-2.258766e+02 |-1.600000e+01 | 92.92%
462.21/462.28 c 462s| 1 | 0 |187551 | - | 70M| 0 |1443 |1449 | 25k|1449 | 25k| 121 | 0 | 52 |-2.254076e+02 |-1.600000e+01 | 92.90%
496.50/496.56 c 497s| 1 | 0 |207355 | - | 70M| 0 |1441 |1449 | 25k|1449 | 25k| 160 | 0 | 52 |-2.200475e+02 |-1.600000e+01 | 92.73%
515.01/515.08 c 515s| 1 | 2 |207355 | - | 70M| 0 |1441 |1449 | 25k|1449 | 25k| 160 | 0 | 73 |-2.200475e+02 |-1.600000e+01 | 92.73%
865.52/865.58 o -47
865.52/865.58 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
865.52/865.58 c p 866s| 4 | 5 |507295 |99980.0 | 73M| 2 | - |1449 | 25k|1449 | 25k| 160 | 6 | 188 |-2.157505e+02 |-4.700000e+01 | 78.22%
951.72/951.77 o -48
951.72/951.77 c p 952s| 5 | 6 |593019 |96416.0 | 74M| 2 | - |1449 | 25k|1449 | 25k| 160 | 6 | 207 |-2.157505e+02 |-4.800000e+01 | 77.75%
1587.35/1587.32 o -62
1587.35/1587.32 c R1587s| 23 | 22 | 1177k|44100.7 | 71M| 13 |1010 |1449 | 25k|1449 | 25k| 160 | 48 | 449 |-2.139650e+02 |-6.200000e+01 | 71.02%
1589.56/1589.51 o -65
1589.56/1589.51 c R1590s| 25 | 22 | 1180k|40565.9 | 71M| 14 | 932 |1449 | 25k|1449 | 25k| 160 | 50 | 449 |-2.139650e+02 |-6.500000e+01 | 69.62%
1600.94/1600.94 o -72
1600.94/1600.94 c R1601s| 28 | 23 | 1187k|36286.5 | 71M| 16 | 795 |1449 | 25k|1449 | 25k| 160 | 51 | 464 |-2.139650e+02 |-7.200000e+01 | 66.35%
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-3451902-1307115470/watcher-3451902-1307115470 -o /tmp/evaluation-result-3451902-1307115470/solver-3451902-1307115470 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3451902-1307115470.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.92 2.00 1.99 2/483 13727
/proc/meminfo: memFree=24581160/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=10784 CPUtime=0 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 1695 0 0 0 0 0 0 0 25 0 1 0 901777697 11042816 1649 33554432000 4194304 9128323 140735714281360 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13727/statm: 2696 1655 400 1205 0 1487 0
[startup+0.0415391 s]
/proc/loadavg: 1.92 2.00 1.99 2/483 13727
/proc/meminfo: memFree=24581160/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=14532 CPUtime=0.03 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 2621 0 0 0 3 0 0 0 25 0 1 0 901777697 14880768 2574 33554432000 4194304 9128323 140735714281360 18446744073709551615 6191857 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13727/statm: 3633 2574 400 1205 0 2424 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 14532
[startup+0.100526 s]
/proc/loadavg: 1.92 2.00 1.99 2/483 13727
/proc/meminfo: memFree=24581160/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=16860 CPUtime=0.09 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 3221 0 0 0 9 0 0 0 25 0 1 0 901777697 17264640 3173 33554432000 4194304 9128323 140735714281360 18446744073709551615 6191857 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/13727/statm: 4215 3173 400 1205 0 3006 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16860
[startup+0.300434 s]
/proc/loadavg: 1.92 2.00 1.99 2/483 13727
/proc/meminfo: memFree=24581160/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=58392 CPUtime=0.29 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 13642 0 0 0 27 2 0 0 25 0 1 0 901777697 59793408 13282 33554432000 4194304 9128323 140735714281360 18446744073709551615 18446744073699065949 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 14598 13282 516 1205 0 13389 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 58392
[startup+0.70036 s]
/proc/loadavg: 1.92 2.00 1.99 2/483 13727
/proc/meminfo: memFree=24581160/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=107664 CPUtime=0.69 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 27177 0 0 0 65 4 0 0 25 0 1 0 901777697 110247936 24107 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 26916 24107 851 1205 0 25707 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 107664
[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 1.99 3/484 13728
/proc/meminfo: memFree=24478108/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=112344 CPUtime=1.49 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 31137 0 0 0 143 6 0 0 25 0 1 0 901777697 115040256 26339 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 28086 26339 678 1205 0 26877 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 112344
[startup+3.101 s]
/proc/loadavg: 1.92 2.00 1.99 3/484 13728
/proc/meminfo: memFree=24476312/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=112344 CPUtime=3.09 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 31208 0 0 0 301 8 0 0 25 0 1 0 901777697 115040256 26388 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 28086 26388 683 1205 0 26877 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 112344
[startup+6.3004 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 13728
/proc/meminfo: memFree=24477764/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=115600 CPUtime=6.29 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 33151 0 0 0 619 10 0 0 25 0 1 0 901777697 118374400 26224 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 28900 26224 711 1205 0 27691 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 115600
[startup+12.7002 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 13728
/proc/meminfo: memFree=24475060/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=116408 CPUtime=12.69 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 33595 0 0 0 1252 17 0 0 25 0 1 0 901777697 119201792 26588 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 29102 26588 881 1205 0 27893 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 116408
[startup+25.5009 s]
/proc/loadavg: 2.08 2.04 2.01 3/484 13729
/proc/meminfo: memFree=24473132/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=116408 CPUtime=25.49 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 34255 0 0 0 2522 27 0 0 25 0 1 0 901777697 119201792 27236 33554432000 4194304 9128323 140735714281360 18446744073709551615 6280361 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 29102 27236 869 1205 0 27893 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 116408
[startup+51.1002 s]
/proc/loadavg: 2.05 2.03 2.00 3/484 13729
/proc/meminfo: memFree=24465836/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=126380 CPUtime=51.09 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 36081 0 0 0 5065 44 0 0 25 0 1 0 901777697 129413120 28906 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 31595 28906 714 1205 0 30386 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 126380
[startup+102.318 s]
/proc/loadavg: 2.02 2.02 2.00 3/484 13734
/proc/meminfo: memFree=24441848/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=144964 CPUtime=102.31 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 43058 0 0 0 10160 71 0 0 25 0 1 0 901777697 148443136 34914 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 36241 34914 1235 1205 0 35032 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 144964
[startup+162.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 13735
/proc/meminfo: memFree=24440108/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=147312 CPUtime=162.29 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 43564 0 0 0 16136 93 0 0 25 0 1 0 901777697 150847488 35162 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 36828 35162 1028 1205 0 35619 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 147312
[startup+222.301 s]
/proc/loadavg: 2.12 2.04 2.01 3/484 13737
/proc/meminfo: memFree=24434612/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=153264 CPUtime=222.29 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 46811 0 0 0 22106 123 0 0 25 0 1 0 901777697 156942336 36343 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 38316 36343 732 1205 0 37107 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 153264
[startup+282.301 s]
/proc/loadavg: 2.05 2.03 2.00 3/484 13767
/proc/meminfo: memFree=24663096/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=161524 CPUtime=282.3 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 51108 0 0 0 28078 152 0 0 25 0 1 0 901777697 165400576 38959 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 40381 38959 819 1205 0 39172 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 161524
[startup+342.301 s]
/proc/loadavg: 2.02 2.03 2.00 3/484 13768
/proc/meminfo: memFree=24649084/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=178032 CPUtime=342.31 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 54931 0 0 0 34055 176 0 0 25 0 1 0 901777697 182304768 42481 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 44508 42481 1215 1205 0 43299 0
Current children cumulated CPU time (s) 342.31
Current children cumulated vsize (KiB) 178032
[startup+402.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 13770
/proc/meminfo: memFree=24652752/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=171744 CPUtime=402.3 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 57080 0 0 0 40026 204 0 0 25 0 1 0 901777697 175865856 41107 33554432000 4194304 9128323 140735714281360 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 42936 41107 837 1205 0 41727 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 171744
[startup+462.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13771
/proc/meminfo: memFree=24654220/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=170796 CPUtime=462.31 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 57654 0 0 0 46001 230 0 0 25 0 1 0 901777697 174895104 40772 33554432000 4194304 9128323 140735714281360 18446744073709551615 4683856 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 42699 40772 833 1205 0 41490 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 170796
[startup+522.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13773
/proc/meminfo: memFree=24652556/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=170796 CPUtime=522.31 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 57883 0 0 0 51976 255 0 0 25 0 1 0 901777697 174895104 41000 33554432000 4194304 9128323 140735714281360 18446744073709551615 6941086 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 42699 41000 835 1205 0 41490 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 170796
[startup+582.301 s]
/proc/loadavg: 2.03 2.02 2.00 3/484 13775
/proc/meminfo: memFree=24649664/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=170796 CPUtime=582.31 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 57916 0 0 0 57955 276 0 0 25 0 1 0 901777697 174895104 41032 33554432000 4194304 9128323 140735714281360 18446744073709551615 7316174 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 42699 41032 834 1205 0 41490 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 170796
[startup+642.301 s]
################
# More data... #
################
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 69432 0 0 0 99740 493 0 0 25 0 1 0 901777697 176492544 40885 33554432000 4194304 9128323 140735714281360 18446744073709551615 6941904 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43089 40885 782 1205 0 41880 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 172356
[startup+1062.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 13787
/proc/meminfo: memFree=24633232/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=173004 CPUtime=1062.33 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 82036 0 0 0 105711 522 0 0 25 0 1 0 901777697 177156096 41421 33554432000 4194304 9128323 140735714281360 18446744073709551615 7315680 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43251 41421 780 1205 0 42042 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 173004
[startup+1122.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/484 13789
/proc/meminfo: memFree=24628104/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=175144 CPUtime=1122.33 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 83124 0 0 0 111678 555 0 0 25 0 1 0 901777697 179347456 42509 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43786 42509 1042 1205 0 42577 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 175144
[startup+1182.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/484 13791
/proc/meminfo: memFree=24626344/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=175144 CPUtime=1182.33 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 83127 0 0 0 117644 589 0 0 25 0 1 0 901777697 179347456 42510 33554432000 4194304 9128323 140735714281360 18446744073709551615 7284969 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43786 42510 1040 1205 0 42577 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 175144
[startup+1242.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/484 13792
/proc/meminfo: memFree=24626312/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=175348 CPUtime=1242.33 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 83980 0 0 0 123616 617 0 0 25 0 1 0 901777697 179556352 41934 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43837 41934 930 1205 0 42628 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 175348
[startup+1302.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/484 13794
/proc/meminfo: memFree=24625056/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=175348 CPUtime=1302.34 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 84234 0 0 0 129585 649 0 0 25 0 1 0 901777697 179556352 42158 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43837 42158 900 1205 0 42628 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 175348
[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/484 13795
/proc/meminfo: memFree=24622512/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=174432 CPUtime=1362.33 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 86674 0 0 0 135551 682 0 0 25 0 1 0 901777697 178618368 41820 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43608 41820 862 1205 0 42399 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 174432
[startup+1422.32 s]
/proc/loadavg: 2.01 2.02 2.00 3/484 13806
/proc/meminfo: memFree=24619844/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=173724 CPUtime=1422.35 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 91024 0 0 0 141519 716 0 0 25 0 1 0 901777697 177893376 41648 33554432000 4194304 9128323 140735714281360 18446744073709551615 7315702 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43431 41648 843 1205 0 42222 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 173724
[startup+1482.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/484 13808
/proc/meminfo: memFree=24618660/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=174456 CPUtime=1482.33 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 91301 0 0 0 147490 743 0 0 25 0 1 0 901777697 178642944 41924 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43614 41924 842 1205 0 42405 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 174456
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13809
/proc/meminfo: memFree=24618764/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=174456 CPUtime=1542.34 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 91339 0 0 0 153452 782 0 0 25 0 1 0 901777697 178642944 41957 33554432000 4194304 9128323 140735714281360 18446744073709551615 7315625 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43614 41957 837 1205 0 42405 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 174456
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/484 13811
/proc/meminfo: memFree=24621056/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=173296 CPUtime=1602.34 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 106328 0 0 0 159414 820 0 0 25 0 1 0 901777697 177455104 41580 33554432000 4194304 9128323 140735714281360 18446744073709551615 7320067 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 43324 41580 807 1205 0 42115 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 173296
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/484 13812
/proc/meminfo: memFree=24615316/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=178336 CPUtime=1662.34 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 112710 0 0 0 165387 847 0 0 25 0 1 0 901777697 182616064 42823 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 44584 42823 766 1205 0 43375 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 178336
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/484 13814
/proc/meminfo: memFree=24614396/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=177336 CPUtime=1722.35 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 114539 0 0 0 171362 873 0 0 25 0 1 0 901777697 181592064 42034 33554432000 4194304 9128323 140735714281360 18446744073709551615 7316469 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 44334 42034 754 1205 0 43125 0
Current children cumulated CPU time (s) 1722.35
Current children cumulated vsize (KiB) 177336
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/484 13816
/proc/meminfo: memFree=24610880/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=178024 CPUtime=1782.35 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 119426 0 0 0 177339 896 0 0 25 0 1 0 901777697 182296576 43040 33554432000 4194304 9128323 140735714281360 18446744073709551615 7315710 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 44506 43040 904 1205 0 43297 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 178024
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/484 13816
/proc/meminfo: memFree=24611104/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=178024 CPUtime=1800.06 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 119427 0 0 0 179101 905 0 0 25 0 1 0 901777697 182296576 43041 33554432000 4194304 9128323 140735714281360 18446744073709551615 7314701 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 44506 43041 904 1205 0 43297 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 178024
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -13727
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/485 13817
/proc/meminfo: memFree=24609980/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=178024 CPUtime=1801.45 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 119427 0 0 0 179240 905 0 0 25 0 1 0 901777697 182296576 43041 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 44506 43041 904 1205 0 43297 0
Current children cumulated CPU time (s) 1801.45
Current children cumulated vsize (KiB) 178024
[startup+1801.82 s]
/proc/loadavg: 2.00 2.00 2.00 3/485 13817
/proc/meminfo: memFree=24610352/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=180960 CPUtime=1801.86 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 120497 0 0 0 179281 905 0 0 25 0 1 0 901777697 185303040 44111 33554432000 4194304 9128323 140735714281360 18446744073709551615 7267548 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 45240 44111 1241 1205 0 44031 0
Current children cumulated CPU time (s) 1801.86
Current children cumulated vsize (KiB) 180960
[startup+1802 s]
/proc/loadavg: 2.00 2.00 2.00 3/485 13817
/proc/meminfo: memFree=24610352/32950928 swapFree=61542356/67111528
[pid=13727] ppid=13725 vsize=180960 CPUtime=1802.04 cores=1,3,5,7
/proc/13727/stat : 13727 (scip-2.0.1.4.li) R 13725 13727 12040 0 -1 4202496 120497 0 0 0 179299 905 0 0 25 0 1 0 901777697 185303040 44111 33554432000 4194304 9128323 140735714281360 18446744073709551615 8054618 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/13727/statm: 45240 44111 1241 1205 0 44031 0
Current children cumulated CPU time (s) 1802.04
Current children cumulated vsize (KiB) 180960
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.03
CPU time (s): 1802.08
CPU user time (s): 1793.02
CPU system time (s): 9.06662
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 180960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.02
system time used= 9.06662
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 120497
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= 4
involuntary context switches= 22057
runsolver used 7.9028 second user time and 20.0929 second system time
The end