2.28/2.37 c SCIP version 1.1.0.7
2.28/2.37 c LP-Solver SoPlex 1.4.1
2.28/2.37 c user parameter file <scip.set> not found - using default parameters
2.28/2.37 c read problem <HOME/instance-3735988-1338711092.opb>
2.28/2.37 c original problem has 99789 variables (99789 bin, 0 int, 0 impl, 0 cont) and 388956 constraints
3.08/3.12 c start presolving problem
3.08/3.12 c presolving:
5.39/5.40 c (round 1) 3085 del vars, 6113 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
5.49/5.51 c (round 2) 3085 del vars, 6191 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 0 upgd conss, 3505402 impls, 0 clqs
7.18/7.28 c (round 3) 3085 del vars, 6195 del conss, 5 chg bounds, 26 chg sides, 30 chg coeffs, 382761 upgd conss, 3505402 impls, 0 clqs
21.58/21.60 c (18.7s) probing: 587/96704 (0.6%) - 0 fixings, 2 aggregations, 128235 implications, 0 bound changes
21.58/21.60 c (18.7s) probing aborted: 100/100 successive totally useless probings
21.58/21.61 c presolving (4 rounds):
21.58/21.61 c 3087 deleted vars, 6195 deleted constraints, 5 tightened bounds, 0 added holes, 26 changed sides, 30 changed coefficients
21.58/21.61 c 3759128 implications, 0 cliques
21.58/21.61 c presolved problem has 96702 variables (96702 bin, 0 int, 0 impl, 0 cont) and 382761 constraints
21.58/21.61 c 1 constraints of type <knapsack>
21.58/21.61 c 382760 constraints of type <logicor>
21.58/21.61 c transformed objective value is always integral (scale: 1)
21.58/21.61 c Presolving Time: 18.22
21.58/21.64 c OPT-LIN
21.58/21.64 c -----------------------------------------------------------------------------------------------
21.58/21.64 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
21.58/21.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.58/21.64 c limits/memory = c 13950
21.58/21.64 c # maximal time in seconds to run
21.58/21.64 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
21.58/21.64 c limits/time = c 1791
21.58/21.64 c # frequency for displaying node information lines
21.58/21.64 c # [type: int, range: [-1,2147483647], default: 100]
21.58/21.64 c display/freq = c 10000
21.58/21.64 c -----------------------------------------------------------------------------------------------
21.58/21.64 c start solving problem
21.58/21.64 c
841.26/841.48 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
841.26/841.48 c 838s| 1 | 0 | 41350 | 775M| 0 | 11k| 96k| 382k| 382k| 96k| 382k| 0 | 0 | 0 | 1.050432e+01 | -- | Inf
1794.71/1795.05 c 1791s| 1 | 2 | 56286 | 778M| 0 | - | 96k| 382k| 382k| 96k| 382k| 0 | 0 | 0 | 1.050432e+01 | -- | Inf
1794.71/1795.05 c
1794.71/1795.05 c SCIP Status : solving was interrupted [time limit reached]
1794.71/1795.05 c Solving Time (sec) : 1791.26
1794.71/1795.05 c Solving Nodes : 1
1794.71/1795.05 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1794.71/1795.05 c Dual Bound : +1.05043187625502e+01
1794.71/1795.05 c Gap : infinite
1794.71/1795.05 c NODE 1
1794.71/1795.05 c DUAL BOUND 10.5043
1794.71/1795.05 c PRIMAL BOUND 1e+20
1794.71/1795.05 c GAP 1e+20
1794.71/1795.05 s UNKNOWN
1794.71/1795.05 c SCIP Status : solving was interrupted [time limit reached]
1794.71/1795.05 c Solving Time : 1791.26
1794.71/1795.05 c Original Problem :
1794.71/1795.05 c Problem name : HOME/instance-3735988-1338711092.opb
1794.71/1795.05 c Variables : 99789 (99789 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.71/1795.05 c Constraints : 388956 initial, 388956 maximal
1794.71/1795.05 c Presolved Problem :
1794.71/1795.05 c Problem name : t_HOME/instance-3735988-1338711092.opb
1794.71/1795.05 c Variables : 96702 (96702 binary, 0 integer, 0 implicit integer, 0 continuous)
1794.71/1795.05 c Constraints : 382761 initial, 382761 maximal
1794.71/1795.05 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1794.71/1795.05 c trivial : 0.04 0 0 0 0 0 0 0 0
1794.71/1795.05 c dualfix : 0.02 0 0 0 0 0 0 0 0
1794.71/1795.05 c boundshift : 0.00 0 0 0 0 0 0 0 0
1794.71/1795.05 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1794.71/1795.05 c implics : 0.17 0 26 0 0 0 0 0 0
1794.71/1795.05 c probing : 13.97 0 2 0 0 0 0 0 0
1794.71/1795.05 c knapsack : 0.01 0 0 0 0 0 0 0 0
1794.71/1795.05 c linear : 2.87 5 3054 0 5 0 6195 26 30
1794.71/1795.05 c logicor : 0.65 0 0 0 0 0 0 0 0
1794.71/1795.05 c root node : - 0 - - 0 - - - -
1794.71/1795.05 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1794.71/1795.05 c integral : 0 0 0 0 0 0 0 0 0 0
1794.71/1795.05 c knapsack : 1 0 1509 0 1 0 0 0 0 0
1794.71/1795.05 c logicor : 382760 0 1509 0 1 0 0 0 0 0
1794.71/1795.05 c countsols : 0 0 0 0 1 0 0 0 0 0
1794.71/1795.05 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1794.71/1795.05 c integral : 0.00 0.00 0.00 0.00 0.00
1794.71/1795.05 c knapsack : 0.00 0.00 0.00 0.00 0.00
1794.71/1795.05 c logicor : 3.39 0.00 3.25 0.00 0.14
1794.71/1795.05 c countsols : 0.00 0.00 0.00 0.00 0.00
1794.71/1795.05 c Propagators : Time Calls Cutoffs DomReds
1794.71/1795.05 c rootredcost : 0.00 0 0 0
1794.71/1795.05 c pseudoobj : 0.00 2 0 0
1794.71/1795.05 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1794.71/1795.05 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1794.71/1795.05 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1794.71/1795.05 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1794.71/1795.05 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1794.71/1795.05 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1794.71/1795.05 c applied globally : - - - 0 0.0 - - -
1794.71/1795.05 c applied locally : - - - 0 0.0 - - -
1794.71/1795.05 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1794.71/1795.05 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1794.71/1795.05 c redcost : 0.00 0 0 0 0 0
1794.71/1795.05 c impliedbounds : 0.00 0 0 0 0 0
1794.71/1795.05 c intobj : 0.00 0 0 0 0 0
1794.71/1795.05 c gomory : 0.00 0 0 0 0 0
1794.71/1795.05 c strongcg : 0.00 0 0 0 0 0
1794.71/1795.05 c cmir : 0.00 0 0 0 0 0
1794.71/1795.05 c flowcover : 0.00 0 0 0 0 0
1794.71/1795.05 c clique : 0.00 0 0 0 0 0
1794.71/1795.05 c zerohalf : 0.00 0 0 0 0 0
1794.71/1795.05 c mcf : 0.00 0 0 0 0 0
1794.71/1795.05 c Pricers : Time Calls Vars
1794.71/1795.05 c problem variables: 0.00 0 0
1794.71/1795.05 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1794.71/1795.05 c relpscost : 0.00 0 0 0 0 0 0
1794.71/1795.05 c pscost : 0.00 0 0 0 0 0 0
1794.71/1795.05 c inference : 0.04 1 0 0 0 0 2
1794.71/1795.05 c mostinf : 0.00 0 0 0 0 0 0
1794.71/1795.05 c leastinf : 0.00 0 0 0 0 0 0
1794.71/1795.05 c fullstrong : 0.00 0 0 0 0 0 0
1794.71/1795.05 c allfullstrong : 0.00 0 0 0 0 0 0
1794.71/1795.05 c random : 0.00 0 0 0 0 0 0
1794.71/1795.05 c Primal Heuristics : Time Calls Found
1794.71/1795.05 c LP solutions : 0.00 - 0
1794.71/1795.05 c pseudo solutions : 0.00 - 0
1794.71/1795.05 c simplerounding : 0.01 0 0
1794.71/1795.05 c rounding : 0.05 1 0
1794.71/1795.05 c shifting : 0.18 1 0
1794.71/1795.05 c intshifting : 0.00 0 0
1794.71/1795.05 c oneopt : 0.00 0 0
1794.71/1795.05 c fixandinfer : 0.00 0 0
1794.71/1795.05 c feaspump : 952.91 1 0
1794.71/1795.05 c coefdiving : 0.00 0 0
1794.71/1795.05 c pscostdiving : 0.00 0 0
1794.71/1795.05 c fracdiving : 0.00 0 0
1794.71/1795.05 c veclendiving : 0.00 0 0
1794.71/1795.05 c intdiving : 0.00 0 0
1794.71/1795.05 c actconsdiving : 0.00 0 0
1794.71/1795.05 c objpscostdiving : 0.00 0 0
1794.71/1795.05 c rootsoldiving : 0.00 0 0
1794.71/1795.05 c linesearchdiving : 0.00 0 0
1794.71/1795.05 c guideddiving : 0.00 0 0
1794.71/1795.05 c octane : 0.00 0 0
1794.71/1795.05 c rens : 0.00 0 0
1794.71/1795.05 c rins : 0.00 0 0
1794.71/1795.05 c localbranching : 0.00 0 0
1794.71/1795.05 c mutation : 0.00 0 0
1794.71/1795.05 c crossover : 0.00 0 0
1794.71/1795.05 c dins : 0.00 0 0
1794.71/1795.05 c LP : Time Calls Iterations Iter/call Iter/sec
1794.71/1795.05 c primal LP : 0.00 0 0 0.00 -
1794.71/1795.05 c dual LP : 818.42 1 41350 41350.00 50.52
1794.71/1795.05 c barrier LP : 0.00 0 0 0.00 -
1794.71/1795.05 c diving/probing LP: 952.86 1 14936 14936.00 15.67
1794.71/1795.05 c strong branching : 0.00 0 0 0.00 -
1794.71/1795.05 c (at root node) : - 0 0 0.00 -
1794.71/1795.05 c conflict analysis: 0.00 0 0 0.00 -
1794.71/1795.05 c B&B Tree :
1794.71/1795.05 c number of runs : 1
1794.71/1795.05 c nodes : 1
1794.71/1795.05 c nodes (total) : 1
1794.71/1795.05 c nodes left : 2
1794.71/1795.05 c max depth : 0
1794.71/1795.05 c max depth (total): 0
1794.71/1795.05 c backtracks : 0 (0.0%)
1794.71/1795.05 c delayed cutoffs : 0
1794.71/1795.05 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1794.71/1795.05 c avg switch length: 1.00
1794.71/1795.05 c switching time : 0.00
1794.71/1795.05 c Solution :
1794.71/1795.05 c Solutions found : 0 (0 improvements)
1794.71/1795.05 c Primal Bound : -
1794.71/1795.05 c Dual Bound : +1.05043187625502e+01
1794.71/1795.05 c Gap : infinite
1794.71/1795.05 c Root Dual Bound : +1.05043187625502e+01
1795.80/1796.11 c Time complete: 1795.82.
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-3735988-1338711092/watcher-3735988-1338711092 -o /tmp/evaluation-result-3735988-1338711092/solver-3735988-1338711092 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3735988-1338711092.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/174 27666
/proc/meminfo: memFree=23333476/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=8236 CPUtime=0 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 1445 0 0 0 0 0 0 0 20 0 1 0 337237848 8433664 1397 33554432000 4194304 7823515 140734694128320 140734694060312 6957168 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 2059 1397 337 887 0 1169 0
[startup+0.0240259 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27666
/proc/meminfo: memFree=23333476/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=13984 CPUtime=0.01 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 2866 0 0 0 1 0 0 0 20 0 1 0 337237848 14319616 2818 33554432000 4194304 7823515 140734694128320 140734694060312 5878822 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 3496 2818 354 887 0 2606 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13984
[startup+0.100271 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27666
/proc/meminfo: memFree=23333476/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=22480 CPUtime=0.09 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 4969 0 0 0 9 0 0 0 20 0 1 0 337237848 23019520 4921 33554432000 4194304 7823515 140734694128320 140734694060312 5879390 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 5620 4921 354 887 0 4730 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 22480
[startup+0.300263 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27666
/proc/meminfo: memFree=23333476/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=37960 CPUtime=0.29 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 8843 0 0 0 28 1 0 0 20 0 1 0 337237848 38871040 8795 33554432000 4194304 7823515 140734694128320 140734693994056 6830472 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 9490 8795 354 887 0 8600 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 37960
[startup+0.700274 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27666
/proc/meminfo: memFree=23333476/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=72520 CPUtime=0.68 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 17447 0 0 0 66 2 0 0 20 0 1 0 337237848 74260480 17399 33554432000 4194304 7823515 140734694128320 140734693994056 5538352 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 18130 17399 354 887 0 17240 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 72520
[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27667
/proc/meminfo: memFree=23239608/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=139864 CPUtime=1.49 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 34225 0 0 0 144 5 0 0 20 0 1 0 337237848 143220736 34177 33554432000 4194304 7823515 140734694128320 140734693994424 6877445 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 34966 34177 354 887 0 34076 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 139864
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27667
/proc/meminfo: memFree=23148004/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=524124 CPUtime=3.08 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 130204 0 0 0 288 20 0 0 20 0 1 0 337237848 536702976 129830 33554432000 4194304 7823515 140734694128320 140734694124088 4685941 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 131031 129830 385 887 0 130141 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 524124
[startup+6.30026 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27667
/proc/meminfo: memFree=22701728/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=750352 CPUtime=6.28 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 185933 0 0 0 580 48 0 0 20 0 1 0 337237848 768360448 184648 33554432000 4194304 7823515 140734694128320 140734694125256 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 187588 184648 440 887 0 186698 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 750352
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27667
/proc/meminfo: memFree=22540900/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=802368 CPUtime=12.69 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 200114 0 0 0 1207 62 0 0 20 0 1 0 337237848 821624832 197987 33554432000 4194304 7823515 140734694128320 140734694125000 5102336 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 200592 197987 457 887 0 199702 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 802368
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27667
/proc/meminfo: memFree=22145200/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1241912 CPUtime=25.48 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 271502 0 0 0 2473 75 0 0 20 0 1 0 337237848 1271717888 297069 33554432000 4194304 7823515 140734694128320 140734694123656 6212552 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 310478 297069 527 887 0 309588 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 1241912
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27667
/proc/meminfo: memFree=22123088/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1258236 CPUtime=51.07 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 276586 0 0 0 5031 76 0 0 20 0 1 0 337237848 1288433664 302425 33554432000 4194304 7823515 140734694128320 140734694123656 6212106 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 314559 302425 527 887 0 313669 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1258236
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27667
/proc/meminfo: memFree=22056876/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1344136 CPUtime=102.27 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 283835 0 0 0 10145 82 0 0 20 0 1 0 337237848 1376395264 319012 33554432000 4194304 7823515 140734694128320 140734694123656 6954986 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 336034 319012 527 887 0 335144 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1344136
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27668
/proc/meminfo: memFree=22045316/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1333928 CPUtime=162.26 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 297245 0 0 0 16131 95 0 0 20 0 1 0 337237848 1365942272 315394 33554432000 4194304 7823515 140734694128320 140734694123656 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 333482 315394 527 887 0 332592 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1333928
[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/175 27668
/proc/meminfo: memFree=21977188/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425028 CPUtime=222.25 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 307749 0 0 0 22122 103 0 0 20 0 1 0 337237848 1459228672 338945 33554432000 4194304 7823515 140734694128320 140734694124008 6263029 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356257 338945 527 887 0 355367 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1425028
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27668
/proc/meminfo: memFree=21976692/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425028 CPUtime=282.24 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 307988 0 0 0 28120 104 0 0 20 0 1 0 337237848 1459228672 339035 33554432000 4194304 7823515 140734694128320 140734694124120 6212422 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356257 339035 527 887 0 355367 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1425028
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27668
/proc/meminfo: memFree=21976320/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425028 CPUtime=342.23 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 308050 0 0 0 34118 105 0 0 20 0 1 0 337237848 1459228672 339097 33554432000 4194304 7823515 140734694128320 140734694124072 5925270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356257 339097 527 887 0 355367 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 1425028
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27706
/proc/meminfo: memFree=22360036/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425028 CPUtime=402.22 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 308096 0 0 0 40117 105 0 0 20 0 1 0 337237848 1459228672 339167 33554432000 4194304 7823515 140734694128320 140734694124120 6908173 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356257 339167 527 887 0 355367 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1425028
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27707
/proc/meminfo: memFree=22362900/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425028 CPUtime=462.21 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 308112 0 0 0 46115 106 0 0 20 0 1 0 337237848 1459228672 339207 33554432000 4194304 7823515 140734694128320 140734694123656 6150539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356257 339207 527 887 0 355367 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1425028
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27710
/proc/meminfo: memFree=22362688/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425028 CPUtime=522.2 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 308124 0 0 0 52113 107 0 0 20 0 1 0 337237848 1459228672 339219 33554432000 4194304 7823515 140734694128320 140734694123656 5925270 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356257 339219 527 887 0 355367 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1425028
[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27710
/proc/meminfo: memFree=22358244/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425028 CPUtime=582.2 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 308146 0 0 0 58111 109 0 0 20 0 1 0 337237848 1459228672 339747 33554432000 4194304 7823515 140734694128320 140734694123656 6237313 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356257 339747 527 887 0 355367 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1425028
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=22327172/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1062.12 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309442 0 0 0 106097 115 0 0 20 0 1 0 337237848 1459249152 346611 33554432000 4194304 7823515 140734694128320 140734694123000 6211692 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346611 538 887 0 355372 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 1425048
[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27715
/proc/meminfo: memFree=22323788/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1122.1 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309452 0 0 0 112095 115 0 0 20 0 1 0 337237848 1459249152 346623 33554432000 4194304 7823515 140734694128320 140734694123128 6020328 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346623 538 887 0 355372 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 1425048
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27715
/proc/meminfo: memFree=22322036/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1182.09 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309482 0 0 0 118093 116 0 0 20 0 1 0 337237848 1459249152 346653 33554432000 4194304 7823515 140734694128320 140734694123000 6019522 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346653 538 887 0 355372 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 1425048
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27715
/proc/meminfo: memFree=22318540/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1242.09 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309496 0 0 0 124092 117 0 0 20 0 1 0 337237848 1459249152 346667 33554432000 4194304 7823515 140734694128320 140734694123080 6208709 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346667 538 887 0 355372 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 1425048
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27715
/proc/meminfo: memFree=22318464/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1302.08 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309500 0 0 0 130091 117 0 0 20 0 1 0 337237848 1459249152 346676 33554432000 4194304 7823515 140734694128320 140734694123000 6177706 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346676 538 887 0 355372 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 1425048
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/174 27715
/proc/meminfo: memFree=22318412/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1362.07 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309504 0 0 0 136089 118 0 0 20 0 1 0 337237848 1459249152 346680 33554432000 4194304 7823515 140734694128320 140734694123288 6208547 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346680 538 887 0 355372 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 1425048
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27716
/proc/meminfo: memFree=22317784/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1422.06 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309508 0 0 0 142088 118 0 0 20 0 1 0 337237848 1459249152 346684 33554432000 4194304 7823515 140734694128320 140734694123080 6208516 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346684 538 887 0 355372 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 1425048
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27716
/proc/meminfo: memFree=22317660/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1482.05 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309511 0 0 0 148086 119 0 0 20 0 1 0 337237848 1459249152 346687 33554432000 4194304 7823515 140734694128320 140734694123000 6908153 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346687 538 887 0 355372 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 1425048
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 27717
/proc/meminfo: memFree=22319140/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425048 CPUtime=1542.04 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309515 0 0 0 154085 119 0 0 20 0 1 0 337237848 1459249152 346691 33554432000 4194304 7823515 140734694128320 140734694123000 6208526 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356262 346691 538 887 0 355372 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 1425048
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27717
/proc/meminfo: memFree=22318776/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425052 CPUtime=1602.03 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309538 0 0 0 160083 120 0 0 20 0 1 0 337237848 1459253248 346714 33554432000 4194304 7823515 140734694128320 140734694123000 6180642 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356263 346714 538 887 0 355373 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 1425052
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/175 27717
/proc/meminfo: memFree=22318528/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425068 CPUtime=1662.02 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309567 0 0 0 166082 120 0 0 20 0 1 0 337237848 1459269632 346743 33554432000 4194304 7823515 140734694128320 140734694123128 6019539 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356267 346743 538 887 0 355377 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 1425068
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/176 27721
/proc/meminfo: memFree=22318396/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425116 CPUtime=1722.01 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309597 0 0 0 172080 121 0 0 20 0 1 0 337237848 1459318784 346773 33554432000 4194304 7823515 140734694128320 140734694123080 6208511 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356279 346773 538 887 0 355389 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 1425116
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22318280/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425116 CPUtime=1782 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309599 0 0 0 178079 121 0 0 20 0 1 0 337237848 1459318784 346775 33554432000 4194304 7823515 140734694128320 140734694123000 6211406 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356279 346775 538 887 0 355389 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 1425116
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22318280/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425116 CPUtime=1785.2 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309599 0 0 0 178399 121 0 0 20 0 1 0 337237848 1459318784 346775 33554432000 4194304 7823515 140734694128320 140734694122296 5914500 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356279 346775 538 887 0 355389 0
Current children cumulated CPU time (s) 1785.2
Current children cumulated vsize (KiB) 1425116
[startup+1791.91 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22318280/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425116 CPUtime=1791.61 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309599 0 0 0 179040 121 0 0 20 0 1 0 337237848 1459318784 346775 33554432000 4194304 7823515 140734694128320 140734694123000 6208327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356279 346775 538 887 0 355389 0
Current children cumulated CPU time (s) 1791.61
Current children cumulated vsize (KiB) 1425116
[startup+1793.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22318280/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1425116 CPUtime=1793.2 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309599 0 0 0 179199 121 0 0 20 0 1 0 337237848 1459318784 346775 33554432000 4194304 7823515 140734694128320 140734694123000 6208904 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 356279 346775 538 887 0 355389 0
Current children cumulated CPU time (s) 1793.2
Current children cumulated vsize (KiB) 1425116
[startup+1795.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22421172/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1312128 CPUtime=1794.81 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309605 0 0 0 179359 122 0 0 20 0 1 0 337237848 1343619072 321089 33554432000 4194304 7823515 140734694128320 140734694123832 4333655 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 328032 321089 544 887 0 327142 0
Current children cumulated CPU time (s) 1794.81
Current children cumulated vsize (KiB) 1312128
[startup+1795.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22421172/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1308972 CPUtime=1795.61 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309605 0 0 0 179439 122 0 0 20 0 1 0 337237848 1340387328 320329 33554432000 4194304 7823515 140734694128320 140734694123832 5875143 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 327243 320329 544 887 0 326353 0
Current children cumulated CPU time (s) 1795.61
Current children cumulated vsize (KiB) 1308972
[startup+1796.1 s]
/proc/loadavg: 2.01 2.01 2.00 3/175 27721
/proc/meminfo: memFree=22421172/32873844 swapFree=7112/7112
[pid=27666] ppid=27664 vsize=1085932 CPUtime=1795.8 cores=1,3,5,7
/proc/27666/stat : 27666 (pbscip.linux.x8) R 27664 27666 13043 0 -1 4202496 309605 0 0 0 179457 123 0 0 20 0 1 0 337237848 1111994368 270481 33554432000 4194304 7823515 140734694128320 140734694123832 5875083 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/27666/statm: 271483 270481 544 887 0 270593 0
Current children cumulated CPU time (s) 1795.8
Current children cumulated vsize (KiB) 1085932
Child status: 0
Real time (s): 1796.12
CPU time (s): 1795.83
CPU user time (s): 1794.59
CPU system time (s): 1.24381
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 1425116
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.59
system time used= 1.24381
maximum resident set size= 1387104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 309612
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= 17
involuntary context switches= 1872
runsolver used 9.42557 second user time and 15.2267 second system time
The end