Trace number 3742853

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.64 1790.96

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_K67_cod1.opb
MD5SUMf41730055ea486b7e933c271a5f5a655
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-80
Best CPU time to get the best result obtained on this benchmark223.147
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 28908
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 903870
Number of bits of the sum of numbers in the objective function 20
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 903870
Number of bits of the biggest sum of numbers20
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-3742853-1338775528.opb>
0.39/0.44	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.44	c problem read
0.39/0.44	c presolving settings loaded
0.59/0.63	c presolving:
0.69/0.78	c (round 1) 3294 del vars, 3219 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12912 impls, 504 clqs
0.79/0.83	c (round 2) 4444 del vars, 4374 del conss, 1152 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13588 impls, 503 clqs
0.79/0.89	c (round 3) 5045 del vars, 4975 del conss, 1753 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14634 impls, 503 clqs
0.88/0.94	c (round 4) 5464 del vars, 5394 del conss, 2172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16300 impls, 503 clqs
0.88/0.99	c (round 5) 5792 del vars, 5722 del conss, 2500 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17978 impls, 503 clqs
0.99/1.04	c (round 6) 6057 del vars, 5987 del conss, 2765 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18682 impls, 503 clqs
0.99/1.08	c (round 7) 6267 del vars, 6197 del conss, 2975 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20210 impls, 503 clqs
1.09/1.13	c (round 8) 6464 del vars, 6394 del conss, 3172 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21122 impls, 503 clqs
1.09/1.17	c (round 9) 6485 del vars, 6415 del conss, 3193 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21736 impls, 503 clqs
1.18/1.21	c (round 10) 6545 del vars, 6475 del conss, 3253 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22334 impls, 503 clqs
105.96/106.07	c (round 11) 6657 del vars, 6541 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34344 upgd conss, 8268594 impls, 503 clqs
106.16/106.28	c (round 12) 6657 del vars, 6652 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 8268686 impls, 504 clqs
210.84/210.96	c (round 13) 6731 del vars, 6652 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 9342824 impls, 504 clqs
211.34/211.46	c (round 14) 6731 del vars, 6726 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 9342932 impls, 504 clqs
408.82/408.99	c (round 15) 6783 del vars, 6726 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 11783512 impls, 504 clqs
409.42/409.54	c (round 16) 6783 del vars, 6778 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 11783620 impls, 504 clqs
722.35/722.58	c (round 17) 6833 del vars, 6778 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 16798966 impls, 504 clqs
722.95/723.17	c (round 18) 6833 del vars, 6828 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 16798966 impls, 504 clqs
852.12/852.40	c    (852.0s) probing: 1000/33905 (2.9%) - 306 fixings, 13 aggregations, 3810380 implications, 0 bound changes
897.81/898.00	c (round 19) 6883 del vars, 6828 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 19143842 impls, 504 clqs
898.32/898.60	c (round 20) 6883 del vars, 6878 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 19143842 impls, 504 clqs
1145.48/1145.78	c (round 21) 6933 del vars, 6878 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 21291776 impls, 504 clqs
1146.08/1146.38	c (round 22) 6933 del vars, 6928 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 21291776 impls, 504 clqs
1668.79/1669.11	c    (1668.7s) probing: 2000/33905 (5.9%) - 390 fixings, 21 aggregations, 7791836 implications, 0 bound changes
1790.38/1790.77	c    (1790.3s) probing: 2138/33905 (6.3%) - 394 fixings, 21 aggregations, 8404077 implications, 0 bound changes
1790.38/1790.77	c    (1790.3s) probing aborted: solving stopped
1790.38/1790.77	c (round 23) 6961 del vars, 6928 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 34409 upgd conss, 28308314 impls, 504 clqs
1790.38/1790.77	c presolving (23 rounds):
1790.38/1790.77	c  6961 deleted vars, 6928 deleted constraints, 3254 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1790.38/1790.77	c  28308314 implications, 504 cliques
1790.38/1790.77	c presolving was interrupted.
1790.38/1790.77	c Presolving Time: 1790.21
1790.38/1790.77	c - non default parameters ----------------------------------------------------------------------
1790.38/1790.77	c # SCIP version 1.2.1.3
1790.38/1790.77	c 
1790.38/1790.77	c # frequency for displaying node information lines
1790.38/1790.77	c # [type: int, range: [-1,2147483647], default: 100]
1790.38/1790.77	c display/freq = 10000
1790.38/1790.77	c 
1790.38/1790.77	c # maximal time in seconds to run
1790.38/1790.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1790.38/1790.77	c limits/time = 1789.57
1790.38/1790.77	c 
1790.38/1790.77	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1790.38/1790.77	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1790.38/1790.77	c limits/memory = 13950
1790.38/1790.77	c 
1790.38/1790.77	c # default clock type (1: CPU user seconds, 2: wall clock time)
1790.38/1790.77	c # [type: int, range: [1,2], default: 1]
1790.38/1790.77	c timing/clocktype = 2
1790.38/1790.77	c 
1790.38/1790.77	c # should presolving try to simplify inequalities
1790.38/1790.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1790.38/1790.77	c constraints/linear/simplifyinequalities = TRUE
1790.38/1790.77	c 
1790.38/1790.77	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1790.38/1790.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1790.38/1790.77	c constraints/indicator/addCouplingCons = TRUE
1790.38/1790.77	c 
1790.38/1790.77	c # should presolving try to simplify knapsacks
1790.38/1790.77	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1790.38/1790.77	c constraints/knapsack/simplifyinequalities = TRUE
1790.38/1790.77	c 
1790.38/1790.77	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1790.38/1790.77	c # [type: int, range: [-1,2147483647], default: -1]
1790.38/1790.77	c separating/rapidlearning/freq = 0
1790.38/1790.77	c 
1790.38/1790.77	c -----------------------------------------------------------------------------------------------
1790.38/1790.77	c start solving
1790.38/1790.79	c presolving:
1790.38/1790.79	c presolving (23 rounds):
1790.38/1790.79	c  6961 deleted vars, 6928 deleted constraints, 3254 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1790.38/1790.79	c  28308314 implications, 504 cliques
1790.38/1790.79	c presolving was interrupted.
1790.38/1790.79	c Presolving Time: 1790.22
1790.38/1790.79	c 
1790.38/1790.79	c SCIP Status        : solving was interrupted [time limit reached]
1790.38/1790.79	c Solving Time (sec) : 1790.35
1790.38/1790.79	c Solving Nodes      : 0
1790.38/1790.79	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1790.38/1790.79	s UNKNOWN
1790.38/1790.79	c SCIP Status        : solving was interrupted [time limit reached]
1790.38/1790.79	c Solving Time       :    1790.35
1790.38/1790.79	c Original Problem   :
1790.38/1790.79	c   Problem name     : HOME/instance-3742853-1338775528.opb
1790.38/1790.79	c   Variables        : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.79	c   Constraints      : 40950 initial, 40950 maximal
1790.38/1790.79	c Presolved Problem  :
1790.38/1790.79	c   Problem name     : t_HOME/instance-3742853-1338775528.opb
1790.38/1790.79	c   Variables        : 33490 (33490 binary, 0 integer, 0 implicit integer, 0 continuous)
1790.38/1790.79	c   Constraints      : 34022 initial, 34022 maximal
1790.38/1790.79	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1790.38/1790.79	c   trivial          :       0.04        123          0          0          0          0          0          0          0
1790.38/1790.79	c   dualfix          :       0.03       3168          0          0          0          0          0          0          0
1790.38/1790.79	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1790.38/1790.79	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1790.38/1790.79	c   implics          :       0.07          0          1          0          0          0          0          0          0
1790.38/1790.79	c   probing          :    1785.31        394         21          0          0          0          0          0          0
1790.38/1790.79	c   knapsack         :       2.80          0          0          0          0          0          0          0          0
1790.38/1790.79	c   setppc           :       0.09          0          0          0          0          0        246          0          0
1790.38/1790.79	c   linear           :       1.37       3254          0          0       3254          0       6541          0          0
1790.38/1790.79	c   logicor          :       0.35          0          0          0          0          0        141          0          0
1790.38/1790.79	c   root node        :          -          0          -          -          0          -          -          -          -
1790.38/1790.79	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1790.38/1790.79	c   integral         :          0          0          0          0          0          0          0          0          0          0
1790.38/1790.79	c   knapsack         :          0+         0      18263          0          0         79          0          0          0          0
1790.38/1790.79	c   setppc           :          0+         0      18183          0          0        116          0          0          0          0
1790.38/1790.79	c   linear           :          0+         0       1924          0          0          0          0          0          0          0
1790.38/1790.79	c   logicor          :          0+         0      15430          0          0         37          0          0          0          0
1790.38/1790.79	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1790.38/1790.79	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1790.38/1790.79	c   integral         :       0.00       0.00       0.00       0.00       0.00
1790.38/1790.79	c   knapsack         :    1525.71       0.00    1525.71       0.00       0.00
1790.38/1790.79	c   setppc           :       2.42       0.00       2.42       0.00       0.00
1790.38/1790.79	c   linear           :       0.22       0.00       0.22       0.00       0.00
1790.38/1790.79	c   logicor          :       7.59       0.00       7.59       0.00       0.00
1790.38/1790.79	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1790.38/1790.79	c Propagators        :       Time      Calls    Cutoffs    DomReds
1790.38/1790.79	c   vbounds          :       0.01          1          0          0
1790.38/1790.79	c   rootredcost      :       0.01          0          0          0
1790.38/1790.79	c   pseudoobj        :       0.01          0          0          0
1790.38/1790.79	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1790.38/1790.79	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1790.38/1790.79	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1790.38/1790.79	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1790.38/1790.79	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1790.38/1790.79	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1790.38/1790.79	c   applied globally :          -          -          -          0        0.0          -          -          -
1790.38/1790.79	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.57/1790.95	c Time complete: 1790.64.

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-3742853-1338775528/watcher-3742853-1338775528 -o /tmp/evaluation-result-3742853-1338775528/solver-3742853-1338775528 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742853-1338775528.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: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=7916 CPUtime=0 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 1248 0 0 0 0 0 0 0 20 0 1 0 343678250 8105984 1194 33554432000 4194304 8395647 140734120708592 140735286607672 7430272 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 1979 1195 370 1026 0 949 0

[startup+0.0668339 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=32892 CPUtime=0.05 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 7518 0 0 0 5 0 0 0 20 0 1 0 343678250 33681408 7458 33554432000 4194304 8395647 140734120708592 140734120571096 4403588 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 8259 7462 394 1026 0 7229 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 32892

[startup+0.100265 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=38268 CPUtime=0.09 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 8833 0 0 0 8 1 0 0 20 0 1 0 343678250 39186432 8773 33554432000 4194304 8395647 140734120708592 140734120571096 5757912 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 9567 8773 394 1026 0 8537 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38268

[startup+0.300215 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=51944 CPUtime=0.29 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 12254 0 0 0 27 2 0 0 20 0 1 0 343678250 53190656 12194 33554432000 4194304 8395647 140734120708592 140734120573800 7382041 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 12986 12194 394 1026 0 11956 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51944

[startup+0.700254 s]
/proc/loadavg: 1.94 1.99 1.86 3/178 12448
/proc/meminfo: memFree=27985176/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=135912 CPUtime=0.69 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 33105 0 0 0 65 4 0 0 20 0 1 0 343678250 139173888 32691 33554432000 4194304 8395647 140734120708592 140734120573800 4962932 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 33978 32691 471 1026 0 32948 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 135912

[startup+1.50017 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27754464/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=140248 CPUtime=1.48 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 35039 0 0 0 144 4 0 0 20 0 1 0 343678250 143613952 33799 33554432000 4194304 8395647 140734120708592 140734120705816 5019732 0 0 4096 16384 0 0 0 17 6 0 0 0 0 0
/proc/12448/statm: 35062 33799 478 1026 0 34032 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 140248

[startup+3.10022 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27720612/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=232640 CPUtime=3.09 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 57312 0 0 0 301 8 0 0 20 0 1 0 343678250 238223360 56040 33554432000 4194304 8395647 140734120708592 140734120704456 6080653 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 58160 56040 498 1026 0 57130 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 232640

[startup+6.3003 s]
/proc/loadavg: 1.94 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27468900/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=307548 CPUtime=6.29 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 74680 0 0 0 618 11 0 0 20 0 1 0 343678250 314929152 73408 33554432000 4194304 8395647 140734120708592 140734120704456 6080688 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 76887 73408 498 1026 0 75857 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 307548

[startup+12.7002 s]
/proc/loadavg: 1.95 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27406244/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=337420 CPUtime=12.68 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 81956 0 0 0 1256 12 0 0 20 0 1 0 343678250 345518080 80684 33554432000 4194304 8395647 140734120708592 140734120704456 5604533 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 84355 80684 498 1026 0 83325 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 337420

[startup+25.5003 s]
/proc/loadavg: 1.96 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27258188/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=400936 CPUtime=25.48 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 97617 0 0 0 2532 16 0 0 20 0 1 0 343678250 410558464 96345 33554432000 4194304 8395647 140734120708592 140734120704456 6080661 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/12448/statm: 100234 96345 498 1026 0 99204 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 400936

[startup+51.1004 s]
/proc/loadavg: 1.97 1.99 1.86 3/179 12449
/proc/meminfo: memFree=27033468/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=535672 CPUtime=51.07 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 129594 0 0 0 5086 21 0 0 20 0 1 0 343678250 548528128 128322 33554432000 4194304 8395647 140734120708592 140734120704456 6080675 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 133918 128322 498 1026 0 132888 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 535672

[startup+102.307 s]
/proc/loadavg: 1.99 1.99 1.87 3/179 12449
/proc/meminfo: memFree=26741120/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=696096 CPUtime=102.27 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 169417 0 0 0 10199 28 0 0 20 0 1 0 343678250 712802304 168145 33554432000 4194304 8395647 140734120708592 140734120704456 6068869 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 174024 168145 498 1026 0 172994 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 696096

[startup+162.3 s]
/proc/loadavg: 1.99 1.99 1.87 3/179 12450
/proc/meminfo: memFree=26567052/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=731336 CPUtime=162.25 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 178505 0 0 0 16196 29 0 0 20 0 1 0 343678250 748888064 177233 33554432000 4194304 8395647 140734120708592 140734120704616 6080679 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 182834 177233 507 1026 0 181804 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 731336

[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/179 12450
/proc/meminfo: memFree=26551456/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=741220 CPUtime=222.25 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 180980 0 0 0 22195 30 0 0 20 0 1 0 343678250 759009280 179708 33554432000 4194304 8395647 140734120708592 140734120704616 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185305 179708 507 1026 0 184275 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 741220

[startup+282.3 s]
/proc/loadavg: 1.99 1.99 1.88 3/180 12453
/proc/meminfo: memFree=26548964/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=741220 CPUtime=282.24 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 180980 0 0 0 28194 30 0 0 20 0 1 0 343678250 759009280 179708 33554432000 4194304 8395647 140734120708592 140734120704616 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185305 179708 507 1026 0 184275 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 741220

[startup+342.3 s]
/proc/loadavg: 1.99 1.99 1.89 3/179 12453
/proc/meminfo: memFree=26538492/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=741220 CPUtime=342.23 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 180980 0 0 0 34193 30 0 0 20 0 1 0 343678250 759009280 179708 33554432000 4194304 8395647 140734120708592 140734120704616 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185305 179708 507 1026 0 184275 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 741220

[startup+402.3 s]
/proc/loadavg: 2.07 2.00 1.90 3/179 12453
/proc/meminfo: memFree=26491772/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=743320 CPUtime=402.22 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 181505 0 0 0 40192 30 0 0 20 0 1 0 343678250 761159680 180233 33554432000 4194304 8395647 140734120708592 140734120704664 6345902 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 185830 180233 507 1026 0 184800 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 743320

[startup+462.3 s]
/proc/loadavg: 2.02 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26413804/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=750432 CPUtime=462.21 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 183283 0 0 0 46191 30 0 0 20 0 1 0 343678250 768442368 182011 33554432000 4194304 8395647 140734120708592 140734120704616 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 187608 182011 507 1026 0 186578 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 750432

[startup+522.3 s]
/proc/loadavg: 2.01 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26309052/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=752536 CPUtime=522.2 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 183809 0 0 0 52190 30 0 0 20 0 1 0 343678250 770596864 182537 33554432000 4194304 8395647 140734120708592 140734120704664 4247653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 188134 182537 507 1026 0 187104 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 752536

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/179 12454
/proc/meminfo: memFree=26220792/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=764820 CPUtime=582.19 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 186880 0 0 0 58189 30 0 0 20 0 1 0 343678250 783175680 185608 33554432000 4194304 8395647 140734120708592 140734120704664 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 191205 185608 507 1026 0 190175 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 764820

[startup+642.3 s]

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

/proc/meminfo: memFree=25768968/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=893612 CPUtime=1002.1 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 218582 0 0 0 100174 36 0 0 20 0 1 0 343678250 915058688 220075 33554432000 4194304 8395647 140734120708592 140734120704520 6080653 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 223403 220075 513 1026 0 222373 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 893612

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 12458
/proc/meminfo: memFree=25708980/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=901796 CPUtime=1062.09 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 220728 0 0 0 106173 36 0 0 20 0 1 0 343678250 923439104 223536 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 225449 223536 513 1026 0 224419 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 901796

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/178 12459
/proc/meminfo: memFree=25673676/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=924224 CPUtime=1122.08 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 226238 0 0 0 112171 37 0 0 20 0 1 0 343678250 946405376 229287 33554432000 4194304 8395647 140734120708592 140734120704456 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 231056 229287 513 1026 0 230026 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 924224

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12460
/proc/meminfo: memFree=25661296/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=935364 CPUtime=1182.06 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 228726 0 0 0 118169 37 0 0 20 0 1 0 343678250 957812736 232192 33554432000 4194304 8395647 140734120708592 140734120704520 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 233841 232192 513 1026 0 232811 0
Current children cumulated CPU time (s) 1182.06
Current children cumulated vsize (KiB) 935364

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 1.93 3/179 12460
/proc/meminfo: memFree=25644524/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=947436 CPUtime=1242.06 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 231533 0 0 0 124168 38 0 0 20 0 1 0 343678250 970174464 235560 33554432000 4194304 8395647 140734120708592 140734120704664 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 236859 235560 513 1026 0 235829 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 947436

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 1.93 3/179 12460
/proc/meminfo: memFree=25613700/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=976916 CPUtime=1302.06 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 238799 0 0 0 130167 39 0 0 20 0 1 0 343678250 1000361984 242826 33554432000 4194304 8395647 140734120708592 140734120704664 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 244229 242826 513 1026 0 243199 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 976916

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12460
/proc/meminfo: memFree=25590884/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=998908 CPUtime=1362.04 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 244131 0 0 0 136165 39 0 0 20 0 1 0 343678250 1022881792 248158 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 249727 248158 513 1026 0 248697 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 998908

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12461
/proc/meminfo: memFree=25567572/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1012988 CPUtime=1422.04 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 247543 0 0 0 142164 40 0 0 20 0 1 0 343678250 1037299712 251570 33554432000 4194304 8395647 140734120708592 140734120704664 4911287 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 253247 251570 513 1026 0 252217 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1012988

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/180 12464
/proc/meminfo: memFree=25520660/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1031052 CPUtime=1482.02 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 251354 0 0 0 148162 40 0 0 20 0 1 0 343678250 1055797248 255381 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 257763 255381 513 1026 0 256733 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1031052

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25483748/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1039068 CPUtime=1542.02 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 253507 0 0 0 154161 41 0 0 20 0 1 0 343678250 1064005632 257534 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 259767 257534 513 1026 0 258737 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1039068

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25435016/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1069504 CPUtime=1602.01 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 261065 0 0 0 160159 42 0 0 20 0 1 0 343678250 1095172096 265092 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 267376 265092 513 1026 0 266346 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1069504

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12464
/proc/meminfo: memFree=25375992/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1098812 CPUtime=1661.99 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 268465 0 0 0 166157 42 0 0 20 0 1 0 343678250 1125183488 272492 33554432000 4194304 8395647 140734120708592 140734120704664 6080665 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 274703 272492 513 1026 0 273673 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 1098812

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25323540/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1131984 CPUtime=1721.99 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 276245 0 0 0 172156 43 0 0 20 0 1 0 343678250 1159151616 280272 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 282996 280272 513 1026 0 281966 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1131984

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25246660/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1173492 CPUtime=1781.98 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 286374 0 0 0 178153 45 0 0 20 0 1 0 343678250 1201655808 290401 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293373 290401 513 1026 0 292343 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1173492

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25243808/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1174512 CPUtime=1785.18 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 286772 0 0 0 178473 45 0 0 20 0 1 0 343678250 1202700288 290799 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293628 290799 513 1026 0 292598 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1174512

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25238228/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1175480 CPUtime=1788.38 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 287020 0 0 0 178793 45 0 0 20 0 1 0 343678250 1203691520 291047 33554432000 4194304 8395647 140734120708592 140734120704664 4911325 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293870 291047 513 1026 0 292840 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1175480

[startup+1790.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12465
/proc/meminfo: memFree=25236492/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1178516 CPUtime=1789.98 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 287520 0 0 0 178953 45 0 0 20 0 1 0 343678250 1206800384 291547 33554432000 4194304 8395647 140734120708592 140734120704664 4911327 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 294629 291547 513 1026 0 293599 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1178516

[startup+1790.7 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12503
/proc/meminfo: memFree=26809084/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1178516 CPUtime=1790.38 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 287520 0 0 0 178993 45 0 0 20 0 1 0 343678250 1206800384 291547 33554432000 4194304 8395647 140734120708592 140734120704664 4911307 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 294629 291547 513 1026 0 293599 0
Current children cumulated CPU time (s) 1790.38
Current children cumulated vsize (KiB) 1178516

[startup+1790.9 s]
/proc/loadavg: 2.00 2.00 1.93 3/179 12503
/proc/meminfo: memFree=26809084/32873844 swapFree=7124/7124
[pid=12448] ppid=12446 vsize=1174512 CPUtime=1790.57 cores=0,2,4,6
/proc/12448/stat : 12448 (pbscip.linux.x8) R 12446 12448 12290 0 -1 4202496 288026 0 0 0 179012 45 0 0 20 0 1 0 343678250 1202700288 291045 33554432000 4194304 8395647 140734120708592 140734120704392 6076037 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12448/statm: 293628 291045 520 1026 0 292598 0
Current children cumulated CPU time (s) 1790.57
Current children cumulated vsize (KiB) 1174512

Child status: 0
Real time (s): 1790.96
CPU time (s): 1790.64
CPU user time (s): 1790.16
CPU system time (s): 0.481926
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 1180560

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1790.16
system time used= 0.481926
maximum resident set size= 1168212
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 288040
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= 38
involuntary context switches= 2993

runsolver used 3.34649 second user time and 8.41672 second system time

The end

Launcher Data

Begin job on node134 at 2012-06-04 04:05:29
IDJOB=3742853
IDBENCH=90367
IDSOLVER=2326
FILE ID=node134/3742853-1338775528
RUNJOBID= node134-1338773738-12306
PBS_JOBID= 14636824
Free space on /tmp= 70344 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-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null10mast_rapportOE2.0_TMAX15_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-3742853-1338775528/watcher-3742853-1338775528 -o /tmp/evaluation-result-3742853-1338775528/solver-3742853-1338775528 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3742853-1338775528.opb -t 1800 -m 15500

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

MD5SUM BENCH= f41730055ea486b7e933c271a5f5a655
RANDOM SEED=479997712

node134.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		: 2667.278
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	: 5334.55
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		: 2667.278
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	: 5332.56
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.59
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.55
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		: 2667.278
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	: 5332.57
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		: 2667.278
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	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27986184 kB
Buffers:          507664 kB
Cached:          3430448 kB
SwapCached:           76 kB
Active:          1851584 kB
Inactive:        2133408 kB
Active(anon):      38736 kB
Inactive(anon):    10496 kB
Active(file):    1812848 kB
Inactive(file):  2122912 kB
Unevictable:        7124 kB
Mlocked:            7124 kB
SwapTotal:      67108856 kB
SwapFree:       67107756 kB
Dirty:             26044 kB
Writeback:             0 kB
AnonPages:        198548 kB
Mapped:            12456 kB
Shmem:                96 kB
Slab:             763244 kB
SReclaimable:     204984 kB
SUnreclaim:       558260 kB
KernelStack:        1488 kB
PageTables:         3504 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     162148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346376 kB
VmallocChunk:   34341987860 kB
HardwareCorrupted:     0 kB
AnonHugePages:    145408 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= 70336 MiB
End job on node134 at 2012-06-04 04:35:20