Trace number 3740509

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)? 1796.85 1797.17

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j120opt/
normalized-j12026_4.std.opb
MD5SUM1d933df6a578d668cfefed05a131780d
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark174
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables72842
Total number of constraints245266
Number of constraints which are clauses244066
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 constraint68
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 

1.39/1.48	c SCIP version 1.1.0.7
1.39/1.48	c LP-Solver SoPlex 1.4.1
1.39/1.48	c user parameter file <scip.set> not found - using default parameters
1.39/1.48	c read problem <HOME/instance-3740509-1338762136.opb>
1.39/1.48	c original problem has 72842 variables (72842 bin, 0 int, 0 impl, 0 cont) and 245266 constraints
1.79/1.89	c start presolving problem
1.79/1.89	c presolving:
8.49/8.57	c (round 1) 6488 del vars, 19166 del conss, 4979 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16620104 impls, 0 clqs
11.88/11.99	c (round 2) 13185 del vars, 47502 del conss, 11334 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 16656891 impls, 0 clqs
13.09/13.13	c (round 3) 15842 del vars, 59319 del conss, 12857 chg bounds, 24 chg sides, 14 chg coeffs, 0 upgd conss, 16676061 impls, 0 clqs
13.88/13.95	c (round 4) 17393 del vars, 65123 del conss, 13951 chg bounds, 31 chg sides, 21 chg coeffs, 0 upgd conss, 16690267 impls, 0 clqs
14.38/14.43	c (round 5) 18456 del vars, 69307 del conss, 14632 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16700948 impls, 0 clqs
14.79/14.81	c (round 6) 19209 del vars, 72085 del conss, 15129 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16707572 impls, 0 clqs
15.09/15.11	c (round 7) 19817 del vars, 74441 del conss, 15533 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16714668 impls, 0 clqs
15.30/15.36	c (round 8) 20279 del vars, 76245 del conss, 15840 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16719604 impls, 0 clqs
15.48/15.56	c (round 9) 20632 del vars, 77604 del conss, 16082 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16723033 impls, 0 clqs
15.69/15.72	c (round 10) 20871 del vars, 78585 del conss, 16242 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16725333 impls, 0 clqs
15.78/15.86	c (round 11) 21027 del vars, 79201 del conss, 16332 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16728011 impls, 0 clqs
15.98/16.00	c (round 12) 21113 del vars, 79632 del conss, 16393 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16728770 impls, 0 clqs
15.98/16.09	c (round 13) 21157 del vars, 79852 del conss, 16412 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16729054 impls, 0 clqs
16.09/16.18	c (round 14) 21177 del vars, 79948 del conss, 16424 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16729118 impls, 0 clqs
16.18/16.26	c (round 15) 21179 del vars, 79978 del conss, 16425 chg bounds, 33 chg sides, 21 chg coeffs, 0 upgd conss, 16729128 impls, 0 clqs
16.79/16.88	c (round 16) 21179 del vars, 79981 del conss, 16425 chg bounds, 33 chg sides, 21 chg coeffs, 165285 upgd conss, 16729128 impls, 0 clqs
166.66/166.76	c (round 17) 21229 del vars, 79982 del conss, 16425 chg bounds, 47 chg sides, 158 chg coeffs, 165285 upgd conss, 30460436 impls, 4086 clqs
168.17/168.25	c (round 18) 21231 del vars, 80849 del conss, 16425 chg bounds, 50 chg sides, 629 chg coeffs, 165285 upgd conss, 30460658 impls, 4228 clqs
537.90/538.01	c    (534.9s) probing: 1000/51663 (1.9%) - 43 fixings, 19 aggregations, 12398616 implications, 0 bound changes
785.57/785.74	c    (782.1s) probing: 2000/51663 (3.9%) - 53 fixings, 19 aggregations, 20506814 implications, 0 bound changes
1006.03/1006.22	c    (1002.1s) probing: 3000/51663 (5.8%) - 60 fixings, 19 aggregations, 28736505 implications, 0 bound changes
1178.01/1178.21	c (round 19) 21281 del vars, 80850 del conss, 16425 chg bounds, 51 chg sides, 643 chg coeffs, 165285 upgd conss, 124233410 impls, 5399 clqs
1185.51/1185.75	c (round 20) 21311 del vars, 81079 del conss, 16425 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 124639876 impls, 5402 clqs
1260.30/1260.58	c (round 21) 21361 del vars, 81079 del conss, 16425 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 126662344 impls, 5402 clqs
1261.80/1262.03	c (round 22) 21371 del vars, 81253 del conss, 16425 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 126727192 impls, 5402 clqs
1322.39/1322.61	c    (1318.0s) probing: 4000/51663 (7.7%) - 139 fixings, 34 aggregations, 36829445 implications, 0 bound changes
1382.88/1383.16	c (round 23) 21421 del vars, 81253 del conss, 16425 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 131460334 impls, 5402 clqs
1384.28/1384.56	c (round 24) 21429 del vars, 81427 del conss, 16425 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 131460712 impls, 5402 clqs
1483.46/1483.73	c (round 25) 21479 del vars, 81427 del conss, 16425 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 137149578 impls, 5402 clqs
1484.77/1485.06	c (round 26) 21484 del vars, 81599 del conss, 16426 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 137166719 impls, 5402 clqs
1619.55/1619.81	c    (1614.7s) probing: 5000/51663 (9.7%) - 228 fixings, 58 aggregations, 42232021 implications, 0 bound changes
1776.68/1777.01	c (round 27) 21535 del vars, 81599 del conss, 16426 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 154525697 impls, 5402 clqs
1778.58/1778.96	c (round 28) 21547 del vars, 81785 del conss, 16426 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 154529687 impls, 5402 clqs
1796.17/1796.52	c    (1791.2s) probing: 5347/51663 (10.3%) - 241 fixings, 65 aggregations, 46081099 implications, 0 bound changes
1796.17/1796.52	c    (1791.2s) probing aborted: solving stopped
1796.17/1796.52	c (round 29) 21553 del vars, 81785 del conss, 16426 chg bounds, 51 chg sides, 659 chg coeffs, 165285 upgd conss, 155087399 impls, 5402 clqs
1796.17/1796.52	c presolving (29 rounds):
1796.17/1796.52	c  21553 deleted vars, 81785 deleted constraints, 16426 tightened bounds, 0 added holes, 51 changed sides, 659 changed coefficients
1796.17/1796.52	c  155087399 implications, 5402 cliques
1796.17/1796.52	c presolving was interrupted.
1796.17/1796.52	c Presolving Time: 1790.90
1796.17/1796.52	c OPT-LIN
1796.17/1796.52	c -----------------------------------------------------------------------------------------------
1796.17/1796.52	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.17/1796.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.17/1796.52	c limits/memory = c 13950
1796.17/1796.52	c # maximal time in seconds to run
1796.17/1796.52	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.17/1796.52	c limits/time = c 1791
1796.17/1796.52	c # frequency for displaying node information lines
1796.17/1796.52	c # [type: int, range: [-1,2147483647], default: 100]
1796.17/1796.52	c display/freq = c 10000
1796.17/1796.52	c -----------------------------------------------------------------------------------------------
1796.17/1796.52	c start solving problem
1796.17/1796.52	c presolving:
1796.17/1796.52	c presolving (29 rounds):
1796.17/1796.52	c  21553 deleted vars, 81785 deleted constraints, 16426 tightened bounds, 0 added holes, 51 changed sides, 659 changed coefficients
1796.17/1796.52	c  155087399 implications, 5402 cliques
1796.17/1796.52	c presolving was interrupted.
1796.17/1796.52	c Presolving Time: 1790.90
1796.17/1796.52	c 
1796.17/1796.52	c SCIP Status        : solving was interrupted [time limit reached]
1796.17/1796.52	c Solving Time (sec) : 1791.18
1796.17/1796.52	c Solving Nodes      : 0
1796.17/1796.52	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.17/1796.52	c NODE         0
1796.17/1796.52	c DUAL BOUND   -1e+20
1796.17/1796.52	c PRIMAL BOUND 1e+20
1796.17/1796.52	c GAP          1e+20
1796.17/1796.52	s UNKNOWN
1796.17/1796.52	c SCIP Status        : solving was interrupted [time limit reached]
1796.17/1796.52	c Solving Time       :    1791.18
1796.17/1796.52	c Original Problem   :
1796.17/1796.52	c   Problem name     : HOME/instance-3740509-1338762136.opb
1796.17/1796.52	c   Variables        : 72842 (72842 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.17/1796.52	c   Constraints      : 245266 initial, 245266 maximal
1796.17/1796.52	c Presolved Problem  :
1796.17/1796.52	c   Problem name     : t_HOME/instance-3740509-1338762136.opb
1796.17/1796.52	c   Variables        : 51289 (51289 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.17/1796.52	c   Constraints      : 163497 initial, 163497 maximal
1796.17/1796.52	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.17/1796.52	c   trivial          :       0.07       1071          0          0          0          0          0          0          0
1796.17/1796.52	c   dualfix          :       0.10        126          0          0          0          0          0          0          0
1796.17/1796.52	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.17/1796.52	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.17/1796.52	c   implics          :      12.19          0         67          0          0          0          0          0          0
1796.17/1796.52	c   probing          :    1756.18        241         65          0          0          0          0          0          0
1796.17/1796.52	c   knapsack         :       7.81          0          0          0          0          0          0         18        638
1796.17/1796.52	c   setppc           :       0.00          0          0          0          0          0          3          0          0
1796.17/1796.52	c   linear           :      13.35      15355       4628          0      16425          0      79981         33         21
1796.17/1796.52	c   logicor          :       0.87          0          0          0          1          0       1801          0          0
1796.17/1796.52	c   root node        :          -          0          -          -          0          -          -          -          -
1796.17/1796.52	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.17/1796.52	c   integral         :          0          0          0          0          0          0          0          0          0          0
1796.17/1796.52	c   knapsack         :          0+         0     396086          0          0         37          0          0          0          0
1796.17/1796.52	c   setppc           :          0+         0     396049          0          0          0          0          0          0          0
1796.17/1796.52	c   linear           :          0+         0          0          0          0          0          0          0          0          0
1796.17/1796.52	c   logicor          :          0+         0     394680          0          0        112          0          0          0          0
1796.17/1796.52	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.17/1796.52	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.17/1796.52	c   integral         :       0.00       0.00       0.00       0.00       0.00
1796.17/1796.52	c   knapsack         :       9.04       0.00       9.04       0.00       0.00
1796.17/1796.52	c   setppc           :       0.16       0.00       0.16       0.00       0.00
1796.17/1796.52	c   linear           :       0.00       0.00       0.00       0.00       0.00
1796.17/1796.52	c   logicor          :     178.29       0.00     178.29       0.00       0.00
1796.17/1796.52	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.17/1796.52	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.17/1796.52	c   rootredcost      :       0.04          0          0          0
1796.17/1796.52	c   pseudoobj        :       0.01          0          0          0
1796.17/1796.52	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.17/1796.52	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.17/1796.52	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.17/1796.52	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.17/1796.52	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.17/1796.52	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.17/1796.52	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.17/1796.52	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.77/1797.16	c Time complete: 1796.85.

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=27335148/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=7152 CPUtime=0 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1100 0 0 0 0 0 0 0 20 0 1 0 342342195 7323648 1052 33554432000 4194304 7823515 140735702515024 140735208934936 4402248 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1788 1062 335 887 0 898 0

[startup+0.019977 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=27335148/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=12192 CPUtime=0.01 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 2390 0 0 0 1 0 0 0 20 0 1 0 342342195 12484608 2342 33554432000 4194304 7823515 140735702515024 140735208934936 5878822 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 3048 2342 354 887 0 2158 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 12192

[startup+0.100277 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=27335148/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=25836 CPUtime=0.08 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 5788 0 0 0 8 0 0 0 20 0 1 0 342342195 26456064 5740 33554432000 4194304 7823515 140735702515024 140735208934936 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 6459 5741 354 887 0 5569 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 25836

[startup+0.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=27335148/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=51592 CPUtime=0.29 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 12256 0 0 0 28 1 0 0 20 0 1 0 342342195 52830208 12208 33554432000 4194304 7823515 140735702515024 140735208934936 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 12898 12208 354 887 0 12008 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 51592

[startup+0.700279 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 825
/proc/meminfo: memFree=27335148/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=76120 CPUtime=0.69 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 18343 0 0 0 67 2 0 0 20 0 1 0 342342195 77946880 18295 33554432000 4194304 7823515 140735702515024 140735208934936 6957168 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 19030 18295 354 887 0 18140 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 76120

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 826
/proc/meminfo: memFree=27235924/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=158656 CPUtime=1.49 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 39117 0 0 0 144 5 0 0 20 0 1 0 342342195 162463744 38715 33554432000 4194304 7823515 140735702515024 140735702381128 4512305 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 39664 38715 367 887 0 38774 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 158656

[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 826
/proc/meminfo: memFree=26971052/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=489260 CPUtime=3.09 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 121103 0 0 0 291 18 0 0 20 0 1 0 342342195 501002240 120701 33554432000 4194304 7823515 140735702515024 140735702511960 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 122315 120701 427 887 0 121425 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 489260

[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 826
/proc/meminfo: memFree=26656884/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=740368 CPUtime=6.29 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 182691 0 0 0 599 30 0 0 20 0 1 0 342342195 758136832 182289 33554432000 4194304 7823515 140735702515024 140735702511960 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 185092 182289 427 887 0 184202 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 740368

[startup+12.7003 s]
/proc/loadavg: 2.08 2.02 2.01 3/177 826
/proc/meminfo: memFree=26475256/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=848076 CPUtime=12.69 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 208343 0 0 0 1225 44 0 0 20 0 1 0 342342195 868429824 207941 33554432000 4194304 7823515 140735702515024 140735702511960 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 212019 207941 432 887 0 211129 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 848076

[startup+25.5004 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 826
/proc/meminfo: memFree=26331072/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=931064 CPUtime=25.49 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 226830 0 0 0 2458 91 0 0 20 0 1 0 342342195 953409536 228514 33554432000 4194304 7823515 140735702515024 140735702511720 5803108 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 232766 228514 460 887 0 231876 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 931064

[startup+51.1004 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 826
/proc/meminfo: memFree=26216960/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=965520 CPUtime=51.08 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 234519 0 0 0 5016 92 0 0 20 0 1 0 342342195 988692480 236203 33554432000 4194304 7823515 140735702515024 140735702511720 5803096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 241380 236203 460 887 0 240490 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 965520

[startup+102.306 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 826
/proc/meminfo: memFree=25988224/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=1086132 CPUtime=102.28 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 263457 0 0 0 10130 98 0 0 20 0 1 0 342342195 1112199168 265141 33554432000 4194304 7823515 140735702515024 140735702511080 4208133 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 271533 265141 460 887 0 270643 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1086132

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 826
/proc/meminfo: memFree=25617864/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=1249604 CPUtime=162.26 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 303331 0 0 0 16122 104 0 0 20 0 1 0 342342195 1279594496 305015 33554432000 4194304 7823515 140735702515024 140735702510888 5803631 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 312401 305015 461 887 0 311511 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1249604

[startup+222.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 826
/proc/meminfo: memFree=25362256/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=1310060 CPUtime=222.25 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 315432 0 0 0 22114 111 0 0 20 0 1 0 342342195 1341501440 319671 33554432000 4194304 7823515 140735702515024 140735702511720 5803135 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 327515 319671 461 887 0 326625 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 1310060

[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 826
/proc/meminfo: memFree=24985696/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=1414488 CPUtime=282.25 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 340708 0 0 0 28109 116 0 0 20 0 1 0 342342195 1448435712 344947 33554432000 4194304 7823515 140735702515024 140735702511704 5803623 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 353622 344947 461 887 0 352732 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 1414488

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 827
/proc/meminfo: memFree=24665060/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=1537184 CPUtime=342.24 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 370294 0 0 0 34103 121 0 0 20 0 1 0 342342195 1574076416 374533 33554432000 4194304 7823515 140735702515024 140735702511720 4243090 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 384296 374533 461 887 0 383406 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 1537184

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 827
/proc/meminfo: memFree=24242868/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=1773944 CPUtime=402.23 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 428870 0 0 0 40089 134 0 0 20 0 1 0 342342195 1816518656 433109 33554432000 4194304 7823515 140735702515024 140735702511928 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 443486 433109 461 887 0 442596 0
Current children cumulated CPU time (s) 402.23
Current children cumulated vsize (KiB) 1773944

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 827
/proc/meminfo: memFree=23747268/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=2058460 CPUtime=462.22 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 498582 0 0 0 46074 148 0 0 20 0 1 0 342342195 2107863040 502821 33554432000 4194304 7823515 140735702515024 140735702510888 6911387 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 514615 502821 461 887 0 513725 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 2058460

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 830
/proc/meminfo: memFree=23411956/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=2235524 CPUtime=522.21 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 543414 0 0 0 52064 157 0 0 20 0 1 0 342342195 2289176576 547653 33554432000 4194304 7823515 140735702515024 140735702511720 5803658 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 558881 547653 461 887 0 557991 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 2235524

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 830
/proc/meminfo: memFree=23055740/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=2454672 CPUtime=582.2 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 597224 0 0 0 58050 170 0 0 20 0 1 0 342342195 2513584128 601463 33554432000 4194304 7823515 140735702515024 140735702511080 5802411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 613668 601463 466 887 0 612778 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 2454672

[startup+642.3 s]

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

/proc/meminfo: memFree=20652948/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=3829096 CPUtime=1062.13 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 939046 0 0 0 105949 264 0 0 20 0 1 0 342342195 3920994304 943285 33554432000 4194304 7823515 140735702515024 140735702511720 5102375 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 957274 943285 466 887 0 956384 0
Current children cumulated CPU time (s) 1062.13
Current children cumulated vsize (KiB) 3829096

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 835
/proc/meminfo: memFree=20488104/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=3983280 CPUtime=1122.12 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 976897 0 0 0 111937 275 0 0 20 0 1 0 342342195 4078878720 981136 33554432000 4194304 7823515 140735702515024 140735702511720 5803131 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 995820 981136 466 887 0 994930 0
Current children cumulated CPU time (s) 1122.12
Current children cumulated vsize (KiB) 3983280

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 835
/proc/meminfo: memFree=20330656/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4135748 CPUtime=1182.11 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1015033 0 0 0 117923 288 0 0 20 0 1 0 342342195 4235005952 1019272 33554432000 4194304 7823515 140735702515024 140735702512696 5808224 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1033937 1019272 466 887 0 1033047 0
Current children cumulated CPU time (s) 1182.11
Current children cumulated vsize (KiB) 4135748

[startup+1242.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/177 836
/proc/meminfo: memFree=20249868/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4183292 CPUtime=1242.1 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1024556 0 0 0 123916 294 0 0 20 0 1 0 342342195 4283691008 1031350 33554432000 4194304 7823515 140735702515024 140735702511720 4781995 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1045823 1031350 466 887 0 1044933 0
Current children cumulated CPU time (s) 1242.1
Current children cumulated vsize (KiB) 4183292

[startup+1302.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 836
/proc/meminfo: memFree=20201960/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4227004 CPUtime=1302.09 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1032182 0 0 0 129908 301 0 0 20 0 1 0 342342195 4328452096 1041531 33554432000 4194304 7823515 140735702515024 140735702511720 5803139 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1056751 1041531 466 887 0 1055861 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 4227004

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 836
/proc/meminfo: memFree=20134160/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4290176 CPUtime=1362.09 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1048360 0 0 0 135903 306 0 0 20 0 1 0 342342195 4393140224 1057709 33554432000 4194304 7823515 140735702515024 140735702511720 5803616 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1072544 1057709 466 887 0 1071654 0
Current children cumulated CPU time (s) 1362.09
Current children cumulated vsize (KiB) 4290176

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 836
/proc/meminfo: memFree=20066908/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4357648 CPUtime=1422.08 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1062336 0 0 0 141893 315 0 0 20 0 1 0 342342195 4462231552 1074240 33554432000 4194304 7823515 140735702515024 140735702511720 5803619 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1089412 1074240 466 887 0 1088522 0
Current children cumulated CPU time (s) 1422.08
Current children cumulated vsize (KiB) 4357648

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 836
/proc/meminfo: memFree=19994768/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4425988 CPUtime=1482.06 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1080362 0 0 0 147886 320 0 0 20 0 1 0 342342195 4532211712 1092266 33554432000 4194304 7823515 140735702515024 140735702510888 5802411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1106497 1092266 466 887 0 1105607 0
Current children cumulated CPU time (s) 1482.06
Current children cumulated vsize (KiB) 4425988

[startup+1542.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 837
/proc/meminfo: memFree=19889880/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4531340 CPUtime=1542.06 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1103141 0 0 0 153875 331 0 0 20 0 1 0 342342195 4640092160 1118111 33554432000 4194304 7823515 140735702515024 140735702510888 5803600 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1132835 1118111 466 887 0 1131945 0
Current children cumulated CPU time (s) 1542.06
Current children cumulated vsize (KiB) 4531340

[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 837
/proc/meminfo: memFree=19784260/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4639052 CPUtime=1602.04 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1129351 0 0 0 159866 338 0 0 20 0 1 0 342342195 4750389248 1144321 33554432000 4194304 7823515 140735702515024 140735702511720 6954986 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1159763 1144321 466 887 0 1158873 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 4639052

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 837
/proc/meminfo: memFree=19669340/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4756248 CPUtime=1662.04 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1157834 0 0 0 165860 344 0 0 20 0 1 0 342342195 4870397952 1172804 33554432000 4194304 7823515 140735702515024 140735702511080 5803104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1189062 1172804 466 887 0 1188172 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 4756248

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 879
/proc/meminfo: memFree=22918072/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4842236 CPUtime=1722 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1178714 0 0 0 171852 348 0 0 20 0 1 0 342342195 4958449664 1193757 33554432000 4194304 7823515 140735702515024 140735702510888 5803612 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1210559 1193757 466 887 0 1209669 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 4842236

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 879
/proc/meminfo: memFree=22676608/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4939516 CPUtime=1781.97 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1200600 0 0 0 177839 358 0 0 20 0 1 0 342342195 5058064384 1218175 33554432000 4194304 7823515 140735702515024 140735702511720 5102411 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1234879 1218175 466 887 0 1233989 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 4939516

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 879
/proc/meminfo: memFree=22671384/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4939516 CPUtime=1785.17 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1200691 0 0 0 178159 358 0 0 20 0 1 0 342342195 5058064384 1218344 33554432000 4194304 7823515 140735702515024 140735702511720 5803608 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1234879 1218344 466 887 0 1233989 0
Current children cumulated CPU time (s) 1785.17
Current children cumulated vsize (KiB) 4939516

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 879
/proc/meminfo: memFree=22647452/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4939516 CPUtime=1791.59 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1201253 0 0 0 178800 359 0 0 20 0 1 0 342342195 5058064384 1218906 33554432000 4194304 7823515 140735702515024 140735702511704 5803119 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1234879 1218906 466 887 0 1233989 0
Current children cumulated CPU time (s) 1791.59
Current children cumulated vsize (KiB) 4939516

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 879
/proc/meminfo: memFree=22623628/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4940828 CPUtime=1794.78 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1201478 0 0 0 179119 359 0 0 20 0 1 0 342342195 5059407872 1219303 33554432000 4194304 7823515 140735702515024 140735702511720 5803104 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1235207 1219303 466 887 0 1234317 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 4940828

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 879
/proc/meminfo: memFree=22623628/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4943828 CPUtime=1795.58 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1201939 0 0 0 179199 359 0 0 20 0 1 0 342342195 5062479872 1219764 33554432000 4194304 7823515 140735702515024 140735702511720 5803096 0 0 4096 16384 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1235957 1219764 466 887 0 1235067 0
Current children cumulated CPU time (s) 1795.58
Current children cumulated vsize (KiB) 4943828

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 879
/proc/meminfo: memFree=22614824/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=4943652 CPUtime=1796.37 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1202486 0 0 0 179278 359 0 0 20 0 1 0 342342195 5062299648 1219831 33554432000 4194304 7823515 140735702515024 140735702511720 5875712 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 1235913 1219831 476 887 0 1235023 0
Current children cumulated CPU time (s) 1796.37
Current children cumulated vsize (KiB) 4943652

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 879
/proc/meminfo: memFree=22614824/32873844 swapFree=7372/7372
[pid=825] ppid=823 vsize=866132 CPUtime=1796.77 cores=0,2,4,6
/proc/825/stat : 825 (pbscip.linux.x8) R 823 825 32091 0 -1 4202496 1202488 0 0 0 179294 383 0 0 20 0 1 0 342342195 886919168 215272 33554432000 4194304 7823515 140735702515024 140735702514456 5875834 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/825/statm: 216533 215272 478 887 0 215643 0
Current children cumulated CPU time (s) 1796.77
Current children cumulated vsize (KiB) 866132

Child status: 0
Real time (s): 1797.17
CPU time (s): 1796.85
CPU user time (s): 1792.97
CPU system time (s): 3.88041
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 4945844

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.97
system time used= 3.88041
maximum resident set size= 4881244
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1202500
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= 58
involuntary context switches= 1892

runsolver used 5.55116 second user time and 12.929 second system time

The end

Launcher Data 

Begin job on node109 at 2012-06-04 00:22:16
IDJOB=3740509
IDBENCH=77627
IDSOLVER=2321
FILE ID=node109/3740509-1338762136
RUNJOBID= node109-1338747536-32107
PBS_JOBID= 14636780
Free space on /tmp= 70692 MiB

SOLVER NAME= PB09: SCIPspx SCIP 1.1.0.7 with SoPLEX 1.4.1(24.4.2009)
BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-LIN/oliveras/j120opt/normalized-j12026_4.std.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-3740509-1338762136/watcher-3740509-1338762136 -o /tmp/evaluation-result-3740509-1338762136/solver-3740509-1338762136 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740509-1338762136.opb

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

MD5SUM BENCH= 1d933df6a578d668cfefed05a131780d
RANDOM SEED=472874111

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27335528 kB
Buffers:         1862960 kB
Cached:          1630796 kB
SwapCached:          988 kB
Active:          3610760 kB
Inactive:        1045804 kB
Active(anon):    1153868 kB
Inactive(anon):     7876 kB
Active(file):    2456892 kB
Inactive(file):  1037928 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67105540 kB
Dirty:             17124 kB
Writeback:             0 kB
AnonPages:       1165956 kB
Mapped:            11880 kB
Shmem:                 4 kB
Slab:             740280 kB
SReclaimable:     182180 kB
SUnreclaim:       558100 kB
KernelStack:        1480 kB
PageTables:         6344 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1298988 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     26624 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 70684 MiB
End job on node109 at 2012-06-04 00:52:13