Trace number 3743047

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
PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)? 1794.27 1794.61

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb
MD5SUMe37abd09799c9d30512407c4e00f4218
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-536
Best CPU time to get the best result obtained on this benchmark1798.31
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 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 105402
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 128
Number of bits of the biggest number in a constraint 8
Biggest sum of numbers in a constraint 105402
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.29/0.39	c SCIP version 1.1.0.7
0.29/0.39	c LP-Solver SoPlex 1.4.1
0.29/0.39	c user parameter file <scip.set> not found - using default parameters
0.29/0.39	c read problem <HOME/instance-3743047-1338801260.opb>
0.29/0.39	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.48/0.54	c start presolving problem
0.48/0.54	c presolving:
0.59/0.66	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.59/0.69	c (round 2) 4444 del vars, 4374 del conss, 1152 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13596 impls, 503 clqs
0.68/0.73	c (round 3) 5041 del vars, 4971 del conss, 1749 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14626 impls, 503 clqs
0.68/0.77	c (round 4) 5456 del vars, 5386 del conss, 2164 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16288 impls, 503 clqs
0.79/0.80	c (round 5) 5782 del vars, 5712 del conss, 2490 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18008 impls, 503 clqs
0.79/0.83	c (round 6) 6047 del vars, 5977 del conss, 2755 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18710 impls, 503 clqs
0.79/0.87	c (round 7) 6270 del vars, 6200 del conss, 2978 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20302 impls, 503 clqs
0.79/0.89	c (round 8) 6467 del vars, 6397 del conss, 3175 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21194 impls, 503 clqs
0.88/0.92	c (round 9) 6489 del vars, 6419 del conss, 3197 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21786 impls, 503 clqs
0.88/0.95	c (round 10) 6546 del vars, 6476 del conss, 3254 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 22444 impls, 503 clqs
86.45/86.58	c (round 11) 6612 del vars, 6542 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34343 upgd conss, 7040852 impls, 503 clqs
87.15/87.28	c (round 12) 6612 del vars, 6602 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 7040852 impls, 503 clqs
87.35/87.40	c (round 13) 6666 del vars, 6602 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 7050032 impls, 503 clqs
87.35/87.43	c (round 14) 6666 del vars, 6656 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 7050032 impls, 503 clqs
92.85/92.93	c (round 15) 6718 del vars, 6656 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 8090804 impls, 503 clqs
92.85/92.96	c (round 16) 6718 del vars, 6708 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 8090804 impls, 503 clqs
128.95/129.02	c    (128.1s) probing: 1000/33904 (2.9%) - 169 fixings, 17 aggregations, 1529791 implications, 0 bound changes
175.23/175.35	c    (174.3s) probing: 2000/33904 (5.9%) - 170 fixings, 36 aggregations, 3959406 implications, 0 bound changes
248.92/249.07	c    (247.8s) probing: 3000/33904 (8.8%) - 174 fixings, 46 aggregations, 7275586 implications, 0 bound changes
264.11/264.25	c (round 17) 6768 del vars, 6708 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 28224410 impls, 503 clqs
264.81/264.91	c (round 18) 6768 del vars, 6716 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 28224410 impls, 503 clqs
299.61/299.73	c    (298.4s) probing: 4000/33904 (11.8%) - 174 fixings, 49 aggregations, 8894792 implications, 0 bound changes
372.48/372.63	c    (371.2s) probing: 5000/33904 (14.7%) - 175 fixings, 54 aggregations, 11817474 implications, 0 bound changes
474.67/474.81	c    (473.2s) probing: 6000/33904 (17.7%) - 180 fixings, 59 aggregations, 15637159 implications, 0 bound changes
573.06/573.28	c    (571.6s) probing: 7000/33904 (20.6%) - 182 fixings, 67 aggregations, 19005612 implications, 0 bound changes
681.04/681.21	c    (679.4s) probing: 8000/33904 (23.6%) - 183 fixings, 75 aggregations, 22648909 implications, 0 bound changes
791.42/791.66	c    (789.6s) probing: 9000/33904 (26.5%) - 184 fixings, 84 aggregations, 26202712 implications, 0 bound changes
812.92/813.19	c (round 19) 6818 del vars, 6716 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 69958178 impls, 503 clqs
813.62/813.86	c (round 20) 6818 del vars, 6726 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 69958178 impls, 503 clqs
895.90/896.14	c    (894.0s) probing: 10000/33904 (29.5%) - 187 fixings, 90 aggregations, 29500310 implications, 0 bound changes
1014.98/1015.20	c    (1012.9s) probing: 11000/33904 (32.4%) - 188 fixings, 98 aggregations, 33444254 implications, 0 bound changes
1129.55/1129.83	c    (1127.4s) probing: 12000/33904 (35.4%) - 190 fixings, 104 aggregations, 37075633 implications, 0 bound changes
1250.74/1251.03	c    (1248.4s) probing: 13000/33904 (38.3%) - 192 fixings, 111 aggregations, 40994592 implications, 0 bound changes
1367.91/1368.30	c    (1365.5s) probing: 14000/33904 (41.3%) - 193 fixings, 120 aggregations, 44536176 implications, 0 bound changes
1481.10/1481.48	c    (1478.6s) probing: 15000/33904 (44.2%) - 195 fixings, 125 aggregations, 48043670 implications, 0 bound changes
1486.40/1486.78	c (round 21) 6868 del vars, 6726 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 116277646 impls, 503 clqs
1487.10/1487.44	c (round 22) 6868 del vars, 6737 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 116277646 impls, 503 clqs
1586.58/1586.96	c    (1583.9s) probing: 16000/33904 (47.2%) - 197 fixings, 133 aggregations, 51368051 implications, 0 bound changes
1704.75/1705.16	c    (1701.9s) probing: 17000/33904 (50.1%) - 199 fixings, 141 aggregations, 55115396 implications, 0 bound changes
1793.94/1794.33	c    (1791.0s) probing: 17732/33904 (52.3%) - 200 fixings, 146 aggregations, 58036514 implications, 0 bound changes
1793.94/1794.33	c    (1791.0s) probing aborted: solving stopped
1793.94/1794.33	c (round 23) 6893 del vars, 6737 del conss, 3255 chg bounds, 0 chg sides, 0 chg coeffs, 34408 upgd conss, 137218652 impls, 503 clqs
1793.94/1794.33	c presolving (23 rounds):
1793.94/1794.33	c  6893 deleted vars, 6737 deleted constraints, 3255 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.94/1794.33	c  137218652 implications, 503 cliques
1793.94/1794.33	c presolving was interrupted.
1793.94/1794.33	c Presolving Time: 1790.92
1793.94/1794.33	c OPT-LIN
1793.94/1794.33	c -----------------------------------------------------------------------------------------------
1793.94/1794.33	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1793.94/1794.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.94/1794.33	c limits/memory = c 13950
1793.94/1794.33	c # maximal time in seconds to run
1793.94/1794.33	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1793.94/1794.33	c limits/time = c 1791
1793.94/1794.33	c # frequency for displaying node information lines
1793.94/1794.33	c # [type: int, range: [-1,2147483647], default: 100]
1793.94/1794.33	c display/freq = c 10000
1793.94/1794.33	c -----------------------------------------------------------------------------------------------
1793.94/1794.33	c start solving problem
1793.94/1794.33	c presolving:
1793.94/1794.33	c presolving (23 rounds):
1793.94/1794.33	c  6893 deleted vars, 6737 deleted constraints, 3255 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1793.94/1794.33	c  137218652 implications, 503 cliques
1793.94/1794.33	c presolving was interrupted.
1793.94/1794.33	c Presolving Time: 1790.92
1793.94/1794.33	c 
1793.94/1794.33	c SCIP Status        : solving was interrupted [time limit reached]
1793.94/1794.33	c Solving Time (sec) : 1791.01
1793.94/1794.33	c Solving Nodes      : 0
1793.94/1794.33	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1793.94/1794.33	c NODE         0
1793.94/1794.33	c DUAL BOUND   -1e+20
1793.94/1794.33	c PRIMAL BOUND 1e+20
1793.94/1794.33	c GAP          1e+20
1793.94/1794.33	s UNKNOWN
1793.94/1794.33	c SCIP Status        : solving was interrupted [time limit reached]
1793.94/1794.33	c Solving Time       :    1791.01
1793.94/1794.33	c Original Problem   :
1793.94/1794.33	c   Problem name     : HOME/instance-3743047-1338801260.opb
1793.94/1794.33	c   Variables        : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.94/1794.33	c   Constraints      : 40950 initial, 40950 maximal
1793.94/1794.33	c Presolved Problem  :
1793.94/1794.33	c   Problem name     : t_HOME/instance-3743047-1338801260.opb
1793.94/1794.33	c   Variables        : 33558 (33558 binary, 0 integer, 0 implicit integer, 0 continuous)
1793.94/1794.33	c   Constraints      : 34213 initial, 34213 maximal
1793.94/1794.33	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1793.94/1794.33	c   trivial          :       0.03        123          0          0          0          0          0          0          0
1793.94/1794.33	c   dualfix          :       0.06       3168          0          0          0          0          0          0          0
1793.94/1794.33	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1793.94/1794.33	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1793.94/1794.33	c   implics          :       0.12          0          1          0          0          0          0          0          0
1793.94/1794.33	c   probing          :    1786.75        200        146          0          0          0          0          0          0
1793.94/1794.33	c   knapsack         :       2.56          0          0          0          0          0          0          0          0
1793.94/1794.33	c   setppc           :       0.04          0          0          0          0          0          0          0          0
1793.94/1794.33	c   linear           :       1.09       3255          0          0       3255          0       6542          0          0
1793.94/1794.33	c   logicor          :       0.16          0          0          0          0          0        195          0          0
1793.94/1794.33	c   root node        :          -          0          -          -          0          -          -          -          -
1793.94/1794.33	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1793.94/1794.33	c   integral         :          0          0          0          0          0          0          0          0          0          0
1793.94/1794.33	c   knapsack         :          0+         0     247748          0          0          0          0          0          0          0
1793.94/1794.33	c   setppc           :          0+         0     247746          0          0         33          0          0          0          0
1793.94/1794.33	c   linear           :          0+         0       1515          0          0          0          0          0          0          0
1793.94/1794.33	c   logicor          :          0+         0     232370          0          0          7          0          0          0          0
1793.94/1794.33	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1793.94/1794.33	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1793.94/1794.33	c   integral         :       0.00       0.00       0.00       0.00       0.00
1793.94/1794.33	c   knapsack         :       0.05       0.00       0.05       0.00       0.00
1793.94/1794.33	c   setppc           :       2.75       0.00       2.75       0.00       0.00
1793.94/1794.33	c   linear           :       0.17       0.00       0.17       0.00       0.00
1793.94/1794.33	c   logicor          :     163.28       0.00     163.28       0.00       0.00
1793.94/1794.33	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1793.94/1794.33	c Propagators        :       Time      Calls    Cutoffs    DomReds
1793.94/1794.33	c   rootredcost      :       0.03          0          0          0
1793.94/1794.33	c   pseudoobj        :       0.06          0          0          0
1793.94/1794.33	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1793.94/1794.33	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1793.94/1794.33	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1793.94/1794.33	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1793.94/1794.33	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1793.94/1794.33	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1793.94/1794.33	c   applied globally :          -          -          -          0        0.0          -          -          -
1793.94/1794.33	c   applied locally  :          -          -          -          0        0.0          -          -          -
1794.24/1794.61	c Time complete: 1794.26.

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

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

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


[startup+0 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=6120 CPUtime=0 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 705 0 0 0 0 0 0 0 20 0 1 0 346251401 6266880 659 33554432000 4194304 7823515 140734411728288 140734168109784 4402248 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 1530 671 325 887 0 640 0

[startup+0.0166 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=13332 CPUtime=0.01 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 2680 0 0 0 1 0 0 0 20 0 1 0 346251401 13651968 2633 33554432000 4194304 7823515 140734411728288 140734168109784 5544052 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 3333 2634 349 887 0 2443 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 13332

[startup+0.100351 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=37772 CPUtime=0.09 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 8795 0 0 0 8 1 0 0 20 0 1 0 346251401 38678528 8744 33554432000 4194304 7823515 140734411728288 140734168109784 6957168 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 9443 8744 354 887 0 8553 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37772

[startup+0.300279 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=50624 CPUtime=0.29 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 12015 0 0 0 28 1 0 0 20 0 1 0 346251401 51838976 11964 33554432000 4194304 7823515 140734411728288 140734411594392 4511625 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 12656 11964 354 887 0 11766 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 50624

[startup+0.700283 s]
/proc/loadavg: 0.92 1.00 1.24 4/175 734
/proc/meminfo: memFree=26169352/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=130236 CPUtime=0.68 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 31776 0 0 0 62 6 0 0 20 0 1 0 346251401 133361664 31371 33554432000 4194304 7823515 140734411728288 140734411725224 4238605 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 32559 31371 431 887 0 31669 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 130236

[startup+1.50019 s]
/proc/loadavg: 0.92 1.00 1.24 3/177 736
/proc/meminfo: memFree=25905672/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=131260 CPUtime=1.49 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 32880 0 0 0 136 13 0 0 20 0 1 0 346251401 134410240 31648 33554432000 4194304 7823515 140734411728288 140734411725224 5047756 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 32815 31648 433 887 0 31925 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 131260

[startup+3.10026 s]
/proc/loadavg: 0.92 1.00 1.24 4/177 736
/proc/meminfo: memFree=25759592/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=224564 CPUtime=3.08 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 55434 0 0 0 292 16 0 0 20 0 1 0 346251401 229953536 54202 33554432000 4194304 7823515 140734411728288 140734411724152 6911387 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 56141 54202 452 887 0 55251 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 224564

[startup+6.3003 s]
/proc/loadavg: 1.01 1.02 1.24 4/177 736
/proc/meminfo: memFree=25561964/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=288448 CPUtime=6.28 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 70417 0 0 0 610 18 0 0 20 0 1 0 346251401 295370752 69185 33554432000 4194304 7823515 140734411728288 140734411724152 5803639 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 72112 69185 452 887 0 71222 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 288448

[startup+12.7002 s]
/proc/loadavg: 1.09 1.03 1.25 4/177 736
/proc/meminfo: memFree=25449320/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=345172 CPUtime=12.68 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 84291 0 0 0 1248 20 0 0 20 0 1 0 346251401 353456128 83141 33554432000 4194304 7823515 140734411728288 140734411724984 5803608 0 0 4096 16384 0 0 0 17 1 0 0 0 0 0
/proc/731/statm: 86293 83141 452 887 0 85403 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 345172

[startup+25.5002 s]
/proc/loadavg: 1.29 1.08 1.26 4/177 736
/proc/meminfo: memFree=25317036/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=441180 CPUtime=25.48 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 106919 0 0 0 2522 26 0 0 20 0 1 0 346251401 451768320 105765 33554432000 4194304 7823515 140734411728288 140734411724152 5803608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 110295 105765 452 887 0 109405 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 441180

[startup+51.1003 s]
/proc/loadavg: 1.53 1.15 1.28 3/177 736
/proc/meminfo: memFree=25136728/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=534412 CPUtime=51.06 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 130364 0 0 0 5074 32 0 0 20 0 1 0 346251401 547237888 129484 33554432000 4194304 7823515 140734411728288 140734411724152 5803639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 133603 129484 452 887 0 132713 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 534412

[startup+102.307 s]
/proc/loadavg: 1.79 1.28 1.31 4/177 736
/proc/meminfo: memFree=24831292/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=717204 CPUtime=102.25 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 174684 0 0 0 10181 44 0 0 20 0 1 0 346251401 734416896 174493 33554432000 4194304 7823515 140734411728288 140734411724984 4839859 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 179301 174493 461 887 0 178411 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 717204

[startup+162.3 s]
/proc/loadavg: 1.92 1.41 1.35 4/177 736
/proc/meminfo: memFree=24308300/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1026256 CPUtime=162.23 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 250967 0 0 0 16161 62 0 0 20 0 1 0 346251401 1050886144 251241 33554432000 4194304 7823515 140734411728288 140734411724984 5803650 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 256564 251241 466 887 0 255674 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 1026256

[startup+222.3 s]
/proc/loadavg: 1.97 1.51 1.39 4/177 736
/proc/meminfo: memFree=23822876/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1220696 CPUtime=222.21 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 299291 0 0 0 22149 72 0 0 20 0 1 0 346251401 1249992704 300286 33554432000 4194304 7823515 140734411728288 140734411724984 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 305174 300286 466 887 0 304284 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 1220696

[startup+282.3 s]
/proc/loadavg: 1.99 1.60 1.42 4/177 737
/proc/meminfo: memFree=23443340/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1375028 CPUtime=282.2 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 337452 0 0 0 28138 82 0 0 20 0 1 0 346251401 1408028672 339000 33554432000 4194304 7823515 140734411728288 140734411724984 5803616 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 343757 339000 466 887 0 342867 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1375028

[startup+342.3 s]
/proc/loadavg: 1.99 1.67 1.46 3/178 740
/proc/meminfo: memFree=23196412/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1516204 CPUtime=342.2 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 372554 0 0 0 34127 93 0 0 20 0 1 0 346251401 1552592896 374782 33554432000 4194304 7823515 140734411728288 140734411724984 4839859 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 379051 374782 466 887 0 378161 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 1516204

[startup+402.3 s]
/proc/loadavg: 2.05 1.74 1.49 4/178 740
/proc/meminfo: memFree=22997000/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1620880 CPUtime=402.18 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 398440 0 0 0 40119 99 0 0 20 0 1 0 346251401 1659781120 401492 33554432000 4194304 7823515 140734411728288 140734411724984 5803608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 405220 401492 466 887 0 404330 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 1620880

[startup+462.3 s]
/proc/loadavg: 2.02 1.79 1.52 4/177 740
/proc/meminfo: memFree=22791632/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1729992 CPUtime=462.18 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 425121 0 0 0 46112 106 0 0 20 0 1 0 346251401 1771511808 428189 33554432000 4194304 7823515 140734411728288 140734411724984 5803639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 432498 428189 466 887 0 431608 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 1729992

[startup+522.3 s]
/proc/loadavg: 2.00 1.82 1.55 4/177 740
/proc/meminfo: memFree=22549240/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1863532 CPUtime=522.16 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 457981 0 0 0 52102 114 0 0 20 0 1 0 346251401 1908256768 461051 33554432000 4194304 7823515 140734411728288 140734411724984 5803608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 465883 461051 466 887 0 464993 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 1863532

[startup+582.3 s]
/proc/loadavg: 2.00 1.85 1.57 4/177 741
/proc/meminfo: memFree=22314792/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=1981820 CPUtime=582.16 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 487494 0 0 0 58095 121 0 0 20 0 1 0 346251401 2029383680 490616 33554432000 4194304 7823515 140734411728288 140734411724984 5803608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 495455 490616 466 887 0 494565 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 1981820

[startup+642.3 s]

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

/proc/meminfo: memFree=20454200/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=2957280 CPUtime=1122.06 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 725781 0 0 0 112022 184 0 0 20 0 1 0 346251401 3028254720 730992 33554432000 4194304 7823515 140734411728288 140734411724008 4787288 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 739320 730992 466 887 0 738430 0
Current children cumulated CPU time (s) 1122.06
Current children cumulated vsize (KiB) 2957280

[startup+1182.3 s]
/proc/loadavg: 2.00 1.98 1.77 4/177 747
/proc/meminfo: memFree=20262276/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3056056 CPUtime=1182.05 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 749783 0 0 0 118015 190 0 0 20 0 1 0 346251401 3129401344 755499 33554432000 4194304 7823515 140734411728288 140734411724984 5803612 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 764014 755499 466 887 0 763124 0
Current children cumulated CPU time (s) 1182.05
Current children cumulated vsize (KiB) 3056056

[startup+1242.3 s]
/proc/loadavg: 2.13 2.02 1.79 4/177 747
/proc/meminfo: memFree=20073080/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3154016 CPUtime=1242.04 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 773625 0 0 0 124008 196 0 0 20 0 1 0 346251401 3229712384 779735 33554432000 4194304 7823515 140734411728288 140734411724984 4788726 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 788504 779735 466 887 0 787614 0
Current children cumulated CPU time (s) 1242.04
Current children cumulated vsize (KiB) 3154016

[startup+1302.3 s]
/proc/loadavg: 2.05 2.01 1.80 4/177 747
/proc/meminfo: memFree=19884656/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3259504 CPUtime=1302.03 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 799470 0 0 0 129999 204 0 0 20 0 1 0 346251401 3337732096 805934 33554432000 4194304 7823515 140734411728288 140734411724968 5803631 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 814876 805934 466 887 0 813986 0
Current children cumulated CPU time (s) 1302.03
Current children cumulated vsize (KiB) 3259504

[startup+1362.3 s]
/proc/loadavg: 2.02 2.00 1.81 4/177 747
/proc/meminfo: memFree=19703892/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3353284 CPUtime=1362.02 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 822829 0 0 0 135991 211 0 0 20 0 1 0 346251401 3433762816 829736 33554432000 4194304 7823515 140734411728288 140734411724968 5803619 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 838321 829736 466 887 0 837431 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 3353284

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.82 4/177 747
/proc/meminfo: memFree=19515504/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3462812 CPUtime=1422.02 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 849272 0 0 0 141984 218 0 0 20 0 1 0 346251401 3545919488 856629 33554432000 4194304 7823515 140734411728288 140734411724984 5803639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 865703 856629 466 887 0 864813 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 3462812

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/177 748
/proc/meminfo: memFree=19329924/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3566784 CPUtime=1482 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 874299 0 0 0 147974 226 0 0 20 0 1 0 346251401 3652386816 881986 33554432000 4194304 7823515 140734411728288 140734411724984 4787339 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 891696 881986 466 887 0 890806 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 3566784

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.83 4/178 751
/proc/meminfo: memFree=19134628/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3669576 CPUtime=1541.99 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 899634 0 0 0 153965 234 0 0 20 0 1 0 346251401 3757645824 907856 33554432000 4194304 7823515 140734411728288 140734411724984 5803608 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 917394 907856 466 887 0 916504 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 3669576

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.84 4/177 751
/proc/meminfo: memFree=18952952/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3775932 CPUtime=1601.97 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 925495 0 0 0 159956 241 0 0 20 0 1 0 346251401 3866554368 934334 33554432000 4194304 7823515 140734411728288 140734411724984 5803650 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 943983 934334 466 887 0 943093 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 3775932

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 751
/proc/meminfo: memFree=18751832/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3884440 CPUtime=1661.96 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 951604 0 0 0 165948 248 0 0 20 0 1 0 346251401 3977666560 961100 33554432000 4194304 7823515 140734411728288 140734411724984 5803623 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 971110 961100 466 887 0 970220 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 3884440

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.85 4/177 751
/proc/meminfo: memFree=18564860/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=3984940 CPUtime=1721.95 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 976454 0 0 0 171942 253 0 0 20 0 1 0 346251401 4080578560 986727 33554432000 4194304 7823515 140734411728288 140734411724984 4243078 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 996235 986727 466 887 0 995345 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 3984940

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18368480/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=4092404 CPUtime=1781.94 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1002081 0 0 0 177935 259 0 0 20 0 1 0 346251401 4190621696 1012921 33554432000 4194304 7823515 140734411728288 140734411724984 6954986 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 1023101 1012921 466 887 0 1022211 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 4092404

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18361404/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=4096344 CPUtime=1785.15 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1002882 0 0 0 178255 260 0 0 20 0 1 0 346251401 4194656256 1013722 33554432000 4194304 7823515 140734411728288 140734411724984 5102375 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 1024086 1013722 466 887 0 1023196 0
Current children cumulated CPU time (s) 1785.15
Current children cumulated vsize (KiB) 4096344

[startup+1788.7 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 752
/proc/meminfo: memFree=18350740/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=4102208 CPUtime=1788.35 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1004214 0 0 0 178575 260 0 0 20 0 1 0 346251401 4200660992 1015054 33554432000 4194304 7823515 140734411728288 140734411724984 5803631 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 1025552 1015054 466 887 0 1024662 0
Current children cumulated CPU time (s) 1788.35
Current children cumulated vsize (KiB) 4102208

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18337828/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=4108068 CPUtime=1791.55 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1005680 0 0 0 178895 260 0 0 20 0 1 0 346251401 4206661632 1016633 33554432000 4194304 7823515 140734411728288 140734411724984 5803619 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 1027017 1016633 466 887 0 1026127 0
Current children cumulated CPU time (s) 1791.55
Current children cumulated vsize (KiB) 4108068

[startup+1793.5 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=18331504/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=4111024 CPUtime=1793.14 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1006359 0 0 0 179054 260 0 0 20 0 1 0 346251401 4209688576 1017312 33554432000 4194304 7823515 140734411728288 140734411724984 5803639 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 1027756 1017312 466 887 0 1026866 0
Current children cumulated CPU time (s) 1793.14
Current children cumulated vsize (KiB) 4111024

[startup+1794.3 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=19668224/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=4112996 CPUtime=1793.94 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1006864 0 0 0 179134 260 0 0 20 0 1 0 346251401 4211707904 1017817 33554432000 4194304 7823515 140734411728288 140734411724984 5102793 0 0 4096 16384 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 1028249 1017817 466 887 0 1027359 0
Current children cumulated CPU time (s) 1793.94
Current children cumulated vsize (KiB) 4112996

[startup+1794.5 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=19668224/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=4084644 CPUtime=1794.15 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1007182 0 0 0 179154 261 0 0 20 0 1 0 346251401 4182675456 1011823 33554432000 4194304 7823515 140734411728288 140734411724984 4240715 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 1021161 1011823 476 887 0 1020271 0
Current children cumulated CPU time (s) 1794.15
Current children cumulated vsize (KiB) 4084644

[startup+1794.6 s]
/proc/loadavg: 2.00 2.00 1.86 4/177 752
/proc/meminfo: memFree=19668224/32873648 swapFree=6864/6864
[pid=731] ppid=729 vsize=675908 CPUtime=1794.24 cores=1,3,5,7
/proc/731/stat : 731 (pbscip.linux.x8) R 729 731 30743 0 -1 4202496 1007184 0 0 0 179156 268 0 0 20 0 1 0 346251401 692129792 168322 33554432000 4194304 7823515 140734411728288 140734411724984 4813344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/731/statm: 168977 168322 478 887 0 168087 0
Current children cumulated CPU time (s) 1794.24
Current children cumulated vsize (KiB) 675908

Child status: 0
Real time (s): 1794.61
CPU time (s): 1794.27
CPU user time (s): 1791.57
CPU system time (s): 2.69459
CPU usage (%): 99.9807
Max. virtual memory (cumulated for all children) (KiB): 4114020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.57
system time used= 2.69459
maximum resident set size= 4072540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1007196
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= 104
involuntary context switches= 1841

runsolver used 3.01454 second user time and 8.84965 second system time

The end

Launcher Data 

Begin job on node125 at 2012-06-04 11:14:20
IDJOB=3743047
IDBENCH=90666
IDSOLVER=2321
FILE ID=node125/3743047-1338801260
RUNJOBID= node125-1338801260-707
PBS_JOBID= 14636823
Free space on /tmp= 70436 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_luby_10null0mast_rapportOE1.0_TMAX120_K67_cod1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t TIMEOUT -m MEMLIMIT -f BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743047-1338801260/watcher-3743047-1338801260 -o /tmp/evaluation-result-3743047-1338801260/solver-3743047-1338801260 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3743047-1338801260.opb

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

MD5SUM BENCH= e37abd09799c9d30512407c4e00f4218
RANDOM SEED=1885675140

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

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

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.373
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        26170368 kB
Buffers:          617944 kB
Cached:          5164696 kB
SwapCached:         2308 kB
Active:          2551680 kB
Inactive:        3241300 kB
Active(anon):       2072 kB
Inactive(anon):     9240 kB
Active(file):    2549608 kB
Inactive(file):  3232060 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102524 kB
Dirty:             24464 kB
Writeback:             0 kB
AnonPages:         13764 kB
Mapped:            13500 kB
Shmem:                96 kB
Slab:             770148 kB
SReclaimable:     213840 kB
SUnreclaim:       556308 kB
KernelStack:        1392 kB
PageTables:         3760 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     103832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70416 MiB
End job on node125 at 2012-06-04 11:44:15