Trace number 3486318

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:
  1. 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.
  2. 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.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. 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.
  5. 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

Solver NameAnswerobjective functionCPU timeWall clock time
SCIP spx 2 2011-06-10 (fixed)? 1797.73 1797.69

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1206_4.std.opb
MD5SUMdc2381243433b8fdb488c977baa91e3c
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark155
Best CPU time to get the best result obtained on this benchmark1800.09
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints234497
Number of constraints which are clauses233297
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint64
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 numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.5]
0.00/0.00	c Copyright (c) 2002-2011 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-3486318-1307792503.opb>
1.19/1.24	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234497 constraints
1.19/1.24	c problem read
1.19/1.24	c presolving settings loaded
1.98/2.04	c presolving:
9.38/9.44	c (round 1) 5203 del vars, 16516 del conss, 0 add conss, 3641 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15821316 impls, 0 clqs
13.10/13.10	c (round 2) 11991 del vars, 40942 del conss, 0 add conss, 10295 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15848161 impls, 0 clqs
14.30/14.33	c (round 3) 14320 del vars, 51556 del conss, 0 add conss, 11564 chg bounds, 43 chg sides, 36 chg coeffs, 0 upgd conss, 15857689 impls, 0 clqs
14.89/14.91	c (round 4) 15200 del vars, 55124 del conss, 0 add conss, 12087 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15863433 impls, 0 clqs
15.19/15.22	c (round 5) 15686 del vars, 57037 del conss, 0 add conss, 12334 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15867599 impls, 0 clqs
15.40/15.44	c (round 6) 15923 del vars, 58044 del conss, 0 add conss, 12472 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15870225 impls, 0 clqs
15.49/15.57	c (round 7) 16054 del vars, 58611 del conss, 0 add conss, 12544 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15871842 impls, 0 clqs
15.59/15.68	c (round 8) 16128 del vars, 58932 del conss, 0 add conss, 12590 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15873020 impls, 0 clqs
15.69/15.76	c (round 9) 16178 del vars, 59151 del conss, 0 add conss, 12621 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15873757 impls, 0 clqs
15.79/15.84	c (round 10) 16224 del vars, 59339 del conss, 0 add conss, 12648 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874440 impls, 0 clqs
15.89/15.91	c (round 11) 16250 del vars, 59466 del conss, 0 add conss, 12669 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874538 impls, 0 clqs
15.89/15.97	c (round 12) 16260 del vars, 59518 del conss, 0 add conss, 12674 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874632 impls, 0 clqs
15.99/16.02	c (round 13) 16270 del vars, 59561 del conss, 0 add conss, 12681 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 15874677 impls, 0 clqs
420.40/420.41	c (round 14) 16322 del vars, 59577 del conss, 0 add conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 41312719 impls, 0 clqs
420.70/420.75	c (round 15) 16330 del vars, 60961 del conss, 0 add conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 0 upgd conss, 41312961 impls, 0 clqs
421.40/421.44	c (round 16) 16330 del vars, 60969 del conss, 0 add conss, 12682 chg bounds, 52 chg sides, 45 chg coeffs, 173528 upgd conss, 41312961 impls, 0 clqs
422.19/422.25	c (round 17) 16330 del vars, 60986 del conss, 40 add conss, 12682 chg bounds, 111 chg sides, 405 chg coeffs, 173528 upgd conss, 41313229 impls, 1214 clqs
882.61/882.61	c (round 18) 16380 del vars, 60988 del conss, 43 add conss, 12682 chg bounds, 114 chg sides, 423 chg coeffs, 173528 upgd conss, 62304107 impls, 1389 clqs
883.32/883.36	c (round 19) 16388 del vars, 61191 del conss, 43 add conss, 12682 chg bounds, 114 chg sides, 423 chg coeffs, 173528 upgd conss, 62304669 impls, 1389 clqs
885.01/885.04	c    (885.0s) probing: 1000/56570 (1.8%) - 91 fixings, 17 aggregations, 12429096 implications, 0 bound changes
926.61/926.63	c (round 20) 16439 del vars, 61199 del conss, 43 add conss, 12682 chg bounds, 114 chg sides, 423 chg coeffs, 173528 upgd conss, 63494341 impls, 1389 clqs
927.41/927.43	c (round 21) 16444 del vars, 61383 del conss, 43 add conss, 12682 chg bounds, 114 chg sides, 423 chg coeffs, 173528 upgd conss, 63524805 impls, 1389 clqs
1053.32/1053.36	c (round 22) 16499 del vars, 61388 del conss, 43 add conss, 12682 chg bounds, 114 chg sides, 423 chg coeffs, 173528 upgd conss, 69233333 impls, 1389 clqs
1054.62/1054.68	c (round 23) 16502 del vars, 61583 del conss, 43 add conss, 12682 chg bounds, 114 chg sides, 423 chg coeffs, 173528 upgd conss, 69259649 impls, 1389 clqs
1427.52/1427.52	c    (1427.5s) probing: 2000/56570 (3.5%) - 202 fixings, 36 aggregations, 18758442 implications, 0 bound changes
1797.04/1797.08	c    (1797.1s) probing: 2704/56570 (4.8%) - 202 fixings, 36 aggregations, 24249161 implications, 0 bound changes
1797.04/1797.08	c    (1797.1s) probing aborted: solving stopped
1797.04/1797.08	c (round 24) 16534 del vars, 61586 del conss, 43 add conss, 12682 chg bounds, 114 chg sides, 423 chg coeffs, 173528 upgd conss, 99456851 impls, 1389 clqs
1797.04/1797.08	c presolving (24 rounds):
1797.04/1797.08	c  16534 deleted vars, 61586 deleted constraints, 43 added constraints, 12682 tightened bounds, 0 added holes, 114 changed sides, 423 changed coefficients
1797.04/1797.08	c  99456851 implications, 1389 cliques
1797.04/1797.08	c presolving was interrupted.
1797.04/1797.08	c Presolving Time: 1795.63
1797.04/1797.08	c - non default parameters ----------------------------------------------------------------------
1797.04/1797.08	c # SCIP version 2.0.1.4
1797.04/1797.08	c 
1797.04/1797.08	c # frequency for displaying node information lines
1797.04/1797.08	c # [type: int, range: [-1,2147483647], default: 100]
1797.04/1797.08	c display/freq = 10000
1797.04/1797.08	c 
1797.04/1797.08	c # maximal time in seconds to run
1797.04/1797.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.08	c limits/time = 1797
1797.04/1797.08	c 
1797.04/1797.08	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1797.04/1797.08	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1797.04/1797.08	c limits/memory = 13950
1797.04/1797.08	c 
1797.04/1797.08	c # default clock type (1: CPU user seconds, 2: wall clock time)
1797.04/1797.08	c # [type: int, range: [1,2], default: 1]
1797.04/1797.08	c timing/clocktype = 2
1797.04/1797.08	c 
1797.04/1797.08	c # belongs reading time to solving time?
1797.04/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.08	c timing/reading = TRUE
1797.04/1797.08	c 
1797.04/1797.08	c # should presolving try to simplify inequalities
1797.04/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.08	c constraints/linear/simplifyinequalities = TRUE
1797.04/1797.08	c 
1797.04/1797.08	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1797.04/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.08	c constraints/indicator/addCouplingCons = TRUE
1797.04/1797.08	c 
1797.04/1797.08	c # should presolving try to simplify knapsacks
1797.04/1797.08	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1797.04/1797.08	c constraints/knapsack/simplifyinequalities = TRUE
1797.04/1797.08	c 
1797.04/1797.08	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1797.04/1797.08	c # [type: int, range: [-1,2147483647], default: -1]
1797.04/1797.08	c separating/rapidlearning/freq = 0
1797.04/1797.08	c 
1797.04/1797.08	c -----------------------------------------------------------------------------------------------
1797.04/1797.08	c start solving
1797.14/1797.12	c presolving:
1797.14/1797.12	c presolving (24 rounds):
1797.14/1797.12	c  16534 deleted vars, 61586 deleted constraints, 43 added constraints, 12682 tightened bounds, 0 added holes, 114 changed sides, 423 changed coefficients
1797.14/1797.12	c  99456851 implications, 1389 cliques
1797.14/1797.12	c presolving was interrupted.
1797.14/1797.12	c Presolving Time: 1795.66
1797.14/1797.12	c 
1797.14/1797.12	c SCIP Status        : solving was interrupted [time limit reached]
1797.14/1797.12	c Solving Time (sec) : 1797.12
1797.14/1797.12	c Solving Nodes      : 0
1797.14/1797.12	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1797.14/1797.12	s UNKNOWN
1797.14/1797.12	c SCIP Status        : solving was interrupted [time limit reached]
1797.14/1797.12	c Total Time         :    1797.12
1797.14/1797.12	c   solving          :    1797.12
1797.14/1797.12	c   presolving       :    1795.66 (included in solving)
1797.14/1797.12	c   reading          :       1.24 (included in solving)
1797.14/1797.12	c Original Problem   :
1797.14/1797.12	c   Problem name     : HOME/instance-3486318-1307792503.opb
1797.14/1797.12	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.12	c   Constraints      : 234497 initial, 234497 maximal
1797.14/1797.12	c Presolved Problem  :
1797.14/1797.12	c   Problem name     : t_HOME/instance-3486318-1307792503.opb
1797.14/1797.12	c   Variables        : 56308 (56308 binary, 0 integer, 0 implicit integer, 0 continuous)
1797.14/1797.12	c   Constraints      : 172954 initial, 172954 maximal
1797.14/1797.12	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1797.14/1797.12	c   trivial          :       0.07       1157          0          0          0          0          0          0          0          0
1797.14/1797.12	c   dualfix          :       0.11        121          0          0          0          0          0          0          0          0
1797.14/1797.12	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1797.14/1797.12	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1797.14/1797.12	c   implics          :       2.58          0         16          0          0          0          0          0          0          0
1797.14/1797.12	c   probing          :    1774.78        202         36          0          0          0          0          0          0          0
1797.14/1797.12	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1797.14/1797.12	c   knapsack         :       2.41          0          0          0          0          0         16         43         62        378
1797.14/1797.12	c   setppc           :       0.52          0          0          0          0          0        555          0          0          0
1797.14/1797.12	c   linear           :      14.18      11525       3477          0      12682          0      60969          0         52         45
1797.14/1797.12	c   logicor          :       0.17          0          0          0          0          0         46          0          0          0
1797.14/1797.12	c   root node        :          -          0          -          -          0          -          -          -          -          -
1797.14/1797.12	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1797.14/1797.12	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1797.14/1797.12	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1797.14/1797.12	c   knapsack         :          0+         0      85427          0          0          0          0         28          0          0          0          0
1797.14/1797.12	c   setppc           :          0+         0      85399          0          0          0          0         46          0          0          0          0
1797.14/1797.12	c   linear           :          0+         0      16968          0          0          0          0         24          0          0          0          0
1797.14/1797.12	c   logicor          :          0+         0      78530          0          0          0          0         25          0          0          0          0
1797.14/1797.12	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1797.14/1797.12	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1797.14/1797.12	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.14/1797.12	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.14/1797.12	c   knapsack         :       5.83       0.00       5.83       0.00       0.00       0.00       0.00
1797.14/1797.12	c   setppc           :     508.31       0.00     508.31       0.00       0.00       0.00       0.00
1797.14/1797.12	c   linear           :      91.87       0.00      91.87       0.00       0.00       0.00       0.00
1797.14/1797.12	c   logicor          :       8.71       0.00       8.71       0.00       0.00       0.00       0.00
1797.14/1797.12	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1797.14/1797.12	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1797.14/1797.12	c   vbounds          :          0          0          0          0
1797.14/1797.12	c   rootredcost      :          0          0          0          0
1797.14/1797.12	c   pseudoobj        :          0          0          0          0
1797.14/1797.12	c Propagator Timings :  TotalTime  Propagate    Resprop
1797.14/1797.12	c   vbounds          :       0.04       0.04       0.00
1797.14/1797.12	c   rootredcost      :       0.02       0.02       0.00
1797.14/1797.12	c   pseudoobj        :       0.02       0.02       0.00
1797.14/1797.12	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1797.14/1797.12	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1797.14/1797.12	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1797.14/1797.12	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1797.14/1797.12	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1797.14/1797.12	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1797.14/1797.12	c   applied globally :          -          -          -          0        0.0          -          -          -
1797.14/1797.12	c   applied locally  :          -          -          -          0        0.0          -          -          -
1797.63/1797.68	c Time complete: 1797.72.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 988)

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-3486318-1307792503/watcher-3486318-1307792503 -o /tmp/evaluation-result-3486318-1307792503/solver-3486318-1307792503 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486318-1307792503.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.00 2.00 1.96 3/177 20120
/proc/meminfo: memFree=31487728/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=10020 CPUtime=0 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 1518 0 0 0 0 0 0 0 25 0 1 0 890853004 10260480 1473 33554432000 4194304 8979876 140733611698176 18446744073709551615 4329888 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20120/statm: 2505 1473 366 1169 0 1332 0

[startup+0.098176 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 20120
/proc/meminfo: memFree=31487728/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=27544 CPUtime=0.08 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 5902 0 0 0 8 0 0 0 25 0 1 0 890853004 28205056 5857 33554432000 4194304 8979876 140733611698176 18446744073709551615 4704432 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20120/statm: 6886 5857 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 27544

[startup+0.100184 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 20120
/proc/meminfo: memFree=31487728/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=27544 CPUtime=0.09 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 5902 0 0 0 9 0 0 0 25 0 1 0 890853004 28205056 5857 33554432000 4194304 8979876 140733611698176 18446744073709551615 6176689 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20120/statm: 6886 5857 366 1169 0 5713 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27544

[startup+0.300142 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 20120
/proc/meminfo: memFree=31487728/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=52520 CPUtime=0.29 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 12127 0 0 0 28 1 0 0 25 0 1 0 890853004 53780480 12082 33554432000 4194304 8979876 140733611698176 18446744073709551615 7836093 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20120/statm: 13130 12082 366 1169 0 11957 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 52520

[startup+0.70107 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 20120
/proc/meminfo: memFree=31487728/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=78604 CPUtime=0.69 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 18615 0 0 0 67 2 0 0 25 0 1 0 890853004 80490496 18570 33554432000 4194304 8979876 140733611698176 18446744073709551615 7836073 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20120/statm: 19651 18570 366 1169 0 18478 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 78604

[startup+1.50093 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20121
/proc/meminfo: memFree=31385568/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=274732 CPUtime=1.49 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 66931 0 0 0 142 7 0 0 25 0 1 0 890853004 281325568 66848 33554432000 4194304 8979876 140733611698176 18446744073709551615 4786309 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 68683 66848 441 1169 0 67510 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 274732

[startup+3.10064 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20121
/proc/meminfo: memFree=31114004/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=497976 CPUtime=3.09 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 132446 0 0 0 295 14 0 0 25 0 1 0 890853004 509927424 121225 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503284 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 124494 121225 494 1169 0 123321 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 497976

[startup+6.30108 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20159
/proc/meminfo: memFree=30875316/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=720844 CPUtime=6.29 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 187542 0 0 0 610 19 0 0 25 0 1 0 890853004 738144256 176321 33554432000 4194304 8979876 140733611698176 18446744073709551615 4460233 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 180211 176321 494 1169 0 179038 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 720844

[startup+12.701 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20159
/proc/meminfo: memFree=29995796/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=863524 CPUtime=12.69 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 221360 0 0 0 1246 23 0 0 25 0 1 0 890853004 884248576 209882 33554432000 4194304 8979876 140733611698176 18446744073709551615 18446744073699065863 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 215881 209882 504 1169 0 214708 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 863524

[startup+25.5007 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20159
/proc/meminfo: memFree=29767672/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=904240 CPUtime=25.49 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 232095 0 0 0 2525 24 0 0 25 0 1 0 890853004 925941760 219835 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503301 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 226060 219835 535 1169 0 224887 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 904240

[startup+51.1002 s]
/proc/loadavg: 2.06 2.01 1.96 3/178 20160
/proc/meminfo: memFree=29676984/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=932236 CPUtime=51.09 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 238769 0 0 0 5084 25 0 0 25 0 1 0 890853004 954609664 226509 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 233059 226509 535 1169 0 231886 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 932236

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 1.96 3/178 20162
/proc/meminfo: memFree=29544536/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=996496 CPUtime=102.3 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 254417 0 0 0 10204 26 0 0 25 0 1 0 890853004 1020411904 242157 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503529 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 249124 242157 535 1169 0 247951 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 996496

[startup+162.301 s]
/proc/loadavg: 2.01 2.00 1.96 3/178 20163
/proc/meminfo: memFree=29287804/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1126532 CPUtime=162.29 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 287123 0 0 0 16199 30 0 0 25 0 1 0 890853004 1153568768 274863 33554432000 4194304 8979876 140733611698176 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 281633 274863 535 1169 0 280460 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1126532

[startup+222.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20165
/proc/meminfo: memFree=29091820/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1215564 CPUtime=222.29 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 309299 0 0 0 22197 32 0 0 25 0 1 0 890853004 1244737536 297039 33554432000 4194304 8979876 140733611698176 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 303891 297039 535 1169 0 302718 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1215564

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20166
/proc/meminfo: memFree=28702160/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1383276 CPUtime=282.3 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 349771 0 0 0 28193 37 0 0 25 0 1 0 890853004 1416474624 337511 33554432000 4194304 8979876 140733611698176 18446744073709551615 6504355 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 345819 337511 535 1169 0 344646 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 1383276

[startup+342.301 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20168
/proc/meminfo: memFree=28429416/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1493352 CPUtime=342.29 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 376831 0 0 0 34190 39 0 0 25 0 1 0 890853004 1529192448 364571 33554432000 4194304 8979876 140733611698176 18446744073709551615 5313829 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 373338 364571 535 1169 0 372165 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1493352

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/178 20169
/proc/meminfo: memFree=28184840/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1625216 CPUtime=402.3 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 409626 0 0 0 40187 43 0 0 25 0 1 0 890853004 1664221184 397366 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503516 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 406304 397366 535 1169 0 405131 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 1625216

[startup+462.301 s]
/proc/loadavg: 2.07 2.02 1.97 3/178 20171
/proc/meminfo: memFree=27945736/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1714688 CPUtime=462.3 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 446183 0 0 0 46183 47 0 0 25 0 1 0 890853004 1755840512 419840 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503288 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 428672 419840 583 1169 0 427499 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 1714688

[startup+522.301 s]
/proc/loadavg: 2.02 2.01 1.97 3/178 20173
/proc/meminfo: memFree=27782860/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1759144 CPUtime=522.3 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 457129 0 0 0 52182 48 0 0 25 0 1 0 890853004 1801363456 430786 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503272 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 439786 430786 583 1169 0 438613 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 1759144

[startup+582.3 s]
/proc/loadavg: 2.01 2.00 1.97 3/178 20174
/proc/meminfo: memFree=27583776/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=1837944 CPUtime=582.31 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 476060 0 0 0 58180 51 0 0 25 0 1 0 890853004 1882054656 449717 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503480 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 459486 449717 583 1169 0 458313 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 1837944

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=25829612/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=2638676 CPUtime=1122.32 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 675546 0 0 0 112152 80 0 0 25 0 1 0 890853004 2702004224 649203 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 659669 649203 588 1169 0 658496 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 2638676

[startup+1182.3 s]
/proc/loadavg: 2.05 2.03 1.99 3/178 20199
/proc/meminfo: memFree=25689524/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=2703520 CPUtime=1182.32 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 691352 0 0 0 118150 82 0 0 25 0 1 0 890853004 2768404480 665009 33554432000 4194304 8979876 140733611698176 18446744073709551615 5538062 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 675880 665009 588 1169 0 674707 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 2703520

[startup+1242.3 s]
/proc/loadavg: 2.02 2.02 1.99 3/178 20201
/proc/meminfo: memFree=25550852/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=2765212 CPUtime=1242.32 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 707092 0 0 0 124148 84 0 0 25 0 1 0 890853004 2831577088 680749 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503520 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 691303 680749 588 1169 0 690130 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 2765212

[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/178 20203
/proc/meminfo: memFree=25408196/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=2856212 CPUtime=1302.33 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 729425 0 0 0 130145 88 0 0 25 0 1 0 890853004 2924761088 703082 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 714053 703082 588 1169 0 712880 0
Current children cumulated CPU time (s) 1302.33
Current children cumulated vsize (KiB) 2856212

[startup+1362.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 20207
/proc/meminfo: memFree=25295300/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=2923852 CPUtime=1362.32 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 745949 0 0 0 136143 89 0 0 25 0 1 0 890853004 2994024448 719606 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 730963 719606 588 1169 0 729790 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 2923852

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 20209
/proc/meminfo: memFree=25185520/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=2984200 CPUtime=1422.33 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 761464 0 0 0 142142 91 0 0 25 0 1 0 890853004 3055820800 735121 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 746050 735121 588 1169 0 744877 0
Current children cumulated CPU time (s) 1422.33
Current children cumulated vsize (KiB) 2984200

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20210
/proc/meminfo: memFree=25064940/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3048548 CPUtime=1482.32 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 776881 0 0 0 148139 93 0 0 25 0 1 0 890853004 3121713152 750538 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 762137 750538 588 1169 0 760964 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3048548

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 20212
/proc/meminfo: memFree=24690656/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3102928 CPUtime=1542.32 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 790160 0 0 0 154138 94 0 0 25 0 1 0 890853004 3177398272 763817 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 775732 763817 588 1169 0 774559 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3102928

[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.00 3/178 20213
/proc/meminfo: memFree=24618684/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3159436 CPUtime=1602.33 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 804606 0 0 0 160136 97 0 0 25 0 1 0 890853004 3235262464 778263 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503525 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 789859 778263 588 1169 0 788686 0
Current children cumulated CPU time (s) 1602.33
Current children cumulated vsize (KiB) 3159436

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/178 20215
/proc/meminfo: memFree=24492268/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3264456 CPUtime=1662.32 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 830873 0 0 0 166132 100 0 0 25 0 1 0 890853004 3342802944 804530 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 816114 804530 588 1169 0 814941 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 3264456

[startup+1722.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/178 20217
/proc/meminfo: memFree=24432816/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3323408 CPUtime=1722.33 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 844946 0 0 0 172130 103 0 0 25 0 1 0 890853004 3403169792 818603 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537705 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 830852 818603 588 1169 0 829679 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3323408

[startup+1782.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20218
/proc/meminfo: memFree=24357732/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3381404 CPUtime=1782.33 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 858745 0 0 0 178128 105 0 0 25 0 1 0 890853004 3462557696 832402 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503276 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 845351 832402 588 1169 0 844178 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3381404

Solver just ended. Dumping a history of the last processes samples

[startup+1785.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20218
/proc/meminfo: memFree=24356120/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3382388 CPUtime=1785.53 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 859198 0 0 0 178448 105 0 0 25 0 1 0 890853004 3463565312 832855 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 845597 832855 588 1169 0 844424 0
Current children cumulated CPU time (s) 1785.53
Current children cumulated vsize (KiB) 3382388

[startup+1791.91 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20219
/proc/meminfo: memFree=24347804/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3390420 CPUtime=1791.94 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 861162 0 0 0 179088 106 0 0 25 0 1 0 890853004 3471790080 834819 33554432000 4194304 8979876 140733611698176 18446744073709551615 6503497 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 847605 834819 588 1169 0 846432 0
Current children cumulated CPU time (s) 1791.94
Current children cumulated vsize (KiB) 3390420

[startup+1795.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20219
/proc/meminfo: memFree=24345940/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3391400 CPUtime=1795.14 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 861615 0 0 0 179408 106 0 0 25 0 1 0 890853004 3472793600 835272 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537696 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 847850 835272 588 1169 0 846677 0
Current children cumulated CPU time (s) 1795.14
Current children cumulated vsize (KiB) 3391400

[startup+1796.7 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20219
/proc/meminfo: memFree=24345568/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3391400 CPUtime=1796.74 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 861745 0 0 0 179568 106 0 0 25 0 1 0 890853004 3472793600 835402 33554432000 4194304 8979876 140733611698176 18446744073709551615 5537669 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 847850 835402 588 1169 0 846677 0
Current children cumulated CPU time (s) 1796.74
Current children cumulated vsize (KiB) 3391400

[startup+1797.1 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20219
/proc/meminfo: memFree=24345568/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3392160 CPUtime=1797.14 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 862075 0 0 0 179608 106 0 0 18 0 1 0 890853004 3473571840 835666 33554432000 4194304 8979876 140733611698176 18446744073709551615 4786416 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/20120/statm: 848040 835666 590 1169 0 846867 0
Current children cumulated CPU time (s) 1797.14
Current children cumulated vsize (KiB) 3392160

[startup+1797.5 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20219
/proc/meminfo: memFree=24353628/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=3134548 CPUtime=1797.53 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 862500 0 0 0 179646 107 0 0 18 0 1 0 890853004 3209777152 771421 33554432000 4194304 8979876 140733611698176 18446744073709551615 5426467 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20120/statm: 783637 771421 603 1169 0 782464 0
Current children cumulated CPU time (s) 1797.53
Current children cumulated vsize (KiB) 3134548

[startup+1797.6 s]
/proc/loadavg: 2.02 2.02 2.00 3/178 20219
/proc/meminfo: memFree=24353628/32951124 swapFree=67052812/67111528
[pid=20120] ppid=20118 vsize=2672504 CPUtime=1797.63 cores=1,3,5,7
/proc/20120/stat : 20120 (scip-2.0.1.4_2.) R 20118 20120 19591 0 -1 4202496 862512 0 0 0 179654 109 0 0 18 0 1 0 890853004 2736644096 596164 33554432000 4194304 8979876 140733611698176 18446744073709551615 8073290 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/20120/statm: 668126 595661 615 1169 0 666953 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 2672504

Child status: 0
Real time (s): 1797.69
CPU time (s): 1797.73
CPU user time (s): 1796.54
CPU system time (s): 1.18782
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3393024

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.54
system time used= 1.18782
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 862517
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= 6
involuntary context switches= 4208

runsolver used 2.65959 second user time and 6.20706 second system time

The end

Launcher Data 

Begin job on node103 at 2011-06-11 13:41:44
IDJOB=3486318
IDBENCH=77212
IDSOLVER=1977
FILE ID=node103/3486318-1307792503
RUNJOBID= node103-1307785314-19610
PBS_JOBID= 13550909
Free space on /tmp= 74048 MiB

SOLVER NAME= SCIP spx 2 2011-06-10 (fixed)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1206_4.std.opb
COMMAND LINE= HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3486318-1307792503/watcher-3486318-1307792503 -o /tmp/evaluation-result-3486318-1307792503/solver-3486318-1307792503 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4_2.linux.x86_64.gnu.opt.spx -f HOME/instance-3486318-1307792503.opb -t 1800 -m 15500

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= dc2381243433b8fdb488c977baa91e3c
RANDOM SEED=700338508

node103.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.71
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.858
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31488404 kB
Buffers:        291740 kB
Cached:         839812 kB
SwapCached:      22864 kB
Active:         626448 kB
Inactive:       628480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31488404 kB
SwapTotal:    67111528 kB
SwapFree:     67052812 kB
Dirty:           23696 kB
Writeback:           0 kB
AnonPages:      121292 kB
Mapped:          12160 kB
Slab:           142976 kB
PageTables:       4896 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   303252 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 74024 MiB
End job on node103 at 2011-06-11 14:11:42