Trace number 2704966

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
SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.13 1790.56

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j30opt/
normalized-j3045_1.std.opb
MD5SUM7c0aafdcb1e0398015b227f9c2ae71a5
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark82
Best CPU time to get the best result obtained on this benchmark12.3311
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables18662
Total number of constraints65722
Number of constraints which are clauses64522
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1200
Minimum length of a constraint1
Maximum length of a constraint30
Number of terms in the objective function 300
Biggest coefficient in the objective function 300
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 45150
Number of bits of the sum of numbers in the objective function 16
Biggest number in a constraint 300
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 45150
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-2704966-1278582960.opb>
0.99/1.08	c original problem has 18662 variables (18662 bin, 0 int, 0 impl, 0 cont) and 65722 constraints
0.99/1.08	c problem read
0.99/1.08	c presolving settings loaded
1.39/1.43	c presolving:
5.60/5.69	c (round 1) 1212 del vars, 3146 del conss, 909 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4489460 impls, 0 clqs
6.79/6.80	c (round 2) 2238 del vars, 7907 del conss, 1839 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 4495185 impls, 0 clqs
7.09/7.13	c (round 3) 2664 del vars, 9730 del conss, 2101 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4498152 impls, 0 clqs
7.29/7.31	c (round 4) 2852 del vars, 10553 del conss, 2201 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500197 impls, 0 clqs
7.39/7.42	c (round 5) 2940 del vars, 10975 del conss, 2256 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500671 impls, 0 clqs
7.39/7.49	c (round 6) 2966 del vars, 11119 del conss, 2276 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500776 impls, 0 clqs
7.49/7.54	c (round 7) 2980 del vars, 11190 del conss, 2277 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500802 impls, 0 clqs
7.49/7.58	c (round 8) 2980 del vars, 11196 del conss, 2277 chg bounds, 23 chg sides, 33 chg coeffs, 0 upgd conss, 4500802 impls, 0 clqs
7.99/8.04	c (round 9) 2980 del vars, 11198 del conss, 2277 chg bounds, 23 chg sides, 33 chg coeffs, 54524 upgd conss, 4500802 impls, 0 clqs
8.49/8.59	c (round 10) 3029 del vars, 11265 del conss, 2280 chg bounds, 48 chg sides, 234 chg coeffs, 54524 upgd conss, 4526307 impls, 2068 clqs
8.89/8.98	c (round 11) 3032 del vars, 11416 del conss, 2280 chg bounds, 88 chg sides, 468 chg coeffs, 54524 upgd conss, 4526773 impls, 2203 clqs
9.18/9.22	c (round 12) 3032 del vars, 11446 del conss, 2280 chg bounds, 122 chg sides, 658 chg coeffs, 54524 upgd conss, 4526803 impls, 2249 clqs
480.97/481.10	c    (480.0s) probing: 1000/15630 (6.4%) - 27 fixings, 2 aggregations, 4323093 implications, 0 bound changes
971.06/971.36	c    (970.3s) probing: 2000/15630 (12.8%) - 41 fixings, 4 aggregations, 7777510 implications, 0 bound changes
972.56/972.88	c (round 13) 3084 del vars, 11446 del conss, 2280 chg bounds, 127 chg sides, 707 chg coeffs, 54524 upgd conss, 26936979 impls, 2223 clqs
975.56/975.89	c (round 14) 3120 del vars, 11818 del conss, 2280 chg bounds, 130 chg sides, 883 chg coeffs, 54524 upgd conss, 26989513 impls, 2223 clqs
977.15/977.40	c (round 15) 3120 del vars, 11854 del conss, 2280 chg bounds, 138 chg sides, 952 chg coeffs, 54524 upgd conss, 26989551 impls, 2462 clqs
1147.31/1147.62	c (round 16) 3170 del vars, 11854 del conss, 2280 chg bounds, 138 chg sides, 954 chg coeffs, 54524 upgd conss, 31237001 impls, 2236 clqs
1149.51/1149.87	c (round 17) 3186 del vars, 12121 del conss, 2280 chg bounds, 138 chg sides, 1081 chg coeffs, 54524 upgd conss, 31245521 impls, 2236 clqs
1150.71/1151.02	c (round 18) 3186 del vars, 12136 del conss, 2280 chg bounds, 138 chg sides, 1081 chg coeffs, 54524 upgd conss, 31245521 impls, 2482 clqs
1311.38/1311.70	c    (1310.6s) probing: 3000/15630 (19.2%) - 103 fixings, 19 aggregations, 11702535 implications, 0 bound changes
1501.14/1501.50	c (round 19) 3237 del vars, 12136 del conss, 2280 chg bounds, 138 chg sides, 1081 chg coeffs, 54524 upgd conss, 42604547 impls, 2482 clqs
1503.43/1503.82	c (round 20) 3250 del vars, 12347 del conss, 2280 chg bounds, 138 chg sides, 1081 chg coeffs, 54524 upgd conss, 42605127 impls, 2482 clqs
1503.83/1504.28	c (round 21) 3250 del vars, 12360 del conss, 2280 chg bounds, 138 chg sides, 1081 chg coeffs, 54524 upgd conss, 42605127 impls, 2482 clqs
1652.39/1652.89	c    (1651.8s) probing: 4000/15630 (25.6%) - 141 fixings, 33 aggregations, 15577884 implications, 0 bound changes
1789.56/1790.05	c    (1789.0s) probing: 4423/15630 (28.3%) - 150 fixings, 37 aggregations, 16951189 implications, 0 bound changes
1789.56/1790.05	c    (1789.0s) probing aborted: solving stopped
1789.56/1790.06	c (round 22) 3284 del vars, 12360 del conss, 2280 chg bounds, 138 chg sides, 1081 chg coeffs, 54524 upgd conss, 49696027 impls, 2482 clqs
1789.56/1790.06	c presolving (22 rounds):
1789.56/1790.06	c  3284 deleted vars, 12360 deleted constraints, 2280 tightened bounds, 0 added holes, 138 changed sides, 1081 changed coefficients
1789.56/1790.06	c  49696027 implications, 2482 cliques
1789.56/1790.06	c presolving was interrupted.
1789.56/1790.06	c Presolving Time: 1788.74
1789.56/1790.06	c - non default parameters ----------------------------------------------------------------------
1789.56/1790.06	c # SCIP version 1.2.1.3
1789.56/1790.06	c 
1789.56/1790.06	c # frequency for displaying node information lines
1789.56/1790.06	c # [type: int, range: [-1,2147483647], default: 100]
1789.56/1790.06	c display/freq = 10000
1789.56/1790.06	c 
1789.56/1790.06	c # maximal time in seconds to run
1789.56/1790.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.56/1790.06	c limits/time = 1788.93
1789.56/1790.06	c 
1789.56/1790.06	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.56/1790.06	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.56/1790.06	c limits/memory = 1620
1789.56/1790.06	c 
1789.56/1790.06	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.56/1790.06	c # [type: int, range: [1,2], default: 1]
1789.56/1790.06	c timing/clocktype = 2
1789.56/1790.06	c 
1789.56/1790.06	c # should presolving try to simplify inequalities
1789.56/1790.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.56/1790.06	c constraints/linear/simplifyinequalities = TRUE
1789.56/1790.06	c 
1789.56/1790.06	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.56/1790.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.56/1790.06	c constraints/indicator/addCouplingCons = TRUE
1789.56/1790.06	c 
1789.56/1790.06	c # should presolving try to simplify knapsacks
1789.56/1790.06	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.56/1790.06	c constraints/knapsack/simplifyinequalities = TRUE
1789.56/1790.06	c 
1789.56/1790.06	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.56/1790.06	c # [type: int, range: [-1,2147483647], default: -1]
1789.56/1790.06	c separating/rapidlearning/freq = 0
1789.56/1790.06	c 
1789.56/1790.06	c -----------------------------------------------------------------------------------------------
1789.56/1790.06	c start solving
1789.56/1790.09	c presolving:
1789.56/1790.09	c presolving (22 rounds):
1789.56/1790.09	c  3284 deleted vars, 12360 deleted constraints, 2280 tightened bounds, 0 added holes, 138 changed sides, 1081 changed coefficients
1789.56/1790.09	c  49696027 implications, 2482 cliques
1789.56/1790.09	c presolving was interrupted.
1789.56/1790.09	c Presolving Time: 1788.77
1789.56/1790.09	c 
1789.56/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.56/1790.09	c Solving Time (sec) : 1789.01
1789.56/1790.09	c Solving Nodes      : 0
1789.56/1790.09	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.56/1790.09	s UNKNOWN
1789.56/1790.09	c SCIP Status        : solving was interrupted [time limit reached]
1789.56/1790.09	c Solving Time       :    1789.01
1789.56/1790.09	c Original Problem   :
1789.56/1790.09	c   Problem name     : HOME/instance-2704966-1278582960.opb
1789.56/1790.09	c   Variables        : 18662 (18662 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.09	c   Constraints      : 65722 initial, 65722 maximal
1789.56/1790.09	c Presolved Problem  :
1789.56/1790.09	c   Problem name     : t_HOME/instance-2704966-1278582960.opb
1789.56/1790.09	c   Variables        : 15378 (15378 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.56/1790.09	c   Constraints      : 53455 initial, 53455 maximal
1789.56/1790.09	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.56/1790.09	c   trivial          :       0.06        172          0          0          0          0          0          0          0
1789.56/1790.09	c   dualfix          :       0.09         30          0          0          0          0          0          0          0
1789.56/1790.09	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.09	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.56/1790.09	c   implics          :       4.33          0         89          0          0          0          0          0          0
1789.56/1790.09	c   probing          :    1768.79        150         37          0          0          0          0          0          0
1789.56/1790.09	c   knapsack         :       7.99          0          0          0          3          0          9        115       1048
1789.56/1790.09	c   setppc           :       0.76         25          0          0          0          0       1113          0          0
1789.56/1790.09	c   linear           :       6.19       2108        673          0       2277          0      11198         23         33
1789.56/1790.09	c   logicor          :       0.26          0          0          0          0          0         40          0          0
1789.56/1790.09	c   root node        :          -          0          -          -          0          -          -          -          -
1789.56/1790.09	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.56/1790.09	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.56/1790.09	c   knapsack         :          0+         0     214078          0          0         28          0          0          0          0
1789.56/1790.09	c   setppc           :          0+         0     214050          0          0         26          0          0          0          0
1789.56/1790.09	c   linear           :          0+         0          0          0          0          0          0          0          0          0
1789.56/1790.09	c   logicor          :          0+         0     198549          0          0         54          0          0          0          0
1789.56/1790.09	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.56/1790.09	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.56/1790.09	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.56/1790.09	c   knapsack         :      35.81       0.00      35.81       0.00       0.00
1789.56/1790.09	c   setppc           :    1012.57       0.00    1012.57       0.00       0.00
1789.56/1790.09	c   linear           :       0.00       0.00       0.00       0.00       0.00
1789.56/1790.09	c   logicor          :      18.01       0.00      18.01       0.00       0.00
1789.56/1790.09	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.56/1790.09	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.56/1790.09	c   vbounds          :       0.19          1          0          0
1789.56/1790.09	c   rootredcost      :       0.13          0          0          0
1789.56/1790.09	c   pseudoobj        :       0.10          0          0          0
1789.56/1790.09	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.56/1790.09	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.56/1790.09	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.56/1790.09	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.56/1790.09	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.56/1790.09	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.56/1790.09	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.56/1790.09	c   applied locally  :          -          -          -          0        0.0          -          -          -
1790.06/1790.55	c Time complete: 1790.11.

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2704966-1278582960/watcher-2704966-1278582960 -o /tmp/evaluation-result-2704966-1278582960/solver-2704966-1278582960 -C 1800 -W 2000 -M 1800 HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-2704966-1278582960.opb -t 1800 -m 1800 

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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 1.04 1.00 0.96 3/106 30331
/proc/meminfo: memFree=1839844/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=7904 CPUtime=0
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 1051 0 0 0 0 0 0 0 21 0 1 0 26509788 8093696 963 1992294400 4194304 8395647 140737299874464 18446744073709551615 7382157 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30331/statm: 1976 972 365 1026 0 946 0

[startup+0.108372 s]
/proc/loadavg: 1.04 1.00 0.96 3/106 30331
/proc/meminfo: memFree=1839844/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=18372 CPUtime=0.1
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 3883 0 0 0 9 1 0 0 21 0 1 0 26509788 18812928 3795 1992294400 4194304 8395647 140737299874464 18446744073709551615 6348904 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30331/statm: 4593 3795 393 1026 0 3563 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 18372

[startup+0.201379 s]
/proc/loadavg: 1.04 1.00 0.96 3/106 30331
/proc/meminfo: memFree=1839844/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=22872 CPUtime=0.19
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 4996 0 0 0 18 1 0 0 21 0 1 0 26509788 23420928 4908 1992294400 4194304 8395647 140737299874464 18446744073709551615 5753715 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30331/statm: 5718 4908 393 1026 0 4688 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 22872

[startup+0.301428 s]
/proc/loadavg: 1.04 1.00 0.96 3/106 30331
/proc/meminfo: memFree=1839844/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=25052 CPUtime=0.29
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 5568 0 0 0 27 2 0 0 21 0 1 0 26509788 25653248 5480 1992294400 4194304 8395647 140737299874464 18446744073709551615 4246001 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30331/statm: 6263 5480 393 1026 0 5233 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 25052

[startup+0.70142 s]
/proc/loadavg: 1.04 1.00 0.96 3/106 30331
/proc/meminfo: memFree=1839844/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=37332 CPUtime=0.69
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 8623 0 0 0 66 3 0 0 22 0 1 0 26509788 38227968 8535 1992294400 4194304 8395647 140737299874464 18446744073709551615 5757586 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30331/statm: 9333 8535 393 1026 0 8303 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37332

[startup+1.50149 s]
/proc/loadavg: 1.04 1.00 0.96 2/107 30332
/proc/meminfo: memFree=1787880/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=114424 CPUtime=1.49
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 27732 0 0 0 139 10 0 0 25 0 1 0 26509788 117170176 27290 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080471 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 28606 27290 463 1026 0 27576 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 114424

[startup+3.10161 s]
/proc/loadavg: 1.04 1.00 0.96 2/107 30332
/proc/meminfo: memFree=1696368/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=191244 CPUtime=3.09
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 46890 0 0 0 292 17 0 0 25 0 1 0 26509788 195833856 46448 1992294400 4194304 8395647 140737299874464 18446744073709551615 4247616 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 47811 46448 469 1026 0 46781 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 191244

[startup+6.30092 s]
/proc/loadavg: 1.04 1.00 0.96 2/107 30332
/proc/meminfo: memFree=1591960/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=259260 CPUtime=6.29
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 62853 0 0 0 606 23 0 0 25 0 1 0 26509788 265482240 62411 1992294400 4194304 8395647 140737299874464 18446744073709551615 4707271 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 64815 62411 475 1026 0 63785 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 259260

[startup+12.7014 s]
/proc/loadavg: 1.03 1.00 0.96 2/107 30332
/proc/meminfo: memFree=1532440/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=323096 CPUtime=12.69
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 79786 0 0 0 1240 29 0 0 25 0 1 0 26509788 330850304 77648 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080661 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 80774 77648 515 1026 0 79744 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 323096

[startup+25.5014 s]
/proc/loadavg: 1.03 1.00 0.96 2/107 30333
/proc/meminfo: memFree=1499828/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=356348 CPUtime=25.48
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 87472 0 0 0 2516 32 0 0 25 0 1 0 26509788 364900352 85334 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080692 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 89087 85334 515 1026 0 88057 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 356348

[startup+51.1015 s]
/proc/loadavg: 1.02 1.00 0.96 2/107 30333
/proc/meminfo: memFree=1448492/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=408168 CPUtime=51.08
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 100243 0 0 0 5071 37 0 0 25 0 1 0 26509788 417964032 98105 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 102042 98105 515 1026 0 101012 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 408168

[startup+102.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30335
/proc/meminfo: memFree=1332056/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=525688 CPUtime=102.28
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 129254 0 0 0 10180 48 0 0 25 0 1 0 26509788 538304512 127116 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210295 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 131422 127116 515 1026 0 130392 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 525688

[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30336
/proc/meminfo: memFree=1263236/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=596280 CPUtime=162.25
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 146652 0 0 0 16171 54 0 0 25 0 1 0 26509788 610590720 144514 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080362 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 149070 144514 515 1026 0 148040 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 596280

[startup+222.308 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30338
/proc/meminfo: memFree=1217108/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=642836 CPUtime=222.25
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 158235 0 0 0 22165 60 0 0 25 0 1 0 26509788 658264064 156097 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080375 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 160709 156097 515 1026 0 159679 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 642836

[startup+282.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30339
/proc/meminfo: memFree=1177924/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=680420 CPUtime=282.22
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 167733 0 0 0 28158 64 0 0 25 0 1 0 26509788 696750080 165595 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 170105 165595 515 1026 0 169075 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 680420

[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30350
/proc/meminfo: memFree=1142112/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=715836 CPUtime=342.2
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 176442 0 0 0 34153 67 0 0 25 0 1 0 26509788 733016064 174304 1992294400 4194304 8395647 140737299874464 18446744073709551615 4910721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 178959 174304 515 1026 0 177929 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 715836

[startup+402.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30352
/proc/meminfo: memFree=1107144/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=749364 CPUtime=402.19
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 185354 0 0 0 40148 71 0 0 25 0 1 0 26509788 767348736 183216 1992294400 4194304 8395647 140737299874464 18446744073709551615 6069203 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 187341 183216 515 1026 0 186311 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 749364

[startup+462.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30353
/proc/meminfo: memFree=1064488/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=792864 CPUtime=462.18
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 195849 0 0 0 46141 77 0 0 25 0 1 0 26509788 811892736 193711 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210289 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 198216 193711 515 1026 0 197186 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 792864

[startup+522.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30355
/proc/meminfo: memFree=1027660/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=829272 CPUtime=522.16
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 205296 0 0 0 52134 82 0 0 25 0 1 0 26509788 849174528 203158 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 207318 203158 520 1026 0 206288 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 829272

[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30356
/proc/meminfo: memFree=994428/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=860608 CPUtime=582.14
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 213318 0 0 0 58128 86 0 0 25 0 1 0 26509788 881262592 211180 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 215152 211180 520 1026 0 214122 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 860608

[startup+642.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30358
/proc/meminfo: memFree=963552/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=889988 CPUtime=642.12
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 221078 0 0 0 64123 89 0 0 25 0 1 0 26509788 911347712 218940 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 222497 218940 520 1026 0 221467 0
Current children cumulated CPU time (s) 642.12
Current children cumulated vsize (KiB) 889988

[startup+702.301 s]

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

/proc/meminfo: memFree=741344/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1110656 CPUtime=1062.03
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 276338 0 0 0 106088 115 0 0 25 0 1 0 26509788 1137311744 274200 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 277664 274200 520 1026 0 276634 0
Current children cumulated CPU time (s) 1062.03
Current children cumulated vsize (KiB) 1110656

[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/107 30371
/proc/meminfo: memFree=707740/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1145776 CPUtime=1122.01
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 284760 0 0 0 112084 117 0 0 25 0 1 0 26509788 1173274624 282622 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 286444 282622 520 1026 0 285414 0
Current children cumulated CPU time (s) 1122.01
Current children cumulated vsize (KiB) 1145776

[startup+1182.3 s]
/proc/loadavg: 1.07 1.02 0.97 2/107 30372
/proc/meminfo: memFree=660744/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1193500 CPUtime=1182
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 296632 0 0 0 118078 122 0 0 25 0 1 0 26509788 1222144000 294494 1992294400 4194304 8395647 140737299874464 18446744073709551615 4910721 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 298375 294494 520 1026 0 297345 0
Current children cumulated CPU time (s) 1182
Current children cumulated vsize (KiB) 1193500

[startup+1242.3 s]
/proc/loadavg: 1.09 1.03 0.97 2/107 30374
/proc/meminfo: memFree=595892/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1258344 CPUtime=1241.99
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 312579 0 0 0 124069 130 0 0 25 0 1 0 26509788 1288544256 310441 1992294400 4194304 8395647 140737299874464 18446744073709551615 4215691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 314586 310441 520 1026 0 313556 0
Current children cumulated CPU time (s) 1241.99
Current children cumulated vsize (KiB) 1258344

[startup+1302.3 s]
/proc/loadavg: 1.09 1.04 0.98 2/107 30376
/proc/meminfo: memFree=524220/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1336128 CPUtime=1301.98
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 331718 0 0 0 130059 139 0 0 25 0 1 0 26509788 1368195072 329580 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080705 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 334032 329580 520 1026 0 333002 0
Current children cumulated CPU time (s) 1301.98
Current children cumulated vsize (KiB) 1336128

[startup+1362.3 s]
/proc/loadavg: 1.11 1.04 0.98 2/107 30380
/proc/meminfo: memFree=434348/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1398644 CPUtime=1361.96
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 347260 0 0 0 136050 146 0 0 25 0 1 0 26509788 1432211456 345122 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080665 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 349661 345122 520 1026 0 348631 0
Current children cumulated CPU time (s) 1361.96
Current children cumulated vsize (KiB) 1398644

[startup+1422.3 s]
/proc/loadavg: 1.04 1.03 0.98 2/107 30382
/proc/meminfo: memFree=377556/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1456576 CPUtime=1421.95
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 361447 0 0 0 142041 154 0 0 25 0 1 0 26509788 1491533824 359309 1992294400 4194304 8395647 140737299874464 18446744073709551615 4220157 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 364144 359309 520 1026 0 363114 0
Current children cumulated CPU time (s) 1421.95
Current children cumulated vsize (KiB) 1456576

[startup+1482.3 s]
/proc/loadavg: 1.01 1.02 0.98 2/107 30383
/proc/meminfo: memFree=317788/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1517260 CPUtime=1481.93
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 376408 0 0 0 148033 160 0 0 25 0 1 0 26509788 1553674240 374270 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 379315 374270 520 1026 0 378285 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1517260

[startup+1542.31 s]
/proc/loadavg: 1.00 1.02 0.98 2/107 30385
/proc/meminfo: memFree=269676/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1564920 CPUtime=1541.92
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 388406 0 0 0 154026 166 0 0 25 0 1 0 26509788 1602478080 386268 1992294400 4194304 8395647 140737299874464 18446744073709551615 4216931 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 391230 386268 520 1026 0 390200 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1564920

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 30387
/proc/meminfo: memFree=217968/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1619224 CPUtime=1601.9
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 401707 0 0 0 160018 172 0 0 25 0 1 0 26509788 1658085376 399569 1992294400 4194304 8395647 140737299874464 18446744073709551615 4215691 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 404806 399569 520 1026 0 403776 0
Current children cumulated CPU time (s) 1601.9
Current children cumulated vsize (KiB) 1619224

[startup+1662.3 s]
/proc/loadavg: 1.00 1.01 0.98 2/107 30388
/proc/meminfo: memFree=156092/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1681128 CPUtime=1661.89
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 416813 0 0 0 166012 177 0 0 25 0 1 0 26509788 1721475072 414675 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 420282 414675 520 1026 0 419252 0
Current children cumulated CPU time (s) 1661.89
Current children cumulated vsize (KiB) 1681128

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30390
/proc/meminfo: memFree=110336/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1726116 CPUtime=1721.87
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 428270 0 0 0 172005 182 0 0 25 0 1 0 26509788 1767542784 426132 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210648 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 431529 426132 520 1026 0 430499 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 1726116

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30391
/proc/meminfo: memFree=67928/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1767784 CPUtime=1781.86
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 438739 0 0 0 178000 186 0 0 25 0 1 0 26509788 1810210816 436601 1992294400 4194304 8395647 140737299874464 18446744073709551615 6080688 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 441946 436601 520 1026 0 440916 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 1767784

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

[startup+1785.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30391
/proc/meminfo: memFree=65696/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1769760 CPUtime=1785.16
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 439293 0 0 0 178329 187 0 0 25 0 1 0 26509788 1812234240 437155 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210338 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 442440 437155 520 1026 0 441410 0
Current children cumulated CPU time (s) 1785.16
Current children cumulated vsize (KiB) 1769760

[startup+1788.8 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30391
/proc/meminfo: memFree=63712/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1770756 CPUtime=1788.36
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 439764 0 0 0 178649 187 0 0 25 0 1 0 26509788 1813254144 437626 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 442689 437626 520 1026 0 441659 0
Current children cumulated CPU time (s) 1788.36
Current children cumulated vsize (KiB) 1770756

[startup+1789.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30391
/proc/meminfo: memFree=63712/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1770756 CPUtime=1789.16
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 439813 0 0 0 178729 187 0 0 25 0 1 0 26509788 1813254144 437675 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 442689 437675 520 1026 0 441659 0
Current children cumulated CPU time (s) 1789.16
Current children cumulated vsize (KiB) 1770756

[startup+1790 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30391
/proc/meminfo: memFree=63216/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1771744 CPUtime=1789.56
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 439949 0 0 0 178769 187 0 0 25 0 1 0 26509788 1814265856 437811 1992294400 4194304 8395647 140737299874464 18446744073709551615 5210321 0 0 4096 16384 0 0 0 17 1 0 0 0
/proc/30331/statm: 442936 437811 520 1026 0 441906 0
Current children cumulated CPU time (s) 1789.56
Current children cumulated vsize (KiB) 1771744

[startup+1790.4 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30391
/proc/meminfo: memFree=63216/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=1568872 CPUtime=1789.96
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 440280 0 0 0 178801 195 0 0 25 0 1 0 26509788 1606524928 251136 1992294400 4194304 8395647 140737299874464 18446744073709551615 7602442 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30331/statm: 392218 251136 527 1026 0 391188 0
Current children cumulated CPU time (s) 1789.96
Current children cumulated vsize (KiB) 1568872

[startup+1790.5 s]
/proc/loadavg: 1.00 1.00 0.98 2/107 30391
/proc/meminfo: memFree=63216/2059040 swapFree=4139404/4192956
[pid=30331] ppid=30329 vsize=390044 CPUtime=1790.06
/proc/30331/stat : 30331 (pbscip.linux.x8) R 30329 30331 29248 0 -1 4202496 440280 0 0 0 178805 201 0 0 25 0 1 0 26509788 399405056 96395 1992294400 4194304 8395647 140737299874464 18446744073709551615 6345893 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/30331/statm: 97511 96395 527 1026 0 96481 0
Current children cumulated CPU time (s) 1790.06
Current children cumulated vsize (KiB) 390044

Child status: 0
Real time (s): 1790.56
CPU time (s): 1790.13
CPU user time (s): 1788.07
CPU system time (s): 2.05669
CPU usage (%): 99.9759
Max. virtual memory (cumulated for all children) (KiB): 1772768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1788.07
system time used= 2.05669
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 440293
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= 4
involuntary context switches= 3014

runsolver used 3.01154 second user time and 8.39772 second system time

The end

Launcher Data 

Begin job on node003 at 2010-07-08 11:56:01
IDJOB=2704966
IDBENCH=78523
IDSOLVER=1213
FILE ID=node003/2704966-1278582960
PBS_JOBID= 11240112
Free space on /tmp= 62568 MiB

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

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0

MD5SUM BENCH= 7c0aafdcb1e0398015b227f9c2ae71a5
RANDOM SEED=1948092604

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
physical id	: 0
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 6000.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.224
cache size	: 2048 KB
physical id	: 3
siblings	: 1
core id		: 0
cpu cores	: 1
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5599.44
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2059040 kB
MemFree:       1841092 kB
Buffers:         14204 kB
Cached:         115876 kB
SwapCached:       7064 kB
Active:          48432 kB
Inactive:        95548 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2059040 kB
LowFree:       1841092 kB
SwapTotal:     4192956 kB
SwapFree:      4139404 kB
Dirty:           12448 kB
Writeback:           0 kB
AnonPages:       11984 kB
Mapped:          11980 kB
Slab:            52120 kB
PageTables:       4192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   5222476 kB
Committed_AS:   179032 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    264948 kB
VmallocChunk: 34359471699 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 62556 MiB
End job on node003 at 2010-07-08 12:25:51