0.88/0.93 c SCIP version 1.1.0.7
0.88/0.93 c LP-Solver SoPlex 1.4.1
0.88/0.93 c user parameter file <scip.set> not found - using default parameters
0.88/0.93 c read problem <HOME/instance-3736065-1338711683.opb>
0.88/0.93 c original problem has 40363 variables (40363 bin, 0 int, 0 impl, 0 cont) and 154319 constraints
1.09/1.17 c start presolving problem
1.09/1.17 c presolving:
1.89/1.96 c (round 1) 1894 del vars, 3739 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
1.99/2.01 c (round 2) 1894 del vars, 3805 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 0 upgd conss, 1420138 impls, 0 clqs
2.49/2.58 c (round 3) 1894 del vars, 3805 del conss, 5 chg bounds, 22 chg sides, 22 chg coeffs, 150514 upgd conss, 1420138 impls, 0 clqs
4.79/4.84 c (3.6s) probing: 405/38469 (1.1%) - 0 fixings, 2 aggregations, 28291 implications, 0 bound changes
4.79/4.84 c (3.6s) probing aborted: 100/100 successive totally useless probings
4.79/4.84 c presolving (4 rounds):
4.79/4.84 c 1896 deleted vars, 3805 deleted constraints, 5 tightened bounds, 0 added holes, 22 changed sides, 22 changed coefficients
4.79/4.84 c 1474342 implications, 0 cliques
4.79/4.84 c presolved problem has 38467 variables (38467 bin, 0 int, 0 impl, 0 cont) and 150514 constraints
4.79/4.84 c 1 constraints of type <knapsack>
4.79/4.84 c 150513 constraints of type <logicor>
4.79/4.84 c transformed objective value is always integral (scale: 1)
4.79/4.84 c Presolving Time: 3.46
4.79/4.85 c OPT-LIN
4.79/4.85 c -----------------------------------------------------------------------------------------------
4.79/4.85 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
4.79/4.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.85 c limits/memory = c 13950
4.79/4.85 c # maximal time in seconds to run
4.79/4.85 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
4.79/4.85 c limits/time = c 1791
4.79/4.85 c # frequency for displaying node information lines
4.79/4.85 c # [type: int, range: [-1,2147483647], default: 100]
4.79/4.85 c display/freq = c 10000
4.79/4.85 c -----------------------------------------------------------------------------------------------
4.79/4.85 c start solving problem
4.79/4.85 c
138.77/138.82 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
138.77/138.82 c 137s| 1 | 0 | 23340 | 306M| 0 | 10k| 38k| 150k| 150k| 38k| 150k| 0 | 0 | 0 | 1.057251e+01 | -- | Inf
1793.11/1793.41 c 1791s| 1 | 2 | 87874 | 308M| 0 | - | 38k| 150k| 150k| 38k| 150k| 0 | 0 | 0 | 1.057251e+01 | -- | Inf
1793.11/1793.41 c
1793.11/1793.41 c SCIP Status : solving was interrupted [time limit reached]
1793.11/1793.41 c Solving Time (sec) : 1791.11
1793.11/1793.41 c Solving Nodes : 1
1793.11/1793.41 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1793.11/1793.41 c Dual Bound : +1.05725060663008e+01
1793.11/1793.41 c Gap : infinite
1793.11/1793.41 c NODE 1
1793.11/1793.41 c DUAL BOUND 10.5725
1793.11/1793.41 c PRIMAL BOUND 1e+20
1793.11/1793.41 c GAP 1e+20
1793.11/1793.41 s UNKNOWN
1793.11/1793.41 c SCIP Status : solving was interrupted [time limit reached]
1793.11/1793.41 c Solving Time : 1791.11
1793.11/1793.41 c Original Problem :
1793.11/1793.41 c Problem name : HOME/instance-3736065-1338711683.opb
1793.11/1793.41 c Variables : 40363 (40363 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.11/1793.41 c Constraints : 154319 initial, 154319 maximal
1793.11/1793.41 c Presolved Problem :
1793.11/1793.41 c Problem name : t_HOME/instance-3736065-1338711683.opb
1793.11/1793.41 c Variables : 38467 (38467 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.11/1793.41 c Constraints : 150514 initial, 150514 maximal
1793.11/1793.41 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1793.11/1793.41 c trivial : 0.02 0 0 0 0 0 0 0 0
1793.11/1793.41 c dualfix : 0.00 0 0 0 0 0 0 0 0
1793.11/1793.41 c boundshift : 0.00 0 0 0 0 0 0 0 0
1793.11/1793.41 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1793.11/1793.41 c implics : 0.02 0 22 0 0 0 0 0 0
1793.11/1793.41 c probing : 2.15 0 2 0 0 0 0 0 0
1793.11/1793.41 c knapsack : 0.00 0 0 0 0 0 0 0 0
1793.11/1793.41 c linear : 0.97 5 1867 0 5 0 3805 22 22
1793.11/1793.41 c logicor : 0.17 0 0 0 0 0 0 0 0
1793.11/1793.41 c root node : - 0 - - 0 - - - -
1793.11/1793.41 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1793.11/1793.41 c integral : 0 0 0 0 0 0 0 0 0 0
1793.11/1793.41 c knapsack : 1 0 923 0 1 0 0 0 0 0
1793.11/1793.41 c logicor : 150513 0 923 0 1 0 0 0 0 0
1793.11/1793.41 c countsols : 0 0 0 0 1 0 0 0 0 0
1793.11/1793.41 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1793.11/1793.41 c integral : 0.00 0.00 0.00 0.00 0.00
1793.11/1793.41 c knapsack : 0.00 0.00 0.00 0.00 0.00
1793.11/1793.41 c logicor : 0.55 0.00 0.50 0.00 0.05
1793.11/1793.41 c countsols : 0.00 0.00 0.00 0.00 0.00
1793.11/1793.41 c Propagators : Time Calls Cutoffs DomReds
1793.11/1793.41 c rootredcost : 0.00 0 0 0
1793.11/1793.41 c pseudoobj : 0.00 2 0 0
1793.11/1793.41 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1793.11/1793.41 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1793.11/1793.41 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1793.11/1793.41 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1793.11/1793.41 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1793.11/1793.41 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1793.11/1793.41 c applied globally : - - - 0 0.0 - - -
1793.11/1793.41 c applied locally : - - - 0 0.0 - - -
1793.11/1793.41 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1793.11/1793.41 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1793.11/1793.41 c redcost : 0.00 0 0 0 0 0
1793.11/1793.41 c impliedbounds : 0.00 0 0 0 0 0
1793.11/1793.41 c intobj : 0.00 0 0 0 0 0
1793.11/1793.41 c gomory : 0.00 0 0 0 0 0
1793.11/1793.41 c strongcg : 0.00 0 0 0 0 0
1793.11/1793.41 c cmir : 0.00 0 0 0 0 0
1793.11/1793.41 c flowcover : 0.00 0 0 0 0 0
1793.11/1793.41 c clique : 0.00 0 0 0 0 0
1793.11/1793.41 c zerohalf : 0.00 0 0 0 0 0
1793.11/1793.41 c mcf : 0.00 0 0 0 0 0
1793.11/1793.41 c Pricers : Time Calls Vars
1793.11/1793.41 c problem variables: 0.00 0 0
1793.11/1793.41 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1793.11/1793.41 c relpscost : 0.00 0 0 0 0 0 0
1793.11/1793.41 c pscost : 0.00 0 0 0 0 0 0
1793.11/1793.41 c inference : 0.02 1 0 0 0 0 2
1793.11/1793.41 c mostinf : 0.00 0 0 0 0 0 0
1793.11/1793.41 c leastinf : 0.00 0 0 0 0 0 0
1793.11/1793.41 c fullstrong : 0.00 0 0 0 0 0 0
1793.11/1793.41 c allfullstrong : 0.00 0 0 0 0 0 0
1793.11/1793.41 c random : 0.00 0 0 0 0 0 0
1793.11/1793.41 c Primal Heuristics : Time Calls Found
1793.11/1793.41 c LP solutions : 0.00 - 0
1793.11/1793.41 c pseudo solutions : 0.00 - 0
1793.11/1793.41 c simplerounding : 0.00 0 0
1793.11/1793.41 c rounding : 0.02 1 0
1793.11/1793.41 c shifting : 0.09 1 0
1793.11/1793.41 c intshifting : 0.00 0 0
1793.11/1793.41 c oneopt : 0.00 0 0
1793.11/1793.41 c fixandinfer : 0.00 0 0
1793.11/1793.41 c feaspump : 1653.56 1 0
1793.11/1793.41 c coefdiving : 0.00 0 0
1793.11/1793.41 c pscostdiving : 0.00 0 0
1793.11/1793.41 c fracdiving : 0.00 0 0
1793.11/1793.41 c veclendiving : 0.00 0 0
1793.11/1793.41 c intdiving : 0.00 0 0
1793.11/1793.41 c actconsdiving : 0.00 0 0
1793.11/1793.41 c objpscostdiving : 0.00 0 0
1793.11/1793.41 c rootsoldiving : 0.00 0 0
1793.11/1793.41 c linesearchdiving : 0.00 0 0
1793.11/1793.41 c guideddiving : 0.00 0 0
1793.11/1793.41 c octane : 0.00 0 0
1793.11/1793.41 c rens : 0.00 0 0
1793.11/1793.41 c rins : 0.00 0 0
1793.11/1793.41 c localbranching : 0.00 0 0
1793.11/1793.41 c mutation : 0.00 0 0
1793.11/1793.41 c crossover : 0.00 0 0
1793.11/1793.41 c dins : 0.00 0 0
1793.11/1793.41 c LP : Time Calls Iterations Iter/call Iter/sec
1793.11/1793.41 c primal LP : 0.00 0 0 0.00 -
1793.11/1793.41 c dual LP : 133.52 1 23340 23340.00 174.81
1793.11/1793.41 c barrier LP : 0.00 0 0 0.00 -
1793.11/1793.41 c diving/probing LP: 1653.41 6 64534 10755.67 39.03
1793.11/1793.41 c strong branching : 0.00 0 0 0.00 -
1793.11/1793.41 c (at root node) : - 0 0 0.00 -
1793.11/1793.41 c conflict analysis: 0.00 0 0 0.00 -
1793.11/1793.41 c B&B Tree :
1793.11/1793.41 c number of runs : 1
1793.11/1793.41 c nodes : 1
1793.11/1793.41 c nodes (total) : 1
1793.11/1793.41 c nodes left : 2
1793.11/1793.41 c max depth : 0
1793.11/1793.41 c max depth (total): 0
1793.11/1793.41 c backtracks : 0 (0.0%)
1793.11/1793.41 c delayed cutoffs : 0
1793.11/1793.41 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1793.11/1793.41 c avg switch length: 1.00
1793.11/1793.41 c switching time : 0.00
1793.11/1793.41 c Solution :
1793.11/1793.41 c Solutions found : 0 (0 improvements)
1793.11/1793.41 c Primal Bound : -
1793.11/1793.41 c Dual Bound : +1.05725060663008e+01
1793.11/1793.41 c Gap : infinite
1793.11/1793.41 c Root Dual Bound : +1.05725060663008e+01
1793.50/1793.80 c Time complete: 1793.52.
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-3736065-1338711683/watcher-3736065-1338711683 -o /tmp/evaluation-result-3736065-1338711683/solver-3736065-1338711683 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3736065-1338711683.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.06 2.02 2.00 3/176 31890
/proc/meminfo: memFree=27931964/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=6120 CPUtime=0 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 810 0 0 0 0 0 0 0 20 0 1 0 337294278 6266880 763 33554432000 4194304 7823515 140737266438848 140734244761928 4402248 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 1530 776 325 887 0 640 0
[startup+0.101704 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 31890
/proc/meminfo: memFree=27931964/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=21276 CPUtime=0.09 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 4663 0 0 0 9 0 0 0 20 0 1 0 337294278 21786624 4615 33554432000 4194304 7823515 140737266438848 140737266370760 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 5319 4615 354 887 0 4429 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 21276
[startup+0.200295 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 31890
/proc/meminfo: memFree=27931964/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=29112 CPUtime=0.19 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 6609 0 0 0 19 0 0 0 20 0 1 0 337294278 29810688 6561 33554432000 4194304 7823515 140737266438848 140737266370760 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 7278 6561 354 887 0 6388 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29112
[startup+0.30028 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 31890
/proc/meminfo: memFree=27931964/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=37016 CPUtime=0.28 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 8581 0 0 0 28 0 0 0 20 0 1 0 337294278 37904384 8533 33554432000 4194304 7823515 140737266438848 140737266370760 6908067 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 9254 8533 354 887 0 8364 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 37016
[startup+0.700235 s]
/proc/loadavg: 2.06 2.02 2.00 3/176 31890
/proc/meminfo: memFree=27931964/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=71608 CPUtime=0.69 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 17207 0 0 0 67 2 0 0 20 0 1 0 337294278 73326592 17159 33554432000 4194304 7823515 140737266438848 140737266370760 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 17902 17159 354 887 0 17012 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 71608
[startup+1.50025 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 31891
/proc/meminfo: memFree=27738640/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=235740 CPUtime=1.48 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 58209 0 0 0 137 11 0 0 20 0 1 0 337294278 241397760 57807 33554432000 4194304 7823515 140737266438848 140737266304952 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 58935 57807 432 887 0 58045 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 235740
[startup+3.1002 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31891
/proc/meminfo: memFree=27645392/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=346820 CPUtime=3.09 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 84102 0 0 0 278 31 0 0 20 0 1 0 337294278 355143680 85305 33554432000 4194304 7823515 140737266438848 140737266435544 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 86705 85305 456 887 0 85815 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 346820
[startup+6.30026 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 31891
/proc/meminfo: memFree=27439672/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=529396 CPUtime=6.29 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 114059 0 0 0 593 36 0 0 20 0 1 0 337294278 542101504 124798 33554432000 4194304 7823515 140737266438848 140737266434184 6212552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 132349 124798 527 887 0 131459 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 529396
[startup+12.7003 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 31891
/proc/meminfo: memFree=27418108/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=542272 CPUtime=12.68 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 116449 0 0 0 1231 37 0 0 20 0 1 0 337294278 555286528 128699 33554432000 4194304 7823515 140737266438848 140737266434184 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 135568 128699 527 887 0 134678 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 542272
[startup+25.5003 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31891
/proc/meminfo: memFree=27383548/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=576776 CPUtime=25.49 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 122996 0 0 0 2509 40 0 0 20 0 1 0 337294278 590618624 137290 33554432000 4194304 7823515 140737266438848 140737266434184 6212418 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 144194 137290 527 887 0 143304 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 576776
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31891
/proc/meminfo: memFree=27356820/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=51.08 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125042 0 0 0 5065 43 0 0 20 0 1 0 337294278 601722880 143652 33554432000 4194304 7823515 140737266438848 140737266434536 6214736 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 143652 527 887 0 146015 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 587620
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31891
/proc/meminfo: memFree=27356124/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=102.27 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125088 0 0 0 10179 48 0 0 20 0 1 0 337294278 601722880 143698 33554432000 4194304 7823515 140737266438848 140737266434648 6211318 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 143698 527 887 0 146015 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 587620
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31891
/proc/meminfo: memFree=27348108/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=162.27 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125178 0 0 0 16174 53 0 0 20 0 1 0 337294278 601722880 143788 33554432000 4194304 7823515 140737266438848 140737266433528 6208270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 143788 538 887 0 146015 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 587620
[startup+222.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31892
/proc/meminfo: memFree=27344676/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=222.26 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125233 0 0 0 22171 55 0 0 20 0 1 0 337294278 601722880 143863 33554432000 4194304 7823515 140737266438848 140737266433528 6208547 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 143863 538 887 0 146015 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 587620
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31892
/proc/meminfo: memFree=27343572/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=282.24 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125244 0 0 0 28167 57 0 0 20 0 1 0 337294278 601722880 144181 33554432000 4194304 7823515 140737266438848 140737266433608 6211327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 144181 538 887 0 146015 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 587620
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31893
/proc/meminfo: memFree=27341864/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=342.23 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125257 0 0 0 34163 60 0 0 20 0 1 0 337294278 601722880 144538 33554432000 4194304 7823515 140737266438848 140737266433608 6208526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 144538 538 887 0 146015 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 587620
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31893
/proc/meminfo: memFree=27341500/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=402.23 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125261 0 0 0 40161 62 0 0 20 0 1 0 337294278 601722880 144712 33554432000 4194304 7823515 140737266438848 140737266433528 6214784 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 144712 538 887 0 146015 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 587620
[startup+462.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 31893
/proc/meminfo: memFree=27337156/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=462.21 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125270 0 0 0 46157 64 0 0 20 0 1 0 337294278 601722880 145793 33554432000 4194304 7823515 140737266438848 140737266433528 6208270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145793 538 887 0 146015 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 587620
[startup+522.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/178 31897
/proc/meminfo: memFree=27156444/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=522.2 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125274 0 0 0 52154 66 0 0 20 0 1 0 337294278 601722880 145797 33554432000 4194304 7823515 140737266438848 140737266433528 6208526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145797 538 887 0 146015 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 587620
[startup+582.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 31897
/proc/meminfo: memFree=27156940/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=582.19 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125276 0 0 0 58151 68 0 0 20 0 1 0 337294278 601722880 145799 33554432000 4194304 7823515 140737266438848 140737266433528 6211574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145799 538 887 0 146015 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 587620
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=27334756/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1062.12 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 106127 85 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 587620
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31902
/proc/meminfo: memFree=27329040/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1122.11 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 112125 86 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208698 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 587620
[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31902
/proc/meminfo: memFree=27340400/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1182.1 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 118121 89 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6211574 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 587620
[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 31902
/proc/meminfo: memFree=27340524/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1242.09 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 124118 91 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433608 6208911 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 587620
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31902
/proc/meminfo: memFree=27322600/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1302.09 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 130115 94 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6019597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 587620
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31902
/proc/meminfo: memFree=27338100/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1362.07 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 136112 95 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 587620
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31903
/proc/meminfo: memFree=27332644/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1422.07 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 142109 98 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433816 6208622 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1422.07
Current children cumulated vsize (KiB) 587620
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31903
/proc/meminfo: memFree=27322164/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1482.05 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 148106 99 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208315 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 587620
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31903
/proc/meminfo: memFree=27331528/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1542.05 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 154104 101 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6214878 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1542.05
Current children cumulated vsize (KiB) 587620
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31903
/proc/meminfo: memFree=27331652/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1602.04 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 160101 103 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208496 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 587620
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31903
/proc/meminfo: memFree=27318316/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1662.03 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 166097 106 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6268597 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1662.03
Current children cumulated vsize (KiB) 587620
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 31907
/proc/meminfo: memFree=27325432/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1722.02 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 172094 108 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1722.02
Current children cumulated vsize (KiB) 587620
[startup+1782.3 s]
/proc/loadavg: 1.72 1.94 1.98 2/171 31931
/proc/meminfo: memFree=27665760/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1782 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 178090 110 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 587620
Solver just ended. Dumping a history of the last processes samples
[startup+1785.6 s]
/proc/loadavg: 1.66 1.92 1.97 2/171 31931
/proc/meminfo: memFree=27665760/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1785.31 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 178420 111 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6211318 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1785.31
Current children cumulated vsize (KiB) 587620
[startup+1788.8 s]
/proc/loadavg: 1.61 1.91 1.97 2/171 31931
/proc/meminfo: memFree=27665636/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1788.51 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 178740 111 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433608 6218529 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1788.51
Current children cumulated vsize (KiB) 587620
[startup+1792.01 s]
/proc/loadavg: 1.61 1.91 1.97 2/171 31931
/proc/meminfo: memFree=27665636/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1791.72 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 179061 111 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208630 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1791.72
Current children cumulated vsize (KiB) 587620
[startup+1792.8 s]
/proc/loadavg: 1.61 1.91 1.97 2/171 31931
/proc/meminfo: memFree=27665636/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1792.51 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125280 0 0 0 179140 111 0 0 20 0 1 0 337294278 601722880 145803 33554432000 4194304 7823515 140737266438848 140737266433528 6208682 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145803 538 887 0 146015 0
Current children cumulated CPU time (s) 1792.51
Current children cumulated vsize (KiB) 587620
[startup+1793.6 s]
/proc/loadavg: 1.56 1.89 1.96 2/171 31931
/proc/meminfo: memFree=27665636/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=587620 CPUtime=1793.31 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125413 0 0 0 179220 111 0 0 20 0 1 0 337294278 601722880 145936 33554432000 4194304 7823515 140737266438848 140737266433528 5875761 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 146905 145936 544 887 0 146015 0
Current children cumulated CPU time (s) 1793.31
Current children cumulated vsize (KiB) 587620
[startup+1793.8 s]
/proc/loadavg: 1.56 1.89 1.96 2/171 31931
/proc/meminfo: memFree=27665636/32873648 swapFree=6864/6864
[pid=31890] ppid=31888 vsize=532148 CPUtime=1793.5 cores=1,3,5,7
/proc/31890/stat : 31890 (pbscip.linux.x8) R 31888 31890 19043 0 -1 4202496 125413 0 0 0 179239 111 0 0 20 0 1 0 337294278 544919552 132083 33554432000 4194304 7823515 140737266438848 140737266433528 5875900 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31890/statm: 133037 132083 544 887 0 132147 0
Current children cumulated CPU time (s) 1793.5
Current children cumulated vsize (KiB) 532148
Child status: 0
Real time (s): 1793.81
CPU time (s): 1793.52
CPU user time (s): 1792.4
CPU system time (s): 1.12383
CPU usage (%): 99.9842
Max. virtual memory (cumulated for all children) (KiB): 607628
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.4
system time used= 1.12383
maximum resident set size= 593796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125420
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= 11
involuntary context switches= 1847
runsolver used 2.57361 second user time and 7.2129 second system time
The end