Trace number 3740502

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
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.47 1790.79

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j1207_6.std.opb
MD5SUMd16d5193341210b17a0f2e49373cb527
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark125
Best CPU time to get the best result obtained on this benchmark1800.02
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 constraints234141
Number of constraints which are clauses232941
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 constraint67
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 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3740502-1338739533.opb>
1.49/1.50	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 234141 constraints
1.49/1.50	c problem read
1.49/1.50	c presolving settings loaded
1.89/2.00	c presolving:
8.59/8.63	c (round 1) 5047 del vars, 15271 del conss, 3503 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16034200 impls, 0 clqs
12.19/12.22	c (round 2) 12844 del vars, 42362 del conss, 11000 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16074485 impls, 0 clqs
13.19/13.29	c (round 3) 15687 del vars, 54937 del conss, 12623 chg bounds, 29 chg sides, 19 chg coeffs, 0 upgd conss, 16091281 impls, 0 clqs
13.89/13.97	c (round 4) 16875 del vars, 59552 del conss, 13402 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16098910 impls, 0 clqs
14.29/14.35	c (round 5) 17532 del vars, 62185 del conss, 13759 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16103405 impls, 0 clqs
14.49/14.59	c (round 6) 17834 del vars, 63489 del conss, 13905 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16105955 impls, 0 clqs
14.69/14.79	c (round 7) 17973 del vars, 64070 del conss, 13989 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16107417 impls, 0 clqs
14.89/14.98	c (round 8) 18073 del vars, 64485 del conss, 14049 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108307 impls, 0 clqs
15.09/15.14	c (round 9) 18105 del vars, 64671 del conss, 14067 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108617 impls, 0 clqs
15.19/15.29	c (round 10) 18123 del vars, 64769 del conss, 14076 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108753 impls, 0 clqs
15.39/15.44	c (round 11) 18125 del vars, 64792 del conss, 14077 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 16108771 impls, 0 clqs
506.82/506.94	c    (505.4s) probing: 1000/54715 (1.8%) - 9 fixings, 3 aggregations, 10561754 implications, 0 bound changes
899.06/899.29	c    (897.8s) probing: 2000/54715 (3.7%) - 9 fixings, 3 aggregations, 16310210 implications, 0 bound changes
976.24/976.45	c    (974.9s) probing: 2208/54715 (4.0%) - 9 fixings, 3 aggregations, 17404775 implications, 0 bound changes
976.24/976.45	c    (974.9s) probing aborted: 2000/2000 successive useless probings
976.24/976.45	c (round 12) 18139 del vars, 64804 del conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
976.65/976.84	c (round 13) 18139 del vars, 65316 del conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 0 upgd conss, 78544711 impls, 0 clqs
977.54/977.76	c (round 14) 18139 del vars, 65316 del conss, 14078 chg bounds, 53 chg sides, 45 chg coeffs, 168825 upgd conss, 78544711 impls, 0 clqs
978.65/978.89	c (round 15) 18139 del vars, 65318 del conss, 14078 chg bounds, 73 chg sides, 209 chg coeffs, 168825 upgd conss, 78545599 impls, 2778 clqs
1219.21/1219.45	c (round 16) 18189 del vars, 65320 del conss, 14078 chg bounds, 86 chg sides, 256 chg coeffs, 168825 upgd conss, 88012457 impls, 2873 clqs
1219.91/1220.10	c (round 17) 18191 del vars, 65493 del conss, 14078 chg bounds, 90 chg sides, 276 chg coeffs, 168825 upgd conss, 88012677 impls, 2874 clqs
1332.06/1332.31	c    (1330.8s) probing: 3000/54715 (5.5%) - 41 fixings, 29 aggregations, 22333666 implications, 0 bound changes
1734.39/1734.75	c    (1733.2s) probing: 4000/54715 (7.3%) - 51 fixings, 37 aggregations, 32192881 implications, 0 bound changes
1789.76/1790.15	c    (1788.6s) probing: 4116/54715 (7.5%) - 51 fixings, 37 aggregations, 33764965 implications, 0 bound changes
1789.76/1790.15	c    (1788.6s) probing aborted: solving stopped
1789.76/1790.15	c (round 18) 18217 del vars, 65495 del conss, 14078 chg bounds, 90 chg sides, 282 chg coeffs, 168825 upgd conss, 121887545 impls, 2874 clqs
1789.76/1790.15	c presolving (18 rounds):
1789.76/1790.15	c  18217 deleted vars, 65495 deleted constraints, 14078 tightened bounds, 0 added holes, 90 changed sides, 282 changed coefficients
1789.76/1790.15	c  121887545 implications, 2874 cliques
1789.76/1790.15	c presolving was interrupted.
1789.76/1790.15	c Presolving Time: 1788.30
1789.76/1790.15	c - non default parameters ----------------------------------------------------------------------
1789.76/1790.15	c # SCIP version 1.2.1.3
1789.76/1790.15	c 
1789.76/1790.15	c # frequency for displaying node information lines
1789.76/1790.15	c # [type: int, range: [-1,2147483647], default: 100]
1789.76/1790.15	c display/freq = 10000
1789.76/1790.15	c 
1789.76/1790.15	c # maximal time in seconds to run
1789.76/1790.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.76/1790.15	c limits/time = 1788.5
1789.76/1790.15	c 
1789.76/1790.15	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.76/1790.15	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.76/1790.15	c limits/memory = 13950
1789.76/1790.15	c 
1789.76/1790.15	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.76/1790.15	c # [type: int, range: [1,2], default: 1]
1789.76/1790.15	c timing/clocktype = 2
1789.76/1790.15	c 
1789.76/1790.15	c # should presolving try to simplify inequalities
1789.76/1790.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.76/1790.15	c constraints/linear/simplifyinequalities = TRUE
1789.76/1790.15	c 
1789.76/1790.15	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.76/1790.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.76/1790.15	c constraints/indicator/addCouplingCons = TRUE
1789.76/1790.15	c 
1789.76/1790.15	c # should presolving try to simplify knapsacks
1789.76/1790.15	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.76/1790.15	c constraints/knapsack/simplifyinequalities = TRUE
1789.76/1790.15	c 
1789.76/1790.15	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.76/1790.15	c # [type: int, range: [-1,2147483647], default: -1]
1789.76/1790.15	c separating/rapidlearning/freq = 0
1789.76/1790.15	c 
1789.76/1790.15	c -----------------------------------------------------------------------------------------------
1789.76/1790.15	c start solving
1789.76/1790.19	c presolving:
1789.76/1790.19	c presolving (18 rounds):
1789.76/1790.19	c  18217 deleted vars, 65495 deleted constraints, 14078 tightened bounds, 0 added holes, 90 changed sides, 282 changed coefficients
1789.76/1790.19	c  121887545 implications, 2874 cliques
1789.76/1790.19	c presolving was interrupted.
1789.76/1790.19	c Presolving Time: 1788.33
1789.76/1790.19	c 
1789.76/1790.19	c SCIP Status        : solving was interrupted [time limit reached]
1789.76/1790.19	c Solving Time (sec) : 1788.68
1789.76/1790.19	c Solving Nodes      : 0
1789.76/1790.19	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.76/1790.19	s UNKNOWN
1789.76/1790.19	c SCIP Status        : solving was interrupted [time limit reached]
1789.76/1790.19	c Solving Time       :    1788.68
1789.76/1790.19	c Original Problem   :
1789.76/1790.19	c   Problem name     : HOME/instance-3740502-1338739533.opb
1789.76/1790.19	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.76/1790.19	c   Constraints      : 234141 initial, 234141 maximal
1789.76/1790.19	c Presolved Problem  :
1789.76/1790.19	c   Problem name     : t_HOME/instance-3740502-1338739533.opb
1789.76/1790.19	c   Variables        : 54625 (54625 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.76/1790.19	c   Constraints      : 168671 initial, 168671 maximal
1789.76/1790.19	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.76/1790.19	c   trivial          :       0.05       1308          0          0          0          0          0          0          0
1789.76/1790.19	c   dualfix          :       0.08        121          0          0          0          0          0          0          0
1789.76/1790.19	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.76/1790.19	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.76/1790.19	c   implics          :       1.11          0          2          0          0          0          0          0          0
1789.76/1790.19	c   probing          :    1770.39         51         37          0          0          0          0          0          0
1789.76/1790.19	c   knapsack         :       1.35          0          0          0          0          0          2         37        237
1789.76/1790.19	c   setppc           :       0.74          0          0          0          0          0        175          0          0
1789.76/1790.19	c   linear           :      14.04      12770       3928          0      14078          0      65316         53         45
1789.76/1790.19	c   logicor          :       0.18          0          0          0          0          0          2          0          0
1789.76/1790.19	c   root node        :          -          0          -          -          0          -          -          -          -
1789.76/1790.19	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.76/1790.19	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.76/1790.19	c   knapsack         :          0+         0      56813          0          0         11          0          0          0          0
1789.76/1790.19	c   setppc           :          0+         0      56802          0          0         13          0          0          0          0
1789.76/1790.19	c   linear           :          0+         0     102102          0          0          5          0          0          0          0
1789.76/1790.19	c   logicor          :          0+         0      52999          0          0         12          0          0          0          0
1789.76/1790.19	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.76/1790.19	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.76/1790.19	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.76/1790.19	c   knapsack         :       5.27       0.00       5.27       0.00       0.00
1789.76/1790.19	c   setppc           :     291.86       0.00     291.86       0.00       0.00
1789.76/1790.19	c   linear           :     514.17       0.00     514.17       0.00       0.00
1789.76/1790.19	c   logicor          :       8.15       0.00       8.15       0.00       0.00
1789.76/1790.19	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.76/1790.19	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.76/1790.19	c   vbounds          :       0.16          1          0          0
1789.76/1790.19	c   rootredcost      :       0.10          0          0          0
1789.76/1790.19	c   pseudoobj        :       0.13          0          0          0
1789.76/1790.19	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.76/1790.19	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.76/1790.19	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.76/1790.19	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.76/1790.19	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.76/1790.19	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.76/1790.19	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.76/1790.19	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.37/1790.78	c Time complete: 1790.46.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3740502-1338739533/watcher-3740502-1338739533 -o /tmp/evaluation-result-3740502-1338739533/solver-3740502-1338739533 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740502-1338739533.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.01 2.00 2.00 3/176 14256
/proc/meminfo: memFree=24344080/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=9972 CPUtime=0 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 1662 0 0 0 0 0 0 0 20 0 1 0 340081908 10211328 1609 33554432000 4194304 8395647 140735490976176 140735820981224 7382157 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 2493 1618 374 1026 0 1463 0

[startup+0.077677 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14256
/proc/meminfo: memFree=24344080/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=24948 CPUtime=0.07 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 5477 0 0 0 6 1 0 0 20 0 1 0 340081908 25546752 5424 33554432000 4194304 8395647 140735490976176 140735820981224 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 6237 5424 393 1026 0 5207 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 24948

[startup+0.10033 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14256
/proc/meminfo: memFree=24344080/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=27236 CPUtime=0.09 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 6082 0 0 0 8 1 0 0 20 0 1 0 340081908 27889664 6029 33554432000 4194304 8395647 140735490976176 140735820981224 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 6809 6029 393 1026 0 5779 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27236

[startup+0.300283 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14256
/proc/meminfo: memFree=24344080/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=53400 CPUtime=0.29 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 12574 0 0 0 27 2 0 0 20 0 1 0 340081908 54681600 12521 33554432000 4194304 8395647 140735490976176 140735820981224 4423932 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 13350 12521 393 1026 0 12320 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53400

[startup+0.700275 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 14256
/proc/meminfo: memFree=24344080/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=77476 CPUtime=0.69 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 18604 0 0 0 66 3 0 0 20 0 1 0 340081908 79335424 18551 33554432000 4194304 8395647 140735490976176 140735490841384 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 19369 18551 393 1026 0 18339 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 77476

[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14257
/proc/meminfo: memFree=24244772/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=143300 CPUtime=1.49 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 34964 0 0 0 144 5 0 0 20 0 1 0 340081908 146739200 34911 33554432000 4194304 8395647 140735490976176 140735490841384 7430272 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 35825 34911 393 1026 0 34795 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 143300

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14257
/proc/meminfo: memFree=23985712/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=480488 CPUtime=3.09 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 118098 0 0 0 292 17 0 0 20 0 1 0 340081908 492019712 117691 33554432000 4194304 8395647 140735490976176 140735490971928 6080379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 120122 117691 469 1026 0 119092 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 480488

[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14257
/proc/meminfo: memFree=23669264/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=740660 CPUtime=6.29 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 181879 0 0 0 603 26 0 0 20 0 1 0 340081908 758435840 181472 33554432000 4194304 8395647 140735490976176 140735490972136 6080379 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 185165 181472 469 1026 0 184135 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 740660

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14257
/proc/meminfo: memFree=23499384/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=846756 CPUtime=12.69 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 207062 0 0 0 1240 29 0 0 20 0 1 0 340081908 867078144 206655 33554432000 4194304 8395647 140735490976176 140735490971976 5039072 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 211689 206655 475 1026 0 210659 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 846756

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14257
/proc/meminfo: memFree=23338788/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=910528 CPUtime=25.49 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 222567 0 0 0 2517 32 0 0 20 0 1 0 340081908 932380672 222052 33554432000 4194304 8395647 140735490976176 140735490972040 6080688 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 227632 222052 483 1026 0 226602 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 910528

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14257
/proc/meminfo: memFree=23227776/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=955552 CPUtime=51.08 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 233455 0 0 0 5075 33 0 0 20 0 1 0 340081908 978485248 232940 33554432000 4194304 8395647 140735490976176 140735490972248 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 238888 232940 483 1026 0 237858 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 955552

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14258
/proc/meminfo: memFree=22986500/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=1092948 CPUtime=102.28 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 267064 0 0 0 10189 39 0 0 20 0 1 0 340081908 1119178752 266549 33554432000 4194304 8395647 140735490976176 140735490972040 4685117 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 273237 266549 483 1026 0 272207 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1092948

[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 14258
/proc/meminfo: memFree=22737304/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=1247588 CPUtime=162.27 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 305493 0 0 0 16183 44 0 0 20 0 1 0 340081908 1277530112 304978 33554432000 4194304 8395647 140735490976176 140735490971544 6080675 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 311897 304978 483 1026 0 310867 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 1247588

[startup+222.3 s]
/proc/loadavg: 2.10 2.02 2.01 3/177 14258
/proc/meminfo: memFree=22461292/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=1461380 CPUtime=222.25 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 357836 0 0 0 22174 51 0 0 20 0 1 0 340081908 1496453120 357321 33554432000 4194304 8395647 140735490976176 140735490972040 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 365345 357321 483 1026 0 364315 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1461380

[startup+282.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/178 14261
/proc/meminfo: memFree=22207004/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=1616980 CPUtime=282.24 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 396037 0 0 0 28168 56 0 0 20 0 1 0 340081908 1655787520 395522 33554432000 4194304 8395647 140735490976176 140735490972248 4706426 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 404245 395522 483 1026 0 403215 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 1616980

[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14261
/proc/meminfo: memFree=22032944/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=1741000 CPUtime=342.24 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 427168 0 0 0 34161 63 0 0 20 0 1 0 340081908 1782784000 426653 33554432000 4194304 8395647 140735490976176 140735490972248 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 435250 426653 483 1026 0 434220 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1741000

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 14262
/proc/meminfo: memFree=21891116/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=1815796 CPUtime=402.23 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 446019 0 0 0 40156 67 0 0 20 0 1 0 340081908 1859375104 445504 33554432000 4194304 8395647 140735490976176 140735490972248 4995703 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 453949 445504 483 1026 0 452919 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1815796

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14262
/proc/meminfo: memFree=21657156/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=1958620 CPUtime=462.22 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 480646 0 0 0 46149 73 0 0 20 0 1 0 340081908 2005626880 480131 33554432000 4194304 8395647 140735490976176 140735490972248 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 489655 480131 483 1026 0 488625 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 1958620

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 14262
/proc/meminfo: memFree=21321288/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=2187132 CPUtime=522.21 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 537574 0 0 0 52140 81 0 0 20 0 1 0 340081908 2239623168 537059 33554432000 4194304 8395647 140735490976176 140735490972040 5031115 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 546783 537059 489 1026 0 545753 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2187132

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14263
/proc/meminfo: memFree=21171020/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=2269952 CPUtime=582.2 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 558852 0 0 0 58135 85 0 0 20 0 1 0 340081908 2324430848 558337 33554432000 4194304 8395647 140735490976176 140735490972248 6080661 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 567488 558337 489 1026 0 566458 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2269952

[startup+642.3 s]

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

/proc/meminfo: memFree=19938344/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=2799112 CPUtime=1002.14 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 688540 0 0 0 100107 107 0 0 20 0 1 0 340081908 2866290688 690726 33554432000 4194304 8395647 140735490976176 140735490971976 6080362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 699778 690726 515 1026 0 698748 0
Current children cumulated CPU time (s) 1002.14
Current children cumulated vsize (KiB) 2799112

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14268
/proc/meminfo: memFree=19837992/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=2886184 CPUtime=1062.13 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 709503 0 0 0 106103 110 0 0 20 0 1 0 340081908 2955452416 711689 33554432000 4194304 8395647 140735490976176 140735490972040 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 721546 711689 515 1026 0 720516 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 2886184

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14268
/proc/meminfo: memFree=19761944/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=2951612 CPUtime=1122.12 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 725791 0 0 0 112098 114 0 0 20 0 1 0 340081908 3022450688 727977 33554432000 4194304 8395647 140735490976176 140735490972248 7385355 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 737903 727977 515 1026 0 736873 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 2951612

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14268
/proc/meminfo: memFree=19657748/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3051304 CPUtime=1182.11 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 750251 0 0 0 118093 118 0 0 20 0 1 0 340081908 3124535296 752437 33554432000 4194304 8395647 140735490976176 140735490972040 6080665 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 762826 752437 515 1026 0 761796 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 3051304

[startup+1242.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/177 14306
/proc/meminfo: memFree=22821460/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3116900 CPUtime=1242.1 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 766682 0 0 0 124089 121 0 0 20 0 1 0 340081908 3191705600 768946 33554432000 4194304 8395647 140735490976176 140735490972040 4706809 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 779225 768946 515 1026 0 778195 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 3116900

[startup+1302.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 14307
/proc/meminfo: memFree=22601760/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3175280 CPUtime=1302.08 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 781629 0 0 0 130084 124 0 0 20 0 1 0 340081908 3251486720 783880 33554432000 4194304 8395647 140735490976176 140735490972248 6115585 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 793820 783880 515 1026 0 792790 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 3175280

[startup+1362.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 14307
/proc/meminfo: memFree=22309272/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3294592 CPUtime=1362.05 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 810467 0 0 0 136075 130 0 0 20 0 1 0 340081908 3373662208 812947 33554432000 4194304 8395647 140735490976176 140735490972248 5210770 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 823648 812947 515 1026 0 822618 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 3294592

[startup+1422.31 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 14307
/proc/meminfo: memFree=22052248/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3395500 CPUtime=1422.05 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 835849 0 0 0 142070 135 0 0 20 0 1 0 340081908 3476992000 838324 33554432000 4194304 8395647 140735490976176 140735490972104 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 848875 838324 515 1026 0 847845 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 3395500

[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 14310
/proc/meminfo: memFree=21775376/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3499240 CPUtime=1482.03 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 861431 0 0 0 148064 139 0 0 20 0 1 0 340081908 3583221760 863906 33554432000 4194304 8395647 140735490976176 140735490972104 6080692 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 874810 863906 515 1026 0 873780 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 3499240

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14310
/proc/meminfo: memFree=21528280/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3651596 CPUtime=1542.02 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 899464 0 0 0 154055 147 0 0 20 0 1 0 340081908 3739234304 901938 33554432000 4194304 8395647 140735490976176 140735490972248 5211850 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 912899 901938 515 1026 0 911869 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 3651596

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14311
/proc/meminfo: memFree=21324080/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3746532 CPUtime=1602.01 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 923058 0 0 0 160051 150 0 0 20 0 1 0 340081908 3836448768 925530 33554432000 4194304 8395647 140735490976176 140735490972248 5210417 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 936633 925530 515 1026 0 935603 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 3746532

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14311
/proc/meminfo: memFree=21110332/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=3887192 CPUtime=1661.98 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 957762 0 0 0 166043 155 0 0 20 0 1 0 340081908 3980484608 960267 33554432000 4194304 8395647 140735490976176 140735490972248 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 971798 960267 515 1026 0 970768 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 3887192

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 14311
/proc/meminfo: memFree=20917540/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=4012032 CPUtime=1721.97 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 988566 0 0 0 172037 160 0 0 20 0 1 0 340081908 4108320768 991554 33554432000 4194304 8395647 140735490976176 140735490972040 5210321 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 1003008 991554 515 1026 0 1001978 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 4012032

[startup+1782.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14311
/proc/meminfo: memFree=20752400/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=4120868 CPUtime=1781.97 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 1015791 0 0 0 178031 166 0 0 20 0 1 0 340081908 4219768832 1019057 33554432000 4194304 8395647 140735490976176 140735490972248 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 1030217 1019057 515 1026 0 1029187 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 4120868

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

[startup+1785.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14311
/proc/meminfo: memFree=20738620/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=4130028 CPUtime=1785.17 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 1018268 0 0 0 178351 166 0 0 20 0 1 0 340081908 4229148672 1021603 33554432000 4194304 8395647 140735490976176 140735490972104 5210338 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 1032507 1021603 515 1026 0 1031477 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 4130028

[startup+1788.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14311
/proc/meminfo: memFree=20730312/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=4138036 CPUtime=1788.36 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 1020020 0 0 0 178670 166 0 0 20 0 1 0 340081908 4237348864 1023355 33554432000 4194304 8395647 140735490976176 140735490972248 4212519 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 1034509 1023355 515 1026 0 1033479 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (KiB) 4138036

[startup+1789.5 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14311
/proc/meminfo: memFree=20730312/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=4139040 CPUtime=1789.16 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 1020225 0 0 0 178750 166 0 0 20 0 1 0 340081908 4238376960 1023560 33554432000 4194304 8395647 140735490976176 140735490972248 6080362 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 1034760 1023560 515 1026 0 1033730 0
Current children cumulated CPU time (s) 1789.16
Current children cumulated vsize (KiB) 4139040

[startup+1790.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14311
/proc/meminfo: memFree=20727956/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=4142100 CPUtime=1789.96 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 1021269 0 0 0 178830 166 0 0 20 0 1 0 340081908 4241510400 1024604 33554432000 4194304 8395647 140735490976176 140735490972040 4923323 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 1035525 1024604 521 1026 0 1034495 0
Current children cumulated CPU time (s) 1789.96
Current children cumulated vsize (KiB) 4142100

[startup+1790.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 14311
/proc/meminfo: memFree=22709048/32873844 swapFree=7628/7628
[pid=14256] ppid=14254 vsize=2645880 CPUtime=1790.37 cores=0,2,4,6
/proc/14256/stat : 14256 (pbscip.linux.x8) R 14254 14256 25613 0 -1 4202496 1021275 0 0 0 178859 178 0 0 20 0 1 0 340081908 2709381120 504249 33554432000 4194304 8395647 140735490976176 140735490975368 7602442 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/14256/statm: 661470 504249 527 1026 0 660440 0
Current children cumulated CPU time (s) 1790.37
Current children cumulated vsize (KiB) 2645880

Child status: 0
Real time (s): 1790.79
CPU time (s): 1790.47
CPU user time (s): 1788.59
CPU system time (s): 1.87171
CPU usage (%): 99.9819
Max. virtual memory (cumulated for all children) (KiB): 4142100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.59
system time used= 1.87172
maximum resident set size= 4098416
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1021283
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= 94
involuntary context switches= 1857

runsolver used 2.86156 second user time and 6.97894 second system time

The end

Launcher Data 

Begin job on node107 at 2012-06-03 18:05:34
IDJOB=3740502
IDBENCH=77618
IDSOLVER=2326
FILE ID=node107/3740502-1338739533
RUNJOBID= node107-1338723356-12418
PBS_JOBID= 14636731
Free space on /tmp= 70760 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j1207_6.std.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3740502-1338739533/watcher-3740502-1338739533 -o /tmp/evaluation-result-3740502-1338739533/solver-3740502-1338739533 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3740502-1338739533.opb -t 1800 -m 15500

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

MD5SUM BENCH= d16d5193341210b17a0f2e49373cb527
RANDOM SEED=1864330150

node107.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.52
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.86
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.760
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        24344616 kB
Buffers:          539996 kB
Cached:          4785724 kB
SwapCached:           76 kB
Active:          4384724 kB
Inactive:        3249772 kB
Active(anon):    2299972 kB
Inactive(anon):    11060 kB
Active(file):    2084752 kB
Inactive(file):  3238712 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108780 kB
Dirty:             17112 kB
Writeback:             0 kB
AnonPages:       2315392 kB
Mapped:            16356 kB
Shmem:               184 kB
Slab:             749344 kB
SReclaimable:     191708 kB
SUnreclaim:       557636 kB
KernelStack:        1464 kB
PageTables:         8592 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2455780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     12288 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70752 MiB
End job on node107 at 2012-06-03 18:35:24