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-3484706-1307789890.opb>
0.29/0.32 c original problem has 2025 variables (2025 bin, 0 int, 0 impl, 0 cont) and 63250 constraints
0.29/0.32 c problem read
0.29/0.32 c presolving settings loaded
0.39/0.48 o 0
0.39/0.48 c feasible solution found by trivial heuristic, objective value 0.000000e+00
0.39/0.48 c presolving:
0.49/0.55 c (round 1) 193 del vars, 193 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 2340 impls, 0 clqs
0.69/0.74 c (round 2) 193 del vars, 879 del conss, 0 add conss, 0 chg bounds, 0 chg sides, 0 chg coeffs, 62371 upgd conss, 2340 impls, 0 clqs
0.79/0.81 c (0.8s) probing: 101/1832 (5.5%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
0.79/0.81 c (0.8s) probing aborted: 100/100 successive totally useless probings
0.79/0.81 c presolving (3 rounds):
0.79/0.81 c 193 deleted vars, 879 deleted constraints, 0 added constraints, 0 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
0.79/0.81 c 2340 implications, 0 cliques
0.79/0.81 c presolved problem has 1832 variables (1832 bin, 0 int, 0 impl, 0 cont) and 62371 constraints
0.79/0.81 c 977 constraints of type <setppc>
0.79/0.81 c 61394 constraints of type <logicor>
0.79/0.81 c transformed objective value is always integral (scale: 1)
0.79/0.81 c Presolving Time: 0.45
0.79/0.81 c - non default parameters ----------------------------------------------------------------------
0.79/0.81 c # SCIP version 2.0.1.4
0.79/0.81 c
0.79/0.81 c # frequency for displaying node information lines
0.79/0.81 c # [type: int, range: [-1,2147483647], default: 100]
0.79/0.81 c display/freq = 10000
0.79/0.81 c
0.79/0.81 c # maximal time in seconds to run
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81 c limits/time = 1797
0.79/0.81 c
0.79/0.81 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
0.79/0.81 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
0.79/0.81 c limits/memory = 13950
0.79/0.81 c
0.79/0.81 c # default clock type (1: CPU user seconds, 2: wall clock time)
0.79/0.81 c # [type: int, range: [1,2], default: 1]
0.79/0.81 c timing/clocktype = 2
0.79/0.81 c
0.79/0.81 c # belongs reading time to solving time?
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c timing/reading = TRUE
0.79/0.81 c
0.79/0.81 c # should presolving try to simplify inequalities
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/linear/simplifyinequalities = TRUE
0.79/0.81 c
0.79/0.81 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/indicator/addCouplingCons = TRUE
0.79/0.81 c
0.79/0.81 c # should presolving try to simplify knapsacks
0.79/0.81 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
0.79/0.81 c constraints/knapsack/simplifyinequalities = TRUE
0.79/0.81 c
0.79/0.81 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
0.79/0.81 c # [type: int, range: [-1,2147483647], default: -1]
0.79/0.81 c separating/rapidlearning/freq = 0
0.79/0.81 c
0.79/0.81 c -----------------------------------------------------------------------------------------------
0.79/0.81 c start solving
0.79/0.81 c
146.89/146.93 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
146.89/146.93 c t 147s| 1 | 0 | 41971 | - | 75M| 0 |1826 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 | 0.000000e+00 | 100.00%
146.89/146.98 o -7
146.89/146.98 c R 147s| 1 | 0 | 41971 | - | 75M| 0 |1826 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 |-7.000000e+00 | 97.17%
146.99/147.04 o -8
146.99/147.04 c s 147s| 1 | 0 | 41971 | - | 75M| 0 |1826 |1832 | 62k|1832 | 62k| 0 | 0 | 0 |-2.475414e+02 |-8.000000e+00 | 96.77%
231.89/231.99 c 232s| 1 | 0 | 68834 | - | 79M| 0 |1827 |1832 | 62k|1832 | 62k| 4 | 0 | 0 |-2.451964e+02 |-8.000000e+00 | 96.74%
231.89/232.00 o -36
231.89/232.00 c b 232s| 1 | 0 | 68834 | - | 79M| 0 |1827 |1832 | 62k|1832 | 62k| 4 | 0 | 0 |-2.451964e+02 |-3.600000e+01 | 85.32%
452.20/452.25 c 452s| 1 | 0 |113591 | - | 81M| 0 |1822 |1832 | 62k|1832 | 62k| 11 | 0 | 0 |-2.366993e+02 |-3.600000e+01 | 84.79%
452.20/452.29 o -48
452.20/452.29 c b 452s| 1 | 0 |113591 | - | 81M| 0 |1822 |1832 | 62k|1832 | 62k| 11 | 0 | 0 |-2.366993e+02 |-4.800000e+01 | 79.72%
624.90/624.96 c 625s| 1 | 0 |149652 | - | 84M| 0 |1821 |1832 | 62k|1832 | 62k| 14 | 0 | 0 |-2.363080e+02 |-4.800000e+01 | 79.69%
710.51/710.55 c 711s| 1 | 0 |163280 | - | 89M| 0 |1813 |1832 | 62k|1832 | 62k| 18 | 0 | 0 |-2.352240e+02 |-4.800000e+01 | 79.59%
896.52/896.59 c 897s| 1 | 0 |200902 | - | 91M| 0 |1816 |1832 | 62k|1832 | 62k| 25 | 0 | 0 |-2.332156e+02 |-4.800000e+01 | 79.42%
1039.53/1039.54 c 1040s| 1 | 0 |235784 | - | 91M| 0 |1822 |1832 | 62k|1832 | 62k| 34 | 0 | 0 |-2.321594e+02 |-4.800000e+01 | 79.32%
1181.22/1181.26 c 1181s| 1 | 0 |263509 | - | 98M| 0 |1822 |1832 | 62k|1832 | 62k| 38 | 0 | 0 |-2.319157e+02 |-4.800000e+01 | 79.30%
1367.92/1367.93 c 1368s| 1 | 0 |295694 | - | 98M| 0 |1817 |1832 | 62k|1832 | 62k| 41 | 0 | 0 |-2.318080e+02 |-4.800000e+01 | 79.29%
1537.63/1537.61 c 1538s| 1 | 0 |324627 | - | 98M| 0 |1817 |1832 | 62k|1832 | 62k| 42 | 0 | 0 |-2.317737e+02 |-4.800000e+01 | 79.29%
1620.34/1620.33 c 1620s| 1 | 0 |331867 | - | 99M| 0 |1817 |1832 | 62k|1832 | 62k| 43 | 0 | 0 |-2.317675e+02 |-4.800000e+01 | 79.29%
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-3484706-1307789890/watcher-3484706-1307789890 -o /tmp/evaluation-result-3484706-1307789890/solver-3484706-1307789890 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3484706-1307789890.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.03 2.01 1.98 2/174 14118
/proc/meminfo: memFree=31502812/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 1497 0 0 0 0 0 0 0 25 0 1 0 890589422 10211328 1451 33554432000 4194304 8979876 140734761639856 18446744073709551615 7790414 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14118/statm: 2493 1451 366 1169 0 1320 0
[startup+0.0219581 s]
/proc/loadavg: 2.03 2.01 1.98 2/174 14118
/proc/meminfo: memFree=31502812/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=13036 CPUtime=0.01 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 2252 0 0 0 1 0 0 0 25 0 1 0 890589422 13348864 2206 33554432000 4194304 8979876 140734761639856 18446744073709551615 6205805 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14118/statm: 3259 2206 366 1169 0 2086 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13036
[startup+0.10093 s]
/proc/loadavg: 2.03 2.01 1.98 2/174 14118
/proc/meminfo: memFree=31502812/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=18820 CPUtime=0.09 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 3713 0 0 0 9 0 0 0 25 0 1 0 890589422 19271680 3667 33554432000 4194304 8979876 140734761639856 18446744073709551615 7836063 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14118/statm: 4705 3667 366 1169 0 3532 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 18820
[startup+0.300893 s]
/proc/loadavg: 2.03 2.01 1.98 2/174 14118
/proc/meminfo: memFree=31502812/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=28864 CPUtime=0.29 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 6219 0 0 0 29 0 0 0 25 0 1 0 890589422 29556736 6173 33554432000 4194304 8979876 140734761639856 18446744073709551615 7718692 0 0 4096 0 0 0 0 17 5 0 0 0
/proc/14118/statm: 7216 6173 366 1169 0 6043 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 28864
[startup+0.700834 s]
/proc/loadavg: 2.03 2.01 1.98 2/174 14118
/proc/meminfo: memFree=31502812/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=103740 CPUtime=0.69 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 30737 0 0 0 66 3 0 0 25 0 1 0 890589422 106229760 24570 33554432000 4194304 8979876 140734761639856 18446744073709551615 6783145 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14118/statm: 25935 24570 506 1169 0 24762 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 103740
[startup+1.50068 s]
/proc/loadavg: 2.03 2.01 1.98 3/175 14119
/proc/meminfo: memFree=31332724/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=208312 CPUtime=1.49 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 57766 0 0 0 143 6 0 0 18 0 1 0 890589422 213311488 48288 33554432000 4194304 8979876 140734761639856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14118/statm: 52078 48288 1238 1169 0 50905 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208312
[startup+3.1004 s]
/proc/loadavg: 2.03 2.01 1.98 3/175 14119
/proc/meminfo: memFree=31302104/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=228412 CPUtime=3.09 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 63668 0 0 0 301 8 0 0 21 0 1 0 890589422 233893888 53265 33554432000 4194304 8979876 140734761639856 18446744073709551615 7164620 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14118/statm: 57103 53265 734 1169 0 55930 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 228412
[startup+6.30081 s]
/proc/loadavg: 2.03 2.01 1.98 3/175 14119
/proc/meminfo: memFree=31300316/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=224988 CPUtime=6.29 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 65696 0 0 0 619 10 0 0 25 0 1 0 890589422 230387712 52202 33554432000 4194304 8979876 140734761639856 18446744073709551615 6820818 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/14118/statm: 56247 52202 665 1169 0 55074 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 224988
[startup+12.7006 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 14119
/proc/meminfo: memFree=31285940/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=233440 CPUtime=12.68 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 67250 0 0 0 1257 11 0 0 25 0 1 0 890589422 239042560 53677 33554432000 4194304 8979876 140734761639856 18446744073709551615 7147081 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 58360 53677 656 1169 0 57187 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 233440
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.98 3/175 14120
/proc/meminfo: memFree=31283368/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=234108 CPUtime=25.49 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 67913 0 0 0 2535 14 0 0 25 0 1 0 890589422 239726592 54340 33554432000 4194304 8979876 140734761639856 18446744073709551615 7122720 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 58527 54340 663 1169 0 57354 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 234108
[startup+51.1007 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 14120
/proc/meminfo: memFree=31275596/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=241252 CPUtime=51.09 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 69818 0 0 0 5092 17 0 0 25 0 1 0 890589422 247042048 56245 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 60313 56245 774 1169 0 59140 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 241252
[startup+102.306 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14122
/proc/meminfo: memFree=31275136/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=241252 CPUtime=102.3 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 69828 0 0 0 10206 24 0 0 25 0 1 0 890589422 247042048 56255 33554432000 4194304 8979876 140734761639856 18446744073709551615 7836093 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 60313 56255 774 1169 0 59140 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 241252
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14123
/proc/meminfo: memFree=31298044/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=219152 CPUtime=162.29 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 71580 0 0 0 16197 32 0 0 25 0 1 0 890589422 224411648 50438 33554432000 4194304 8979876 140734761639856 18446744073709551615 7193019 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 54788 50438 667 1169 0 53615 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 219152
[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14134
/proc/meminfo: memFree=31292400/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=222792 CPUtime=222.29 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 72781 0 0 0 22187 42 0 0 25 0 1 0 890589422 228139008 51639 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146482 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 55698 51639 667 1169 0 54525 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 222792
[startup+282.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14135
/proc/meminfo: memFree=31292500/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=225076 CPUtime=282.3 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 74248 0 0 0 28168 62 0 0 25 0 1 0 890589422 230477824 53106 33554432000 4194304 8979876 140734761639856 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 56269 53106 670 1169 0 55096 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 225076
[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14139
/proc/meminfo: memFree=31284412/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=225076 CPUtime=342.29 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 74502 0 0 0 34157 72 0 0 25 0 1 0 890589422 230477824 53360 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 56269 53360 670 1169 0 55096 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 225076
[startup+402.301 s]
/proc/loadavg: 2.03 2.01 1.98 3/175 14142
/proc/meminfo: memFree=31284532/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=225076 CPUtime=402.3 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 74505 0 0 0 40147 83 0 0 25 0 1 0 890589422 230477824 53363 33554432000 4194304 8979876 140734761639856 18446744073709551615 7147184 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 56269 53363 670 1169 0 55096 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 225076
[startup+462.301 s]
/proc/loadavg: 2.01 2.01 1.98 3/175 14143
/proc/meminfo: memFree=31284256/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=225076 CPUtime=462.3 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 74579 0 0 0 46136 94 0 0 25 0 1 0 890589422 230477824 53437 33554432000 4194304 8979876 140734761639856 18446744073709551615 7841481 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 56269 53437 670 1169 0 55096 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 225076
[startup+522.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14145
/proc/meminfo: memFree=31279272/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=229568 CPUtime=522.3 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 75865 0 0 0 52121 109 0 0 25 0 1 0 890589422 235077632 54723 33554432000 4194304 8979876 140734761639856 18446744073709551615 7147105 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 57392 54723 670 1169 0 56219 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 229568
[startup+582.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14146
/proc/meminfo: memFree=31257184/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=251260 CPUtime=582.31 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 81973 0 0 0 58112 119 0 0 25 0 1 0 890589422 257290240 60225 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146523 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 62815 60225 670 1169 0 61642 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 251260
[startup+642.3 s]
################
# More data... #
################
[startup+822.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14153
/proc/meminfo: memFree=31236348/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=272300 CPUtime=822.31 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 89912 0 0 0 82058 173 0 0 25 0 1 0 890589422 278835200 65527 33554432000 4194304 8979876 140734761639856 18446744073709551615 7192879 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 68075 65527 718 1169 0 66902 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 272300
[startup+882.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14154
/proc/meminfo: memFree=31236320/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=272300 CPUtime=882.31 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 89918 0 0 0 88050 181 0 0 25 0 1 0 890589422 278835200 65533 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146596 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 68075 65533 718 1169 0 66902 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 272300
[startup+942.301 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14156
/proc/meminfo: memFree=31252788/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=250364 CPUtime=942.31 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 89920 0 0 0 94040 191 0 0 25 0 1 0 890589422 256372736 61290 33554432000 4194304 8979876 140734761639856 18446744073709551615 7147431 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 62591 61290 718 1169 0 61418 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 250364
[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14158
/proc/meminfo: memFree=31252500/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=250364 CPUtime=1002.32 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 89920 0 0 0 100032 200 0 0 25 0 1 0 890589422 256372736 61290 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146996 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 62591 61290 718 1169 0 61418 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 250364
[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14159
/proc/meminfo: memFree=31252464/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=250364 CPUtime=1062.31 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 89920 0 0 0 106021 210 0 0 25 0 1 0 890589422 256372736 61290 33554432000 4194304 8979876 140734761639856 18446744073709551615 6890417 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 62591 61290 718 1169 0 61418 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 250364
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14161
/proc/meminfo: memFree=31234588/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=276220 CPUtime=1122.32 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95181 0 0 0 112009 223 0 0 25 0 1 0 890589422 282849280 66290 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146351 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 69055 66290 1085 1169 0 67882 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 276220
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14162
/proc/meminfo: memFree=31234692/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=276220 CPUtime=1182.32 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95181 0 0 0 118001 231 0 0 25 0 1 0 890589422 282849280 66290 33554432000 4194304 8979876 140734761639856 18446744073709551615 6890432 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 69055 66290 1085 1169 0 67882 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 276220
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14164
/proc/meminfo: memFree=31234660/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=276220 CPUtime=1242.32 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95181 0 0 0 123982 250 0 0 25 0 1 0 890589422 282849280 66290 33554432000 4194304 8979876 140734761639856 18446744073709551615 6614215 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 69055 66290 1085 1169 0 67882 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 276220
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14166
/proc/meminfo: memFree=31246048/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=257700 CPUtime=1302.33 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95211 0 0 0 129973 260 0 0 25 0 1 0 890589422 263884800 62974 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146528 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 64425 62974 718 1169 0 63252 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 257700
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14167
/proc/meminfo: memFree=31246148/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=257700 CPUtime=1362.33 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95211 0 0 0 135967 266 0 0 25 0 1 0 890589422 263884800 62974 33554432000 4194304 8979876 140734761639856 18446744073709551615 7147336 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 64425 62974 718 1169 0 63252 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 257700
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/175 14169
/proc/meminfo: memFree=31246228/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=257700 CPUtime=1422.33 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95211 0 0 0 141948 285 0 0 25 0 1 0 890589422 263884800 62974 33554432000 4194304 8979876 140734761639856 18446744073709551615 6890534 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 64425 62974 718 1169 0 63252 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 257700
[startup+1482.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/175 14170
/proc/meminfo: memFree=31245588/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=257700 CPUtime=1482.33 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95239 0 0 0 147936 297 0 0 25 0 1 0 890589422 263884800 63002 33554432000 4194304 8979876 140734761639856 18446744073709551615 7164608 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 64425 63002 718 1169 0 63252 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 257700
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/175 14172
/proc/meminfo: memFree=31243204/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=265124 CPUtime=1542.33 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95780 0 0 0 153927 306 0 0 25 0 1 0 890589422 271486976 63543 33554432000 4194304 8979876 140734761639856 18446744073709551615 6543892 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 66281 63543 718 1169 0 65108 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 265124
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14212
/proc/meminfo: memFree=31204072/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=265124 CPUtime=1602.33 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 95780 0 0 0 159911 322 0 0 25 0 1 0 890589422 271486976 63543 33554432000 4194304 8979876 140734761639856 18446744073709551615 6610589 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 66281 63543 718 1169 0 65108 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 265124
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14213
/proc/meminfo: memFree=31193172/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=268844 CPUtime=1662.33 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 96717 0 0 0 165898 335 0 0 25 0 1 0 890589422 275296256 64480 33554432000 4194304 8979876 140734761639856 18446744073709551615 6888413 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 67211 64480 718 1169 0 66038 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 268844
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14215
/proc/meminfo: memFree=31193256/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=268844 CPUtime=1722.34 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 96747 0 0 0 171886 348 0 0 25 0 1 0 890589422 275296256 64509 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146136 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 67211 64509 717 1169 0 66038 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 268844
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14216
/proc/meminfo: memFree=31197184/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=268844 CPUtime=1782.34 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 96754 0 0 0 177880 354 0 0 25 0 1 0 890589422 275296256 64511 33554432000 4194304 8979876 140734761639856 18446744073709551615 7146630 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 67211 64511 712 1169 0 66038 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 268844
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800 s]
/proc/loadavg: 2.00 2.00 1.99 3/175 14217
/proc/meminfo: memFree=31194684/32951124 swapFree=67060628/67111528
[pid=14118] ppid=14116 vsize=268844 CPUtime=1800.05 cores=1,3,5,7
/proc/14118/stat : 14118 (scip-2.0.1.4_2.) R 14116 14118 13525 0 -1 4202496 96756 0 0 0 179649 356 0 0 25 0 1 0 890589422 275296256 64512 33554432000 4194304 8979876 140734761639856 18446744073709551615 7890762 0 0 4096 2 0 0 0 17 3 0 0 0
/proc/14118/statm: 67211 64512 711 1169 0 66038 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 268844
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.02
CPU time (s): 1800.06
CPU user time (s): 1796.49
CPU system time (s): 3.56946
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 276220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.49
system time used= 3.56946
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 96756
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= 6
involuntary context switches= 2678
runsolver used 2.42163 second user time and 5.81811 second system time
The end