0.00/0.00 c SCIP version 2.0.1.4 [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-3485297-1307779289.opb>
0.89/0.99 c original problem has 40727 variables (40727 bin, 0 int, 0 impl, 0 cont) and 174550 constraints
0.89/0.99 c problem read
0.89/0.99 c presolving settings loaded
1.59/1.61 o 1821
1.59/1.61 c feasible solution found by trivial heuristic, objective value 1.821000e+03
1.59/1.61 c presolving:
3.79/3.86 c (round 1) 1120 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4318374 impls, 0 clqs
4.40/4.43 c (round 2) 1123 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172318 upgd conss, 4318374 impls, 0 clqs
4.59/4.67 c (round 3) 1123 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4318374 impls, 0 clqs
25.30/25.39 c (25.4s) probing: 635/39604 (1.6%) - 0 fixings, 9 aggregations, 8973 implications, 0 bound changes
25.30/25.39 c (25.4s) probing aborted: 100/100 successive totally useless probings
25.30/25.39 c (round 4) 1132 del vars, 2198 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4329872 impls, 0 clqs
25.49/25.55 c (round 5) 1132 del vars, 2225 del conss, 0 add conss, 42 chg bounds, 0 chg sides, 0 chg coeffs, 172352 upgd conss, 4329872 impls, 0 clqs
25.89/25.97 c (26.0s) probing: 645/39604 (1.6%) - 0 fixings, 9 aggregations, 8973 implications, 0 bound changes
25.89/25.97 c (26.0s) probing aborted: 100/100 successive totally useless probings
25.89/25.97 c presolving (6 rounds):
25.89/25.97 c 1132 deleted vars, 2225 deleted constraints, 0 added constraints, 42 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
25.89/25.97 c 4329872 implications, 0 cliques
25.89/25.97 c presolved problem has 39595 variables (39595 bin, 0 int, 0 impl, 0 cont) and 172325 constraints
25.89/25.97 c 134486 constraints of type <setppc>
25.89/25.97 c 37839 constraints of type <logicor>
25.89/25.97 c transformed objective value is always integral (scale: 1)
25.89/25.97 c Presolving Time: 24.81
25.89/25.97 c - non default parameters ----------------------------------------------------------------------
25.89/25.97 c # SCIP version 2.0.1.4
25.89/25.97 c
25.89/25.97 c # frequency for displaying node information lines
25.89/25.97 c # [type: int, range: [-1,2147483647], default: 100]
25.89/25.97 c display/freq = 10000
25.89/25.97 c
25.89/25.97 c # maximal time in seconds to run
25.89/25.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.89/25.97 c limits/time = 1797
25.89/25.97 c
25.89/25.97 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
25.89/25.97 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
25.89/25.97 c limits/memory = 13950
25.89/25.97 c
25.89/25.97 c # default clock type (1: CPU user seconds, 2: wall clock time)
25.89/25.97 c # [type: int, range: [1,2], default: 1]
25.89/25.97 c timing/clocktype = 2
25.89/25.97 c
25.89/25.97 c # belongs reading time to solving time?
25.89/25.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.89/25.97 c timing/reading = TRUE
25.89/25.97 c
25.89/25.97 c # should presolving try to simplify inequalities
25.89/25.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.89/25.97 c constraints/linear/simplifyinequalities = TRUE
25.89/25.97 c
25.89/25.97 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
25.89/25.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.89/25.97 c constraints/indicator/addCouplingCons = TRUE
25.89/25.97 c
25.89/25.97 c # should presolving try to simplify knapsacks
25.89/25.97 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
25.89/25.97 c constraints/knapsack/simplifyinequalities = TRUE
25.89/25.97 c
25.89/25.97 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
25.89/25.97 c # [type: int, range: [-1,2147483647], default: -1]
25.89/25.97 c separating/rapidlearning/freq = 0
25.89/25.97 c
25.89/25.97 c -----------------------------------------------------------------------------------------------
25.89/25.97 c start solving
25.89/25.98 c
26.00/26.05 o 1818
26.00/26.05 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
26.00/26.05 c t26.0s| 1 | 0 | 0 | - | 299M| 0 | - | 39k| 172k| 0 | 0 | 0 | 0 | 0 | -- | 1.818000e+03 | Inf
26.40/26.49 o 1733
26.40/26.49 c b26.5s| 1 | 0 | 0 | - | 399M| 0 | - | 39k| 172k| 39k| 172k| 0 | 0 | 0 | -- | 1.733000e+03 | Inf
49.29/49.38 c 49.4s| 1 | 0 | 11750 | - | 399M| 0 | 567 | 39k| 172k| 39k| 172k| 0 | 0 | 0 | 4.845000e+01 | 1.733000e+03 |3476.88%
95.29/95.39 c 95.4s| 1 | 0 | 14566 | - | 406M| 0 | 717 | 39k| 172k| 39k| 172k| 2 | 0 | 0 | 4.853069e+01 | 1.733000e+03 |3470.94%
375.90/375.90 c 376s| 1 | 0 | 18377 | - | 406M| 0 | 711 | 39k| 172k| 39k| 172k| 3 | 0 | 0 | 4.900000e+01 | 1.733000e+03 |3436.73%
728.41/728.49 c 728s| 1 | 0 | 27097 | - | 408M| 0 | 857 | 39k| 172k| 39k| 172k| 4 | 0 | 0 | 4.900000e+01 | 1.733000e+03 |3436.73%
1168.13/1168.13 c 1168s| 1 | 2 | 27097 | - | 408M| 0 | 857 | 39k| 172k| 39k| 172k| 4 | 0 | 20 | 4.900000e+01 | 1.733000e+03 |3436.73%
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3485297-1307779289/watcher-3485297-1307779289 -o /tmp/evaluation-result-3485297-1307779289/solver-3485297-1307779289 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485297-1307779289.opb -t 1800 -m 15500
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 17569
/proc/meminfo: memFree=31373148/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=10708 CPUtime=0 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 1665 0 0 0 0 0 0 0 25 0 1 0 870344358 10964992 1619 33554432000 4194304 8979876 140734972541408 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17569/statm: 2677 1619 358 1169 0 1504 0
[startup+0.0151199 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 17569
/proc/meminfo: memFree=31373148/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=13800 CPUtime=0.01 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 2470 0 0 0 1 0 0 0 25 0 1 0 870344358 14131200 2424 33554432000 4194304 8979876 140734972541408 18446744073709551615 6177122 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17569/statm: 3450 2424 366 1169 0 2277 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13800
[startup+0.101097 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 17569
/proc/meminfo: memFree=31373148/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=25192 CPUtime=0.09 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 5312 0 0 0 9 0 0 0 25 0 1 0 870344358 25796608 5266 33554432000 4194304 8979876 140734972541408 18446744073709551615 7836098 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17569/statm: 6298 5266 366 1169 0 5125 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25192
[startup+0.301057 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 17569
/proc/meminfo: memFree=31373148/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=47744 CPUtime=0.29 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 10927 0 0 0 28 1 0 0 25 0 1 0 870344358 48889856 10881 33554432000 4194304 8979876 140734972541408 18446744073709551615 7836083 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17569/statm: 11936 10881 366 1169 0 10763 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 47744
[startup+0.701021 s]
/proc/loadavg: 2.00 2.00 2.00 4/177 17569
/proc/meminfo: memFree=31373148/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=75280 CPUtime=0.69 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 17782 0 0 0 68 1 0 0 25 0 1 0 870344358 77086720 17736 33554432000 4194304 8979876 140734972541408 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 0 0 0 0
/proc/17569/statm: 18820 17736 366 1169 0 17647 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 75280
[startup+1.50088 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17570
/proc/meminfo: memFree=31283220/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=290948 CPUtime=1.49 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 70757 0 0 0 140 9 0 0 25 0 1 0 870344358 297930752 70683 33554432000 4194304 8979876 140734972541408 18446744073709551615 6779003 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 72737 70720 450 1169 0 71564 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 290948
[startup+3.10057 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17570
/proc/meminfo: memFree=31077380/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=374368 CPUtime=3.09 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 97713 0 0 0 297 12 0 0 25 0 1 0 870344358 383352832 90160 33554432000 4194304 8979876 140734972541408 18446744073709551615 7840777 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 93592 90160 507 1169 0 92419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 374368
[startup+6.30096 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17570
/proc/meminfo: memFree=30931272/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=455840 CPUtime=6.29 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 128689 0 0 0 612 17 0 0 25 0 1 0 870344358 466780160 109739 33554432000 4194304 8979876 140734972541408 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 113960 109739 539 1169 0 112787 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 455840
[startup+12.7008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17570
/proc/meminfo: memFree=30939152/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=455976 CPUtime=12.69 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 128724 0 0 0 1252 17 0 0 25 0 1 0 870344358 466919424 109774 33554432000 4194304 8979876 140734972541408 18446744073709551615 5995806 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 113994 109774 539 1169 0 112821 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 455976
[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17571
/proc/meminfo: memFree=30931328/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=469588 CPUtime=25.49 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 132127 0 0 0 2532 17 0 0 25 0 1 0 870344358 480858112 113177 33554432000 4194304 8979876 140734972541408 18446744073709551615 4905463 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 117397 113177 539 1169 0 116224 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 469588
[startup+51.1008 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17571
/proc/meminfo: memFree=30657072/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=760072 CPUtime=51.1 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 202967 0 0 0 5081 29 0 0 25 0 1 0 870344358 778313728 179858 33554432000 4194304 8979876 140734972541408 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 190018 179858 751 1169 0 188845 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 760072
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 17573
/proc/meminfo: memFree=30614376/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=795304 CPUtime=102.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 214236 0 0 0 10199 31 0 0 25 0 1 0 870344358 814391296 189680 33554432000 4194304 8979876 140734972541408 18446744073709551615 7841704 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 198826 189680 1014 1169 0 197653 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 795304
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 17574
/proc/meminfo: memFree=30612740/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=795304 CPUtime=162.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 214245 0 0 0 16196 34 0 0 25 0 1 0 870344358 814391296 189689 33554432000 4194304 8979876 140734972541408 18446744073709551615 6543892 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 198826 189689 1015 1169 0 197653 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 795304
[startup+222.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 17576
/proc/meminfo: memFree=30608736/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=795304 CPUtime=222.29 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 214245 0 0 0 22192 37 0 0 25 0 1 0 870344358 814391296 189689 33554432000 4194304 8979876 140734972541408 18446744073709551615 6543903 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 198826 189689 1015 1169 0 197653 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 795304
[startup+282.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 17653
/proc/meminfo: memFree=31013784/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=795304 CPUtime=282.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 214245 0 0 0 28189 41 0 0 25 0 1 0 870344358 814391296 189689 33554432000 4194304 8979876 140734972541408 18446744073709551615 6390327 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 198826 189689 1015 1169 0 197653 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 795304
[startup+342.3 s]
/proc/loadavg: 1.96 1.99 1.99 3/178 18073
/proc/meminfo: memFree=31022260/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=795304 CPUtime=342.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 214245 0 0 0 34185 45 0 0 25 0 1 0 870344358 814391296 189689 33554432000 4194304 8979876 140734972541408 18446744073709551615 6609742 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 198826 189689 1015 1169 0 197653 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 795304
[startup+402.3 s]
/proc/loadavg: 2.04 2.00 2.00 3/178 18151
/proc/meminfo: memFree=30119764/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=816428 CPUtime=402.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 220163 0 0 0 40181 49 0 0 25 0 1 0 870344358 836022272 195331 33554432000 4194304 8979876 140734972541408 18446744073709551615 7836169 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 204107 195331 739 1169 0 202934 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 816428
[startup+462.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 18152
/proc/meminfo: memFree=30110424/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=816428 CPUtime=462.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 220163 0 0 0 46177 53 0 0 25 0 1 0 870344358 836022272 195331 33554432000 4194304 8979876 140734972541408 18446744073709551615 6601192 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 204107 195331 739 1169 0 202934 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 816428
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18154
/proc/meminfo: memFree=30103004/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=816428 CPUtime=522.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 220163 0 0 0 52175 55 0 0 25 0 1 0 870344358 836022272 195331 33554432000 4194304 8979876 140734972541408 18446744073709551615 6603601 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 204107 195331 739 1169 0 202934 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 816428
[startup+582.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 18155
/proc/meminfo: memFree=30099240/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=816428 CPUtime=582.3 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 220354 0 0 0 58172 58 0 0 25 0 1 0 870344358 836022272 195522 33554432000 4194304 8979876 140734972541408 18446744073709551615 6888353 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 204107 195522 739 1169 0 202934 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 816428
[startup+642.3 s]
################
# More data... #
################
[startup+822.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18162
/proc/meminfo: memFree=30055112/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=829088 CPUtime=822.31 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 226000 0 0 0 82158 73 0 0 25 0 1 0 870344358 848986112 201108 33554432000 4194304 8979876 140734972541408 18446744073709551615 7836189 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 207272 201108 708 1169 0 206099 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 829088
[startup+882.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18163
/proc/meminfo: memFree=30051352/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=829088 CPUtime=882.31 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 226000 0 0 0 88153 78 0 0 25 0 1 0 870344358 848986112 201108 33554432000 4194304 8979876 140734972541408 18446744073709551615 6543903 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 207272 201108 708 1169 0 206099 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 829088
[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/178 18165
/proc/meminfo: memFree=30051076/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=829088 CPUtime=942.31 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 226000 0 0 0 94150 81 0 0 25 0 1 0 870344358 848986112 201108 33554432000 4194304 8979876 140734972541408 18446744073709551615 7841808 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 207272 201108 708 1169 0 206099 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 829088
[startup+1002.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 18167
/proc/meminfo: memFree=30049188/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=829088 CPUtime=1002.31 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 226000 0 0 0 100147 84 0 0 25 0 1 0 870344358 848986112 201108 33554432000 4194304 8979876 140734972541408 18446744073709551615 6890435 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 207272 201108 708 1169 0 206099 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 829088
[startup+1062.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 18168
/proc/meminfo: memFree=30045308/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=829088 CPUtime=1062.31 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 226000 0 0 0 106144 87 0 0 25 0 1 0 870344358 848986112 201108 33554432000 4194304 8979876 140734972541408 18446744073709551615 6890534 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 207272 201108 708 1169 0 206099 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 829088
[startup+1122.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/178 18170
/proc/meminfo: memFree=30029908/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=843388 CPUtime=1122.32 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 280350 0 0 0 112126 106 0 0 25 0 1 0 870344358 863629312 205070 33554432000 4194304 8979876 140734972541408 18446744073709551615 7179154 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 210847 205070 719 1169 0 209674 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 843388
[startup+1182.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 18171
/proc/meminfo: memFree=30027644/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=843388 CPUtime=1182.32 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 280545 0 0 0 118121 111 0 0 25 0 1 0 870344358 863629312 205265 33554432000 4194304 8979876 140734972541408 18446744073709551615 7122087 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 210847 205265 719 1169 0 209674 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 843388
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18173
/proc/meminfo: memFree=30018308/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=848448 CPUtime=1242.32 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281533 0 0 0 124115 117 0 0 25 0 1 0 870344358 868810752 206253 33554432000 4194304 8979876 140734972541408 18446744073709551615 7122137 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212112 206253 719 1169 0 210939 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 848448
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18175
/proc/meminfo: memFree=30013812/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=848448 CPUtime=1302.33 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281558 0 0 0 130110 123 0 0 25 0 1 0 870344358 868810752 206278 33554432000 4194304 8979876 140734972541408 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212112 206278 719 1169 0 210939 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 848448
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18176
/proc/meminfo: memFree=30013652/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=848448 CPUtime=1362.33 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281562 0 0 0 136104 129 0 0 25 0 1 0 870344358 868810752 206282 33554432000 4194304 8979876 140734972541408 18446744073709551615 6937217 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212112 206282 719 1169 0 210939 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 848448
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18180
/proc/meminfo: memFree=30009264/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=849244 CPUtime=1422.34 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281764 0 0 0 142100 134 0 0 25 0 1 0 870344358 869625856 206484 33554432000 4194304 8979876 140734972541408 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212311 206484 719 1169 0 211138 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 849244
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18182
/proc/meminfo: memFree=30007060/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=849244 CPUtime=1482.33 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281774 0 0 0 148094 139 0 0 25 0 1 0 870344358 869625856 206494 33554432000 4194304 8979876 140734972541408 18446744073709551615 7193336 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212311 206494 719 1169 0 211138 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 849244
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18184
/proc/meminfo: memFree=30003076/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=849244 CPUtime=1542.33 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281779 0 0 0 154089 144 0 0 25 0 1 0 870344358 869625856 206499 33554432000 4194304 8979876 140734972541408 18446744073709551615 6937234 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212311 206499 719 1169 0 211138 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 849244
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18186
/proc/meminfo: memFree=30000204/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=849244 CPUtime=1602.34 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281782 0 0 0 160085 149 0 0 25 0 1 0 870344358 869625856 206502 33554432000 4194304 8979876 140734972541408 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212311 206502 719 1169 0 211138 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 849244
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18187
/proc/meminfo: memFree=29995596/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=849244 CPUtime=1662.33 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281819 0 0 0 166081 152 0 0 25 0 1 0 870344358 869625856 206539 33554432000 4194304 8979876 140734972541408 18446744073709551615 7147027 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212311 206539 719 1169 0 211138 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 849244
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18189
/proc/meminfo: memFree=29995200/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=849244 CPUtime=1722.34 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 281854 0 0 0 172078 156 0 0 25 0 1 0 870344358 869625856 206574 33554432000 4194304 8979876 140734972541408 18446744073709551615 7147294 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212311 206574 719 1169 0 211138 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 849244
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18190
/proc/meminfo: memFree=29996164/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=851572 CPUtime=1782.34 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 283656 0 0 0 178075 159 0 0 25 0 1 0 870344358 872009728 208376 33554432000 4194304 8979876 140734972541408 18446744073709551615 7118578 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212893 208376 719 1169 0 211720 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 851572
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 18191
/proc/meminfo: memFree=29989332/32951124 swapFree=67053960/67111528
[pid=17569] ppid=17567 vsize=851572 CPUtime=1800.04 cores=0,2,4,6
/proc/17569/stat : 17569 (scip-2.0.1.4_2.) R 17567 17569 15536 0 -1 4202496 283656 0 0 0 179844 160 0 0 25 0 1 0 870344358 872009728 208376 33554432000 4194304 8979876 140734972541408 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/17569/statm: 212893 208376 719 1169 0 211720 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 851572
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.04
CPU time (s): 1800.09
CPU user time (s): 1798.45
CPU system time (s): 1.64375
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1031164
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.45
system time used= 1.64375
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 283656
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= 7
involuntary context switches= 6138
runsolver used 3.2575 second user time and 6.25105 second system time
The end