Trace number 3740337
Some explanations
A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process.
The trace of the execution of a solver is divided into four (or five) parts:
-
SOLVER DATA
This is the output of the solver (stdout and stderr).
Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.
When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.
As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
-
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
-
CONVERSION SCRIPT DATA (Optionnal)
When a conversion script is used, this section shows the messages that were output by the conversion script.
-
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver.
The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
-
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.
Solver answer on this benchmark
General information on the benchmark
Name | /OPT-SMALLINT-LIN/oliveras/j120opt/ normalized-j1205_7.std.opb |
MD5SUM | c518f99ce9bf9705400b58ce0c013ec3 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 84 |
Best CPU time to get the best result obtained on this benchmark | 0.304952 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 72842 |
Total number of constraints | 234229 |
Number of constraints which are clauses | 233029 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1200 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 300 |
Biggest coefficient in the objective function | 300 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 45150 |
Number of bits of the sum of numbers in the objective function | 16 |
Biggest number in a constraint | 300 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 45150 |
Number of bits of the biggest sum of numbers | 16 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
Solver Data
0.00/0.00 c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00 c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00 c
0.00/0.00 c user parameter file <scip.set> not found - using default parameters
0.00/0.00 c reading problem <HOME/instance-3740337-1338735964.opb>
1.39/1.49 c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234229 constraints
1.39/1.49 c problem read
1.49/1.50 c presolving settings loaded
1.98/2.08 c presolving:
8.80/8.86 c (round 1) 4470 del vars, 13614 del conss, 2969 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16135722 impls, 0 clqs
12.59/12.69 c (round 2) 11871 del vars, 37778 del conss, 10087 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16167485 impls, 0 clqs
13.69/13.70 c (round 3) 14275 del vars, 49385 del conss, 11244 chg bounds, 49 chg sides, 34 chg coeffs, 0 upgd conss, 16181190 impls, 0 clqs
14.20/14.24 c (round 4) 15199 del vars, 53083 del conss, 11793 chg bounds, 80 chg sides, 76 chg coeffs, 0 upgd conss, 16189120 impls, 0 clqs
14.49/14.55 c (round 5) 15685 del vars, 55068 del conss, 12091 chg bounds, 87 chg sides, 84 chg coeffs, 0 upgd conss, 16192782 impls, 0 clqs
14.69/14.73 c (round 6) 15975 del vars, 56270 del conss, 12247 chg bounds, 87 chg sides, 84 chg coeffs, 0 upgd conss, 16194226 impls, 0 clqs
14.79/14.82 c (round 7) 16037 del vars, 56642 del conss, 12270 chg bounds, 87 chg sides, 84 chg coeffs, 0 upgd conss, 16194930 impls, 0 clqs
14.89/14.91 c (round 8) 16065 del vars, 56762 del conss, 12286 chg bounds, 87 chg sides, 84 chg coeffs, 0 upgd conss, 16195130 impls, 0 clqs
14.89/14.98 c (round 9) 16073 del vars, 56820 del conss, 12290 chg bounds, 87 chg sides, 84 chg coeffs, 0 upgd conss, 16195210 impls, 0 clqs
15.68/15.75 c (round 10) 16073 del vars, 56828 del conss, 12290 chg bounds, 87 chg sides, 84 chg coeffs, 177401 upgd conss, 16195210 impls, 0 clqs
717.61/717.87 c (716.4s) probing: 1000/56769 (1.8%) - 0 fixings, 0 aggregations, 10558302 implications, 0 bound changes
1327.50/1327.82 c (1326.3s) probing: 2000/56769 (3.5%) - 0 fixings, 0 aggregations, 16146905 implications, 0 bound changes
1328.10/1328.46 c (1327.0s) probing: 2001/56769 (3.5%) - 0 fixings, 0 aggregations, 16150377 implications, 0 bound changes
1328.10/1328.46 c (1327.0s) probing aborted: 2000/2000 successive useless probings
1328.10/1328.46 c presolving (11 rounds):
1328.10/1328.46 c 16073 deleted vars, 56828 deleted constraints, 12290 tightened bounds, 0 added holes, 87 changed sides, 200 changed coefficients
1328.10/1328.46 c 73599632 implications, 0 cliques
1328.10/1328.46 c presolved problem has 56769 variables (56769 bin, 0 int, 0 impl, 0 cont) and 177401 constraints
1328.10/1328.46 c 1093 constraints of type <knapsack>
1328.10/1328.46 c 148243 constraints of type <setppc>
1328.10/1328.46 c 28065 constraints of type <logicor>
1328.10/1328.46 c transformed objective value is always integral (scale: 1)
1328.10/1328.46 c Presolving Time: 1326.57
1328.10/1328.46 c - non default parameters ----------------------------------------------------------------------
1328.10/1328.46 c # SCIP version 1.2.1.3
1328.10/1328.46 c
1328.10/1328.46 c # frequency for displaying node information lines
1328.10/1328.46 c # [type: int, range: [-1,2147483647], default: 100]
1328.10/1328.46 c display/freq = 10000
1328.10/1328.46 c
1328.10/1328.46 c # maximal time in seconds to run
1328.10/1328.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1328.10/1328.46 c limits/time = 1788.51
1328.10/1328.46 c
1328.10/1328.46 c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1328.10/1328.46 c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1328.10/1328.46 c limits/memory = 13950
1328.10/1328.46 c
1328.10/1328.46 c # default clock type (1: CPU user seconds, 2: wall clock time)
1328.10/1328.46 c # [type: int, range: [1,2], default: 1]
1328.10/1328.46 c timing/clocktype = 2
1328.10/1328.46 c
1328.10/1328.46 c # should presolving try to simplify inequalities
1328.10/1328.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1328.10/1328.46 c constraints/linear/simplifyinequalities = TRUE
1328.10/1328.46 c
1328.10/1328.46 c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1328.10/1328.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1328.10/1328.46 c constraints/indicator/addCouplingCons = TRUE
1328.10/1328.46 c
1328.10/1328.46 c # should presolving try to simplify knapsacks
1328.10/1328.46 c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1328.10/1328.46 c constraints/knapsack/simplifyinequalities = TRUE
1328.10/1328.46 c
1328.10/1328.46 c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1328.10/1328.46 c # [type: int, range: [-1,2147483647], default: -1]
1328.10/1328.46 c separating/rapidlearning/freq = 0
1328.10/1328.46 c
1328.10/1328.46 c -----------------------------------------------------------------------------------------------
1328.10/1328.46 c start solving
1328.20/1328.50 c
1704.55/1704.99 c time | node | left |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr| dualbound | primalbound | gap
1704.55/1704.99 c 1703s| 1 | 0 | 56944 | - |2229M| 0 | 531 | 56k| 177k| 56k| 177k| 0 | 0 | 0 | 8.400000e+01 | -- | Inf
1789.73/1790.18 c 1789s| 1 | 2 | 63964 | - |2231M| 0 | - | 56k| 177k| 56k| 177k| 0 | 0 | 0 | 8.400000e+01 | -- | Inf
1789.73/1790.18 c
1789.73/1790.18 c SCIP Status : solving was interrupted [time limit reached]
1789.73/1790.18 c Solving Time (sec) : 1788.69
1789.73/1790.18 c Solving Nodes : 1
1789.73/1790.18 c Primal Bound : +1.00000000000000e+20 (0 solutions)
1789.73/1790.18 c Dual Bound : +8.40000000000000e+01
1789.73/1790.18 c Gap : infinite
1789.73/1790.18 s UNKNOWN
1789.73/1790.18 c SCIP Status : solving was interrupted [time limit reached]
1789.73/1790.18 c Solving Time : 1788.69
1789.73/1790.18 c Original Problem :
1789.73/1790.18 c Problem name : HOME/instance-3740337-1338735964.opb
1789.73/1790.18 c Variables : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.73/1790.18 c Constraints : 234229 initial, 234229 maximal
1789.73/1790.18 c Presolved Problem :
1789.73/1790.18 c Problem name : t_HOME/instance-3740337-1338735964.opb
1789.73/1790.18 c Variables : 56769 (56769 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.73/1790.18 c Constraints : 177401 initial, 177401 maximal
1789.73/1790.18 c Presolvers : Time FixedVars AggrVars ChgTypes ChgBounds AddHoles DelCons ChgSides ChgCoefs
1789.73/1790.18 c trivial : 0.05 1251 0 0 0 0 0 0 0
1789.73/1790.18 c dualfix : 0.08 120 0 0 0 0 0 0 0
1789.73/1790.18 c boundshift : 0.00 0 0 0 0 0 0 0 0
1789.73/1790.18 c inttobinary : 0.00 0 0 0 0 0 0 0 0
1789.73/1790.18 c implics : 0.49 0 0 0 0 0 0 0 0
1789.73/1790.18 c probing : 1312.24 0 0 0 0 0 0 0 0
1789.73/1790.18 c knapsack : 0.13 0 0 0 0 0 0 0 116
1789.73/1790.18 c setppc : 0.26 0 0 0 0 0 0 0 0
1789.73/1790.18 c linear : 12.87 11039 3663 0 12290 0 56828 87 84
1789.73/1790.18 c logicor : 0.03 0 0 0 0 0 0 0 0
1789.73/1790.18 c root node : - 0 - - 0 - - - -
1789.73/1790.18 c Constraints : Number #Separate #Propagate #EnfoLP #EnfoPS Cutoffs DomReds Cuts Conss Children
1789.73/1790.18 c integral : 0 0 0 0 0 0 0 0 0 0
1789.73/1790.18 c knapsack : 1093 0 89762 0 1 0 0 0 0 0
1789.73/1790.18 c setppc : 148243 0 89762 0 1 0 0 0 0 0
1789.73/1790.18 c logicor : 28065 0 81597 0 1 0 0 0 0 0
1789.73/1790.18 c countsols : 0 0 0 0 1 0 0 0 0 0
1789.73/1790.18 c Constraint Timings : TotalTime Separate Propagate EnfoLP EnfoPS
1789.73/1790.18 c integral : 0.00 0.00 0.00 0.00 0.00
1789.73/1790.18 c knapsack : 7.42 0.00 7.42 0.00 0.00
1789.73/1790.18 c setppc : 817.50 0.00 817.43 0.00 0.07
1789.73/1790.18 c logicor : 7.20 0.00 7.19 0.00 0.01
1789.73/1790.18 c countsols : 0.00 0.00 0.00 0.00 0.00
1789.73/1790.18 c Propagators : Time Calls Cutoffs DomReds
1789.73/1790.18 c vbounds : 0.05 2 0 0
1789.73/1790.18 c rootredcost : 0.03 0 0 0
1789.73/1790.18 c pseudoobj : 0.04 2 0 0
1789.73/1790.18 c Conflict Analysis : Time Calls Success Conflicts Literals Reconvs ReconvLits LP Iters
1789.73/1790.18 c propagation : 0.00 0 0 0 0.0 0 0.0 -
1789.73/1790.18 c infeasible LP : 0.00 0 0 0 0.0 0 0.0 0
1789.73/1790.18 c bound exceed. LP : 0.00 0 0 0 0.0 0 0.0 0
1789.73/1790.18 c strong branching : 0.00 0 0 0 0.0 0 0.0 0
1789.73/1790.18 c pseudo solution : 0.00 0 0 0 0.0 0 0.0 -
1789.73/1790.18 c applied globally : - - - 0 0.0 - - -
1789.73/1790.18 c applied locally : - - - 0 0.0 - - -
1789.73/1790.18 c Separators : Time Calls Cutoffs DomReds Cuts Conss
1789.73/1790.18 c cut pool : 0.00 0 - - 0 - (maximal pool size: 0)
1789.73/1790.18 c redcost : 0.00 0 0 0 0 0
1789.73/1790.18 c impliedbounds : 0.00 0 0 0 0 0
1789.73/1790.18 c intobj : 0.00 0 0 0 0 0
1789.73/1790.18 c cgmip : 0.00 0 0 0 0 0
1789.73/1790.18 c gomory : 0.00 0 0 0 0 0
1789.73/1790.18 c strongcg : 0.00 0 0 0 0 0
1789.73/1790.18 c cmir : 0.00 0 0 0 0 0
1789.73/1790.18 c flowcover : 0.00 0 0 0 0 0
1789.73/1790.18 c clique : 0.00 0 0 0 0 0
1789.73/1790.18 c zerohalf : 0.00 0 0 0 0 0
1789.73/1790.18 c mcf : 0.00 0 0 0 0 0
1789.73/1790.18 c rapidlearning : 0.00 0 0 0 0 0
1789.73/1790.18 c Pricers : Time Calls Vars
1789.73/1790.18 c problem variables: 0.00 0 0
1789.73/1790.18 c Branching Rules : Time Calls Cutoffs DomReds Cuts Conss Children
1789.73/1790.18 c relpscost : 0.00 0 0 0 0 0 0
1789.73/1790.18 c pscost : 0.00 0 0 0 0 0 0
1789.73/1790.18 c inference : 0.02 1 0 0 0 0 2
1789.73/1790.18 c mostinf : 0.00 0 0 0 0 0 0
1789.73/1790.18 c leastinf : 0.00 0 0 0 0 0 0
1789.73/1790.18 c fullstrong : 0.00 0 0 0 0 0 0
1789.73/1790.18 c allfullstrong : 0.00 0 0 0 0 0 0
1789.73/1790.18 c random : 0.00 0 0 0 0 0 0
1789.73/1790.18 c Primal Heuristics : Time Calls Found
1789.73/1790.18 c LP solutions : 0.00 - 0
1789.73/1790.18 c pseudo solutions : 0.00 - 0
1789.73/1790.18 c oneopt : 0.00 0 0
1789.73/1790.18 c trivial : 0.10 2 0
1789.73/1790.18 c simplerounding : 0.00 0 0
1789.73/1790.18 c zirounding : 0.00 0 0
1789.73/1790.18 c rounding : 0.01 1 0
1789.73/1790.18 c shifting : 0.02 1 0
1789.73/1790.18 c intshifting : 0.00 0 0
1789.73/1790.18 c twoopt : 0.00 0 0
1789.73/1790.18 c fixandinfer : 0.00 0 0
1789.73/1790.18 c feaspump : 85.06 1 0
1789.73/1790.18 c coefdiving : 0.00 0 0
1789.73/1790.18 c pscostdiving : 0.00 0 0
1789.73/1790.18 c fracdiving : 0.00 0 0
1789.73/1790.18 c veclendiving : 0.00 0 0
1789.73/1790.18 c intdiving : 0.00 0 0
1789.73/1790.18 c actconsdiving : 0.00 0 0
1789.73/1790.18 c objpscostdiving : 0.00 0 0
1789.73/1790.18 c rootsoldiving : 0.00 0 0
1789.73/1790.18 c linesearchdiving : 0.00 0 0
1789.73/1790.18 c guideddiving : 0.00 0 0
1789.73/1790.18 c octane : 0.00 0 0
1789.73/1790.18 c rens : 0.00 0 0
1789.73/1790.18 c rins : 0.00 0 0
1789.73/1790.18 c localbranching : 0.00 0 0
1789.73/1790.18 c mutation : 0.00 0 0
1789.73/1790.18 c crossover : 0.00 0 0
1789.73/1790.18 c dins : 0.00 0 0
1789.73/1790.18 c undercover : 0.00 0 0
1789.73/1790.18 c nlp : 0.00 0 0
1789.73/1790.18 c trysol : 0.00 0 0
1789.73/1790.18 c LP : Time Calls Iterations Iter/call Iter/sec
1789.73/1790.18 c primal LP : 0.00 0 0 0.00 -
1789.73/1790.18 c dual LP : 375.97 1 56944 56944.00 151.46
1789.73/1790.18 c lex dual LP : 0.00 0 0 0.00 -
1789.73/1790.18 c barrier LP : 0.00 0 0 0.00 -
1789.73/1790.18 c diving/probing LP: 85.03 1 7020 7020.00 82.56
1789.73/1790.18 c strong branching : 0.00 0 0 0.00 -
1789.73/1790.18 c (at root node) : - 0 0 0.00 -
1789.73/1790.18 c conflict analysis: 0.00 0 0 0.00 -
1789.73/1790.18 c B&B Tree :
1789.73/1790.18 c number of runs : 1
1789.73/1790.18 c nodes : 1
1789.73/1790.18 c nodes (total) : 1
1789.73/1790.18 c nodes left : 2
1789.73/1790.18 c max depth : 0
1789.73/1790.18 c max depth (total): 0
1789.73/1790.18 c backtracks : 0 (0.0%)
1789.73/1790.18 c delayed cutoffs : 0
1789.73/1790.18 c repropagations : 0 (0 domain reductions, 0 cutoffs)
1789.73/1790.18 c avg switch length: 1.00
1789.73/1790.18 c switching time : 0.00
1789.73/1790.18 c Solution :
1789.73/1790.18 c Solutions found : 0 (0 improvements)
1789.73/1790.18 c Primal Bound : -
1789.73/1790.18 c Dual Bound : +8.40000000000000e+01
1789.73/1790.18 c Gap : infinite
1789.73/1790.18 c Root Dual Bound : +8.40000000000000e+01
1789.73/1790.18 c Root Iterations : 63964
1790.53/1790.97 c Time complete: 1790.6.
Verifier Data
ERROR: no interpretation found !
Watcher Data
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-3740337-1338735964/watcher-3740337-1338735964 -o /tmp/evaluation-result-3740337-1338735964/solver-3740337-1338735964 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740337-1338735964.opb -t 1800 -m 15500
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.01 2.01 2.00 3/176 5224
/proc/meminfo: memFree=27268288/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=9972 CPUtime=0 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 1552 0 0 0 0 0 0 0 20 0 1 0 339722065 10211328 1499 33554432000 4194304 8395647 140733954535424 140733954467368 7382157 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 2493 1507 374 1026 0 1463 0
[startup+0.021686 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5224
/proc/meminfo: memFree=27268288/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=13764 CPUtime=0.01 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 2687 0 0 0 1 0 0 0 20 0 1 0 339722065 14094336 2633 33554432000 4194304 8395647 140733954535424 140733954467368 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 3441 2633 393 1026 0 2411 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13764
[startup+0.100282 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5224
/proc/meminfo: memFree=27268288/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=27232 CPUtime=0.09 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 6082 0 0 0 8 1 0 0 20 0 1 0 339722065 27885568 6028 33554432000 4194304 8395647 140733954535424 140733954400632 4423932 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 6808 6028 393 1026 0 5778 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27232
[startup+0.300276 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5224
/proc/meminfo: memFree=27268288/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=53396 CPUtime=0.29 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 12572 0 0 0 28 1 0 0 20 0 1 0 339722065 54677504 12518 33554432000 4194304 8395647 140733954535424 140733954400632 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 13349 12518 393 1026 0 12319 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53396
[startup+0.700289 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 5224
/proc/meminfo: memFree=27268288/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=76636 CPUtime=0.68 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 18391 0 0 0 66 2 0 0 20 0 1 0 339722065 78475264 18337 33554432000 4194304 8395647 140733954535424 140733954400632 7382041 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 19159 18337 393 1026 0 18129 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 76636
[startup+1.5003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5225
/proc/meminfo: memFree=27171956/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=141948 CPUtime=1.49 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 35009 0 0 0 144 5 0 0 20 0 1 0 339722065 145354752 34601 33554432000 4194304 8395647 140733954535424 140733954400632 4197479 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 35487 34601 394 1026 0 34457 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 141948
[startup+3.1003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5225
/proc/meminfo: memFree=26925420/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=476532 CPUtime=3.09 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 117102 0 0 0 294 15 0 0 20 0 1 0 339722065 487968768 116694 33554432000 4194304 8395647 140733954535424 140733954531176 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 119133 116694 469 1026 0 118103 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 476532
[startup+6.30034 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5225
/proc/meminfo: memFree=26598540/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=732588 CPUtime=6.29 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 179713 0 0 0 603 26 0 0 20 0 1 0 339722065 750170112 179305 33554432000 4194304 8395647 140733954535424 140733954531176 6067260 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 183147 179305 469 1026 0 182117 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 732588
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5225
/proc/meminfo: memFree=26420492/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=854056 CPUtime=12.69 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 208933 0 0 0 1239 30 0 0 20 0 1 0 339722065 874553344 208525 33554432000 4194304 8395647 140733954535424 140733954531224 4995169 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 213514 208525 475 1026 0 212484 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 854056
[startup+25.5003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5225
/proc/meminfo: memFree=26290808/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=972944 CPUtime=25.48 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 235994 0 0 0 2513 35 0 0 20 0 1 0 339722065 996294656 237464 33554432000 4194304 8395647 140733954535424 140733954531288 6078915 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 243236 237464 508 1026 0 242206 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 972944
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5225
/proc/meminfo: memFree=26209928/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1024868 CPUtime=51.08 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 248092 0 0 0 5070 38 0 0 20 0 1 0 339722065 1049464832 249562 33554432000 4194304 8395647 140733954535424 140733954531496 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 256217 249562 508 1026 0 255187 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1024868
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5225
/proc/meminfo: memFree=26028560/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1141436 CPUtime=102.28 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 276997 0 0 0 10184 44 0 0 20 0 1 0 339722065 1168830464 278467 33554432000 4194304 8395647 140733954535424 140733954531288 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 285359 278467 508 1026 0 284329 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1141436
[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5225
/proc/meminfo: memFree=25858460/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1245720 CPUtime=162.27 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 303564 0 0 0 16178 49 0 0 20 0 1 0 339722065 1275617280 305034 33554432000 4194304 8395647 140733954535424 140733954531496 6080379 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 311430 305034 508 1026 0 310400 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1245720
[startup+222.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/177 5225
/proc/meminfo: memFree=25598548/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1358556 CPUtime=222.25 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 330979 0 0 0 22173 52 0 0 20 0 1 0 339722065 1391161344 332449 33554432000 4194304 8395647 140733954535424 140733954531288 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 339639 332449 508 1026 0 338609 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1358556
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 5266
/proc/meminfo: memFree=26097100/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1554672 CPUtime=282.24 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 379374 0 0 0 28163 61 0 0 20 0 1 0 339722065 1591984128 380922 33554432000 4194304 8395647 140733954535424 140733954531288 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 388668 380922 508 1026 0 387638 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1554672
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5267
/proc/meminfo: memFree=25836116/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1648316 CPUtime=342.21 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 402878 0 0 0 34157 64 0 0 20 0 1 0 339722065 1687875584 404412 33554432000 4194304 8395647 140733954535424 140733954531496 6079610 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 412079 404412 508 1026 0 411049 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 1648316
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 5267
/proc/meminfo: memFree=25457572/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1808720 CPUtime=402.18 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 442321 0 0 0 40148 70 0 0 20 0 1 0 339722065 1852129280 444090 33554432000 4194304 8395647 140733954535424 140733954531496 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 452180 444090 508 1026 0 451150 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1808720
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5267
/proc/meminfo: memFree=25168432/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1911172 CPUtime=462.17 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 467884 0 0 0 46141 76 0 0 20 0 1 0 339722065 1957040128 469649 33554432000 4194304 8395647 140733954535424 140733954531496 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 477793 469649 508 1026 0 476763 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 1911172
[startup+522.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 5267
/proc/meminfo: memFree=24927280/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=1989156 CPUtime=522.15 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 487721 0 0 0 52137 78 0 0 20 0 1 0 339722065 2036895744 489486 33554432000 4194304 8395647 140733954535424 140733954531288 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 497289 489486 508 1026 0 496259 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 1989156
[startup+582.3 s]
/proc/loadavg: 2.08 2.03 2.00 3/177 5267
/proc/meminfo: memFree=24715516/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2045728 CPUtime=582.15 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 501428 0 0 0 58133 82 0 0 20 0 1 0 339722065 2094825472 503190 33554432000 4194304 8395647 140733954535424 140733954531496 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 511432 503190 508 1026 0 510402 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 2045728
[startup+642.3 s]
################
# More data... #
################
/proc/meminfo: memFree=23573372/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2545128 CPUtime=1002.06 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 625437 0 0 0 100098 108 0 0 20 0 1 0 339722065 2606211072 628983 33554432000 4194304 8395647 140733954535424 140733954531496 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 636282 628983 514 1026 0 635252 0
Current children cumulated CPU time (s) 1002.06
Current children cumulated vsize (KiB) 2545128
[startup+1062.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 5272
/proc/meminfo: memFree=23471720/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2577372 CPUtime=1062.05 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 633151 0 0 0 106095 110 0 0 20 0 1 0 339722065 2639228928 636877 33554432000 4194304 8395647 140733954535424 140733954531288 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 644343 636877 514 1026 0 643313 0
Current children cumulated CPU time (s) 1062.05
Current children cumulated vsize (KiB) 2577372
[startup+1122.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 5272
/proc/meminfo: memFree=23377260/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2618816 CPUtime=1122.04 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 643136 0 0 0 112092 112 0 0 20 0 1 0 339722065 2681667584 646988 33554432000 4194304 8395647 140733954535424 140733954531288 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 654704 646988 514 1026 0 653674 0
Current children cumulated CPU time (s) 1122.04
Current children cumulated vsize (KiB) 2618816
[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5272
/proc/meminfo: memFree=23279576/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2648104 CPUtime=1182.03 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 651294 0 0 0 118089 114 0 0 20 0 1 0 339722065 2711658496 655298 33554432000 4194304 8395647 140733954535424 140733954531352 5210338 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 662026 655298 514 1026 0 660996 0
Current children cumulated CPU time (s) 1182.03
Current children cumulated vsize (KiB) 2648104
[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5274
/proc/meminfo: memFree=22992728/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2682432 CPUtime=1242.01 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 659426 0 0 0 124085 116 0 0 20 0 1 0 339722065 2746810368 663538 33554432000 4194304 8395647 140733954535424 140733954531496 5210321 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 670608 663538 514 1026 0 669578 0
Current children cumulated CPU time (s) 1242.01
Current children cumulated vsize (KiB) 2682432
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5274
/proc/meminfo: memFree=22950356/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2715640 CPUtime=1302.01 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 667916 0 0 0 130083 118 0 0 20 0 1 0 339722065 2780815360 672152 33554432000 4194304 8395647 140733954535424 140733954531496 5210656 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 678910 672152 514 1026 0 677880 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 2715640
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5274
/proc/meminfo: memFree=22708692/32873844 swapFree=7108/7108
[pid=5224] ppid=5222 vsize=2970748 CPUtime=1362 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 709323 0 0 0 136071 129 0 0 20 0 1 0 339722065 3042045952 731291 33554432000 4194304 8395647 140733954535424 140733954530552 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 742687 731291 585 1026 0 741657 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 2970748
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5274
/proc/meminfo: memFree=22686392/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2987452 CPUtime=1422 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 713041 0 0 0 142066 134 0 0 20 0 1 0 339722065 3059150848 736357 33554432000 4194304 8395647 140733954535424 140733954530552 6698214 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 746863 736357 585 1026 0 745833 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 2987452
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 5277
/proc/meminfo: memFree=22677916/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2990068 CPUtime=1481.97 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 713544 0 0 0 148060 137 0 0 20 0 1 0 339722065 3061829632 737520 33554432000 4194304 8395647 140733954535424 140733954529832 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 747517 737520 585 1026 0 746487 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 2990068
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5278
/proc/meminfo: memFree=22662012/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2999492 CPUtime=1541.97 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 715980 0 0 0 154054 143 0 0 20 0 1 0 339722065 3071479808 740867 33554432000 4194304 8395647 140733954535424 140733954530552 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 749873 740867 585 1026 0 748843 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 2999492
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5278
/proc/meminfo: memFree=22650500/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3012520 CPUtime=1601.96 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 716245 0 0 0 160050 146 0 0 20 0 1 0 339722065 3084820480 743723 33554432000 4194304 8395647 140733954535424 140733954530552 6697955 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753130 743723 585 1026 0 752100 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 3012520
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 5278
/proc/meminfo: memFree=22642092/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3012684 CPUtime=1661.95 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 716355 0 0 0 166046 149 0 0 20 0 1 0 339722065 3084988416 744334 33554432000 4194304 8395647 140733954535424 140733954530552 6697804 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753171 744334 585 1026 0 752141 0
Current children cumulated CPU time (s) 1661.95
Current children cumulated vsize (KiB) 3012684
[startup+1722.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 5278
/proc/meminfo: memFree=22633376/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3014900 CPUtime=1721.94 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 717013 0 0 0 172042 152 0 0 20 0 1 0 339722065 3087257600 746512 33554432000 4194304 8395647 140733954535424 140733954529944 6503567 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753725 746512 590 1026 0 752695 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 3014900
[startup+1782.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5278
/proc/meminfo: memFree=22630800/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3014900 CPUtime=1781.93 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 717080 0 0 0 178038 155 0 0 20 0 1 0 339722065 3087257600 746856 33554432000 4194304 8395647 140733954535424 140733954529944 6708252 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753725 746856 590 1026 0 752695 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 3014900
Solver just ended. Dumping a history of the last processes samples
[startup+1785.5 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5278
/proc/meminfo: memFree=22630660/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3014900 CPUtime=1785.13 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 717081 0 0 0 178358 155 0 0 20 0 1 0 339722065 3087257600 746906 33554432000 4194304 8395647 140733954535424 140733954530248 7428202 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753725 746906 590 1026 0 752695 0
Current children cumulated CPU time (s) 1785.13
Current children cumulated vsize (KiB) 3014900
[startup+1788.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5278
/proc/meminfo: memFree=22630908/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3014900 CPUtime=1788.33 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 717081 0 0 0 178678 155 0 0 20 0 1 0 339722065 3087257600 746906 33554432000 4194304 8395647 140733954535424 140733954529992 6700648 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753725 746906 590 1026 0 752695 0
Current children cumulated CPU time (s) 1788.33
Current children cumulated vsize (KiB) 3014900
[startup+1790.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5278
/proc/meminfo: memFree=22630908/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3014900 CPUtime=1789.93 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 717426 0 0 0 178838 155 0 0 20 0 1 0 339722065 3087257600 747251 33554432000 4194304 8395647 140733954535424 140733954529944 6151152 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753725 747251 598 1026 0 752695 0
Current children cumulated CPU time (s) 1789.93
Current children cumulated vsize (KiB) 3014900
[startup+1790.7 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5278
/proc/meminfo: memFree=22627932/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=3012708 CPUtime=1790.34 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 717429 0 0 0 178879 155 0 0 20 0 1 0 339722065 3085012992 746796 33554432000 4194304 8395647 140733954535424 140733954529944 4750021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 753177 746796 601 1026 0 752147 0
Current children cumulated CPU time (s) 1790.34
Current children cumulated vsize (KiB) 3012708
[startup+1790.9 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 5278
/proc/meminfo: memFree=22627932/32873844 swapFree=7112/7112
[pid=5224] ppid=5222 vsize=2888916 CPUtime=1790.53 cores=1,3,5,7
/proc/5224/stat : 5224 (pbscip.linux.x8) R 5222 5224 2459 0 -1 4202496 717429 0 0 0 178897 156 0 0 20 0 1 0 339722065 2958249984 717436 33554432000 4194304 8395647 140733954535424 140733954529944 7435351 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5224/statm: 722020 717227 601 1026 0 720990 0
Current children cumulated CPU time (s) 1790.53
Current children cumulated vsize (KiB) 2888916
Child status: 0
Real time (s): 1790.97
CPU time (s): 1790.61
CPU user time (s): 1789.02
CPU system time (s): 1.58976
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 3014900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.02
system time used= 1.58976
maximum resident set size= 2989016
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 717437
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= 110
involuntary context switches= 1850
runsolver used 3.01254 second user time and 8.40072 second system time
The end
Launcher Data
Begin job on node119 at 2012-06-03 17:06:04
IDJOB=3740337
IDBENCH=77135
IDSOLVER=2326
FILE ID=node119/3740337-1338735964
RUNJOBID= node119-1338714114-2476
PBS_JOBID= 14636753
Free space on /tmp= 70880 MiB
SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1205_7.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740337-1338735964/watcher-3740337-1338735964 -o /tmp/evaluation-result-3740337-1338735964/solver-3740337-1338735964 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740337-1338735964.opb -t 1800 -m 15500
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4
MD5SUM BENCH= c518f99ce9bf9705400b58ce0c013ec3
RANDOM SEED=825456166
node119.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.88
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.93
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.92
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.90
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.943
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips : 5331.91
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32873844 kB
MemFree: 27269188 kB
Buffers: 408212 kB
Cached: 3065012 kB
SwapCached: 1936 kB
Active: 2797632 kB
Inactive: 1975056 kB
Active(anon): 1294960 kB
Inactive(anon): 6624 kB
Active(file): 1502672 kB
Inactive(file): 1968432 kB
Unevictable: 7112 kB
Mlocked: 7112 kB
SwapTotal: 67108856 kB
SwapFree: 67100224 kB
Dirty: 16708 kB
Writeback: 0 kB
AnonPages: 1386400 kB
Mapped: 13900 kB
Shmem: 0 kB
Slab: 690508 kB
SReclaimable: 132700 kB
SUnreclaim: 557808 kB
KernelStack: 1480 kB
PageTables: 6716 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83545776 kB
Committed_AS: 1438152 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 346368 kB
VmallocChunk: 34341987984 kB
HardwareCorrupted: 0 kB
AnonHugePages: 88064 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 7872 kB
DirectMap2M: 33538048 kB
Free space on /tmp at the end= 70864 MiB
End job on node119 at 2012-06-03 17:35:55