Trace number 3453475

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 SCIP 2.0.1.4. with SoPlex 1.5.0.4? (TO) 1800.69 1800.65

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12021_8.std.opb
MD5SUM33a0c5076a13a0bc08e55dbdcaafa3d4
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark127
Best CPU time to get the best result obtained on this benchmark1.42278
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 constraints245119
Number of constraints which are clauses243919
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 constraint37
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.02	c SCIP version 2.0.1.4 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.5.0.4]
0.00/0.02	c Copyright (c) 2002-2011 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.02	c 
0.00/0.02	c user parameter file <scip.set> not found - using default parameters
0.00/0.02	c reading problem <HOME/instance-3453475-1307118409.opb>
1.49/1.54	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245119 constraints
1.49/1.54	c problem read
1.49/1.54	c presolving settings loaded
2.29/2.35	c presolving:
8.59/8.64	c (round 1) 6854 del vars, 20781 del conss, 0 add conss, 5177 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16679452 impls, 0 clqs
11.49/11.54	c (round 2) 14849 del vars, 53140 del conss, 0 add conss, 12788 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16723567 impls, 0 clqs
12.29/12.34	c (round 3) 17795 del vars, 66903 del conss, 0 add conss, 14502 chg bounds, 86 chg sides, 59 chg coeffs, 0 upgd conss, 16743744 impls, 0 clqs
12.79/12.81	c (round 4) 19319 del vars, 72661 del conss, 0 add conss, 15576 chg bounds, 102 chg sides, 73 chg coeffs, 0 upgd conss, 16759866 impls, 0 clqs
13.10/13.14	c (round 5) 20634 del vars, 77571 del conss, 0 add conss, 16526 chg bounds, 113 chg sides, 84 chg coeffs, 0 upgd conss, 16771313 impls, 0 clqs
13.29/13.38	c (round 6) 21481 del vars, 80847 del conss, 0 add conss, 17116 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16780052 impls, 0 clqs
13.49/13.55	c (round 7) 22071 del vars, 83150 del conss, 0 add conss, 17524 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16787391 impls, 0 clqs
13.59/13.68	c (round 8) 22469 del vars, 84751 del conss, 0 add conss, 17794 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16792799 impls, 0 clqs
13.69/13.78	c (round 9) 22743 del vars, 85862 del conss, 0 add conss, 17985 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16796806 impls, 0 clqs
13.79/13.86	c (round 10) 22932 del vars, 86610 del conss, 0 add conss, 18115 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16799773 impls, 0 clqs
13.99/14.01	c (round 11) 23069 del vars, 87168 del conss, 0 add conss, 18225 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16801821 impls, 0 clqs
13.99/14.09	c (round 12) 23173 del vars, 87614 del conss, 0 add conss, 18283 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804050 impls, 0 clqs
14.19/14.26	c (round 13) 23245 del vars, 87888 del conss, 0 add conss, 18356 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16804850 impls, 0 clqs
14.19/14.31	c (round 14) 23325 del vars, 88226 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
14.31/14.36	c (round 15) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 0 upgd conss, 16805132 impls, 0 clqs
14.89/14.96	c (round 16) 23325 del vars, 88252 del conss, 0 add conss, 18370 chg bounds, 115 chg sides, 87 chg coeffs, 156867 upgd conss, 16805132 impls, 0 clqs
15.29/15.32	c (round 17) 23325 del vars, 88261 del conss, 68 add conss, 18370 chg bounds, 206 chg sides, 397 chg coeffs, 156867 upgd conss, 16807226 impls, 3358 clqs
497.29/497.34	c    (497.3s) probing: 1000/49517 (2.0%) - 6 fixings, 1 aggregations, 10369264 implications, 0 bound changes
913.41/913.47	c    (913.5s) probing: 2000/49517 (4.0%) - 13 fixings, 5 aggregations, 16397670 implications, 0 bound changes
1308.71/1308.74	c    (1308.7s) probing: 3000/49517 (6.1%) - 13 fixings, 6 aggregations, 21848219 implications, 0 bound changes
1714.03/1714.01	c    (1714.0s) probing: 4000/49517 (8.1%) - 13 fixings, 6 aggregations, 27054092 implications, 0 bound changes
1800.04/1800.02	c    (1800.0s) probing: 4218/49517 (8.5%) - 13 fixings, 7 aggregations, 28192516 implications, 0 bound changes
1800.04/1800.02	c    (1800.0s) probing aborted: solving stopped
1800.04/1800.02	c (round 18) 23345 del vars, 88265 del conss, 68 add conss, 18370 chg bounds, 209 chg sides, 409 chg coeffs, 156867 upgd conss, 117051000 impls, 3490 clqs
1800.04/1800.02	c presolving (18 rounds):
1800.04/1800.02	c  23345 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1800.04/1800.02	c  117051000 implications, 3490 cliques
1800.04/1800.02	c presolving was interrupted.
1800.04/1800.02	c Presolving Time: 1798.25
1800.04/1800.02	c - non default parameters ----------------------------------------------------------------------
1800.04/1800.02	c # SCIP version 2.0.1.4
1800.04/1800.02	c 
1800.04/1800.02	c # frequency for displaying node information lines
1800.04/1800.02	c # [type: int, range: [-1,2147483647], default: 100]
1800.04/1800.02	c display/freq = 10000
1800.04/1800.02	c 
1800.04/1800.02	c # maximal time in seconds to run
1800.04/1800.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.02	c limits/time = 1800
1800.04/1800.02	c 
1800.04/1800.02	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1800.04/1800.02	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1800.04/1800.02	c limits/memory = 13950
1800.04/1800.02	c 
1800.04/1800.02	c # default clock type (1: CPU user seconds, 2: wall clock time)
1800.04/1800.02	c # [type: int, range: [1,2], default: 1]
1800.04/1800.02	c timing/clocktype = 2
1800.04/1800.02	c 
1800.04/1800.02	c # belongs reading time to solving time?
1800.04/1800.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.02	c timing/reading = TRUE
1800.04/1800.02	c 
1800.04/1800.02	c # should presolving try to simplify inequalities
1800.04/1800.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.02	c constraints/linear/simplifyinequalities = TRUE
1800.04/1800.02	c 
1800.04/1800.02	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1800.04/1800.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.02	c constraints/indicator/addCouplingCons = TRUE
1800.04/1800.02	c 
1800.04/1800.02	c # should presolving try to simplify knapsacks
1800.04/1800.02	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1800.04/1800.02	c constraints/knapsack/simplifyinequalities = TRUE
1800.04/1800.02	c 
1800.04/1800.02	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1800.04/1800.02	c # [type: int, range: [-1,2147483647], default: -1]
1800.04/1800.02	c separating/rapidlearning/freq = 0
1800.04/1800.02	c 
1800.04/1800.02	c -----------------------------------------------------------------------------------------------
1800.04/1800.02	c start solving
1800.04/1800.08	c presolving:
1800.04/1800.08	c presolving (18 rounds):
1800.04/1800.08	c  23345 deleted vars, 88265 deleted constraints, 68 added constraints, 18370 tightened bounds, 0 added holes, 209 changed sides, 409 changed coefficients
1800.04/1800.08	c  117051000 implications, 3490 cliques
1800.04/1800.08	c presolving was interrupted.
1800.04/1800.08	c Presolving Time: 1798.32
1800.04/1800.08	c 
1800.04/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.08	c Solving Time (sec) : 1800.08
1800.04/1800.08	c Solving Nodes      : 0
1800.04/1800.08	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1800.04/1800.08	s UNKNOWN
1800.04/1800.08	c SCIP Status        : solving was interrupted [user interrupt]
1800.04/1800.08	c Total Time         :    1800.08
1800.04/1800.08	c   solving          :    1800.08
1800.04/1800.08	c   presolving       :    1798.32 (included in solving)
1800.04/1800.08	c   reading          :       1.54 (included in solving)
1800.04/1800.08	c Original Problem   :
1800.04/1800.08	c   Problem name     : HOME/instance-3453475-1307118409.opb
1800.04/1800.08	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.08	c   Constraints      : 245119 initial, 245119 maximal
1800.04/1800.08	c Presolved Problem  :
1800.04/1800.08	c   Problem name     : t_HOME/instance-3453475-1307118409.opb
1800.04/1800.08	c   Variables        : 49497 (49497 binary, 0 integer, 0 implicit integer, 0 continuous)
1800.04/1800.08	c   Constraints      : 156922 initial, 156922 maximal
1800.04/1800.08	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons    AddCons   ChgSides   ChgCoefs
1800.04/1800.08	c   trivial          :       0.05       1129          0          0          0          0          0          0          0          0
1800.04/1800.08	c   dualfix          :       0.09        121          0          0          0          0          0          0          0          0
1800.04/1800.08	c   boundshift       :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   implics          :       0.52          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   probing          :    1784.45         13          7          0          0          0          0          0          0          0
1800.04/1800.08	c   pseudoboolean    :       0.00          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   knapsack         :       0.20          0          0          0          0          0         13         68         94        322
1800.04/1800.08	c   setppc           :       0.27          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   linear           :      11.80      17241       4834          0      18370          0      88252          0        115         87
1800.04/1800.08	c   logicor          :       0.08          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   root node        :          -          0          -          -          0          -          -          -          -          -
1800.04/1800.08	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS     #Check   #Resprop    Cutoffs    DomReds       Cuts      Conss   Children
1800.04/1800.08	c   integral         :          0          0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   pseudoboolean    :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   knapsack         :          0+         0     195471          0          0          0          0          1          0          0          0          0
1800.04/1800.08	c   setppc           :          0+         0     195470          0          0          0          0          2          0          0          0          0
1800.04/1800.08	c   linear           :          0+         0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c   logicor          :          0+         0     174435          0          0          0          0          2          0          0          0          0
1800.04/1800.08	c   countsols        :          0          0          0          0          0          0          0          0          0          0          0          0
1800.04/1800.08	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS      Check    Resprop
1800.04/1800.08	c   integral         :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.08	c   pseudoboolean    :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.08	c   knapsack         :      10.23       0.00      10.23       0.00       0.00       0.00       0.00
1800.04/1800.08	c   setppc           :    1096.78       0.00    1096.78       0.00       0.00       0.00       0.00
1800.04/1800.08	c   linear           :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.08	c   logicor          :      11.17       0.00      11.17       0.00       0.00       0.00       0.00
1800.04/1800.08	c   countsols        :       0.00       0.00       0.00       0.00       0.00       0.00       0.00
1800.04/1800.08	c Propagators        : #Propagate   #Resprop    Cutoffs    DomReds
1800.04/1800.08	c   vbounds          :          0          0          0          0
1800.04/1800.08	c   rootredcost      :          0          0          0          0
1800.04/1800.08	c   pseudoobj        :          0          0          0          0
1800.04/1800.08	c Propagator Timings :  TotalTime  Propagate    Resprop
1800.04/1800.08	c   vbounds          :       0.08       0.08       0.00
1800.04/1800.08	c   rootredcost      :       0.04       0.04       0.00
1800.04/1800.08	c   pseudoobj        :       0.05       0.05       0.00
1800.04/1800.08	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1800.04/1800.08	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.08	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1800.04/1800.08	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1800.04/1800.08	c   applied globally :          -          -          -          0        0.0          -          -          -
1800.04/1800.08	c   applied locally  :          -          -          -          0        0.0          -          -          -
1800.63/1800.65	c Time complete: 1800.67.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3453475-1307118409/watcher-3453475-1307118409 -o /tmp/evaluation-result-3453475-1307118409/solver-3453475-1307118409 -C 1800 -W 1900 -M 15500 HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453475-1307118409.opb -t 1800 -m 15500 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.02 2.04 2.00 3/535 11368
/proc/meminfo: memFree=24955664/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=11572 CPUtime=0 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 1884 0 0 0 0 0 0 0 25 0 1 0 804257153 11849728 1837 33554432000 4194304 9128323 140734148437904 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 2893 1837 400 1205 0 1684 0

[startup+0.049137 s]
/proc/loadavg: 2.02 2.04 2.00 3/535 11368
/proc/meminfo: memFree=24955664/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=19500 CPUtime=0.04 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 3725 0 0 0 4 0 0 0 25 0 1 0 804257153 19968000 3677 33554432000 4194304 9128323 140734148437904 18446744073709551615 6886064 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 4875 3706 400 1205 0 3666 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 19500

[startup+0.101154 s]
/proc/loadavg: 2.02 2.04 2.00 3/535 11368
/proc/meminfo: memFree=24955664/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=27512 CPUtime=0.09 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 5889 0 0 0 9 0 0 0 25 0 1 0 804257153 28172288 5840 33554432000 4194304 9128323 140734148437904 18446744073709551615 8008895 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 6878 5840 400 1205 0 5669 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27512

[startup+0.301113 s]
/proc/loadavg: 2.02 2.04 2.00 3/535 11368
/proc/meminfo: memFree=24955664/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=50216 CPUtime=0.29 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 11589 0 0 0 29 0 0 0 25 0 1 0 804257153 51421184 11508 33554432000 4194304 9128323 140734148437904 18446744073709551615 4443126 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 12554 11508 400 1205 0 11345 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50216

[startup+0.701044 s]
/proc/loadavg: 2.02 2.04 2.00 3/535 11368
/proc/meminfo: memFree=24955664/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=69412 CPUtime=0.69 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 16373 0 0 0 68 1 0 0 25 0 1 0 804257153 71077888 16284 33554432000 4194304 9128323 140734148437904 18446744073709551615 8008900 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 17353 16284 400 1205 0 16144 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 69412

[startup+1.50087 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11369
/proc/meminfo: memFree=24870964/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=131212 CPUtime=1.49 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 31796 0 0 0 146 3 0 0 25 0 1 0 804257153 134361088 31691 33554432000 4194304 9128323 140734148437904 18446744073709551615 8008910 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 32803 31691 400 1205 0 31594 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131212

[startup+3.1006 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11370
/proc/meminfo: memFree=24587624/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=482004 CPUtime=3.09 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 129647 0 0 0 293 16 0 0 25 0 1 0 804257153 493572096 117500 33554432000 4194304 9128323 140734148437904 18446744073709551615 6889768 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 120501 117500 501 1205 0 119292 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 482004

[startup+6.30103 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11370
/proc/meminfo: memFree=24269808/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=766612 CPUtime=6.29 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 199806 0 0 0 605 24 0 0 25 0 1 0 804257153 785010688 187659 33554432000 4194304 9128323 140734148437904 18446744073709551615 4352201 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 191653 187659 510 1205 0 190444 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 766612

[startup+12.7009 s]
/proc/loadavg: 2.01 2.04 2.00 3/536 11370
/proc/meminfo: memFree=24097576/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=878140 CPUtime=12.69 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 227058 0 0 0 1241 28 0 0 25 0 1 0 804257153 899215360 213782 33554432000 4194304 9128323 140734148437904 18446744073709551615 6594367 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 219535 213782 523 1205 0 218326 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 878140

[startup+25.5006 s]
/proc/loadavg: 1.94 2.02 1.99 3/536 11398
/proc/meminfo: memFree=23421840/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=949440 CPUtime=25.49 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 258594 0 0 0 2517 32 0 0 25 0 1 0 804257153 972226560 231203 33554432000 4194304 9128323 140734148437904 18446744073709551615 6593401 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 237360 231203 573 1205 0 236151 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 949440

[startup+51.101 s]
/proc/loadavg: 1.96 2.02 1.99 3/536 11399
/proc/meminfo: memFree=23223856/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=1002500 CPUtime=51.09 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 270931 0 0 0 5076 33 0 0 25 0 1 0 804257153 1026560000 243540 33554432000 4194304 9128323 140734148437904 18446744073709551615 4792790 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 250625 243540 573 1205 0 249416 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1002500

[startup+102.321 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11400
/proc/meminfo: memFree=22890864/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=1193612 CPUtime=102.31 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 318804 0 0 0 10193 38 0 0 25 0 1 0 804257153 1222258688 291083 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 298403 291083 573 1205 0 297194 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 1193612

[startup+162.301 s]
/proc/loadavg: 2.08 2.04 2.00 3/536 11402
/proc/meminfo: memFree=22526732/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=1438548 CPUtime=162.29 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 379785 0 0 0 16185 44 0 0 25 0 1 0 804257153 1473073152 351569 33554432000 4194304 9128323 140734148437904 18446744073709551615 6593430 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 359637 351569 573 1205 0 358428 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 1438548

[startup+222.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/536 11403
/proc/meminfo: memFree=22191892/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=1614212 CPUtime=222.29 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 423821 0 0 0 22179 50 0 0 25 0 1 0 804257153 1652953088 395605 33554432000 4194304 9128323 140734148437904 18446744073709551615 4207326 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 403553 395605 573 1205 0 402344 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 1614212

[startup+282.301 s]
/proc/loadavg: 2.13 2.05 2.01 3/536 11405
/proc/meminfo: memFree=21813896/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=1796792 CPUtime=282.29 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 469247 0 0 0 28173 56 0 0 25 0 1 0 804257153 1839915008 441031 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 449198 441031 573 1205 0 447989 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 1796792

[startup+342.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/536 11407
/proc/meminfo: memFree=21483032/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=1971376 CPUtime=342.29 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 512045 0 0 0 34167 62 0 0 25 0 1 0 804257153 2018689024 483829 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 492844 483829 573 1205 0 491635 0
Current children cumulated CPU time (s) 342.29
Current children cumulated vsize (KiB) 1971376

[startup+402.301 s]
/proc/loadavg: 2.04 2.05 2.00 3/536 11408
/proc/meminfo: memFree=21190968/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=2102432 CPUtime=402.3 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 544560 0 0 0 40163 67 0 0 25 0 1 0 804257153 2152890368 516344 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 525608 516344 573 1205 0 524399 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 2102432

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 11410
/proc/meminfo: memFree=20906108/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=2292800 CPUtime=462.29 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 592125 0 0 0 46156 73 0 0 25 0 1 0 804257153 2347827200 563909 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 573200 563909 573 1205 0 571991 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 2292800

[startup+522.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11411
/proc/meminfo: memFree=20723536/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=2354048 CPUtime=522.3 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 607562 0 0 0 52155 75 0 0 25 0 1 0 804257153 2410545152 579346 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 588512 579346 577 1205 0 587303 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 2354048

[startup+582.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11413
/proc/meminfo: memFree=20453304/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=2468140 CPUtime=582.3 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 636506 0 0 0 58151 79 0 0 25 0 1 0 804257153 2527375360 608290 33554432000 4194304 9128323 140734148437904 18446744073709551615 5494300 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 617035 608290 577 1205 0 615826 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 2468140

[startup+642.3 s]

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

[startup+942.301 s]
/proc/loadavg: 2.05 2.05 2.00 3/536 11423
/proc/meminfo: memFree=19597508/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=2923360 CPUtime=942.3 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 749209 0 0 0 94137 93 0 0 25 0 1 0 804257153 2993520640 720993 33554432000 4194304 9128323 140734148437904 18446744073709551615 5489947 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 730840 720993 577 1205 0 729631 0
Current children cumulated CPU time (s) 942.3
Current children cumulated vsize (KiB) 2923360

[startup+1002.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11424
/proc/meminfo: memFree=19487208/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=2981828 CPUtime=1002.3 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 764001 0 0 0 100135 95 0 0 25 0 1 0 804257153 3053391872 735785 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 745457 735785 577 1205 0 744248 0
Current children cumulated CPU time (s) 1002.3
Current children cumulated vsize (KiB) 2981828

[startup+1062.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/536 11426
/proc/meminfo: memFree=19351000/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3073236 CPUtime=1062.31 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 787132 0 0 0 106133 98 0 0 25 0 1 0 804257153 3146993664 758916 33554432000 4194304 9128323 140734148437904 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 768309 758916 577 1205 0 767100 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 3073236

[startup+1122.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11427
/proc/meminfo: memFree=19236732/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3128956 CPUtime=1122.31 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 800344 0 0 0 112132 99 0 0 25 0 1 0 804257153 3204050944 772128 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488734 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 782239 772128 577 1205 0 781030 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 3128956

[startup+1182.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11429
/proc/meminfo: memFree=19130652/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3190624 CPUtime=1182.31 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 815801 0 0 0 118129 102 0 0 25 0 1 0 804257153 3267198976 787585 33554432000 4194304 9128323 140734148437904 18446744073709551615 6593392 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 797656 787585 577 1205 0 796447 0
Current children cumulated CPU time (s) 1182.31
Current children cumulated vsize (KiB) 3190624

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11431
/proc/meminfo: memFree=19005468/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3260664 CPUtime=1242.31 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 832893 0 0 0 124127 104 0 0 25 0 1 0 804257153 3338919936 804677 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 815166 804677 577 1205 0 813957 0
Current children cumulated CPU time (s) 1242.31
Current children cumulated vsize (KiB) 3260664

[startup+1302.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/536 11432
/proc/meminfo: memFree=18893556/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3320400 CPUtime=1302.32 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 847820 0 0 0 130126 106 0 0 25 0 1 0 804257153 3400089600 819604 33554432000 4194304 9128323 140734148437904 18446744073709551615 6581536 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 830100 819604 577 1205 0 828891 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 3320400

[startup+1362.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/536 11434
/proc/meminfo: memFree=18753260/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3398168 CPUtime=1362.32 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 867470 0 0 0 136123 109 0 0 25 0 1 0 804257153 3479724032 839254 33554432000 4194304 9128323 140734148437904 18446744073709551615 4352187 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 849542 839254 577 1205 0 848333 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 3398168

[startup+1422.32 s]
/proc/loadavg: 2.10 2.05 2.01 3/536 11435
/proc/meminfo: memFree=18622008/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3456328 CPUtime=1422.34 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 881805 0 0 0 142123 111 0 0 25 0 1 0 804257153 3539279872 853589 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 864082 853589 577 1205 0 862873 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 3456328

[startup+1482.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/536 11437
/proc/meminfo: memFree=18440060/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3513436 CPUtime=1482.32 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 895574 0 0 0 148119 113 0 0 25 0 1 0 804257153 3597758464 867358 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 878359 867358 577 1205 0 877150 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 3513436

[startup+1542.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/536 11439
/proc/meminfo: memFree=18265656/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3567488 CPUtime=1542.32 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 908817 0 0 0 154117 115 0 0 25 0 1 0 804257153 3653107712 880601 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 891872 880601 577 1205 0 890663 0
Current children cumulated CPU time (s) 1542.32
Current children cumulated vsize (KiB) 3567488

[startup+1602.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/536 11440
/proc/meminfo: memFree=18120656/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3617200 CPUtime=1602.32 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 921627 0 0 0 160115 117 0 0 25 0 1 0 804257153 3704012800 893411 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488368 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 904300 893411 577 1205 0 903091 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 3617200

[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11442
/proc/meminfo: memFree=17939936/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3684268 CPUtime=1662.33 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 938363 0 0 0 166114 119 0 0 25 0 1 0 804257153 3772690432 910147 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488335 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 921067 910147 577 1205 0 919858 0
Current children cumulated CPU time (s) 1662.33
Current children cumulated vsize (KiB) 3684268

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/536 11443
/proc/meminfo: memFree=17765792/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3734372 CPUtime=1722.33 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 950988 0 0 0 172113 120 0 0 25 0 1 0 804257153 3823996928 922772 33554432000 4194304 9128323 140734148437904 18446744073709551615 4207956 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 933593 922772 577 1205 0 932384 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 3734372

[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/536 11445
/proc/meminfo: memFree=17610868/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3787152 CPUtime=1782.33 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 963631 0 0 0 178111 122 0 0 25 0 1 0 804257153 3878043648 935415 33554432000 4194304 9128323 140734148437904 18446744073709551615 5488726 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 946788 935415 577 1205 0 945579 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 3787152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11445
/proc/meminfo: memFree=17564088/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3797124 CPUtime=1800.04 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 966817 0 0 0 179881 123 0 0 25 0 1 0 804257153 3888254976 938601 33554432000 4194304 9128323 140734148437904 18446744073709551615 5494419 0 0 4096 16384 0 0 0 17 2 0 0 0
/proc/11368/statm: 949281 938601 577 1205 0 948072 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 3797124

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

[startup+1800.2 s]
/proc/loadavg: 2.05 2.03 2.00 3/536 11445
/proc/meminfo: memFree=17564088/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=3786152 CPUtime=1800.23 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 967396 0 0 0 179900 123 0 0 25 0 1 0 804257153 3877019648 935979 33554432000 4194304 9128323 140734148437904 18446744073709551615 6581241 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 946538 935979 586 1205 0 945329 0
Current children cumulated CPU time (s) 1800.23
Current children cumulated vsize (KiB) 3786152

[startup+1800.6 s]
/proc/loadavg: 2.05 2.03 2.00 3/537 11446
/proc/meminfo: memFree=19991132/32951124 swapFree=46970528/67111528
[pid=11368] ppid=11366 vsize=2923220 CPUtime=1800.63 cores=0,2,4,6
/proc/11368/stat : 11368 (scip-2.0.1.4.li) R 11366 11368 9437 0 -1 4202496 967419 0 0 0 179930 133 0 0 25 0 1 0 804257153 2993377280 272665 33554432000 4194304 9128323 140734148437904 18446744073709551615 8231418 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/11368/statm: 730805 272665 609 1205 0 729596 0
Current children cumulated CPU time (s) 1800.63
Current children cumulated vsize (KiB) 2923220

Child status: 0
Real time (s): 1800.65
CPU time (s): 1800.69
CPU user time (s): 1799.31
CPU system time (s): 1.37979
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 3797124

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.31
system time used= 1.37979
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 967421
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= 5
involuntary context switches= 1225

runsolver used 10.1944 second user time and 21.3678 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-03 18:26:49
IDJOB=3453475
IDBENCH=77130
IDSOLVER=1949
FILE ID=node146/3453475-1307118409
RUNJOBID= node146-1307110617-10543
PBS_JOBID= 13498003
Free space on /tmp= 73708 MiB

SOLVER NAME= SCIP spx SCIP 2.0.1.4. with SoPlex 1.5.0.4
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12021_8.std.opb
COMMAND LINE= HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3453475-1307118409/watcher-3453475-1307118409 -o /tmp/evaluation-result-3453475-1307118409/solver-3453475-1307118409 -C 1800 -W 1900 -M 15500  HOME/scip-2.0.1.4.linux.x86_64.gnu.opt.spx -f HOME/instance-3453475-1307118409.opb -t 1800 -m 15500

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

MD5SUM BENCH= 33a0c5076a13a0bc08e55dbdcaafa3d4
RANDOM SEED=1986056466

node146.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.830
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.66
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.830
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.830
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.830
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.86
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.830
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.830
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.830
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.75
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.830
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:      24955828 kB
Buffers:        112396 kB
Cached:         255956 kB
SwapCached:      60160 kB
Active:         486040 kB
Inactive:      7267572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24955828 kB
SwapTotal:    67111528 kB
SwapFree:     46970528 kB
Dirty:           19048 kB
Writeback:           0 kB
AnonPages:     7336216 kB
Mapped:          19360 kB
Slab:            74084 kB
PageTables:      98256 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 160947824 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= 73688 MiB
End job on node146 at 2011-06-03 18:56:51