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-3485419-1307755863.opb>
4.09/4.14 c original problem has 1041679 variables (1041679 bin, 0 int, 0 impl, 0 cont) and 127860 constraints
4.09/4.14 c problem read
4.09/4.15 c presolving settings loaded
7.89/7.94 o 0
7.89/7.94 c feasible solution found by trivial heuristic, objective value 0.000000e+00
7.89/7.94 c presolving:
8.89/8.92 c (round 1) 26780 del vars, 2344 del conss, 0 add conss, 18205 chg bounds, 93789 chg sides, 93789 chg coeffs, 0 upgd conss, 1378 impls, 1565 clqs
8.99/9.09 c (round 2) 26780 del vars, 3999 del conss, 0 add conss, 18205 chg bounds, 100896 chg sides, 100896 chg coeffs, 0 upgd conss, 1378 impls, 1565 clqs
9.79/9.86 c (round 3) 26780 del vars, 3999 del conss, 0 add conss, 18205 chg bounds, 100896 chg sides, 100896 chg coeffs, 93777 upgd conss, 1378 impls, 1565 clqs
14.79/14.87 c (round 4) 26780 del vars, 95354 del conss, 913454 add conss, 18205 chg bounds, 1021457 chg sides, 1998874 chg coeffs, 93777 upgd conss, 1829844 impls, 1565 clqs
183.50/183.59 c (183.6s) probing: 1000/1014899 (0.1%) - 0 fixings, 6 aggregations, 53954 implications, 0 bound changes
355.21/355.20 c (355.2s) probing: 2000/1014899 (0.2%) - 0 fixings, 6 aggregations, 117771 implications, 0 bound changes
452.11/452.10 c (452.1s) probing: 2558/1014899 (0.3%) - 0 fixings, 6 aggregations, 153462 implications, 0 bound changes
452.11/452.10 c (452.1s) probing aborted: 2000/2000 successive useless probings
452.11/452.16 c presolving (5 rounds):
452.11/452.16 c 26786 deleted vars, 95354 deleted constraints, 913454 added constraints, 18205 tightened bounds, 0 added holes, 1021457 changed sides, 1998874 changed coefficients
452.11/452.16 c 2136768 implications, 1565 cliques
452.11/452.16 c presolved problem has 1014893 variables (1014893 bin, 0 int, 0 impl, 0 cont) and 945960 constraints
452.11/452.16 c 857 constraints of type <knapsack>
452.11/452.16 c 915019 constraints of type <setppc>
452.11/452.16 c 30084 constraints of type <linear>
452.11/452.16 c transformed objective value is always integral (scale: 1)
452.11/452.16 c Presolving Time: 446.88
452.11/452.16 c - non default parameters ----------------------------------------------------------------------
452.11/452.16 c # SCIP version 2.0.1.4
452.11/452.16 c
452.11/452.16 c # frequency for displaying node information lines
452.11/452.16 c # [type: int, range: [-1,2147483647], default: 100]
452.11/452.16 c display/freq = 10000
452.11/452.16 c
452.11/452.16 c # maximal time in seconds to run
452.11/452.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
452.11/452.16 c limits/time = 1797
452.11/452.16 c
452.11/452.16 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
452.11/452.16 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
452.11/452.16 c limits/memory = 13950
452.11/452.16 c
452.11/452.16 c # default clock type (1: CPU user seconds, 2: wall clock time)
452.11/452.16 c # [type: int, range: [1,2], default: 1]
452.11/452.16 c timing/clocktype = 2
452.11/452.16 c
452.11/452.16 c # belongs reading time to solving time?
452.11/452.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
452.11/452.16 c timing/reading = TRUE
452.11/452.16 c
452.11/452.16 c # should presolving try to simplify inequalities
452.11/452.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
452.11/452.16 c constraints/linear/simplifyinequalities = TRUE
452.11/452.16 c
452.11/452.16 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
452.11/452.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
452.11/452.16 c constraints/indicator/addCouplingCons = TRUE
452.11/452.16 c
452.11/452.16 c # should presolving try to simplify knapsacks
452.11/452.16 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
452.11/452.16 c constraints/knapsack/simplifyinequalities = TRUE
452.11/452.16 c
452.11/452.16 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
452.11/452.16 c # [type: int, range: [-1,2147483647], default: -1]
452.11/452.16 c separating/rapidlearning/freq = 0
452.11/452.16 c
452.11/452.16 c -----------------------------------------------------------------------------------------------
452.11/452.16 c start solving
452.41/452.45 c
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-3485419-1307755863/watcher-3485419-1307755863 -o /tmp/evaluation-result-3485419-1307755863/solver-3485419-1307755863 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3485419-1307755863.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.00 2.01 1.94 2/177 3838
/proc/meminfo: memFree=31325444/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=10020 CPUtime=0 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1514 0 0 0 0 0 0 0 23 0 1 0 965817079 10260480 1468 33554432000 4194304 8979876 140734932623392 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3838/statm: 2563 1481 358 1169 0 1390 0
[startup+0.0300769 s]
/proc/loadavg: 2.00 2.01 1.94 2/177 3838
/proc/meminfo: memFree=31325444/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=23564 CPUtime=0.02 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 4859 0 0 0 2 0 0 0 23 0 1 0 965817079 24129536 4814 33554432000 4194304 8979876 140734932623392 18446744073709551615 6779003 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3838/statm: 5891 4838 366 1169 0 4718 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 23564
[startup+0.101079 s]
/proc/loadavg: 2.00 2.01 1.94 2/177 3838
/proc/meminfo: memFree=31325444/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=59464 CPUtime=0.09 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 13857 0 0 0 8 1 0 0 23 0 1 0 965817079 60891136 13811 33554432000 4194304 8979876 140734932623392 18446744073709551615 7734211 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3838/statm: 14866 13811 366 1169 0 13693 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59464
[startup+0.301024 s]
/proc/loadavg: 2.00 2.01 1.94 2/177 3838
/proc/meminfo: memFree=31325444/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=150188 CPUtime=0.28 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 36530 0 0 0 25 3 0 0 25 0 1 0 965817079 153792512 36484 33554432000 4194304 8979876 140734932623392 18446744073709551615 7807871 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3838/statm: 37547 36484 366 1169 0 36374 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 150188
[startup+0.700953 s]
/proc/loadavg: 2.00 2.01 1.94 2/177 3838
/proc/meminfo: memFree=31325444/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=315736 CPUtime=0.69 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 77782 0 0 0 62 7 0 0 25 0 1 0 965817079 323313664 77736 33554432000 4194304 8979876 140734932623392 18446744073709551615 7807964 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3838/statm: 78934 77736 366 1169 0 77761 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 315736
[startup+1.50079 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 3839
/proc/meminfo: memFree=30900760/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=598928 CPUtime=1.49 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 148693 0 0 0 133 16 0 0 25 0 1 0 965817079 613302272 148647 33554432000 4194304 8979876 140734932623392 18446744073709551615 7893696 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3838/statm: 149732 148647 366 1169 0 148559 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 598928
[startup+3.1005 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 3839
/proc/meminfo: memFree=30558396/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=789800 CPUtime=3.08 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 196117 0 0 0 286 22 0 0 25 0 1 0 965817079 808755200 196071 33554432000 4194304 8979876 140734932623392 18446744073709551615 4446976 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/3838/statm: 197450 196071 366 1169 0 196277 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 789800
[startup+6.30089 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 3839
/proc/meminfo: memFree=29581956/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=1750492 CPUtime=6.29 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 435439 0 0 0 580 49 0 0 25 0 1 0 965817079 1792503808 435342 33554432000 4194304 8979876 140734932623392 18446744073709551615 4786309 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3838/statm: 437623 435342 441 1169 0 436450 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1750492
[startup+12.7007 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 3839
/proc/meminfo: memFree=28575340/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3046052 CPUtime=12.69 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 764620 0 0 0 1188 81 0 0 25 0 1 0 965817079 3119157248 740028 33554432000 4194304 8979876 140734932623392 18446744073709551615 4460162 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3838/statm: 761513 740028 570 1169 0 760340 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 3046052
[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 1.94 3/178 3839
/proc/meminfo: memFree=27930136/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=25.49 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 912541 0 0 0 2454 95 0 0 25 0 1 0 965817079 3531980800 848843 33554432000 4194304 8979876 140734932623392 18446744073709551615 5539232 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/3838/statm: 862300 848843 1649 1169 0 861127 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 3449200
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3840
/proc/meminfo: memFree=27928540/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=51.09 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 912541 0 0 0 5014 95 0 0 25 0 1 0 965817079 3531980800 848843 33554432000 4194304 8979876 140734932623392 18446744073709551615 4222938 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 862300 848843 1649 1169 0 861127 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 3449200
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3841
/proc/meminfo: memFree=27927508/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=102.3 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 912541 0 0 0 10135 95 0 0 25 0 1 0 965817079 3531980800 848843 33554432000 4194304 8979876 140734932623392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 862300 848843 1649 1169 0 861127 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 3449200
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/178 3843
/proc/meminfo: memFree=27924836/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=162.3 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 912541 0 0 0 16135 95 0 0 25 0 1 0 965817079 3531980800 848843 33554432000 4194304 8979876 140734932623392 18446744073709551615 4222993 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 862300 848843 1649 1169 0 861127 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 3449200
[startup+222.301 s]
/proc/loadavg: 2.06 2.01 1.95 3/178 3845
/proc/meminfo: memFree=27920820/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=222.3 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 912542 0 0 0 22135 95 0 0 25 0 1 0 965817079 3531980800 848844 33554432000 4194304 8979876 140734932623392 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 862300 848844 1650 1169 0 861127 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 3449200
[startup+282.301 s]
/proc/loadavg: 2.02 2.01 1.95 3/178 3846
/proc/meminfo: memFree=27915680/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=282.3 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 913579 0 0 0 28135 95 0 0 25 0 1 0 965817079 3531980800 848844 33554432000 4194304 8979876 140734932623392 18446744073709551615 5537665 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 862300 848844 613 1169 0 861127 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 3449200
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3848
/proc/meminfo: memFree=27914996/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=342.3 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 913595 0 0 0 34135 95 0 0 25 0 1 0 965817079 3531980800 848844 33554432000 4194304 8979876 140734932623392 18446744073709551615 5538064 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 862300 848844 597 1169 0 861127 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 3449200
[startup+402.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3849
/proc/meminfo: memFree=27912208/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=3449200 CPUtime=402.3 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 913599 0 0 0 40135 95 0 0 25 0 1 0 965817079 3531980800 848844 33554432000 4194304 8979876 140734932623392 18446744073709551615 4222929 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 862300 848844 593 1169 0 861127 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 3449200
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3851
/proc/meminfo: memFree=26104352/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5426608 CPUtime=462.31 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1471927 0 0 0 46079 152 0 0 25 0 1 0 965817079 5556846592 1300310 33554432000 4194304 8979876 140734932623392 18446744073709551615 7046378 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1356652 1300310 1567 1169 0 1355479 0
Current children cumulated CPU time (s) 462.31
Current children cumulated vsize (KiB) 5426608
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3856
/proc/meminfo: memFree=26082208/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5451304 CPUtime=522.31 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1477312 0 0 0 52072 159 0 0 25 0 1 0 965817079 5582135296 1304985 33554432000 4194304 8979876 140734932623392 18446744073709551615 6937197 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1362826 1304985 858 1169 0 1361653 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 5451304
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3857
/proc/meminfo: memFree=26030224/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5499004 CPUtime=582.31 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1490314 0 0 0 58067 164 0 0 25 0 1 0 965817079 5630980096 1317441 33554432000 4194304 8979876 140734932623392 18446744073709551615 7143757 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1374751 1317441 862 1169 0 1373578 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 5499004
[startup+642.301 s]
################
# More data... #
################
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3865
/proc/meminfo: memFree=26015816/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5510412 CPUtime=882.32 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1504190 0 0 0 88053 179 0 0 25 0 1 0 965817079 5642661888 1320390 33554432000 4194304 8979876 140734932623392 18446744073709551615 7179628 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1377603 1320390 866 1169 0 1376430 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 5510412
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3867
/proc/meminfo: memFree=26012904/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5510828 CPUtime=942.32 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1506918 0 0 0 94051 181 0 0 25 0 1 0 965817079 5643087872 1320483 33554432000 4194304 8979876 140734932623392 18446744073709551615 7029863 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1377707 1320483 866 1169 0 1376534 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 5510828
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3868
/proc/meminfo: memFree=26011608/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5511400 CPUtime=1002.33 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1510045 0 0 0 100049 184 0 0 25 0 1 0 965817079 5643673600 1320592 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122117 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1377850 1320592 866 1169 0 1376677 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 5511400
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3870
/proc/meminfo: memFree=25998776/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5523036 CPUtime=1062.32 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1515467 0 0 0 106047 185 0 0 25 0 1 0 965817079 5655588864 1323581 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122137 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1380759 1323581 866 1169 0 1379586 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 5523036
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3872
/proc/meminfo: memFree=25998480/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5523360 CPUtime=1122.33 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1517873 0 0 0 112046 187 0 0 25 0 1 0 965817079 5655920640 1323658 33554432000 4194304 8979876 140734932623392 18446744073709551615 7118578 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1380840 1323658 866 1169 0 1379667 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 5523360
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3873
/proc/meminfo: memFree=25997936/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5523620 CPUtime=1182.33 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1521255 0 0 0 118044 189 0 0 25 0 1 0 965817079 5656186880 1323722 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122121 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1380905 1323722 866 1169 0 1379732 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 5523620
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.95 3/178 3875
/proc/meminfo: memFree=25997004/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5523860 CPUtime=1242.34 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1523858 0 0 0 124043 191 0 0 25 0 1 0 965817079 5656432640 1323785 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122096 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1380965 1323785 866 1169 0 1379792 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 5523860
[startup+1302.3 s]
/proc/loadavg: 2.04 2.01 1.96 3/178 3876
/proc/meminfo: memFree=25994712/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5532672 CPUtime=1302.34 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1526996 0 0 0 130041 193 0 0 25 0 1 0 965817079 5665456128 1324264 33554432000 4194304 8979876 140734932623392 18446744073709551615 7146848 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1383168 1324264 860 1169 0 1381995 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 5532672
[startup+1362.3 s]
/proc/loadavg: 2.01 2.01 1.96 3/178 3878
/proc/meminfo: memFree=25982868/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5541620 CPUtime=1362.34 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1532561 0 0 0 136039 195 0 0 25 0 1 0 965817079 5674618880 1326870 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122278 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385405 1326870 894 1169 0 1384232 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 5541620
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3880
/proc/meminfo: memFree=25982692/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5542044 CPUtime=1422.35 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1535243 0 0 0 142038 197 0 0 25 0 1 0 965817079 5675053056 1326953 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122121 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385511 1326953 894 1169 0 1384338 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 5542044
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3881
/proc/meminfo: memFree=25982392/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5542236 CPUtime=1482.34 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1537653 0 0 0 148036 198 0 0 25 0 1 0 965817079 5675249664 1327007 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122300 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385559 1327007 894 1169 0 1384386 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 5542236
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3883
/proc/meminfo: memFree=25982092/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5542436 CPUtime=1542.35 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1540765 0 0 0 154034 201 0 0 25 0 1 0 965817079 5675454464 1327060 33554432000 4194304 8979876 140734932623392 18446744073709551615 7836159 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385609 1327060 894 1169 0 1384436 0
Current children cumulated CPU time (s) 1542.35
Current children cumulated vsize (KiB) 5542436
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3884
/proc/meminfo: memFree=25981788/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5542588 CPUtime=1602.35 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1543048 0 0 0 160032 203 0 0 25 0 1 0 965817079 5675610112 1327100 33554432000 4194304 8979876 140734932623392 18446744073709551615 7147111 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385647 1327100 894 1169 0 1384474 0
Current children cumulated CPU time (s) 1602.35
Current children cumulated vsize (KiB) 5542588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3924
/proc/meminfo: memFree=26180228/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5542752 CPUtime=1662.35 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1546627 0 0 0 166031 204 0 0 25 0 1 0 965817079 5675778048 1327145 33554432000 4194304 8979876 140734932623392 18446744073709551615 7147336 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385688 1327145 894 1169 0 1384515 0
Current children cumulated CPU time (s) 1662.35
Current children cumulated vsize (KiB) 5542752
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 3926
/proc/meminfo: memFree=26180044/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5542964 CPUtime=1722.36 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1549594 0 0 0 172030 206 0 0 25 0 1 0 965817079 5675995136 1327202 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122137 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385741 1327202 894 1169 0 1384568 0
Current children cumulated CPU time (s) 1722.36
Current children cumulated vsize (KiB) 5542964
[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 1.96 3/178 3927
/proc/meminfo: memFree=26178936/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5543072 CPUtime=1782.35 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1551726 0 0 0 178028 207 0 0 25 0 1 0 965817079 5676105728 1327232 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122137 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385768 1327232 894 1169 0 1384595 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 5543072
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 3937
/proc/meminfo: memFree=26177680/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=5543104 CPUtime=1800.06 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4202496 1552475 0 0 0 179798 208 0 0 25 0 1 0 965817079 5676138496 1327242 33554432000 4194304 8979876 140734932623392 18446744073709551615 7122117 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/3838/statm: 1385776 1327242 894 1169 0 1384603 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 5543104
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.11 s]
/proc/loadavg: 2.05 2.01 1.96 3/178 3937
/proc/meminfo: memFree=26177680/32950928 swapFree=67056212/67111528
[pid=3838] ppid=3836 vsize=0 CPUtime=1800.16 cores=1,3,5,7
/proc/3838/stat : 3838 (scip-2.0.1.4_2.) R 3836 3838 2370 0 -1 4203524 1552475 0 0 0 179798 218 0 0 25 0 1 0 965817079 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/3838/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1800.16
Current children cumulated vsize (KiB) 0
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.19
CPU time (s): 1800.25
CPU user time (s): 1797.99
CPU system time (s): 2.26166
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 5661020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.26166
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1552475
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= 2913
runsolver used 2.87656 second user time and 6.94094 second system time
The end