0.00/0.00 c SCIP version 2.0.1.5 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00 c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3741779-1338777733.opb>
2.49/2.59 c original problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
2.49/2.59 c problem read
2.49/2.59 c presolving settings loaded
3.89/3.92 o 14300
3.89/3.92 c feasible solution found by trivial heuristic, objective value 1.430000e+04
3.89/3.92 c presolving:
5.79/5.83 c (round 1) 0 del vars, 0 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 65280 upgd conss, 0 impls, 0 clqs
6.09/6.11 c (6.1s) probing: 101/14300 (0.7%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
6.09/6.11 c (6.1s) probing aborted: 100/100 successive totally useless probings
6.09/6.11 c presolving (2 rounds):
6.09/6.11 c 0 deleted vars, 0 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
6.09/6.11 c 0 implications, 0 cliques
6.09/6.11 c presolved problem has 14300 variables (14300 bin, 0 int, 0 impl, 0 cont) and 65280 constraints
6.09/6.11 c 65280 constraints of type <logicor>
6.09/6.11 c transformed objective value is always integral (scale: 1)
6.09/6.11 c Presolving Time: 2.45
6.09/6.11 c - non default parameters ----------------------------------------------------------------------
6.09/6.11 c # SCIP version 2.0.1.5
6.09/6.11 c
6.09/6.11 c # maximal number of intermediate conflict constraints generated in conflict graph (-1: use every intermediate constraint)
6.09/6.11 c # [type: int, range: [-1,2147483647], default: -1]
6.09/6.11 c conflict/interconss = 0
6.09/6.11 c
6.09/6.11 c # should binary conflicts be preferred?
6.09/6.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.11 c conflict/preferbinary = TRUE
6.09/6.11 c
6.09/6.11 c # maximum age an unnecessary constraint can reach before it is deleted (0: dynamic, -1: keep all constraints)
6.09/6.11 c # [type: int, range: [-1,2147483647], default: 0]
6.09/6.11 c constraints/agelimit = 1
6.09/6.11 c
6.09/6.11 c # should enforcement of pseudo solution be disabled?
6.09/6.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.11 c constraints/disableenfops = TRUE
6.09/6.11 c
6.09/6.11 c # frequency for displaying node information lines
6.09/6.11 c # [type: int, range: [-1,2147483647], default: 100]
6.09/6.11 c display/freq = 10000
6.09/6.11 c
6.09/6.11 c # maximal time in seconds to run
6.09/6.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.09/6.11 c limits/time = 1797
6.09/6.11 c
6.09/6.11 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
6.09/6.11 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
6.09/6.11 c limits/memory = 13950
6.09/6.11 c
6.09/6.11 c # default clock type (1: CPU user seconds, 2: wall clock time)
6.09/6.11 c # [type: int, range: [1,2], default: 1]
6.09/6.11 c timing/clocktype = 2
6.09/6.11 c
6.09/6.11 c # belongs reading time to solving time?
6.09/6.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.11 c timing/reading = TRUE
6.09/6.11 c
6.09/6.11 c # should presolving try to simplify inequalities
6.09/6.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.11 c constraints/linear/simplifyinequalities = TRUE
6.09/6.11 c
6.09/6.11 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
6.09/6.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.11 c constraints/indicator/addCouplingCons = TRUE
6.09/6.11 c
6.09/6.11 c # should presolving try to simplify knapsacks
6.09/6.11 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
6.09/6.11 c constraints/knapsack/simplifyinequalities = TRUE
6.09/6.11 c
6.09/6.11 c -----------------------------------------------------------------------------------------------
6.09/6.11 c start solving
6.09/6.11 c
159.05/159.13 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
159.05/159.13 c t 159s| 1 | 0 | 18798 | - | 588M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.430000e+04 | Large
159.05/159.13 o 116
159.05/159.13 c r 159s| 1 | 0 | 18798 | - | 588M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.160000e+02 | 176.19%
159.05/159.17 o 115
159.05/159.17 c R 159s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.150000e+02 | 173.81%
159.15/159.22 o 114
159.15/159.22 c s 159s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 1.140000e+02 | 171.43%
190.45/190.56 o 85
190.45/190.56 c z 191s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 8.500000e+01 | 102.38%
477.21/477.34 o 66
477.21/477.34 c E 477s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 6.600000e+01 | 57.14%
477.31/477.49 c 477s| 1 | 0 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 0 | 4.200000e+01 | 6.600000e+01 | 57.14%
702.46/702.60 c 703s| 1 | 2 | 18798 | - | 589M| 0 | 116 | 14k| 65k| 14k| 65k| 0 | 0 | 33 | 4.200000e+01 | 6.600000e+01 | 57.14%
703.46/703.66 o 65
703.46/703.66 c R 704s| 2 | 1 | 18799 | 1.0 | 590M| 1 | 124 | 14k| 65k| 14k| 65k| 0 | 0 | 33 | 4.200000e+01 | 6.500000e+01 | 54.76%
806.94/807.15 o 60
806.94/807.15 c b 807s| 3 | 2 | 18799 | 0.5 | 591M| 2 | - | 14k| 65k| 14k| 65k| 0 | 0 | 79 | 4.200000e+01 | 6.000000e+01 | 42.86%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3741779-1338777733/watcher-3741779-1338777733 -o /tmp/evaluation-result-3741779-1338777733/solver-3741779-1338777733 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3741779-1338777733.opb -t 1800 -m 15500
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.06 2.01 1.96 3/176 11375
/proc/meminfo: memFree=27681388/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=9588 CPUtime=0 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 1540 0 0 0 0 0 0 0 20 0 1 0 343899355 9818112 1495 33554432000 4194304 9016284 140734455838624 140736213443336 6824032 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 2398 1502 326 1178 0 1216 0
[startup+0.0668521 s]
/proc/loadavg: 2.06 2.01 1.96 3/176 11375
/proc/meminfo: memFree=27681388/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=25364 CPUtime=0.05 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 5348 0 0 0 5 0 0 0 20 0 1 0 343899355 25972736 5295 33554432000 4194304 9016284 140734455838624 140736213443336 6179836 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 6341 5295 360 1178 0 5159 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25364
[startup+0.100288 s]
/proc/loadavg: 2.06 2.01 1.96 3/176 11375
/proc/meminfo: memFree=27681388/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=27496 CPUtime=0.09 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 5877 0 0 0 9 0 0 0 20 0 1 0 343899355 28155904 5824 33554432000 4194304 9016284 140734455838624 140736213443336 7928096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 6874 5824 360 1178 0 5692 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27496
[startup+0.300224 s]
/proc/loadavg: 2.06 2.01 1.96 3/176 11375
/proc/meminfo: memFree=27681388/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=39364 CPUtime=0.29 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 8846 0 0 0 28 1 0 0 20 0 1 0 343899355 40308736 8793 33554432000 4194304 9016284 140734455838624 140734455702520 7928096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 9841 8793 360 1178 0 8659 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 39364
[startup+0.700208 s]
/proc/loadavg: 2.06 2.01 1.96 3/176 11375
/proc/meminfo: memFree=27681388/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=57332 CPUtime=0.69 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 13361 0 0 0 67 2 0 0 20 0 1 0 343899355 58707968 13308 33554432000 4194304 9016284 140734455838624 140734455702520 7928096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 14333 13308 360 1178 0 13151 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 57332
[startup+1.50023 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 11376
/proc/meminfo: memFree=27617636/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=88832 CPUtime=1.49 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 21202 0 0 0 146 3 0 0 20 0 1 0 343899355 90963968 21149 33554432000 4194304 9016284 140734455838624 140734455702520 7928096 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 22208 21149 360 1178 0 21026 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 88832
[startup+3.10025 s]
/proc/loadavg: 2.06 2.01 1.96 3/177 11376
/proc/meminfo: memFree=27569764/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=368648 CPUtime=3.09 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 90559 0 0 0 295 14 0 0 20 0 1 0 343899355 377495552 90462 33554432000 4194304 9016284 140734455838624 140734455702520 7875499 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 92195 90468 413 1178 0 91013 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 368648
[startup+6.30026 s]
/proc/loadavg: 2.13 2.03 1.96 3/177 11376
/proc/meminfo: memFree=27006628/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=686920 CPUtime=6.29 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 200862 0 0 0 596 33 0 0 20 0 1 0 343899355 703406080 168829 33554432000 4194304 9016284 140734455838624 140734455835400 6516355 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 171730 168829 537 1178 0 170548 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 686920
[startup+12.7003 s]
/proc/loadavg: 2.12 2.03 1.96 3/177 11376
/proc/meminfo: memFree=26323232/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1515828 CPUtime=12.69 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 285389 0 0 0 1214 55 0 0 20 0 1 0 343899355 1552207872 339204 33554432000 4194304 9016284 140734455838624 140734455831304 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 378957 339204 598 1178 0 377775 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1515828
[startup+25.5002 s]
/proc/loadavg: 2.09 2.03 1.96 3/177 11376
/proc/meminfo: memFree=26319660/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1517928 CPUtime=25.49 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 286222 0 0 0 2493 56 0 0 20 0 1 0 343899355 1554358272 340037 33554432000 4194304 9016284 140734455838624 140734455832488 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 379482 340037 598 1178 0 378300 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1517928
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 1.96 3/177 11376
/proc/meminfo: memFree=26317284/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1518264 CPUtime=51.08 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 286650 0 0 0 5050 58 0 0 20 0 1 0 343899355 1554702336 340465 33554432000 4194304 9016284 140734455838624 140734455831544 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 379566 340465 598 1178 0 378384 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1518264
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.96 3/177 11376
/proc/meminfo: memFree=26246840/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1600568 CPUtime=102.27 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 294720 0 0 0 10159 68 0 0 20 0 1 0 343899355 1638981632 357274 33554432000 4194304 9016284 140734455838624 140734455832904 6863440 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/11375/statm: 400142 357274 601 1178 0 398960 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1600568
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/177 11376
/proc/meminfo: memFree=26431144/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1315684 CPUtime=162.26 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 299203 0 0 0 16148 78 0 0 20 0 1 0 343899355 1347260416 310309 33554432000 4194304 9016284 140734455838624 140734455833688 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 328921 310309 615 1178 0 327739 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1315684
[startup+222.3 s]
/proc/loadavg: 2.10 2.04 1.97 3/177 11376
/proc/meminfo: memFree=25704396/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=2043284 CPUtime=222.25 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 467409 0 0 0 22119 106 0 0 20 0 1 0 343899355 2092322816 490901 33554432000 4194304 9016284 140734455838624 140734455829640 7181026 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 510821 490901 675 1178 0 509639 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 2043284
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 1.97 3/177 11376
/proc/meminfo: memFree=25697220/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=2043284 CPUtime=282.24 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 467581 0 0 0 28114 110 0 0 20 0 1 0 343899355 2092322816 491348 33554432000 4194304 9016284 140734455838624 140734455828632 7181022 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 510821 491348 675 1178 0 509639 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 2043284
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.97 3/177 11377
/proc/meminfo: memFree=25669476/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=2043284 CPUtime=342.23 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 468108 0 0 0 34109 114 0 0 20 0 1 0 343899355 2092322816 491916 33554432000 4194304 9016284 140734455838624 140734455830120 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 510821 491916 675 1178 0 509639 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 2043284
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 1.97 3/177 11377
/proc/meminfo: memFree=25664544/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=2043284 CPUtime=402.22 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 468126 0 0 0 40104 118 0 0 20 0 1 0 343899355 2092322816 492290 33554432000 4194304 9016284 140734455838624 140734455829128 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 510821 492290 675 1178 0 509639 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 2043284
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/177 11377
/proc/meminfo: memFree=25661104/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=2043284 CPUtime=462.2 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 468156 0 0 0 46099 121 0 0 20 0 1 0 343899355 2092322816 492393 33554432000 4194304 9016284 140734455838624 140734455829640 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 510821 492393 675 1178 0 509639 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 2043284
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/178 11380
/proc/meminfo: memFree=26381860/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1305948 CPUtime=522.19 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 468994 0 0 0 52088 131 0 0 20 0 1 0 343899355 1337290752 312449 33554432000 4194304 9016284 140734455838624 140734455832376 7181022 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 326487 312449 684 1178 0 325305 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 1305948
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11380
/proc/meminfo: memFree=26362452/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1305948 CPUtime=582.18 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 471531 0 0 0 58082 136 0 0 20 0 1 0 343899355 1337290752 315619 33554432000 4194304 9016284 140734455838624 140734455832424 7181013 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 326487 315619 684 1178 0 325305 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 1305948
[startup+642.3 s]
################
# More data... #
################
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 492285 0 0 0 100044 168 0 0 20 0 1 0 343899355 1333075968 314631 33554432000 4194304 9016284 140734455838624 140734455832376 7180992 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 325458 314631 684 1178 0 324276 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 1301832
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 11382
/proc/meminfo: memFree=26375228/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1301564 CPUtime=1062.11 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 499232 0 0 0 106035 176 0 0 20 0 1 0 343899355 1332801536 308930 33554432000 4194304 9016284 140734455838624 140734455831880 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 325391 308930 684 1178 0 324209 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 1301564
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 11385
/proc/meminfo: memFree=26379124/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1299320 CPUtime=1122.1 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 510053 0 0 0 112026 184 0 0 20 0 1 0 343899355 1330503680 307853 33554432000 4194304 9016284 140734455838624 140734455832376 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 324830 307853 684 1178 0 323648 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1299320
[startup+1182.3 s]
/proc/loadavg: 2.07 2.02 1.98 3/178 11408
/proc/meminfo: memFree=26301056/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1346048 CPUtime=1182.09 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 526085 0 0 0 118012 197 0 0 20 0 1 0 343899355 1378353152 326948 33554432000 4194304 9016284 140734455838624 140734455832680 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 336512 326948 684 1178 0 335330 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1346048
[startup+1242.3 s]
/proc/loadavg: 2.02 2.01 1.98 3/177 11447
/proc/meminfo: memFree=26685720/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1334736 CPUtime=1242.08 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 537251 0 0 0 124001 207 0 0 20 0 1 0 343899355 1366769664 324052 33554432000 4194304 9016284 140734455838624 140734455831880 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 333684 324052 684 1178 0 332502 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 1334736
[startup+1302.3 s]
/proc/loadavg: 2.01 2.00 1.98 3/177 11447
/proc/meminfo: memFree=26677280/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1343012 CPUtime=1302.08 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 549326 0 0 0 129992 216 0 0 20 0 1 0 343899355 1375244288 326163 33554432000 4194304 9016284 140734455838624 140734455832376 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 335753 326163 684 1178 0 334571 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1343012
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 11447
/proc/meminfo: memFree=26733364/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1294976 CPUtime=1362.06 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 558974 0 0 0 135980 226 0 0 20 0 1 0 343899355 1326055424 312241 33554432000 4194304 9016284 140734455838624 140734455832376 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 323744 312241 684 1178 0 322562 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 1294976
[startup+1422.31 s]
/proc/loadavg: 2.03 2.01 1.98 3/177 11447
/proc/meminfo: memFree=26731364/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1296096 CPUtime=1422.06 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 598613 0 0 0 141958 248 0 0 20 0 1 0 343899355 1327202304 312671 33554432000 4194304 9016284 140734455838624 140734455832376 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 324024 312671 684 1178 0 322842 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1296096
[startup+1482.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/177 11447
/proc/meminfo: memFree=26733408/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1295520 CPUtime=1482.04 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 621881 0 0 0 147942 262 0 0 20 0 1 0 343899355 1326612480 312190 33554432000 4194304 9016284 140734455838624 140734455831432 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 323880 312190 684 1178 0 322698 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 1295520
[startup+1542.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/177 11448
/proc/meminfo: memFree=26687928/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1332360 CPUtime=1542.03 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 635628 0 0 0 153932 271 0 0 20 0 1 0 343899355 1364336640 323541 33554432000 4194304 9016284 140734455838624 140734455831432 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 333090 323541 684 1178 0 331908 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1332360
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/177 11448
/proc/meminfo: memFree=26691052/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1331364 CPUtime=1602.03 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 650800 0 0 0 159923 280 0 0 20 0 1 0 343899355 1363316736 323293 33554432000 4194304 9016284 140734455838624 140734455832424 7082078 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 332841 323293 684 1178 0 331659 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1331364
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 11448
/proc/meminfo: memFree=26752172/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1296944 CPUtime=1662.02 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 654843 0 0 0 165917 285 0 0 20 0 1 0 343899355 1328070656 307463 33554432000 4194304 9016284 140734455838624 140734455831432 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 324236 307463 684 1178 0 323054 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1296944
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 11451
/proc/meminfo: memFree=26694404/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1328024 CPUtime=1722.01 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 670812 0 0 0 171906 295 0 0 20 0 1 0 343899355 1359896576 322426 33554432000 4194304 9016284 140734455838624 140734455832376 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 332006 322426 684 1178 0 330824 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1328024
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 11451
/proc/meminfo: memFree=26695400/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1285736 CPUtime=1781.99 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 682772 0 0 0 177896 303 0 0 20 0 1 0 343899355 1316593664 306964 33554432000 4194304 9016284 140734455838624 140734455831416 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 321434 306964 684 1178 0 320252 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1285736
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 11451
/proc/meminfo: memFree=26754532/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1293896 CPUtime=1800.1 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 683148 0 0 0 179705 305 0 0 20 0 1 0 343899355 1324949504 307340 33554432000 4194304 9016284 140734455838624 140734455831880 7925162 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 323474 307340 684 1178 0 322292 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 1293896
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11375
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 11452
/proc/meminfo: memFree=26754532/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1293896 CPUtime=1801.09 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 683148 0 0 0 179804 305 0 0 20 0 1 0 343899355 1324949504 307340 33554432000 4194304 9016284 140734455838624 140734455831432 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 323474 307340 684 1178 0 322292 0
Current children cumulated CPU time (s) 1801.09
Current children cumulated vsize (KiB) 1293896
[startup+1802.2 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 11452
/proc/meminfo: memFree=26754524/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1293896 CPUtime=1801.89 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 683172 0 0 0 179884 305 0 0 20 0 1 0 343899355 1324949504 307364 33554432000 4194304 9016284 140734455838624 140734455832680 7181026 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 323474 307364 684 1178 0 322292 0
Current children cumulated CPU time (s) 1801.89
Current children cumulated vsize (KiB) 1293896
[startup+1802.4 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 11452
/proc/meminfo: memFree=26754524/32873648 swapFree=6864/6864
[pid=11375] ppid=11373 vsize=1293896 CPUtime=1802.09 cores=1,3,5,7
/proc/11375/stat : 11375 (scip-2.0.1.4b_2) R 11373 11375 9205 0 -1 4202496 683172 0 0 0 179904 305 0 0 20 0 1 0 343899355 1324949504 307364 33554432000 4194304 9016284 140734455838624 140734455832680 7199008 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/11375/statm: 323474 307364 684 1178 0 322292 0
Current children cumulated CPU time (s) 1802.09
Current children cumulated vsize (KiB) 1293896
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.42
CPU time (s): 1802.12
CPU user time (s): 1799.05
CPU system time (s): 3.06953
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 2043284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.05
system time used= 3.06953
maximum resident set size= 1969604
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 683172
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= 20
involuntary context switches= 2395
runsolver used 2.71259 second user time and 7.13291 second system time
The end