2.39/2.45 c SCIP version 1.1.0.7
2.39/2.45 c LP-Solver SoPlex 1.4.1
2.39/2.45 c user parameter file <scip.set> not found - using default parameters
2.39/2.45 c read problem <HOME/instance-3741413-1338771544.opb>
2.39/2.45 c original problem has 213440 variables (213440 bin, 0 int, 0 impl, 0 cont) and 223870 constraints
3.59/3.70 c start presolving problem
3.59/3.70 c presolving:
4.59/4.65 c (round 1) 264 del vars, 264 del conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 0 upgd conss, 243936 impls, 0 clqs
6.19/6.20 c (round 2) 264 del vars, 264 del conss, 264 chg bounds, 0 chg sides, 460 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
123.87/123.98 c (round 3) 264 del vars, 264 del conss, 264 chg bounds, 121968 chg sides, 244396 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
124.17/124.29 c (round 4) 264 del vars, 528 del conss, 264 chg bounds, 121968 chg sides, 244396 chg coeffs, 213442 upgd conss, 243936 impls, 0 clqs
128.37/128.48 c (125.4s) probing: 101/213176 (0.0%) - 0 fixings, 0 aggregations, 0 implications, 0 bound changes
128.37/128.48 c (125.4s) probing aborted: 100/100 successive totally useless probings
128.47/128.50 c presolving (5 rounds):
128.47/128.50 c 264 deleted vars, 528 deleted constraints, 264 tightened bounds, 0 added holes, 121968 changed sides, 244396 changed coefficients
128.47/128.50 c 243936 implications, 0 cliques
128.47/128.50 c presolved problem has 213176 variables (213176 bin, 0 int, 0 impl, 0 cont) and 345310 constraints
128.47/128.50 c 658 constraints of type <knapsack>
128.47/128.50 c 121968 constraints of type <setppc>
128.47/128.50 c 10164 constraints of type <linear>
128.47/128.50 c 212520 constraints of type <logicor>
128.47/128.50 c transformed objective value is always integral (scale: 1)
128.47/128.50 c Presolving Time: 124.58
128.47/128.54 c OPT-LIN
128.47/128.54 c -----------------------------------------------------------------------------------------------
128.47/128.54 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
128.47/128.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
128.47/128.54 c limits/memory = c 13950
128.47/128.54 c # maximal time in seconds to run
128.47/128.54 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
128.47/128.54 c limits/time = c 1791
128.47/128.54 c # frequency for displaying node information lines
128.47/128.54 c # [type: int, range: [-1,2147483647], default: 100]
128.47/128.54 c display/freq = c 10000
128.47/128.54 c -----------------------------------------------------------------------------------------------
128.47/128.54 c start solving problem
128.47/128.54 c
1797.81/1798.13 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1797.81/1798.13 c 1794s| 1 | 0 | 68119 | 993M| 0 | - | 213k| 345k| 345k| 213k| 345k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1798.01/1798.30 c 1794s| 1 | 2 | 68119 | 993M| 0 | - | 213k| 345k| 345k| 213k| 345k| 0 | 0 | 0 | 0.000000e+00 | -- | Inf
1798.01/1798.30 c
1798.01/1798.30 c SCIP Status : solving was interrupted [time limit reached]
1798.01/1798.30 c Solving Time (sec) : 1793.99
1798.01/1798.30 c Solving Nodes : 1
1798.01/1798.30 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1798.01/1798.30 c Dual Bound : +0.00000000000000e+00
1798.01/1798.30 c Gap : infinite
1798.01/1798.30 c NODE 1
1798.01/1798.30 c DUAL BOUND 0
1798.01/1798.30 c PRIMAL BOUND 1e+20
1798.01/1798.30 c GAP 1e+20
1798.01/1798.30 s UNKNOWN
1798.01/1798.30 c SCIP Status : solving was interrupted [time limit reached]
1798.01/1798.30 c Solving Time : 1793.99
1798.01/1798.30 c Original Problem :
1798.01/1798.30 c Problem name : HOME/instance-3741413-1338771544.opb
1798.01/1798.30 c Variables : 213440 (213440 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.01/1798.30 c Constraints : 223870 initial, 223870 maximal
1798.01/1798.30 c Presolved Problem :
1798.01/1798.30 c Problem name : t_HOME/instance-3741413-1338771544.opb
1798.01/1798.30 c Variables : 213176 (213176 binary, 0 integer, 0 implicit integer, 0 continuous)
1798.01/1798.30 c Constraints : 345310 initial, 345310 maximal
1798.01/1798.30 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1798.01/1798.30 c trivial : 0.08 0 0 0 0 0 0 0 0
1798.01/1798.30 c dualfix : 0.05 0 0 0 0 0 0 0 0
1798.01/1798.30 c boundshift : 0.00 0 0 0 0 0 0 0 0
1798.01/1798.30 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1798.01/1798.30 c implics : 0.07 0 0 0 0 0 0 0 0
1798.01/1798.30 c probing : 3.87 0 0 0 0 0 0 0 0
1798.01/1798.30 c knapsack : 117.36 0 0 0 0 0 264 121968 243936
1798.01/1798.30 c setppc : 0.30 0 0 0 0 0 0 0 0
1798.01/1798.30 c linear : 1.68 264 0 0 264 0 264 0 460
1798.01/1798.30 c logicor : 0.57 0 0 0 0 0 0 0 0
1798.01/1798.30 c root node : - 0 - - 0 - - - -
1798.01/1798.30 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1798.01/1798.30 c integral : 0 0 0 0 0 0 0 0 0 0
1798.01/1798.30 c knapsack : 658 0 201 0 1 0 0 0 0 0
1798.01/1798.30 c setppc : 121968 0 201 0 1 0 0 0 0 0
1798.01/1798.30 c linear : 10164 0 201 0 1 0 0 0 0 0
1798.01/1798.30 c logicor : 212520 0 201 0 1 0 0 0 0 0
1798.01/1798.30 c countsols : 0 0 0 0 1 0 0 0 0 0
1798.01/1798.30 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1798.01/1798.30 c integral : 0.00 0.00 0.00 0.00 0.00
1798.01/1798.30 c knapsack : 0.02 0.00 0.01 0.00 0.01
1798.01/1798.30 c setppc : 0.64 0.00 0.61 0.00 0.03
1798.01/1798.30 c linear : 1.15 0.00 1.15 0.00 0.00
1798.01/1798.30 c logicor : 0.20 0.00 0.14 0.00 0.06
1798.01/1798.30 c countsols : 0.00 0.00 0.00 0.00 0.00
1798.01/1798.30 c Propagators : Time Calls Cutoffs DomReds
1798.01/1798.30 c rootredcost : 0.00 0 0 0
1798.01/1798.30 c pseudoobj : 0.01 1 0 0
1798.01/1798.30 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1798.01/1798.30 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1798.01/1798.30 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1798.01/1798.30 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1798.01/1798.30 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1798.01/1798.30 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1798.01/1798.30 c applied globally : - - - 0 0.0 - - -
1798.01/1798.30 c applied locally : - - - 0 0.0 - - -
1798.01/1798.30 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1798.01/1798.30 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1798.01/1798.30 c redcost : 0.00 0 0 0 0 0
1798.01/1798.30 c impliedbounds : 0.00 0 0 0 0 0
1798.01/1798.30 c intobj : 0.00 0 0 0 0 0
1798.01/1798.30 c gomory : 0.00 0 0 0 0 0
1798.01/1798.30 c strongcg : 0.00 0 0 0 0 0
1798.01/1798.30 c cmir : 0.00 0 0 0 0 0
1798.01/1798.30 c flowcover : 0.00 0 0 0 0 0
1798.01/1798.30 c clique : 0.00 0 0 0 0 0
1798.01/1798.30 c zerohalf : 0.00 0 0 0 0 0
1798.01/1798.30 c mcf : 0.00 0 0 0 0 0
1798.01/1798.30 c Pricers : Time Calls Vars
1798.01/1798.30 c problem variables: 0.00 0 0
1798.01/1798.30 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1798.01/1798.30 c relpscost : 0.00 0 0 0 0 0 0
1798.01/1798.30 c pscost : 0.00 0 0 0 0 0 0
1798.01/1798.30 c inference : 0.05 1 0 0 0 0 2
1798.01/1798.30 c mostinf : 0.00 0 0 0 0 0 0
1798.01/1798.30 c leastinf : 0.00 0 0 0 0 0 0
1798.01/1798.30 c fullstrong : 0.00 0 0 0 0 0 0
1798.01/1798.30 c allfullstrong : 0.00 0 0 0 0 0 0
1798.01/1798.30 c random : 0.00 0 0 0 0 0 0
1798.01/1798.30 c Primal Heuristics : Time Calls Found
1798.01/1798.30 c LP solutions : 0.00 - 0
1798.01/1798.30 c pseudo solutions : 0.00 - 0
1798.01/1798.30 c oneopt : 0.00 0 0
1798.01/1798.30 c simplerounding : 0.00 0 0
1798.01/1798.30 c rounding : 0.00 0 0
1798.01/1798.30 c shifting : 0.00 0 0
1798.01/1798.30 c intshifting : 0.00 0 0
1798.01/1798.30 c fixandinfer : 0.00 0 0
1798.01/1798.30 c feaspump : 0.00 0 0
1798.01/1798.30 c coefdiving : 0.00 0 0
1798.01/1798.30 c pscostdiving : 0.00 0 0
1798.01/1798.30 c fracdiving : 0.00 0 0
1798.01/1798.30 c veclendiving : 0.00 0 0
1798.01/1798.30 c intdiving : 0.00 0 0
1798.01/1798.30 c actconsdiving : 0.00 0 0
1798.01/1798.30 c objpscostdiving : 0.00 0 0
1798.01/1798.30 c rootsoldiving : 0.00 0 0
1798.01/1798.30 c linesearchdiving : 0.00 0 0
1798.01/1798.30 c guideddiving : 0.00 0 0
1798.01/1798.30 c octane : 0.00 0 0
1798.01/1798.30 c rens : 0.00 0 0
1798.01/1798.30 c rins : 0.00 0 0
1798.01/1798.30 c localbranching : 0.00 0 0
1798.01/1798.30 c mutation : 0.00 0 0
1798.01/1798.30 c crossover : 0.00 0 0
1798.01/1798.30 c dins : 0.00 0 0
1798.01/1798.30 c LP : Time Calls Iterations Iter/call Iter/sec
1798.01/1798.30 c primal LP : 0.00 0 0 0.00 -
1798.01/1798.30 c dual LP : 1667.18 1 68119 68119.00 40.86
1798.01/1798.30 c barrier LP : 0.00 0 0 0.00 -
1798.01/1798.30 c diving/probing LP: 0.00 0 0 0.00 -
1798.01/1798.30 c strong branching : 0.00 0 0 0.00 -
1798.01/1798.30 c (at root node) : - 0 0 0.00 -
1798.01/1798.30 c conflict analysis: 0.00 0 0 0.00 -
1798.01/1798.30 c B&B Tree :
1798.01/1798.30 c number of runs : 1
1798.01/1798.30 c nodes : 1
1798.01/1798.30 c nodes (total) : 1
1798.01/1798.30 c nodes left : 2
1798.01/1798.30 c max depth : 0
1798.01/1798.30 c max depth (total): 0
1798.01/1798.30 c backtracks : 0 (0.0%)
1798.01/1798.30 c delayed cutoffs : 0
1798.01/1798.30 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1798.01/1798.30 c avg switch length: 1.00
1798.01/1798.30 c switching time : 0.00
1798.01/1798.30 c Solution :
1798.01/1798.30 c Solutions found : 0 (0 improvements)
1798.01/1798.30 c Primal Bound : -
1798.01/1798.30 c Dual Bound : +0.00000000000000e+00
1798.01/1798.30 c Gap : infinite
1798.01/1798.30 c Root Dual Bound : +0.00000000000000e+00
1799.81/1800.18 c Time complete: 1799.89.
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-3741413-1338771544/watcher-3741413-1338771544 -o /tmp/evaluation-result-3741413-1338771544/solver-3741413-1338771544 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3741413-1338771544.opb
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.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=9128 CPUtime=0 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 1621 0 0 0 0 0 0 0 20 0 1 0 343279003 9347072 1574 33554432000 4194304 7823515 140734790266016 140734790132040 6888849 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 2282 1574 349 887 0 1392 0
[startup+0.020427 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=15988 CPUtime=0.01 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 3356 0 0 0 1 0 0 0 20 0 1 0 343279003 16371712 3309 33554432000 4194304 7823515 140734790266016 140734790132040 6911824 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 3997 3309 354 887 0 3107 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15988
[startup+0.100336 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=48624 CPUtime=0.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 11512 0 0 0 7 1 0 0 20 0 1 0 343279003 49790976 11465 33554432000 4194304 7823515 140734790266016 140734790132040 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 12412 11473 354 887 0 11522 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 48624
[startup+0.300311 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=112064 CPUtime=0.29 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 27361 0 0 0 25 4 0 0 20 0 1 0 343279003 114753536 27314 33554432000 4194304 7823515 140734790266016 140734790132040 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 28016 27314 354 887 0 27126 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 112064
[startup+0.700278 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 29623
/proc/meminfo: memFree=27805708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=164656 CPUtime=0.69 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 40465 0 0 0 62 7 0 0 20 0 1 0 343279003 168607744 40418 33554432000 4194304 7823515 140734790266016 140734790132120 4511625 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 41164 40418 354 887 0 40274 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 164656
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=27629124/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=208948 CPUtime=1.49 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 51513 0 0 0 140 9 0 0 20 0 1 0 343279003 213962752 51466 33554432000 4194304 7823515 140734790266016 140734790132120 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 52237 51466 354 887 0 51347 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 208948
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=27571200/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=547384 CPUtime=3.09 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 136261 0 0 0 286 23 0 0 20 0 1 0 343279003 560521216 135860 33554432000 4194304 7823515 140734790266016 140734790262120 5878822 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 136846 135860 375 887 0 135956 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 547384
[startup+6.30031 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=27026344/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=882748 CPUtime=6.29 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213557 0 0 0 573 56 0 0 20 0 1 0 343279003 903933952 219252 33554432000 4194304 7823515 140734790266016 140734790262952 4786640 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220687 219252 441 887 0 219797 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 882748
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26928056/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=882748 CPUtime=12.69 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213679 0 0 0 1213 56 0 0 20 0 1 0 343279003 903933952 219285 33554432000 4194304 7823515 140734790266016 140734790263304 4782352 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220687 219285 441 887 0 219797 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 882748
[startup+25.5002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26925832/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=883112 CPUtime=25.49 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213761 0 0 0 2493 56 0 0 20 0 1 0 343279003 904306688 219367 33554432000 4194304 7823515 140734790266016 140734790263304 4570683 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220778 219367 441 887 0 219888 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 883112
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29624
/proc/meminfo: memFree=26925708/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=883548 CPUtime=51.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213849 0 0 0 5052 56 0 0 20 0 1 0 343279003 904753152 219455 33554432000 4194304 7823515 140734790266016 140734790263304 4570715 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220887 219455 441 887 0 219997 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 883548
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29628
/proc/meminfo: memFree=26924956/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=883548 CPUtime=102.28 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 213919 0 0 0 10172 56 0 0 20 0 1 0 343279003 904753152 219525 33554432000 4194304 7823515 140734790266016 140734790263304 5807735 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 220887 219525 441 887 0 219997 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 883548
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29650
/proc/meminfo: memFree=26430656/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1449268 CPUtime=162.27 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 292926 0 0 0 16137 90 0 0 20 0 1 0 343279003 1484050432 342953 33554432000 4194304 7823515 140734790266016 140734790261352 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 362317 342953 527 887 0 361427 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1449268
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 29650
/proc/meminfo: memFree=26417052/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1455416 CPUtime=222.26 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 293238 0 0 0 22130 96 0 0 20 0 1 0 343279003 1490345984 346330 33554432000 4194304 7823515 140734790266016 140734790260680 6212637 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 363854 346330 527 887 0 362964 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 1455416
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29650
/proc/meminfo: memFree=26407152/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1459752 CPUtime=282.24 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 293648 0 0 0 28124 100 0 0 20 0 1 0 343279003 1494786048 348784 33554432000 4194304 7823515 140734790266016 140734790261816 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 364938 348784 527 887 0 364048 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1459752
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29650
/proc/meminfo: memFree=26399616/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1466656 CPUtime=342.23 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 295478 0 0 0 34119 104 0 0 20 0 1 0 343279003 1501855744 350614 33554432000 4194304 7823515 140734790266016 140734790261816 6162063 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 366664 350614 527 887 0 365774 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1466656
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29651
/proc/meminfo: memFree=26387304/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1478672 CPUtime=402.22 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 297821 0 0 0 40114 108 0 0 20 0 1 0 343279003 1514160128 353721 33554432000 4194304 7823515 140734790266016 140734790261352 6205311 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 369668 353721 527 887 0 368778 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1478672
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29651
/proc/meminfo: memFree=26384356/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1479244 CPUtime=462.22 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 298433 0 0 0 46111 111 0 0 20 0 1 0 343279003 1514745856 354333 33554432000 4194304 7823515 140734790266016 140734790261352 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 369811 354333 527 887 0 368921 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1479244
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29651
/proc/meminfo: memFree=26383268/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1479832 CPUtime=522.21 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 298722 0 0 0 52107 114 0 0 20 0 1 0 343279003 1515347968 354700 33554432000 4194304 7823515 140734790266016 140734790261704 6179819 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 369958 354700 527 887 0 369068 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 1479832
[startup+582.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 29651
/proc/meminfo: memFree=26371596/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1494940 CPUtime=582.2 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 299390 0 0 0 58104 116 0 0 20 0 1 0 343279003 1530818560 357491 33554432000 4194304 7823515 140734790266016 140734790261816 6180000 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 373735 357491 527 887 0 372845 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1494940
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=26343572/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1062.12 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300487 0 0 0 106074 138 0 0 20 0 1 0 343279003 1542406144 364319 33554432000 4194304 7823515 140734790266016 140734790261704 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364319 527 887 0 375674 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1506256
[startup+1122.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 29656
/proc/meminfo: memFree=26343448/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1122.11 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300497 0 0 0 112071 140 0 0 20 0 1 0 343279003 1542406144 364329 33554432000 4194304 7823515 140734790266016 140734790261816 6212422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364329 527 887 0 375674 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 1506256
[startup+1182.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 29694
/proc/meminfo: memFree=26547904/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1182.1 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300504 0 0 0 118068 142 0 0 20 0 1 0 343279003 1542406144 364336 33554432000 4194304 7823515 140734790266016 140734790261352 6211392 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364336 527 887 0 375674 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 1506256
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29694
/proc/meminfo: memFree=26539720/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1242.09 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300566 0 0 0 124065 144 0 0 20 0 1 0 343279003 1542406144 364398 33554432000 4194304 7823515 140734790266016 140734790261768 6180599 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364398 527 887 0 375674 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1506256
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29697
/proc/meminfo: memFree=26539216/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1302.09 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300568 0 0 0 130063 146 0 0 20 0 1 0 343279003 1542406144 364400 33554432000 4194304 7823515 140734790266016 140734790261816 6180591 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364400 527 887 0 375674 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 1506256
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26539224/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1362.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300568 0 0 0 136059 149 0 0 20 0 1 0 343279003 1542406144 364400 33554432000 4194304 7823515 140734790266016 140734790261768 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364400 527 887 0 375674 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 1506256
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26538356/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1422.08 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300568 0 0 0 142056 152 0 0 20 0 1 0 343279003 1542406144 364400 33554432000 4194304 7823515 140734790266016 140734790261352 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364400 527 887 0 375674 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 1506256
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26537488/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506256 CPUtime=1482.06 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300571 0 0 0 148052 154 0 0 20 0 1 0 343279003 1542406144 364403 33554432000 4194304 7823515 140734790266016 140734790261704 6019631 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376564 364403 527 887 0 375674 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 1506256
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26537116/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506524 CPUtime=1542.04 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300699 0 0 0 154048 156 0 0 20 0 1 0 343279003 1542680576 364531 33554432000 4194304 7823515 140734790266016 140734790261352 6215007 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376631 364531 527 887 0 375741 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1506524
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29698
/proc/meminfo: memFree=26536248/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506660 CPUtime=1602.04 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300791 0 0 0 160045 159 0 0 20 0 1 0 343279003 1542819840 364623 33554432000 4194304 7823515 140734790266016 140734790261768 6908178 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376665 364623 527 887 0 375775 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 1506660
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26535628/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506792 CPUtime=1662.03 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300842 0 0 0 166042 161 0 0 20 0 1 0 343279003 1542955008 364674 33554432000 4194304 7823515 140734790266016 140734790261768 6263029 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376698 364674 527 887 0 375808 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 1506792
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26535256/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1506936 CPUtime=1722.02 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300896 0 0 0 172038 164 0 0 20 0 1 0 343279003 1543102464 364728 33554432000 4194304 7823515 140734790266016 140734790261352 6211440 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376734 364728 527 887 0 375844 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 1506936
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26534884/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1782.02 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300939 0 0 0 178035 167 0 0 20 0 1 0 343279003 1543258112 364771 33554432000 4194304 7823515 140734790266016 140734790261352 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 364771 527 887 0 375882 0
Current children cumulated CPU time (s) 1782.02
Current children cumulated vsize (KiB) 1507088
Solver just ended. Dumping a history of the last processes samples
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533828/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1791.62 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300951 0 0 0 178995 167 0 0 20 0 1 0 343279003 1543258112 364997 33554432000 4194304 7823515 140734790266016 140734790261352 6180619 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 364997 527 887 0 375882 0
Current children cumulated CPU time (s) 1791.62
Current children cumulated vsize (KiB) 1507088
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1794.81 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300963 0 0 0 179314 167 0 0 20 0 1 0 343279003 1543258112 365009 33554432000 4194304 7823515 140734790266016 140734790261352 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 365009 527 887 0 375882 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1507088
[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1798.01 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300966 0 0 0 179633 168 0 0 20 0 1 0 343279003 1543258112 365012 33554432000 4194304 7823515 140734790266016 140734790261704 4778189 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 365012 530 887 0 375882 0
Current children cumulated CPU time (s) 1798.01
Current children cumulated vsize (KiB) 1507088
[startup+1799.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1507088 CPUtime=1798.81 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300973 0 0 0 179713 168 0 0 20 0 1 0 343279003 1543258112 365019 33554432000 4194304 7823515 140734790266016 140734790261528 4237352 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 376772 365019 537 887 0 375882 0
Current children cumulated CPU time (s) 1798.81
Current children cumulated vsize (KiB) 1507088
[startup+1799.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1503932 CPUtime=1799.61 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300973 0 0 0 179793 168 0 0 20 0 1 0 343279003 1540026368 364344 33554432000 4194304 7823515 140734790266016 140734790265448 5798417 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 375983 364344 537 887 0 375093 0
Current children cumulated CPU time (s) 1799.61
Current children cumulated vsize (KiB) 1503932
[startup+1800.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 29699
/proc/meminfo: memFree=26533332/32873844 swapFree=7108/7108
[pid=29623] ppid=29621 vsize=1050568 CPUtime=1799.81 cores=1,3,5,7
/proc/29623/stat : 29623 (pbscip.linux.x8) R 29621 29623 26990 0 -1 4202496 300973 0 0 0 179812 169 0 0 20 0 1 0 343279003 1075781632 262086 33554432000 4194304 7823515 140734790266016 140734790265448 5875083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/29623/statm: 262642 262086 537 887 0 261752 0
Current children cumulated CPU time (s) 1799.81
Current children cumulated vsize (KiB) 1050568
Child status: 0
Real time (s): 1800.18
CPU time (s): 1799.9
CPU user time (s): 1798.19
CPU system time (s): 1.71474
CPU usage (%): 99.9844
Max. virtual memory (cumulated for all children) (KiB): 1507088
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.19
system time used= 1.71474
maximum resident set size= 1460076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300980
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= 15
involuntary context switches= 1877
runsolver used 2.6416 second user time and 8.88565 second system time
The end