0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 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-3740315-1338735888.opb>
1.59/1.67 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 256600 constraints
1.59/1.67 c problem read
1.59/1.67 c presolving settings loaded
2.10/2.18 c presolving:
8.89/8.97 c (round 1) 7246 del vars, 21005 del conss, 5909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17227958 impls, 0 clqs
12.00/12.01 c (round 2) 11790 del vars, 43932 del conss, 10268 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17255270 impls, 0 clqs
12.99/13.01 c (round 3) 14003 del vars, 53164 del conss, 11665 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17269377 impls, 0 clqs
13.59/13.64 c (round 4) 15115 del vars, 57755 del conss, 12435 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17279343 impls, 0 clqs
13.99/14.04 c (round 5) 15846 del vars, 60872 del conss, 12948 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17284291 impls, 0 clqs
14.20/14.24 c (round 6) 16254 del vars, 62654 del conss, 13184 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17286898 impls, 0 clqs
14.30/14.39 c (round 7) 16454 del vars, 63533 del conss, 13309 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17288310 impls, 0 clqs
14.49/14.50 c (round 8) 16577 del vars, 64071 del conss, 13391 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289146 impls, 0 clqs
14.49/14.59 c (round 9) 16651 del vars, 64416 del conss, 13438 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289481 impls, 0 clqs
14.59/14.66 c (round 10) 16689 del vars, 64601 del conss, 13462 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289681 impls, 0 clqs
14.69/14.73 c (round 11) 16717 del vars, 64722 del conss, 13481 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289775 impls, 0 clqs
14.69/14.79 c (round 12) 16727 del vars, 64778 del conss, 13487 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289807 impls, 0 clqs
14.79/14.85 c (round 13) 16733 del vars, 64806 del conss, 13490 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 17289833 impls, 0 clqs
839.29/839.59 c (837.9s) probing: 1000/56103 (1.8%) - 12 fixings, 1 aggregations, 16340037 implications, 0 bound changes
1378.01/1378.37 c (1376.7s) probing: 2000/56103 (3.6%) - 12 fixings, 1 aggregations, 26984962 implications, 0 bound changes
1438.99/1439.31 c (1437.6s) probing: 2130/56103 (3.8%) - 12 fixings, 1 aggregations, 28191300 implications, 0 bound changes
1438.99/1439.31 c (1437.6s) probing aborted: 2000/2000 successive useless probings
1438.99/1439.31 c (round 14) 16752 del vars, 64834 del conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 112429357 impls, 0 clqs
1439.30/1439.63 c (round 15) 16753 del vars, 65587 del conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 0 upgd conss, 112429547 impls, 0 clqs
1440.09/1440.44 c (round 16) 16753 del vars, 65588 del conss, 13493 chg bounds, 1 chg sides, 18 chg coeffs, 191012 upgd conss, 112429547 impls, 0 clqs
1441.39/1441.77 c (round 17) 16753 del vars, 65594 del conss, 13493 chg bounds, 31 chg sides, 195 chg coeffs, 191012 upgd conss, 112429547 impls, 0 clqs
1596.66/1597.06 c (round 18) 16803 del vars, 65597 del conss, 13493 chg bounds, 37 chg sides, 214 chg coeffs, 191012 upgd conss, 116136713 impls, 0 clqs
1598.46/1598.85 c (round 19) 16807 del vars, 65789 del conss, 13493 chg bounds, 37 chg sides, 214 chg coeffs, 191012 upgd conss, 116188061 impls, 0 clqs
1789.63/1790.04 c (1788.4s) probing: 2584/56103 (4.6%) - 61 fixings, 8 aggregations, 31339619 implications, 0 bound changes
1789.63/1790.04 c (1788.4s) probing aborted: solving stopped
1789.63/1790.04 c (round 20) 16813 del vars, 65793 del conss, 13493 chg bounds, 37 chg sides, 214 chg coeffs, 191012 upgd conss, 123338915 impls, 0 clqs
1789.63/1790.04 c presolving (20 rounds):
1789.63/1790.04 c 16813 deleted vars, 65793 deleted constraints, 13493 tightened bounds, 0 added holes, 37 changed sides, 214 changed coefficients
1789.63/1790.04 c 123338915 implications, 0 cliques
1789.63/1790.04 c presolving was interrupted.
1789.63/1790.04 c Presolving Time: 1788.00
1789.63/1790.04 c - non default parameters ----------------------------------------------------------------------
1789.63/1790.04 c # SCIP version 1.2.1.3
1789.63/1790.04 c
1789.63/1790.04 c # frequency for displaying node information lines
1789.63/1790.04 c # [type: int, range: [-1,2147483647], default: 100]
1789.63/1790.04 c display/freq = 10000
1789.63/1790.04 c
1789.63/1790.04 c # maximal time in seconds to run
1789.63/1790.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.63/1790.04 c limits/time = 1788.34
1789.63/1790.04 c
1789.63/1790.04 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.63/1790.04 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.63/1790.04 c limits/memory = 13950
1789.63/1790.04 c
1789.63/1790.04 c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.63/1790.04 c # [type: int, range: [1,2], default: 1]
1789.63/1790.04 c timing/clocktype = 2
1789.63/1790.04 c
1789.63/1790.04 c # should presolving try to simplify inequalities
1789.63/1790.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.63/1790.04 c constraints/linear/simplifyinequalities = TRUE
1789.63/1790.04 c
1789.63/1790.04 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.63/1790.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.63/1790.04 c constraints/indicator/addCouplingCons = TRUE
1789.63/1790.04 c
1789.63/1790.04 c # should presolving try to simplify knapsacks
1789.63/1790.04 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.63/1790.04 c constraints/knapsack/simplifyinequalities = TRUE
1789.63/1790.04 c
1789.63/1790.04 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.63/1790.04 c # [type: int, range: [-1,2147483647], default: -1]
1789.63/1790.04 c separating/rapidlearning/freq = 0
1789.63/1790.04 c
1789.63/1790.04 c -----------------------------------------------------------------------------------------------
1789.63/1790.04 c start solving
1789.73/1790.10 c presolving:
1789.73/1790.10 c presolving (20 rounds):
1789.73/1790.10 c 16813 deleted vars, 65793 deleted constraints, 13493 tightened bounds, 0 added holes, 37 changed sides, 214 changed coefficients
1789.73/1790.10 c 123338915 implications, 0 cliques
1789.73/1790.10 c presolving was interrupted.
1789.73/1790.10 c Presolving Time: 1788.05
1789.73/1790.10 c
1789.73/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1789.73/1790.10 c Solving Time (sec) : 1788.43
1789.73/1790.10 c Solving Nodes : 0
1789.73/1790.10 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.73/1790.10 s UNKNOWN
1789.73/1790.10 c SCIP Status : solving was interrupted [time limit reached]
1789.73/1790.10 c Solving Time : 1788.43
1789.73/1790.10 c Original Problem :
1789.73/1790.10 c Problem name : HOME/instance-3740315-1338735888.opb
1789.73/1790.10 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.73/1790.10 c Constraints : 256600 initial, 256600 maximal
1789.73/1790.10 c Presolved Problem :
1789.73/1790.10 c Problem name : t_HOME/instance-3740315-1338735888.opb
1789.73/1790.10 c Variables : 56029 (56029 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.73/1790.10 c Constraints : 190832 initial, 190832 maximal
1789.73/1790.10 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.73/1790.10 c trivial : 0.06 896 0 0 0 0 0 0 0
1789.73/1790.10 c dualfix : 0.08 125 0 0 0 0 0 0 0
1789.73/1790.10 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.73/1790.10 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.73/1790.10 c implics : 2.66 0 4 0 0 0 0 0 0
1789.73/1790.10 c probing : 1770.03 61 8 0 0 0 0 0 0
1789.73/1790.10 c knapsack : 1.65 0 0 0 0 0 0 36 196
1789.73/1790.10 c setppc : 0.37 0 0 0 0 0 188 0 0
1789.73/1790.10 c linear : 12.71 12597 3122 0 13493 0 65588 1 18
1789.73/1790.10 c logicor : 0.07 0 0 0 0 0 17 0 0
1789.73/1790.10 c root node : - 0 - - 0 - - - -
1789.73/1790.10 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.73/1790.10 c integral : 0 0 0 0 0 0 0 0 0 0
1789.73/1790.10 c knapsack : 0+ 0 10874 0 0 7 0 0 0 0
1789.73/1790.10 c setppc : 0+ 0 10867 0 0 22 0 0 0 0
1789.73/1790.10 c linear : 0+ 0 115399 0 0 6 0 0 0 0
1789.73/1790.10 c logicor : 0+ 0 10282 0 0 0 0 0 0 0
1789.73/1790.10 c countsols : 0 0 0 0 0 0 0 0 0 0
1789.73/1790.10 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.73/1790.10 c integral : 0.00 0.00 0.00 0.00 0.00
1789.73/1790.10 c knapsack : 1.77 0.00 1.77 0.00 0.00
1789.73/1790.10 c setppc : 34.77 0.00 34.77 0.00 0.00
1789.73/1790.10 c linear : 615.49 0.00 615.49 0.00 0.00
1789.73/1790.10 c logicor : 3.14 0.00 3.14 0.00 0.00
1789.73/1790.10 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.73/1790.10 c Propagators : Time Calls Cutoffs DomReds
1789.73/1790.10 c vbounds : 0.05 1 0 0
1789.73/1790.10 c rootredcost : 0.03 0 0 0
1789.73/1790.10 c pseudoobj : 0.03 0 0 0
1789.73/1790.10 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.73/1790.10 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.73/1790.10 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.73/1790.10 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.73/1790.10 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.73/1790.10 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.73/1790.10 c applied globally : - - - 0 0.0 - - -
1789.73/1790.10 c applied locally : - - - 0 0.0 - - -
1790.24/1790.67 c Time complete: 1790.31.
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740315-1338735888/watcher-3740315-1338735888 -o /tmp/evaluation-result-3740315-1338735888/solver-3740315-1338735888 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740315-1338735888.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 3/176 26218
/proc/meminfo: memFree=27013692/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1719 0 0 0 0 0 0 0 20 0 1 0 339713392 10211328 1666 33554432000 4194304 8395647 140734717126480 140736589681560 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 2493 1677 374 1026 0 1463 0
[startup+0.013018 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26218
/proc/meminfo: memFree=27013692/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=11952 CPUtime=0 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 2237 0 0 0 0 0 0 0 20 0 1 0 339713392 12238848 2184 33554432000 4194304 8395647 140734717126480 140736589681560 7382046 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 2988 2184 393 1026 0 1958 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11952
[startup+0.100263 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26218
/proc/meminfo: memFree=27013692/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=27240 CPUtime=0.09 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 6082 0 0 0 9 0 0 0 20 0 1 0 339713392 27893760 6029 33554432000 4194304 8395647 140734717126480 140736589681560 7382061 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 6810 6029 393 1026 0 5780 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27240
[startup+0.300261 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26218
/proc/meminfo: memFree=27013692/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=53404 CPUtime=0.29 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 12574 0 0 0 28 1 0 0 20 0 1 0 339713392 54685696 12521 33554432000 4194304 8395647 140734717126480 140736589681560 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 13351 12521 393 1026 0 12321 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53404
[startup+0.700262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 26218
/proc/meminfo: memFree=27013692/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=77480 CPUtime=0.69 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 18605 0 0 0 67 2 0 0 20 0 1 0 339713392 79339520 18552 33554432000 4194304 8395647 140734717126480 140736589681560 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 19370 18552 393 1026 0 18340 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77480
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26219
/proc/meminfo: memFree=26916220/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=144208 CPUtime=1.49 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 35211 0 0 0 145 4 0 0 20 0 1 0 339713392 147668992 35158 33554432000 4194304 8395647 140734717126480 140734716991688 4424487 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 36052 35158 393 1026 0 35022 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 144208
[startup+3.10027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26219
/proc/meminfo: memFree=26658284/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=489076 CPUtime=3.09 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 120599 0 0 0 292 17 0 0 20 0 1 0 339713392 500813824 120192 33554432000 4194304 8395647 140734717126480 140734717122232 6347124 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 122269 120192 469 1026 0 121239 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 489076
[startup+6.30027 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26219
/proc/meminfo: memFree=26330476/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=750324 CPUtime=6.29 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 185503 0 0 0 604 25 0 0 20 0 1 0 339713392 768331776 185096 33554432000 4194304 8395647 140734717126480 140734717122232 7385355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 187581 185096 469 1026 0 186551 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 750324
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26219
/proc/meminfo: memFree=26129240/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=886652 CPUtime=12.69 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 217204 0 0 0 1239 30 0 0 20 0 1 0 339713392 907931648 216797 33554432000 4194304 8395647 140734717126480 140734717122280 6085496 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 221663 216797 475 1026 0 220633 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 886652
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26219
/proc/meminfo: memFree=26009176/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1003448 CPUtime=25.48 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 244856 0 0 0 2515 33 0 0 20 0 1 0 339713392 1027530752 244341 33554432000 4194304 8395647 140734717126480 140734717122344 6080688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 250862 244341 483 1026 0 249832 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1003448
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26219
/proc/meminfo: memFree=25939332/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1047808 CPUtime=51.08 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 255896 0 0 0 5073 35 0 0 20 0 1 0 339713392 1072955392 255381 33554432000 4194304 8395647 140734717126480 140734717122552 6115585 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 261952 255381 483 1026 0 260922 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1047808
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26220
/proc/meminfo: memFree=25767884/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1174064 CPUtime=102.28 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 286840 0 0 0 10188 40 0 0 20 0 1 0 339713392 1202241536 286325 33554432000 4194304 8395647 140734717126480 140734717122552 6080336 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 293516 286325 483 1026 0 292486 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1174064
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26220
/proc/meminfo: memFree=25597040/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1282648 CPUtime=162.26 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 314699 0 0 0 16182 44 0 0 20 0 1 0 339713392 1313431552 314184 33554432000 4194304 8395647 140734717126480 140734717122552 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 320662 314184 483 1026 0 319632 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1282648
[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26220
/proc/meminfo: memFree=25366180/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1453588 CPUtime=222.25 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 356658 0 0 0 22174 51 0 0 20 0 1 0 339713392 1488474112 356143 33554432000 4194304 8395647 140734717126480 140734717122344 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 363397 356143 483 1026 0 362367 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1453588
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26220
/proc/meminfo: memFree=25138052/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1632828 CPUtime=282.25 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 400941 0 0 0 28167 58 0 0 20 0 1 0 339713392 1672015872 400426 33554432000 4194304 8395647 140734717126480 140734717122344 6080692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 408207 400426 483 1026 0 407177 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1632828
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26223
/proc/meminfo: memFree=24915120/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1804288 CPUtime=342.24 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 443438 0 0 0 34160 64 0 0 20 0 1 0 339713392 1847590912 442923 33554432000 4194304 8395647 140734717126480 140734717122552 6080657 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 451072 442923 483 1026 0 450042 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1804288
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26224
/proc/meminfo: memFree=24621620/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=1930676 CPUtime=402.23 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 474991 0 0 0 40155 68 0 0 20 0 1 0 339713392 1977012224 474476 33554432000 4194304 8395647 140734717126480 140734717122552 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 482669 474476 483 1026 0 481639 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1930676
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26224
/proc/meminfo: memFree=24312820/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=2205464 CPUtime=462.21 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 543198 0 0 0 46143 78 0 0 20 0 1 0 339713392 2258395136 542683 33554432000 4194304 8395647 140734717126480 140734717122552 6080692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 551366 542683 483 1026 0 550336 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 2205464
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26262
/proc/meminfo: memFree=24780672/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=2381744 CPUtime=522.18 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 587045 0 0 0 52133 85 0 0 20 0 1 0 339713392 2438905856 586589 33554432000 4194304 8395647 140734717126480 140734717122552 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 595436 586589 483 1026 0 594406 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 2381744
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26262
/proc/meminfo: memFree=24489548/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=2566324 CPUtime=582.16 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 632808 0 0 0 58123 93 0 0 20 0 1 0 339713392 2627915776 632337 33554432000 4194304 8395647 140734717126480 140734717122552 5031119 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 641581 632337 483 1026 0 640551 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 2566324
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22550164/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=3580836 CPUtime=1062.06 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 884208 0 0 0 106066 140 0 0 20 0 1 0 339713392 3666776064 884391 33554432000 4194304 8395647 140734717126480 140734717122552 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 895209 884391 489 1026 0 894179 0
Current children cumulated CPU time (s) 1062.06
Current children cumulated vsize (KiB) 3580836
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26267
/proc/meminfo: memFree=22413792/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=3668108 CPUtime=1122.05 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 905496 0 0 0 112062 143 0 0 20 0 1 0 339713392 3756142592 905944 33554432000 4194304 8395647 140734717126480 140734717122552 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 917027 905944 489 1026 0 915997 0
Current children cumulated CPU time (s) 1122.05
Current children cumulated vsize (KiB) 3668108
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26267
/proc/meminfo: memFree=22277420/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=3756948 CPUtime=1182.04 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 927978 0 0 0 118057 147 0 0 20 0 1 0 339713392 3847114752 928631 33554432000 4194304 8395647 140734717126480 140734717122552 6080379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 939237 928631 489 1026 0 938207 0
Current children cumulated CPU time (s) 1182.04
Current children cumulated vsize (KiB) 3756948
[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 26267
/proc/meminfo: memFree=22117116/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=3836380 CPUtime=1242.03 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 947537 0 0 0 124053 150 0 0 20 0 1 0 339713392 3928453120 948420 33554432000 4194304 8395647 140734717126480 140734717122552 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 959095 948420 489 1026 0 958065 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 3836380
[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 26268
/proc/meminfo: memFree=21947016/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=3934612 CPUtime=1302.02 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 972873 0 0 0 130046 156 0 0 20 0 1 0 339713392 4029042688 974020 33554432000 4194304 8395647 140734717126480 140734717122552 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 983653 974020 489 1026 0 982623 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 3934612
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26268
/proc/meminfo: memFree=21800600/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4001584 CPUtime=1362 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 988723 0 0 0 136041 159 0 0 20 0 1 0 339713392 4097622016 989950 33554432000 4194304 8395647 140734717126480 140734717122552 4212516 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1000396 989950 489 1026 0 999366 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 4001584
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26268
/proc/meminfo: memFree=21707256/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4066740 CPUtime=1422 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1005464 0 0 0 142038 162 0 0 20 0 1 0 339713392 4164341760 1007105 33554432000 4194304 8395647 140734717126480 140734717122552 4684134 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1016685 1007105 489 1026 0 1015655 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 4066740
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26268
/proc/meminfo: memFree=21560520/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4177192 CPUtime=1481.98 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1031381 0 0 0 148031 167 0 0 20 0 1 0 339713392 4277444608 1035709 33554432000 4194304 8395647 140734717126480 140734717122552 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1044298 1035709 514 1026 0 1043268 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 4177192
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 26271
/proc/meminfo: memFree=21447080/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4231616 CPUtime=1541.97 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1044287 0 0 0 154027 170 0 0 20 0 1 0 339713392 4333174784 1048810 33554432000 4194304 8395647 140734717126480 140734717122344 6080362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1057904 1048810 514 1026 0 1056874 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 4231616
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21380528/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4257724 CPUtime=1601.96 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1051134 0 0 0 160025 171 0 0 20 0 1 0 339713392 4359909376 1055770 33554432000 4194304 8395647 140734717126480 140734717122504 6080705 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1064431 1055770 514 1026 0 1063401 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 4257724
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21311612/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4294856 CPUtime=1661.95 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1060159 0 0 0 166022 173 0 0 20 0 1 0 339713392 4397932544 1064892 33554432000 4194304 8395647 140734717126480 140734717122552 6080328 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1073714 1064892 514 1026 0 1072684 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 4294856
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21237488/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4347068 CPUtime=1721.95 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1072720 0 0 0 172020 175 0 0 20 0 1 0 339713392 4451397632 1077458 33554432000 4194304 8395647 140734717126480 140734717122344 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1086767 1077458 514 1026 0 1085737 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 4347068
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21167704/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4391120 CPUtime=1781.94 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1083804 0 0 0 178018 176 0 0 20 0 1 0 339713392 4496506880 1088606 33554432000 4194304 8395647 140734717126480 140734717122344 6080692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1097780 1088606 514 1026 0 1096750 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 4391120
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21164960/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4392004 CPUtime=1785.13 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1084095 0 0 0 178337 176 0 0 20 0 1 0 339713392 4497412096 1088908 33554432000 4194304 8395647 140734717126480 140734717122552 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1098001 1088908 514 1026 0 1096971 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 4392004
[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21159008/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4395036 CPUtime=1788.33 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1084577 0 0 0 178657 176 0 0 20 0 1 0 339713392 4500516864 1089390 33554432000 4194304 8395647 140734717126480 140734717122552 6080679 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1098759 1089390 514 1026 0 1097729 0
Current children cumulated CPU time (s) 1788.33
Current children cumulated vsize (KiB) 4395036
[startup+1789.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21159008/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4395036 CPUtime=1789.13 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1084616 0 0 0 178737 176 0 0 20 0 1 0 339713392 4500516864 1089429 33554432000 4194304 8395647 140734717126480 140734717122344 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1098759 1089429 514 1026 0 1097729 0
Current children cumulated CPU time (s) 1789.13
Current children cumulated vsize (KiB) 4395036
[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21158016/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4397888 CPUtime=1789.93 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1085425 0 0 0 178817 176 0 0 20 0 1 0 339713392 4503437312 1090238 33554432000 4194304 8395647 140734717126480 140734717122344 6345173 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1099472 1090238 521 1026 0 1098442 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 4397888
[startup+1790.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21158016/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4105728 CPUtime=1790.13 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1085426 0 0 0 178835 178 0 0 20 0 1 0 339713392 4204265472 1022143 33554432000 4194304 8395647 140734717126480 140734717122344 7435351 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1026432 1022143 522 1026 0 1025402 0
Current children cumulated CPU time (s) 1790.13
Current children cumulated vsize (KiB) 4105728
[startup+1790.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 26272
/proc/meminfo: memFree=21158016/32873844 swapFree=7108/7108
[pid=26218] ppid=26216 vsize=4006928 CPUtime=1790.24 cores=0,2,4,6
/proc/26218/stat : 26218 (pbscip.linux.x8) R 26216 26218 21683 0 -1 4202496 1085431 0 0 0 178840 184 0 0 20 0 1 0 339713392 4103094272 308888 33554432000 4194304 8395647 140734717126480 140734717122344 7602442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/26218/statm: 1001732 308888 527 1026 0 1000702 0
Current children cumulated CPU time (s) 1790.24
Current children cumulated vsize (KiB) 4006928
Child status: 0
Real time (s): 1790.67
CPU time (s): 1790.32
CPU user time (s): 1788.4
CPU system time (s): 1.91371
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 4397888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.4
system time used= 1.91371
maximum resident set size= 4360952
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1085439
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= 114
involuntary context switches= 1881
runsolver used 2.80957 second user time and 7.46586 second system time
The end