1.89/1.93 c SCIP version 1.1.0.7
1.89/1.93 c LP-Solver SoPlex 1.4.1
1.89/1.93 c user parameter file <scip.set> not found - using default parameters
1.89/1.93 c read problem <HOME/instance-3744933-1338807498.opb>
1.89/1.93 c original problem has 62963 variables (62963 bin, 0 int, 0 impl, 0 cont) and 304567 constraints
2.28/2.38 c start presolving problem
2.28/2.38 c presolving:
3.89/3.94 c (round 1) 17925 del vars, 165436 del conss, 13947 chg bounds, 48 chg sides, 84 chg coeffs, 0 upgd conss, 2617606 impls, 0 clqs
4.19/4.27 c (round 2) 31947 del vars, 191234 del conss, 13990 chg bounds, 48 chg sides, 86 chg coeffs, 0 upgd conss, 2619276 impls, 0 clqs
4.29/4.40 c (round 3) 35598 del vars, 201733 del conss, 13990 chg bounds, 75 chg sides, 158 chg coeffs, 0 upgd conss, 2619310 impls, 0 clqs
4.38/4.44 c (round 4) 35938 del vars, 202403 del conss, 13990 chg bounds, 78 chg sides, 167 chg coeffs, 0 upgd conss, 2619310 impls, 0 clqs
4.88/4.91 c (round 5) 35938 del vars, 202403 del conss, 13990 chg bounds, 78 chg sides, 167 chg coeffs, 101477 upgd conss, 2619310 impls, 0 clqs
4.98/5.00 c (round 6) 35938 del vars, 202403 del conss, 13990 chg bounds, 78 chg sides, 167 chg coeffs, 102164 upgd conss, 2619310 impls, 0 clqs
7.59/7.68 c (5.3s) probing: 1000/27025 (3.7%) - 0 fixings, 0 aggregations, 40928 implications, 0 bound changes
10.18/10.26 c (7.9s) probing: 2000/27025 (7.4%) - 0 fixings, 0 aggregations, 86389 implications, 0 bound changes
10.18/10.26 c (7.9s) probing: 2001/27025 (7.4%) - 0 fixings, 0 aggregations, 86392 implications, 0 bound changes
10.18/10.26 c (7.9s) probing aborted: 2000/2000 successive useless probings
10.18/10.26 c presolving (7 rounds):
10.18/10.26 c 35938 deleted vars, 202403 deleted constraints, 13990 tightened bounds, 0 added holes, 78 changed sides, 167 changed coefficients
10.18/10.26 c 2803070 implications, 0 cliques
10.18/10.26 c presolved problem has 27025 variables (27025 bin, 0 int, 0 impl, 0 cont) and 102164 constraints
10.18/10.26 c 102164 constraints of type <logicor>
10.18/10.26 c transformed objective value is always integral (scale: 1)
10.18/10.26 c Presolving Time: 7.60
10.18/10.27 c strange?!, PURESAT with obj
10.18/10.27 c -----------------------------------------------------------------------------------------------
10.18/10.27 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
10.18/10.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.18/10.27 c limits/memory = c 13950
10.18/10.27 c # maximal time in seconds to run
10.18/10.27 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
10.18/10.27 c limits/time = c 1791
10.18/10.27 c # frequency for displaying node information lines
10.18/10.27 c # [type: int, range: [-1,2147483647], default: 100]
10.18/10.27 c display/freq = c 10000
10.18/10.27 c -----------------------------------------------------------------------------------------------
10.18/10.27 c start solving problem
10.18/10.27 c
41.37/41.47 c time | node | left |LP iter| mem |mdpt |frac |vars |cons |ccons|cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
41.37/41.47 c 39.0s| 1 | 0 | 20745 | 369M| 0 |7919 | 27k| 102k| 102k| 27k| 102k| 0 | 0 | 0 | 1.000000e+00 | -- | Inf
244.75/244.83 c 242s| 1 | 0 | 60134 | 374M| 0 |7096 | 27k| 102k| 102k| 27k| 104k|2000 | 0 | 0 | 2.000000e+00 | -- | Inf
306.03/306.14 c 303s| 1 | 0 | 72240 | 374M| 0 |5354 | 27k| 102k| 102k| 27k| 104k|2018 | 0 | 0 | 2.000000e+00 | -- | Inf
434.42/434.52 c 432s| 1 | 0 |101096 | 376M| 0 |5666 | 27k| 102k| 102k| 27k| 104k|2031 | 0 | 0 | 2.500000e+00 | -- | Inf
547.40/547.53 c 544s| 1 | 0 |125414 | 376M| 0 |4685 | 27k| 102k| 102k| 27k| 104k|2598 | 0 | 0 | 3.000000e+00 | -- | Inf
768.87/769.02 c 766s| 1 | 0 |165507 | 376M| 0 |6214 | 27k| 102k| 102k| 27k| 104k|2616 | 0 | 0 | 3.000000e+00 | -- | Inf
902.95/903.15 c 900s| 1 | 0 |192396 | 377M| 0 |5980 | 27k| 102k| 102k| 27k| 105k|3057 | 0 | 0 | 3.000000e+00 | -- | Inf
956.33/956.56 c 953s| 1 | 0 |201854 | 377M| 0 |5378 | 27k| 102k| 102k| 27k| 105k|3077 | 0 | 0 | 3.000000e+00 | -- | Inf
1100.30/1100.55 c 1097s| 1 | 2 |201854 | 377M| 0 |5378 | 27k| 102k| 102k| 27k| 105k|3077 | 0 | 27 | 3.000000e+00 | -- | Inf
1795.10/1795.46 c
1795.10/1795.46 c SCIP Status : solving was interrupted [time limit reached]
1795.10/1795.46 c Solving Time (sec) : 1791.11
1795.10/1795.46 c Solving Nodes : 5
1795.10/1795.46 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1795.10/1795.46 c Dual Bound : +3.00000000000000e+00
1795.10/1795.46 c Gap : infinite
1795.10/1795.46 c NODE 5
1795.10/1795.46 c DUAL BOUND 3
1795.10/1795.46 c PRIMAL BOUND 1e+20
1795.10/1795.46 c GAP 1e+20
1795.10/1795.46 s UNKNOWN
1795.10/1795.46 c SCIP Status : solving was interrupted [time limit reached]
1795.10/1795.46 c Solving Time : 1791.11
1795.10/1795.46 c Original Problem :
1795.10/1795.46 c Problem name : HOME/instance-3744933-1338807498.opb
1795.10/1795.46 c Variables : 62963 (62963 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.10/1795.46 c Constraints : 304567 initial, 304567 maximal
1795.10/1795.46 c Presolved Problem :
1795.10/1795.46 c Problem name : t_HOME/instance-3744933-1338807498.opb
1795.10/1795.46 c Variables : 27025 (27025 binary, 0 integer, 0 implicit integer, 0 continuous)
1795.10/1795.46 c Constraints : 102164 initial, 102164 maximal
1795.10/1795.46 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1795.10/1795.46 c trivial : 0.01 0 0 0 0 0 0 0 0
1795.10/1795.46 c dualfix : 0.15 15566 0 0 0 0 0 0 0
1795.10/1795.46 c boundshift : 0.00 0 0 0 0 0 0 0 0
1795.10/1795.46 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1795.10/1795.46 c implics : 0.34 0 118 0 0 0 0 0 0
1795.10/1795.46 c probing : 5.16 0 0 0 0 0 0 0 0
1795.10/1795.46 c linear : 1.41 13990 6264 0 13990 0 202403 78 167
1795.10/1795.46 c logicor : 0.20 0 0 0 0 0 0 0 0
1795.10/1795.46 c root node : - 0 - - 0 - - - -
1795.10/1795.46 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1795.10/1795.46 c integral : 0 0 0 5 0 0 0 0 0 10
1795.10/1795.46 c logicor : 102164 7 4277 0 0 0 176 0 0 0
1795.10/1795.46 c countsols : 0 0 0 0 0 0 0 0 0 0
1795.10/1795.46 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1795.10/1795.46 c integral : 676.95 0.00 0.00 676.95 0.00
1795.10/1795.46 c logicor : 1.22 0.06 1.16 0.00 0.00
1795.10/1795.46 c countsols : 0.00 0.00 0.00 0.00 0.00
1795.10/1795.46 c Propagators : Time Calls Cutoffs DomReds
1795.10/1795.46 c rootredcost : 0.00 0 0 0
1795.10/1795.46 c pseudoobj : 0.00 9 0 0
1795.10/1795.46 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1795.10/1795.46 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1795.10/1795.46 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1795.10/1795.46 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1795.10/1795.46 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1795.10/1795.46 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1795.10/1795.46 c applied globally : - - - 0 0.0 - - -
1795.10/1795.46 c applied locally : - - - 0 0.0 - - -
1795.10/1795.46 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1795.10/1795.46 c cut pool : 0.00 6 - - 98 - (maximal pool size: 7973)
1795.10/1795.46 c redcost : 0.01 11 0 0 0 0
1795.10/1795.46 c impliedbounds : 0.13 7 0 0 7389 0
1795.10/1795.46 c intobj : 0.00 0 0 0 0 0
1795.10/1795.46 c gomory : 4.20 6 0 0 3000 0
1795.10/1795.46 c strongcg : 4.04 6 0 0 3000 0
1795.10/1795.46 c cmir : 28.37 6 0 0 0 0
1795.10/1795.46 c flowcover : 29.28 6 0 0 7 0
1795.10/1795.46 c clique : 11.18 6 0 0 45 0
1795.10/1795.46 c zerohalf : 0.00 0 0 0 0 0
1795.10/1795.46 c mcf : 0.08 1 0 0 0 0
1795.10/1795.46 c Pricers : Time Calls Vars
1795.10/1795.46 c problem variables: 0.00 0 0
1795.10/1795.46 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1795.10/1795.46 c relpscost : 676.95 5 0 0 0 0 10
1795.10/1795.46 c pscost : 0.00 0 0 0 0 0 0
1795.10/1795.46 c inference : 0.00 0 0 0 0 0 0
1795.10/1795.46 c mostinf : 0.00 0 0 0 0 0 0
1795.10/1795.46 c leastinf : 0.00 0 0 0 0 0 0
1795.10/1795.46 c fullstrong : 0.00 0 0 0 0 0 0
1795.10/1795.46 c allfullstrong : 0.00 0 0 0 0 0 0
1795.10/1795.46 c random : 0.00 0 0 0 0 0 0
1795.10/1795.46 c Primal Heuristics : Time Calls Found
1795.10/1795.46 c LP solutions : 0.00 - 0
1795.10/1795.46 c pseudo solutions : 0.00 - 0
1795.10/1795.46 c oneopt : 0.00 0 0
1795.10/1795.46 c coefdiving : 0.00 0 0
1795.10/1795.46 c pscostdiving : 0.00 0 0
1795.10/1795.46 c fracdiving : 0.00 0 0
1795.10/1795.46 c veclendiving : 0.00 0 0
1795.10/1795.46 c objpscostdiving : 0.00 0 0
1795.10/1795.46 c simplerounding : 0.00 0 0
1795.10/1795.46 c rounding : 0.10 12 0
1795.10/1795.46 c shifting : 3.13 8 0
1795.10/1795.46 c intshifting : 0.00 0 0
1795.10/1795.46 c fixandinfer : 0.00 0 0
1795.10/1795.46 c feaspump : 146.53 1 0
1795.10/1795.46 c intdiving : 0.00 0 0
1795.10/1795.46 c actconsdiving : 0.00 0 0
1795.10/1795.46 c rootsoldiving : 0.00 0 0
1795.10/1795.46 c linesearchdiving : 0.00 0 0
1795.10/1795.46 c guideddiving : 0.00 0 0
1795.10/1795.46 c octane : 0.00 0 0
1795.10/1795.46 c rens : 0.42 1 0
1795.10/1795.46 c rins : 0.00 0 0
1795.10/1795.46 c localbranching : 0.00 0 0
1795.10/1795.46 c mutation : 0.00 0 0
1795.10/1795.46 c crossover : 0.00 0 0
1795.10/1795.46 c dins : 0.00 0 0
1795.10/1795.46 c LP : Time Calls Iterations Iter/call Iter/sec
1795.10/1795.46 c primal LP : 0.05 0 0 0.00 0.00
1795.10/1795.46 c dual LP : 877.88 12 215931 17994.25 245.97
1795.10/1795.46 c barrier LP : 0.00 0 0 0.00 -
1795.10/1795.46 c diving/probing LP: 146.16 18 24176 1343.11 165.41
1795.10/1795.46 c strong branching : 676.94 140 134515 960.82 198.71
1795.10/1795.46 c (at root node) : - 27 27000 1000.00 -
1795.10/1795.46 c conflict analysis: 0.00 0 0 0.00 -
1795.10/1795.46 c B&B Tree :
1795.10/1795.46 c number of runs : 1
1795.10/1795.46 c nodes : 5
1795.10/1795.46 c nodes (total) : 5
1795.10/1795.46 c nodes left : 6
1795.10/1795.46 c max depth : 4
1795.10/1795.46 c max depth (total): 4
1795.10/1795.46 c backtracks : 0 (0.0%)
1795.10/1795.46 c delayed cutoffs : 0
1795.10/1795.46 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1795.10/1795.46 c avg switch length: 1.00
1795.10/1795.46 c switching time : 0.07
1795.10/1795.46 c Solution :
1795.10/1795.46 c Solutions found : 0 (0 improvements)
1795.10/1795.46 c Primal Bound : -
1795.10/1795.46 c Dual Bound : +3.00000000000000e+00
1795.10/1795.46 c Gap : infinite
1795.10/1795.46 c Root Dual Bound : +3.00000000000000e+00
1795.50/1795.80 c Time complete: 1795.5.
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-3744933-1338807498/watcher-3744933-1338807498 -o /tmp/evaluation-result-3744933-1338807498/solver-3744933-1338807498 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3744933-1338807498.opb
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 3/173 21634
/proc/meminfo: memFree=26408204/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=8236 CPUtime=0 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 1444 0 0 0 0 0 0 0 20 0 1 0 346874652 8433664 1397 33554432000 4194304 7823515 140734651348464 140736951383320 6288832 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 2059 1397 337 887 0 1169 0
[startup+0.0813731 s]
/proc/loadavg: 2.01 2.01 2.00 3/173 21634
/proc/meminfo: memFree=26408204/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=18888 CPUtime=0.07 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 4088 0 0 0 7 0 0 0 20 0 1 0 346874652 19341312 4041 33554432000 4194304 7823515 140734651348464 140736951383320 5741971 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 4722 4041 354 887 0 3832 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 18888
[startup+0.100275 s]
/proc/loadavg: 2.01 2.01 2.00 3/173 21634
/proc/meminfo: memFree=26408204/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=19136 CPUtime=0.09 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 4126 0 0 0 9 0 0 0 20 0 1 0 346874652 19595264 4079 33554432000 4194304 7823515 140734651348464 140736951383320 6896331 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 4784 4079 354 887 0 3894 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19136
[startup+0.300272 s]
/proc/loadavg: 2.01 2.01 2.00 3/173 21634
/proc/meminfo: memFree=26408204/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=34604 CPUtime=0.29 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 7980 0 0 0 28 1 0 0 20 0 1 0 346874652 35434496 7933 33554432000 4194304 7823515 140734651348464 140734651214568 6908062 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 8651 7934 354 887 0 7761 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 34604
[startup+0.700265 s]
/proc/loadavg: 2.01 2.01 2.00 3/173 21634
/proc/meminfo: memFree=26408204/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=64696 CPUtime=0.69 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 15529 0 0 0 67 2 0 0 20 0 1 0 346874652 66248704 15482 33554432000 4194304 7823515 140734651348464 140734651214568 6808174 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 16174 15482 354 887 0 15284 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 64696
[startup+1.50027 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21645
/proc/meminfo: memFree=26245748/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=128000 CPUtime=1.48 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 31300 0 0 0 144 4 0 0 20 0 1 0 346874652 131072000 31249 33554432000 4194304 7823515 140734651348464 140734651214568 6908032 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 32000 31249 354 887 0 31110 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 128000
[startup+3.10016 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21645
/proc/meminfo: memFree=25960748/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=427556 CPUtime=3.09 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 105603 0 0 0 285 24 0 0 20 0 1 0 346874652 437817344 105198 33554432000 4194304 7823515 140734651348464 140734651345400 5875782 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/21634/statm: 106889 105198 432 887 0 105999 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 427556
[startup+6.30029 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21645
/proc/meminfo: memFree=25064960/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=513784 CPUtime=6.28 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 124572 0 0 0 580 48 0 0 20 0 1 0 346874652 526114816 126777 33554432000 4194304 7823515 140734651348464 140734651345160 5422857 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 128446 126777 448 887 0 127556 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 513784
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21645
/proc/meminfo: memFree=24758488/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=611468 CPUtime=12.68 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 140148 0 0 0 1216 52 0 0 20 0 1 0 346874652 626143232 148824 33554432000 4194304 7823515 140734651348464 140734651343800 6151365 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/21634/statm: 152867 148824 520 887 0 151977 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 611468
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21645
/proc/meminfo: memFree=24644984/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=623584 CPUtime=25.48 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 141813 0 0 0 2495 53 0 0 20 0 1 0 346874652 638550016 151471 33554432000 4194304 7823515 140734651348464 140734651344152 6212480 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 155896 151471 520 887 0 155006 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 623584
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21645
/proc/meminfo: memFree=24603020/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=641200 CPUtime=51.07 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 146310 0 0 0 5051 56 0 0 20 0 1 0 346874652 656588800 157950 33554432000 4194304 7823515 140734651348464 140734651342440 6208539 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 160300 157950 531 887 0 159410 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 641200
[startup+102.307 s]
/proc/loadavg: 2.04 2.02 2.00 3/177 21645
/proc/meminfo: memFree=24585868/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=641200 CPUtime=102.27 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 146336 0 0 0 10168 59 0 0 20 0 1 0 346874652 656588800 157976 33554432000 4194304 7823515 140734651348464 140734651343144 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 160300 157976 531 887 0 159410 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 641200
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/178 21648
/proc/meminfo: memFree=24562204/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=641200 CPUtime=162.25 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 146344 0 0 0 16164 61 0 0 20 0 1 0 346874652 656588800 157984 33554432000 4194304 7823515 140734651348464 140734651343224 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 160300 157984 531 887 0 159410 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 641200
[startup+222.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 21672
/proc/meminfo: memFree=24552924/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=651164 CPUtime=222.24 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 150669 0 0 0 22158 66 0 0 20 0 1 0 346874652 666791936 160320 33554432000 4194304 7823515 140734651348464 140734651343800 6212439 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 162791 160320 534 887 0 161901 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 651164
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 21672
/proc/meminfo: memFree=24529328/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=681504 CPUtime=282.23 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 152099 0 0 0 28135 88 0 0 20 0 1 0 346874652 697860096 166349 33554432000 4194304 7823515 140734651348464 140734651344152 6263163 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 170376 166349 560 887 0 169486 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 681504
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 21672
/proc/meminfo: memFree=24544120/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=659344 CPUtime=342.23 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 152864 0 0 0 34129 94 0 0 20 0 1 0 346874652 675168256 161837 33554432000 4194304 7823515 140734651348464 140734651343800 6212418 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 164836 161837 560 887 0 163946 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 659344
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 21672
/proc/meminfo: memFree=24538088/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=664924 CPUtime=402.22 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 154365 0 0 0 40123 99 0 0 20 0 1 0 346874652 680882176 163338 33554432000 4194304 7823515 140734651348464 140734651343800 6211688 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 166231 163338 560 887 0 165341 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 664924
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21672
/proc/meminfo: memFree=24520668/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=678628 CPUtime=462.21 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 155960 0 0 0 46117 104 0 0 20 0 1 0 346874652 694915072 167488 33554432000 4194304 7823515 140734651348464 140734651344216 6212558 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 169657 167488 560 887 0 168767 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 678628
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21673
/proc/meminfo: memFree=24520856/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=678628 CPUtime=522.2 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 155977 0 0 0 52112 108 0 0 20 0 1 0 346874652 694915072 167505 33554432000 4194304 7823515 140734651348464 140734651343128 6212400 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 169657 167505 560 887 0 168767 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 678628
[startup+582.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21673
/proc/meminfo: memFree=24518824/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=682108 CPUtime=582.19 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 156265 0 0 0 58106 113 0 0 20 0 1 0 346874652 698478592 167780 33554432000 4194304 7823515 140734651348464 140734651344152 6212418 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 170527 167780 560 887 0 169637 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 682108
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=24504320/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1122.1 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 112050 160 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651344152 6151355 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1122.1
Current children cumulated vsize (KiB) 688348
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21678
/proc/meminfo: memFree=24504568/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1182.1 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 118044 166 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6212321 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 688348
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21678
/proc/meminfo: memFree=24504320/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1242.08 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 124037 171 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6211707 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1242.08
Current children cumulated vsize (KiB) 688348
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21678
/proc/meminfo: memFree=24504320/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1302.08 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 130032 176 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343800 6212404 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 688348
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21681
/proc/meminfo: memFree=24504312/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1362.06 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 136025 181 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6213526 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 688348
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21682
/proc/meminfo: memFree=24505196/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1422.06 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 142020 186 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343512 6212348 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 688348
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21683
/proc/meminfo: memFree=24459460/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1482.04 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 148013 191 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 688348
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21683
/proc/meminfo: memFree=24459460/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1542.03 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 154007 196 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343624 6211574 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 688348
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21683
/proc/meminfo: memFree=24459584/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1602.03 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 160001 202 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6212306 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 688348
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21683
/proc/meminfo: memFree=24455232/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1662.02 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 165995 207 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6212418 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 688348
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 21683
/proc/meminfo: memFree=24455240/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1722 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 171987 213 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343800 6954986 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 688348
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24454860/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1782 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 177982 218 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6109522 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 688348
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24454984/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1785.19 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 178301 218 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343512 6212356 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1785.19
Current children cumulated vsize (KiB) 688348
[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24455108/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1791.6 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 178941 219 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6211618 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1791.6
Current children cumulated vsize (KiB) 688348
[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24455108/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1793.19 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 179100 219 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6212418 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1793.19
Current children cumulated vsize (KiB) 688348
[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24455108/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1794.8 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184501 0 0 0 179261 219 0 0 20 0 1 0 346874652 704868352 171144 33554432000 4194304 7823515 140734651348464 140734651343160 6151365 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171144 566 887 0 171197 0
Current children cumulated CPU time (s) 1794.8
Current children cumulated vsize (KiB) 688348
[startup+1795.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24455108/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=688348 CPUtime=1795.2 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184503 0 0 0 179300 220 0 0 20 0 1 0 346874652 704868352 171146 33554432000 4194304 7823515 140734651348464 140734651343160 4304269 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 172087 171146 568 887 0 171197 0
Current children cumulated CPU time (s) 1795.2
Current children cumulated vsize (KiB) 688348
[startup+1795.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24455108/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=685720 CPUtime=1795.4 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184503 0 0 0 179320 220 0 0 20 0 1 0 346874652 702177280 170551 33554432000 4194304 7823515 140734651348464 140734651343160 5875165 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 171430 170551 568 887 0 170540 0
Current children cumulated CPU time (s) 1795.4
Current children cumulated vsize (KiB) 685720
[startup+1795.8 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21684
/proc/meminfo: memFree=24455108/32873844 swapFree=7628/7628
[pid=21634] ppid=21632 vsize=513140 CPUtime=1795.5 cores=0,2,4,6
/proc/21634/stat : 21634 (pbscip.linux.x8) R 21632 21634 21183 0 -1 4202496 184503 0 0 0 179329 221 0 0 20 0 1 0 346874652 525455360 127296 33554432000 4194304 7823515 140734651348464 140734651343160 6962503 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/21634/statm: 128029 127296 568 887 0 127139 0
Current children cumulated CPU time (s) 1795.5
Current children cumulated vsize (KiB) 513140
Child status: 0
Real time (s): 1795.81
CPU time (s): 1795.52
CPU user time (s): 1793.3
CPU system time (s): 2.21966
CPU usage (%): 99.9837
Max. virtual memory (cumulated for all children) (KiB): 794140
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.3
system time used= 2.21966
maximum resident set size= 788600
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 184506
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= 25
involuntary context switches= 4897
runsolver used 3.02254 second user time and 12.0442 second system time
The end