Trace number 3743627

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? 1789.96 1790.26

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.opb
MD5SUMb63a917d588fe2910953571155dfae07
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-35450
Best CPU time to get the best result obtained on this benchmark1800.01
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 16038
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 45248874
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 45248874
Number of bits of the biggest sum of numbers26
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-3743627-1338789335.opb>
0.38/0.42	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.38/0.42	c problem read
0.38/0.42	c presolving settings loaded
0.59/0.65	c presolving:
0.78/0.80	c (round 1) 16164 del vars, 16284 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 10668 impls, 309 clqs
0.78/0.82	c (round 2) 16935 del vars, 17060 del conss, 773 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11066 impls, 308 clqs
0.78/0.84	c (round 3) 17333 del vars, 17458 del conss, 1171 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 11716 impls, 308 clqs
0.78/0.87	c (round 4) 17610 del vars, 17735 del conss, 1448 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12784 impls, 308 clqs
0.78/0.89	c (round 5) 17828 del vars, 17953 del conss, 1666 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13984 impls, 308 clqs
0.88/0.91	c (round 6) 18013 del vars, 18138 del conss, 1851 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14798 impls, 308 clqs
0.88/0.93	c (round 7) 18169 del vars, 18294 del conss, 2007 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15382 impls, 308 clqs
0.88/0.95	c (round 8) 18256 del vars, 18381 del conss, 2094 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16080 impls, 308 clqs
0.88/0.97	c (round 9) 18290 del vars, 18415 del conss, 2128 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16558 impls, 308 clqs
0.88/0.98	c (round 10) 18303 del vars, 18428 del conss, 2141 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16780 impls, 308 clqs
54.65/54.72	c (round 11) 18403 del vars, 18494 del conss, 2142 chg bounds, 0 chg sides, 0 chg coeffs, 22391 upgd conss, 5549820 impls, 308 clqs
54.75/54.88	c (round 12) 18403 del vars, 18593 del conss, 2142 chg bounds, 0 chg sides, 0 chg coeffs, 22456 upgd conss, 5549918 impls, 308 clqs
172.33/172.46	c    (172.0s) probing: 1000/22147 (4.5%) - 97 fixings, 16 aggregations, 788959 implications, 0 bound changes
264.82/264.99	c    (264.6s) probing: 2000/22147 (9.0%) - 103 fixings, 37 aggregations, 2376307 implications, 0 bound changes
304.61/304.73	c (round 13) 18453 del vars, 18593 del conss, 2142 chg bounds, 0 chg sides, 0 chg coeffs, 22456 upgd conss, 12375692 impls, 308 clqs
304.71/304.85	c (round 14) 18453 del vars, 18643 del conss, 2142 chg bounds, 0 chg sides, 0 chg coeffs, 22456 upgd conss, 12375692 impls, 308 clqs
452.59/452.73	c    (452.3s) probing: 3000/22147 (13.5%) - 104 fixings, 49 aggregations, 4327370 implications, 0 bound changes
652.35/652.52	c    (652.1s) probing: 4000/22147 (18.1%) - 107 fixings, 62 aggregations, 6865102 implications, 0 bound changes
882.82/883.02	c    (882.6s) probing: 5000/22147 (22.6%) - 109 fixings, 73 aggregations, 9319661 implications, 0 bound changes
1124.99/1125.26	c    (1124.8s) probing: 6000/22147 (27.1%) - 111 fixings, 83 aggregations, 11728036 implications, 0 bound changes
1201.68/1201.93	c (round 15) 18503 del vars, 18643 del conss, 2142 chg bounds, 0 chg sides, 0 chg coeffs, 22456 upgd conss, 32937274 impls, 308 clqs
1201.78/1202.05	c (round 16) 18503 del vars, 18693 del conss, 2142 chg bounds, 0 chg sides, 0 chg coeffs, 22456 upgd conss, 32937274 impls, 308 clqs
1374.25/1374.54	c    (1374.1s) probing: 7000/22147 (31.6%) - 114 fixings, 95 aggregations, 13860591 implications, 0 bound changes
1615.52/1615.82	c    (1615.4s) probing: 8000/22147 (36.1%) - 118 fixings, 105 aggregations, 16322997 implications, 0 bound changes
1789.69/1790.03	c    (1789.6s) probing: 8696/22147 (39.3%) - 119 fixings, 114 aggregations, 17991187 implications, 0 bound changes
1789.69/1790.03	c    (1789.6s) probing aborted: solving stopped
1789.69/1790.03	c (round 17) 18537 del vars, 18693 del conss, 2142 chg bounds, 0 chg sides, 0 chg coeffs, 22456 upgd conss, 44471776 impls, 308 clqs
1789.69/1790.03	c presolving (17 rounds):
1789.69/1790.03	c  18537 deleted vars, 18693 deleted constraints, 2142 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.69/1790.03	c  44471776 implications, 308 cliques
1789.69/1790.03	c presolving was interrupted.
1789.69/1790.03	c Presolving Time: 1789.47
1789.69/1790.03	c - non default parameters ----------------------------------------------------------------------
1789.69/1790.03	c # SCIP version 1.2.1.3
1789.69/1790.03	c 
1789.69/1790.03	c # frequency for displaying node information lines
1789.69/1790.03	c # [type: int, range: [-1,2147483647], default: 100]
1789.69/1790.03	c display/freq = 10000
1789.69/1790.03	c 
1789.69/1790.03	c # maximal time in seconds to run
1789.69/1790.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.69/1790.03	c limits/time = 1789.59
1789.69/1790.03	c 
1789.69/1790.03	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.69/1790.03	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.69/1790.03	c limits/memory = 13950
1789.69/1790.03	c 
1789.69/1790.03	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.69/1790.03	c # [type: int, range: [1,2], default: 1]
1789.69/1790.03	c timing/clocktype = 2
1789.69/1790.03	c 
1789.69/1790.03	c # should presolving try to simplify inequalities
1789.69/1790.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.69/1790.03	c constraints/linear/simplifyinequalities = TRUE
1789.69/1790.03	c 
1789.69/1790.03	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.69/1790.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.69/1790.03	c constraints/indicator/addCouplingCons = TRUE
1789.69/1790.03	c 
1789.69/1790.03	c # should presolving try to simplify knapsacks
1789.69/1790.03	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.69/1790.03	c constraints/knapsack/simplifyinequalities = TRUE
1789.69/1790.03	c 
1789.69/1790.03	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.69/1790.03	c # [type: int, range: [-1,2147483647], default: -1]
1789.69/1790.03	c separating/rapidlearning/freq = 0
1789.69/1790.03	c 
1789.69/1790.03	c -----------------------------------------------------------------------------------------------
1789.69/1790.03	c start solving
1789.69/1790.04	c presolving:
1789.69/1790.04	c presolving (17 rounds):
1789.69/1790.04	c  18537 deleted vars, 18693 deleted constraints, 2142 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.69/1790.04	c  44471776 implications, 308 cliques
1789.69/1790.04	c presolving was interrupted.
1789.69/1790.04	c Presolving Time: 1789.49
1789.69/1790.04	c 
1789.69/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.69/1790.04	c Solving Time (sec) : 1789.63
1789.69/1790.04	c Solving Nodes      : 0
1789.69/1790.04	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.69/1790.04	s UNKNOWN
1789.69/1790.04	c SCIP Status        : solving was interrupted [time limit reached]
1789.69/1790.04	c Solving Time       :    1789.63
1789.69/1790.04	c Original Problem   :
1789.69/1790.04	c   Problem name     : HOME/instance-3743627-1338789335.opb
1789.69/1790.04	c   Variables        : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.04	c   Constraints      : 40950 initial, 40950 maximal
1789.69/1790.04	c Presolved Problem  :
1789.69/1790.04	c   Problem name     : t_HOME/instance-3743627-1338789335.opb
1789.69/1790.04	c   Variables        : 21914 (21914 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.69/1790.04	c   Constraints      : 22257 initial, 22257 maximal
1789.69/1790.04	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.69/1790.04	c   trivial          :       0.03        123          0          0          0          0          0          0          0
1789.69/1790.04	c   dualfix          :       0.04      16038          0          0          0          0          0          0          0
1789.69/1790.04	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.69/1790.04	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.69/1790.04	c   implics          :       0.04          0          1          0          0          0          0          0          0
1789.69/1790.04	c   probing          :    1788.05        119        114          0          0          0          0          0          0
1789.69/1790.04	c   knapsack         :       0.34          0          0          0          0          0          0          0          0
1789.69/1790.04	c   setppc           :       0.03          0          0          0          0          0         96          0          0
1789.69/1790.04	c   linear           :       0.70       2142          0          0       2142          0      18494          0          0
1789.69/1790.04	c   logicor          :       0.07          0          0          0          0          0        103          0          0
1789.69/1790.04	c   root node        :          -          0          -          -          0          -          -          -          -
1789.69/1790.04	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.69/1790.04	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.69/1790.04	c   knapsack         :          0+         0     118195          0          0          0          0          0          0          0
1789.69/1790.04	c   setppc           :          0+         0     118194          0          0         25          0          0          0          0
1789.69/1790.04	c   linear           :          0+         0       2555          0          0          0          0          0          0          0
1789.69/1790.04	c   logicor          :          0+         0     110004          0          0          7          0          0          0          0
1789.69/1790.04	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.69/1790.04	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.69/1790.04	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.69/1790.04	c   knapsack         :    1377.78       0.00    1377.78       0.00       0.00
1789.69/1790.04	c   setppc           :      11.03       0.00      11.03       0.00       0.00
1789.69/1790.04	c   linear           :       0.35       0.00       0.35       0.00       0.00
1789.69/1790.04	c   logicor          :      50.82       0.00      50.82       0.00       0.00
1789.69/1790.04	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.69/1790.04	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.69/1790.04	c   vbounds          :       0.03          1          0          0
1789.69/1790.04	c   rootredcost      :       0.02          0          0          0
1789.69/1790.04	c   pseudoobj        :       0.02          0          0          0
1789.69/1790.04	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.69/1790.04	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.69/1790.04	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.69/1790.04	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.69/1790.04	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.69/1790.04	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.69/1790.04	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.69/1790.04	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.88/1790.26	c Time complete: 1789.95.

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 5291
/proc/meminfo: memFree=29906416/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 1250 0 0 0 0 0 0 0 20 0 1 0 345062069 8105984 1196 33554432000 4194304 8395647 140734113211632 140737020354648 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 1979 1197 370 1026 0 949 0

[startup+0.100619 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 5291
/proc/meminfo: memFree=29906416/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=31804 CPUtime=0.09 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 7248 0 0 0 8 1 0 0 20 0 1 0 345062069 32567296 7188 33554432000 4194304 8395647 140734113211632 140737020354648 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 7951 7189 394 1026 0 6921 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 31804

[startup+0.200368 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 5291
/proc/meminfo: memFree=29906416/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=47008 CPUtime=0.19 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 11031 0 0 0 17 2 0 0 20 0 1 0 345062069 48136192 10971 33554432000 4194304 8395647 140734113211632 140737020354648 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 11752 10971 394 1026 0 10722 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 47008

[startup+0.300348 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 5291
/proc/meminfo: memFree=29906416/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=52700 CPUtime=0.28 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 12473 0 0 0 26 2 0 0 20 0 1 0 345062069 53964800 12413 33554432000 4194304 8395647 140734113211632 140737020354648 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 13175 12413 394 1026 0 12145 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 52700

[startup+0.700315 s]
/proc/loadavg: 2.00 2.00 1.96 3/176 5291
/proc/meminfo: memFree=29906416/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=134576 CPUtime=0.69 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 32813 0 0 0 63 6 0 0 20 0 1 0 345062069 137805824 32399 33554432000 4194304 8395647 140734113211632 140737020354648 5040140 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 33644 32399 471 1026 0 32614 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 134576

[startup+1.50034 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5330
/proc/meminfo: memFree=31309952/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=157400 CPUtime=1.48 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 39421 0 0 0 141 7 0 0 20 0 1 0 345062069 161177600 38181 33554432000 4194304 8395647 140734113211632 140734113207432 5604541 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 39350 38181 498 1026 0 38320 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 157400

[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5330
/proc/meminfo: memFree=31156440/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=225828 CPUtime=3.09 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 55633 0 0 0 299 10 0 0 20 0 1 0 345062069 231247872 54433 33554432000 4194304 8395647 140734113211632 140734113207496 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 56457 54433 498 1026 0 55427 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 225828

[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5330
/proc/meminfo: memFree=30973144/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=252372 CPUtime=6.28 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 61884 0 0 0 617 11 0 0 20 0 1 0 345062069 258428928 60684 33554432000 4194304 8395647 140734113211632 140734113207496 6080675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 63093 60684 498 1026 0 62063 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 252372

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.96 3/177 5330
/proc/meminfo: memFree=30870064/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=316568 CPUtime=12.68 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 77006 0 0 0 1254 14 0 0 20 0 1 0 345062069 324165632 75806 33554432000 4194304 8395647 140734113211632 140734113207496 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 79142 75806 498 1026 0 78112 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 316568

[startup+25.5006 s]
/proc/loadavg: 2.07 2.02 1.97 3/177 5330
/proc/meminfo: memFree=30720620/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=384244 CPUtime=25.47 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 93788 0 0 0 2530 17 0 0 20 0 1 0 345062069 393465856 92593 33554432000 4194304 8395647 140734113211632 140734113207496 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 96061 92593 498 1026 0 95031 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 384244

[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 1.97 3/177 5330
/proc/meminfo: memFree=30492180/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=507396 CPUtime=51.06 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 123680 0 0 0 5083 23 0 0 20 0 1 0 345062069 519573504 122748 33554432000 4194304 8395647 140734113211632 140734113207496 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 126849 122748 498 1026 0 125819 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 507396

[startup+102.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 5330
/proc/meminfo: memFree=30312052/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=532348 CPUtime=102.25 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 129945 0 0 0 10200 25 0 0 20 0 1 0 345062069 545124352 129279 33554432000 4194304 8395647 140734113211632 140734113207656 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 133087 129279 507 1026 0 132057 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 532348

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5330
/proc/meminfo: memFree=30286784/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=550864 CPUtime=162.23 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 134277 0 0 0 16198 25 0 0 20 0 1 0 345062069 564084736 134898 33554432000 4194304 8395647 140734113211632 140734113207704 6345754 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 137716 134898 507 1026 0 136686 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 550864

[startup+222.307 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5330
/proc/meminfo: memFree=30211668/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=626928 CPUtime=222.24 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 152666 0 0 0 22195 29 0 0 20 0 1 0 345062069 641974272 153694 33554432000 4194304 8395647 140734113211632 140734113207320 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 156732 153694 513 1026 0 155702 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 626928

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5333
/proc/meminfo: memFree=30130344/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=691808 CPUtime=282.21 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 168990 0 0 0 28189 32 0 0 20 0 1 0 345062069 708411392 170774 33554432000 4194304 8395647 140734113211632 140734113207320 6068889 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 172952 170774 513 1026 0 171922 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 691808

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/178 5357
/proc/meminfo: memFree=30098132/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=719136 CPUtime=342.21 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 175882 0 0 0 34187 34 0 0 20 0 1 0 345062069 736395264 177675 33554432000 4194304 8395647 140734113211632 140734113207656 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 179784 177675 513 1026 0 178754 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 719136

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5357
/proc/meminfo: memFree=30007400/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=752500 CPUtime=402.2 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 183688 0 0 0 40185 35 0 0 20 0 1 0 345062069 770560000 186133 33554432000 4194304 8395647 140734113211632 140734113207704 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 188125 186133 513 1026 0 187095 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 752500

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/177 5357
/proc/meminfo: memFree=29905196/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=813128 CPUtime=462.19 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 197286 0 0 0 46181 38 0 0 20 0 1 0 345062069 832643072 201605 33554432000 4194304 8395647 140734113211632 140734113207704 6080701 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 203282 201605 513 1026 0 202252 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 813128

[startup+522.3 s]
/proc/loadavg: 2.06 2.01 1.97 3/177 5357
/proc/meminfo: memFree=29803916/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=861328 CPUtime=522.17 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 209096 0 0 0 52177 40 0 0 20 0 1 0 345062069 881999872 213415 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 215332 213415 513 1026 0 214302 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 861328

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 1.97 3/177 5357
/proc/meminfo: memFree=29687508/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=911620 CPUtime=582.17 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 220832 0 0 0 58174 43 0 0 20 0 1 0 345062069 933498880 225151 33554432000 4194304 8395647 140734113211632 140734113207704 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 227905 225151 513 1026 0 226875 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 911620

[startup+642.3 s]

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

/proc/meminfo: memFree=29149916/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1166808 CPUtime=1002.1 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 284357 0 0 0 100155 55 0 0 20 0 1 0 345062069 1194811392 288676 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 291702 288676 513 1026 0 290672 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 1166808

[startup+1062.3 s]
/proc/loadavg: 2.04 2.01 1.98 3/177 5362
/proc/meminfo: memFree=29091664/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1199752 CPUtime=1062.1 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 292467 0 0 0 106152 58 0 0 20 0 1 0 345062069 1228546048 296786 33554432000 4194304 8395647 140734113211632 140734113207704 5210417 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 299938 296786 513 1026 0 298908 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 1199752

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.98 3/177 5362
/proc/meminfo: memFree=29024856/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1227740 CPUtime=1122.09 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 299865 0 0 0 112150 59 0 0 20 0 1 0 345062069 1257205760 304184 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 306935 304184 513 1026 0 305905 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 1227740

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 5362
/proc/meminfo: memFree=28958916/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1260692 CPUtime=1182.08 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 307567 0 0 0 118148 60 0 0 20 0 1 0 345062069 1290948608 311886 33554432000 4194304 8395647 140734113211632 140734113207496 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 315173 311886 513 1026 0 314143 0
Current children cumulated CPU time (s) 1182.08
Current children cumulated vsize (KiB) 1260692

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/177 5363
/proc/meminfo: memFree=28896076/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1287740 CPUtime=1242.07 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 314148 0 0 0 124146 61 0 0 20 0 1 0 345062069 1318645760 318467 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 321935 318467 513 1026 0 320905 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1287740

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.99 3/177 5363
/proc/meminfo: memFree=28824536/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1316732 CPUtime=1302.06 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 321399 0 0 0 130143 63 0 0 20 0 1 0 345062069 1348333568 325718 33554432000 4194304 8395647 140734113211632 140734113207704 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 329183 325718 513 1026 0 328153 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1316732

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 5363
/proc/meminfo: memFree=28745548/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1346712 CPUtime=1362.05 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 328949 0 0 0 136140 65 0 0 20 0 1 0 345062069 1379033088 333268 33554432000 4194304 8395647 140734113211632 140734113207704 6080661 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 336678 333268 513 1026 0 335648 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 1346712

[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5363
/proc/meminfo: memFree=28681316/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1380740 CPUtime=1422.05 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 337537 0 0 0 142138 67 0 0 20 0 1 0 345062069 1413877760 341856 33554432000 4194304 8395647 140734113211632 140734113207704 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 345185 341856 513 1026 0 344155 0
Current children cumulated CPU time (s) 1422.05
Current children cumulated vsize (KiB) 1380740

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/178 5366
/proc/meminfo: memFree=28605792/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1409636 CPUtime=1482.03 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 344983 0 0 0 148135 68 0 0 20 0 1 0 345062069 1443467264 349302 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 352409 349302 513 1026 0 351379 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 1409636

[startup+1542.31 s]
/proc/loadavg: 2.06 2.02 1.99 3/177 5367
/proc/meminfo: memFree=28525944/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1442456 CPUtime=1542.03 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 352817 0 0 0 154134 69 0 0 20 0 1 0 345062069 1477074944 357136 33554432000 4194304 8395647 140734113211632 140734113207320 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 360614 357136 513 1026 0 359584 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 1442456

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.99 3/177 5367
/proc/meminfo: memFree=28456876/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1472260 CPUtime=1602.02 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 360156 0 0 0 160131 71 0 0 20 0 1 0 345062069 1507594240 364475 33554432000 4194304 8395647 140734113211632 140734113207704 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 368065 364475 513 1026 0 367035 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 1472260

[startup+1662.3 s]
/proc/loadavg: 2.01 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28372432/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1503140 CPUtime=1662.01 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 367894 0 0 0 166129 72 0 0 20 0 1 0 345062069 1539215360 372213 33554432000 4194304 8395647 140734113211632 140734113207704 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 375785 372213 513 1026 0 374755 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 1503140

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28297164/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1532956 CPUtime=1721.99 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 375045 0 0 0 172126 73 0 0 20 0 1 0 345062069 1569746944 379364 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 383239 379364 513 1026 0 382209 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1532956

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28225244/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1562904 CPUtime=1781.99 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 382393 0 0 0 178124 75 0 0 20 0 1 0 345062069 1600413696 386874 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 390726 386874 513 1026 0 389696 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 1562904

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28220764/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1564888 CPUtime=1785.29 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 383161 0 0 0 178454 75 0 0 20 0 1 0 345062069 1602445312 387676 33554432000 4194304 8395647 140734113211632 140734113207320 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 391222 387676 513 1026 0 390192 0
Current children cumulated CPU time (s) 1785.29
Current children cumulated vsize (KiB) 1564888

[startup+1788.8 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28219276/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1565908 CPUtime=1788.49 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 383342 0 0 0 178774 75 0 0 20 0 1 0 345062069 1603489792 387857 33554432000 4194304 8395647 140734113211632 140734113207704 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 391477 387857 513 1026 0 390447 0
Current children cumulated CPU time (s) 1788.49
Current children cumulated vsize (KiB) 1565908

[startup+1789.6 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28219276/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1565908 CPUtime=1789.29 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 383425 0 0 0 178854 75 0 0 20 0 1 0 345062069 1603489792 387940 33554432000 4194304 8395647 140734113211632 140734113207704 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 391477 387940 513 1026 0 390447 0
Current children cumulated CPU time (s) 1789.29
Current children cumulated vsize (KiB) 1565908

[startup+1790 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28218780/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1565908 CPUtime=1789.69 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 383445 0 0 0 178894 75 0 0 20 0 1 0 345062069 1603489792 387960 33554432000 4194304 8395647 140734113211632 140734113207704 5604533 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 391477 387960 513 1026 0 390447 0
Current children cumulated CPU time (s) 1789.69
Current children cumulated vsize (KiB) 1565908

[startup+1790.2 s]
/proc/loadavg: 2.00 2.00 1.99 3/177 5367
/proc/meminfo: memFree=28218780/32873844 swapFree=7116/7116
[pid=5291] ppid=5289 vsize=1546944 CPUtime=1789.88 cores=1,3,5,7
/proc/5291/stat : 5291 (pbscip.linux.x8) R 5289 5291 4984 0 -1 4202496 383755 0 0 0 178911 77 0 0 20 0 1 0 345062069 1584070656 227569 33554432000 4194304 8395647 140734113211632 140734113207704 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/5291/statm: 386736 227269 521 1026 0 385706 0
Current children cumulated CPU time (s) 1789.88
Current children cumulated vsize (KiB) 1546944

Child status: 0
Real time (s): 1790.26
CPU time (s): 1789.96
CPU user time (s): 1789.15
CPU system time (s): 0.812876
CPU usage (%): 99.983
Max. virtual memory (cumulated for all children) (KiB): 1566932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.15
system time used= 0.812876
maximum resident set size= 1553076
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 383768
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= 35
involuntary context switches= 1840

runsolver used 3.04654 second user time and 8.42272 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-04 07:55:35
IDJOB=3743627
IDBENCH=91942
IDSOLVER=2326
FILE ID=node103/3743627-1338789335
RUNJOBID= node103-1338783950-5001
PBS_JOBID= 14636845
Free space on /tmp= 71112 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= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_50null10mast_rapportOE2.0_TMAX60_K67_cod1.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-3743627-1338789335/watcher-3743627-1338789335 -o /tmp/evaluation-result-3743627-1338789335/solver-3743627-1338789335 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743627-1338789335.opb -t 1800 -m 15500

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

MD5SUM BENCH= b63a917d588fe2910953571155dfae07
RANDOM SEED=1177753243

node103.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.189
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	: 5332.37
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.189
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.189
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.189
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.189
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.189
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	: 5411.36
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.189
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.91
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.189
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:        29907200 kB
Buffers:          204260 kB
Cached:           401512 kB
SwapCached:         5648 kB
Active:          1774604 kB
Inactive:         417164 kB
Active(anon):    1583512 kB
Inactive(anon):     4740 kB
Active(file):     191092 kB
Inactive(file):   412424 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:             12824 kB
Writeback:             0 kB
AnonPages:       1613104 kB
Mapped:            10976 kB
Shmem:                 0 kB
Slab:             633560 kB
SReclaimable:      74328 kB
SUnreclaim:       559232 kB
KernelStack:        1472 kB
PageTables:         7256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1712692 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1421312 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= 71100 MiB
End job on node103 at 2012-06-04 08:25:25