0.00/0.00 c SCIP version 2.0.1.5 [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-3450712-1307109233.opb>
0.39/0.43 c original problem has 77288 variables (77288 bin, 0 int, 0 impl, 0 cont) and 80289 constraints
0.39/0.43 c problem read
0.39/0.43 c presolving settings loaded
0.89/0.90 o 0
0.89/0.90 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.89/0.90 c presolving:
2.47/2.59 c (round 1) 0 del vars, 77288 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 1000 upgd conss, 598944 impls, 1999 clqs
2.77/2.84 c (round 2) 75288 del vars, 77288 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 3000 upgd conss, 598944 impls, 0 clqs
3.17/3.25 c (3.2s) probing: 101/2000 (5.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
3.17/3.25 c (3.2s) probing aborted: 100/100 successive totally useless probings
3.17/3.25 c presolving (3 rounds):
3.17/3.25 c 75288 deleted vars, 77288 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
3.17/3.25 c 598944 implications, 0 cliques
3.17/3.25 c presolved problem has 2000 variables (2000 bin, 0 int, 0 impl, 0 cont) and 3001 constraints
3.17/3.25 c 2000 constraints of type <knapsack>
3.17/3.25 c 1000 constraints of type <setppc>
3.17/3.25 c 1 constraints of type <linear>
3.17/3.25 c transformed objective value is always integral (scale: 1)
3.17/3.25 c Presolving Time: 2.56
3.17/3.25 c - non default parameters ----------------------------------------------------------------------
3.17/3.25 c # SCIP version 2.0.1.5
3.17/3.25 c
3.17/3.25 c # frequency for displaying node information lines
3.17/3.25 c # [type: int, range: [-1,2147483647], default: 100]
3.17/3.25 c display/freq = 10000
3.17/3.25 c
3.17/3.25 c # maximal time in seconds to run
3.17/3.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.17/3.25 c limits/time = 1800
3.17/3.25 c
3.17/3.25 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
3.17/3.25 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
3.17/3.25 c limits/memory = 13950
3.17/3.25 c
3.17/3.25 c # default clock type (1: CPU user seconds, 2: wall clock time)
3.17/3.25 c # [type: int, range: [1,2], default: 1]
3.17/3.25 c timing/clocktype = 2
3.17/3.25 c
3.17/3.25 c # belongs reading time to solving time?
3.17/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.17/3.25 c timing/reading = TRUE
3.17/3.25 c
3.17/3.25 c # should presolving try to simplify inequalities
3.17/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.17/3.25 c constraints/linear/simplifyinequalities = TRUE
3.17/3.25 c
3.17/3.25 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
3.17/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.17/3.25 c constraints/indicator/addCouplingCons = TRUE
3.17/3.25 c
3.17/3.25 c # should presolving try to simplify knapsacks
3.17/3.25 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
3.17/3.25 c constraints/knapsack/simplifyinequalities = TRUE
3.17/3.25 c
3.17/3.25 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
3.17/3.25 c # [type: int, range: [-1,2147483647], default: -1]
3.17/3.25 c separating/rapidlearning/freq = 0
3.17/3.25 c
3.17/3.25 c -----------------------------------------------------------------------------------------------
3.17/3.25 c start solving
3.17/3.25 c
184.36/184.45 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
184.36/184.45 c t 184s| 1 | 0 | 17006 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 | 0.000000e+00 | 100.00%
184.56/184.61 o -1
184.56/184.61 c R 185s| 1 | 0 | 17006 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 0 |-5.000000e+02 |-1.000000e+00 | 99.80%
1277.18/1277.29 c 1277s| 1 | 2 | 22085 | - | 193M| 0 |2000 |2000 |3001 |2000 |3001 | 0 | 0 | 22 |-5.000000e+02 |-1.000000e+00 | 99.80%
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-3450712-1307109233/watcher-3450712-1307109233 -o /tmp/evaluation-result-3450712-1307109233/solver-3450712-1307109233 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4b.linux.x86_64.gnu.opt.spx -f HOME/instance-3450712-1307109233.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.07 2.03 2.01 2/488 11887
/proc/meminfo: memFree=21481672/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=13452 CPUtime=0 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 2331 0 0 0 0 0 0 0 21 0 1 0 555114565 13774848 2284 33554432000 4194304 9163163 140736148793296 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11887/statm: 3363 2284 389 1214 0 2145 0
[startup+0.0546989 s]
/proc/loadavg: 2.07 2.03 2.01 2/488 11887
/proc/meminfo: memFree=21481672/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=30728 CPUtime=0.04 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 6694 0 0 0 4 0 0 0 21 0 1 0 555114565 31465472 6647 33554432000 4194304 9163163 140736148793296 18446744073709551615 4339518 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11887/statm: 7682 6647 410 1214 0 6464 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 30728
[startup+0.100696 s]
/proc/loadavg: 2.07 2.03 2.01 2/488 11887
/proc/meminfo: memFree=21481672/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=44392 CPUtime=0.09 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 9993 0 0 0 8 1 0 0 21 0 1 0 555114565 45457408 9947 33554432000 4194304 9163163 140736148793296 18446744073709551615 6919008 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11887/statm: 11098 9982 410 1214 0 9880 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 44392
[startup+0.300662 s]
/proc/loadavg: 2.07 2.03 2.01 2/488 11887
/proc/meminfo: memFree=21481672/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=91040 CPUtime=0.29 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 21704 0 0 0 26 3 0 0 22 0 1 0 555114565 93224960 21657 33554432000 4194304 9163163 140736148793296 18446744073709551615 8044971 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11887/statm: 22760 21657 410 1214 0 21542 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 91040
[startup+0.7006 s]
/proc/loadavg: 2.07 2.03 2.01 2/488 11887
/proc/meminfo: memFree=21481672/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=211424 CPUtime=0.69 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 52346 0 0 0 62 7 0 0 23 0 1 0 555114565 216498176 51743 33554432000 4194304 9163163 140736148793296 18446744073709551615 4693093 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11887/statm: 52856 51743 473 1214 0 51638 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 211424
[startup+1.50041 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11888
/proc/meminfo: memFree=21187096/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=240960 CPUtime=1.49 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 59780 0 0 0 141 8 0 0 25 0 1 0 555114565 246743040 58920 33554432000 4194304 9163163 140736148793296 18446744073709551615 8041824 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11887/statm: 60240 58920 509 1214 0 59022 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 240960
[startup+3.10108 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11888
/proc/meminfo: memFree=21156840/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=281032 CPUtime=3.07 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 72247 0 0 0 298 9 0 0 25 0 1 0 555114565 287776768 68946 33554432000 4194304 9163163 140736148793296 18446744073709551615 4782809 0 0 4096 16384 0 0 0 17 6 0 0 0
/proc/11887/statm: 70258 68946 554 1214 0 69040 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 281032
[startup+6.30058 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11889
/proc/meminfo: memFree=21096932/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=322496 CPUtime=6.26 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 82459 0 0 0 616 10 0 0 25 0 1 0 555114565 330235904 78494 33554432000 4194304 9163163 140736148793296 18446744073709551615 7348642 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11887/statm: 80624 78494 822 1214 0 79406 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 322496
[startup+12.7005 s]
/proc/loadavg: 2.22 2.06 2.02 3/489 11889
/proc/meminfo: memFree=21082724/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=324080 CPUtime=12.67 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 84126 0 0 0 1256 11 0 0 25 0 1 0 555114565 331857920 78634 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11887/statm: 81020 78634 685 1214 0 79802 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 324080
[startup+25.5012 s]
/proc/loadavg: 2.18 2.06 2.01 3/489 11889
/proc/meminfo: memFree=21038208/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=373836 CPUtime=25.47 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 98180 0 0 0 2535 12 0 0 25 0 1 0 555114565 382808064 88795 33554432000 4194304 9163163 140736148793296 18446744073709551615 7389579 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11887/statm: 93459 88795 1181 1214 0 92241 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 373836
[startup+51.1007 s]
/proc/loadavg: 2.12 2.05 2.01 3/489 11890
/proc/meminfo: memFree=20987532/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=413064 CPUtime=51.06 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 111871 0 0 0 5092 14 0 0 25 0 1 0 555114565 422977536 99424 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11887/statm: 103266 99424 664 1214 0 102048 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 413064
[startup+102.319 s]
/proc/loadavg: 2.09 2.06 2.01 3/489 11891
/proc/meminfo: memFree=21000788/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=390812 CPUtime=102.28 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 111871 0 0 0 10212 16 0 0 25 0 1 0 555114565 400191488 95508 33554432000 4194304 9163163 140736148793296 18446744073709551615 7357856 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 97703 95508 664 1214 0 96485 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 390812
[startup+162.301 s]
/proc/loadavg: 2.03 2.04 2.01 3/489 11896
/proc/meminfo: memFree=20949148/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=443592 CPUtime=162.26 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 130596 0 0 0 16207 19 0 0 25 0 1 0 555114565 454238208 108670 33554432000 4194304 9163163 140736148793296 18446744073709551615 7357978 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 110898 108670 1435 1214 0 109680 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 443592
[startup+222.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/489 11897
/proc/meminfo: memFree=21013584/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=375008 CPUtime=222.26 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 154329 0 0 0 22203 23 0 0 25 0 1 0 555114565 384008192 92685 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 93752 92685 733 1214 0 92534 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 375008
[startup+282.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11899
/proc/meminfo: memFree=20995676/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=392960 CPUtime=282.26 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 158800 0 0 0 28202 24 0 0 25 0 1 0 555114565 402391040 97156 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390377 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 98240 97156 764 1214 0 97022 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 392960
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11901
/proc/meminfo: memFree=20996512/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=392960 CPUtime=342.26 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 158822 0 0 0 34201 25 0 0 25 0 1 0 555114565 402391040 97178 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390352 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 98240 97178 764 1214 0 97022 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 392960
[startup+402.301 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11902
/proc/meminfo: memFree=21003388/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=391764 CPUtime=402.27 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 170716 0 0 0 40199 28 0 0 25 0 1 0 555114565 401166336 95566 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 97941 95566 761 1214 0 96723 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 391764
[startup+462.3 s]
/proc/loadavg: 2.16 2.04 2.01 3/489 11913
/proc/meminfo: memFree=20995616/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=401052 CPUtime=462.26 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 172567 0 0 0 46197 29 0 0 25 0 1 0 555114565 410677248 97393 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390316 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 100263 97393 737 1214 0 99045 0
Current children cumulated CPU time (s) 462.26
Current children cumulated vsize (KiB) 401052
[startup+522.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/489 11914
/proc/meminfo: memFree=21004116/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=389868 CPUtime=522.27 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 181889 0 0 0 52195 32 0 0 25 0 1 0 555114565 399224832 95326 33554432000 4194304 9163163 140736148793296 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 97467 95326 770 1214 0 96249 0
Current children cumulated CPU time (s) 522.27
Current children cumulated vsize (KiB) 389868
[startup+582.301 s]
/proc/loadavg: 2.18 2.07 2.02 3/489 11916
/proc/meminfo: memFree=21003320/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=389868 CPUtime=582.27 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 182039 0 0 0 58195 32 0 0 25 0 1 0 555114565 399224832 95447 33554432000 4194304 9163163 140736148793296 18446744073709551615 7360937 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 97467 95447 741 1214 0 96249 0
Current children cumulated CPU time (s) 582.27
Current children cumulated vsize (KiB) 389868
[startup+642.3 s]
################
# More data... #
################
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 196318 0 0 0 100189 39 0 0 25 0 1 0 555114565 368259072 87881 33554432000 4194304 9163163 140736148793296 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 89907 87881 737 1214 0 88689 0
Current children cumulated CPU time (s) 1002.28
Current children cumulated vsize (KiB) 359628
[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11929
/proc/meminfo: memFree=21005084/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=389712 CPUtime=1062.28 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 216244 0 0 0 106186 42 0 0 25 0 1 0 555114565 399065088 95134 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 97428 95134 938 1214 0 96210 0
Current children cumulated CPU time (s) 1062.28
Current children cumulated vsize (KiB) 389712
[startup+1122.3 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11930
/proc/meminfo: memFree=20998848/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=395080 CPUtime=1122.28 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 217825 0 0 0 112185 43 0 0 25 0 1 0 555114565 404561920 96543 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 98770 96543 766 1214 0 97552 0
Current children cumulated CPU time (s) 1122.28
Current children cumulated vsize (KiB) 395080
[startup+1182.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/489 11932
/proc/meminfo: memFree=20996544/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=395080 CPUtime=1182.28 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 218157 0 0 0 118184 44 0 0 25 0 1 0 555114565 404561920 96855 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390800 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 98770 96855 746 1214 0 97552 0
Current children cumulated CPU time (s) 1182.28
Current children cumulated vsize (KiB) 395080
[startup+1242.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/489 11934
/proc/meminfo: memFree=21023160/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=365064 CPUtime=1242.28 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 224348 0 0 0 124183 45 0 0 25 0 1 0 555114565 373825536 90004 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390504 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 91266 90004 737 1214 0 90048 0
Current children cumulated CPU time (s) 1242.28
Current children cumulated vsize (KiB) 365064
[startup+1302.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/489 11935
/proc/meminfo: memFree=21000532/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=388488 CPUtime=1302.29 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 243384 0 0 0 130180 49 0 0 25 0 1 0 555114565 397811712 95487 33554432000 4194304 9163163 140736148793296 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 97122 95487 758 1214 0 95904 0
Current children cumulated CPU time (s) 1302.29
Current children cumulated vsize (KiB) 388488
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/489 11937
/proc/meminfo: memFree=21013268/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=386584 CPUtime=1362.29 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 254107 0 0 0 136178 51 0 0 25 0 1 0 555114565 395862016 92765 33554432000 4194304 9163163 140736148793296 18446744073709551615 7318984 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 96646 92765 737 1214 0 95428 0
Current children cumulated CPU time (s) 1362.29
Current children cumulated vsize (KiB) 386584
[startup+1422.32 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11938
/proc/meminfo: memFree=21009124/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=386584 CPUtime=1422.31 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 265529 0 0 0 142177 54 0 0 25 0 1 0 555114565 395862016 93845 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390821 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 96646 93845 737 1214 0 95428 0
Current children cumulated CPU time (s) 1422.31
Current children cumulated vsize (KiB) 386584
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/489 11940
/proc/meminfo: memFree=21012800/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=386584 CPUtime=1482.29 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 275170 0 0 0 148173 56 0 0 25 0 1 0 555114565 395862016 93045 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 96646 93045 737 1214 0 95428 0
Current children cumulated CPU time (s) 1482.29
Current children cumulated vsize (KiB) 386584
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 11942
/proc/meminfo: memFree=21007424/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=386584 CPUtime=1542.29 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 276036 0 0 0 154172 57 0 0 25 0 1 0 555114565 395862016 93911 33554432000 4194304 9163163 140736148793296 18446744073709551615 7391810 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 96646 93911 737 1214 0 95428 0
Current children cumulated CPU time (s) 1542.29
Current children cumulated vsize (KiB) 386584
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/489 11943
/proc/meminfo: memFree=21008248/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=406864 CPUtime=1602.29 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 277792 0 0 0 160170 59 0 0 25 0 1 0 555114565 416628736 95667 33554432000 4194304 9163163 140736148793296 18446744073709551615 7391808 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 101716 95667 737 1214 0 100498 0
Current children cumulated CPU time (s) 1602.29
Current children cumulated vsize (KiB) 406864
[startup+1662.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/489 11945
/proc/meminfo: memFree=21003752/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=405776 CPUtime=1662.29 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 296738 0 0 0 166167 62 0 0 25 0 1 0 555114565 415514624 95211 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 101444 95211 737 1214 0 100226 0
Current children cumulated CPU time (s) 1662.29
Current children cumulated vsize (KiB) 405776
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/489 11946
/proc/meminfo: memFree=21022056/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=373032 CPUtime=1722.3 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 312023 0 0 0 172165 65 0 0 25 0 1 0 555114565 381984768 90533 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390865 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 93258 90533 737 1214 0 92040 0
Current children cumulated CPU time (s) 1722.3
Current children cumulated vsize (KiB) 373032
[startup+1782.3 s]
/proc/loadavg: 2.09 2.03 2.01 3/489 11948
/proc/meminfo: memFree=21009864/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=386584 CPUtime=1782.3 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 325760 0 0 0 178162 68 0 0 25 0 1 0 555114565 395862016 93785 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 96646 93785 737 1214 0 95428 0
Current children cumulated CPU time (s) 1782.3
Current children cumulated vsize (KiB) 386584
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.07 2.03 2.01 3/489 11948
/proc/meminfo: memFree=21023484/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=373032 CPUtime=1800 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 331438 0 0 0 179931 69 0 0 25 0 1 0 555114565 381984768 90533 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390842 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 93258 90533 737 1214 0 92040 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 373032
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Sending SIGKILL to process tree (bottom up)
Sending SIGKILL to -11887
Solver just ended. Dumping a history of the last processes samples
[startup+1801.4 s]
/proc/loadavg: 1.99 2.01 2.00 2/485 11966
/proc/meminfo: memFree=21145136/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=373032 CPUtime=1801.4 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 331438 0 0 0 180071 69 0 0 25 0 1 0 555114565 381984768 90533 33554432000 4194304 9163163 140736148793296 18446744073709551615 7390839 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 93258 90533 737 1214 0 92040 0
Current children cumulated CPU time (s) 1801.4
Current children cumulated vsize (KiB) 373032
[startup+1801.82 s]
/proc/loadavg: 1.99 2.01 2.00 3/490 11976
/proc/meminfo: memFree=21097968/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=386584 CPUtime=1801.81 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 333079 0 0 0 180112 69 0 0 25 0 1 0 555114565 395862016 92174 33554432000 4194304 9163163 140736148793296 18446744073709551615 7358024 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 96646 92174 737 1214 0 95428 0
Current children cumulated CPU time (s) 1801.81
Current children cumulated vsize (KiB) 386584
[startup+1802 s]
/proc/loadavg: 1.99 2.01 2.00 3/490 11976
/proc/meminfo: memFree=21097968/32951124 swapFree=46575304/67111528
[pid=11887] ppid=11885 vsize=386584 CPUtime=1802 cores=0,2,4,6
/proc/11887/stat : 11887 (scip-2.0.1.4b.l) R 11885 11887 5006 0 -1 4202496 333108 0 0 0 180131 69 0 0 25 0 1 0 555114565 395862016 92203 33554432000 4194304 9163163 140736148793296 18446744073709551615 7348661 0 0 4096 16384 0 0 0 17 0 0 0 0
/proc/11887/statm: 96646 92203 737 1214 0 95428 0
Current children cumulated CPU time (s) 1802
Current children cumulated vsize (KiB) 386584
Child ended because it received signal 9 (SIGKILL)
Real time (s): 1802.04
CPU time (s): 1802.05
CPU user time (s): 1801.33
CPU system time (s): 0.716891
CPU usage (%): 100
Max. virtual memory (cumulated for all children) (KiB): 443592
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1801.33
system time used= 0.716891
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 333112
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= 3
involuntary context switches= 23527
runsolver used 9.08962 second user time and 18.8421 second system time
The end