Trace number 3740608

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.72 1797.2

General information on the benchmark

Name/OPT-SMALLINT-LIN/oliveras/j90opt/
normalized-j9041_1.std.opb
MD5SUM3e6e3a1f87ab2abccb053e7d7cf5a2f2
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark148
Best CPU time to get the best result obtained on this benchmark1800.04
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables54782
Total number of constraints192750
Number of constraints which are clauses191550
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 constraint78
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.19/1.25	c SCIP version 1.1.0.7
1.19/1.25	c LP-Solver SoPlex 1.4.1
1.19/1.25	c user parameter file <scip.set> not found - using default parameters
1.19/1.25	c read problem <HOME/instance-3740608-1338763777.opb>
1.19/1.25	c original problem has 54782 variables (54782 bin, 0 int, 0 impl, 0 cont) and 192750 constraints
1.49/1.60	c start presolving problem
1.49/1.60	c presolving:
7.09/7.11	c (round 1) 5690 del vars, 16844 del conss, 4445 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12992086 impls, 0 clqs
9.19/9.29	c (round 2) 10712 del vars, 38741 del conss, 9203 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13021316 impls, 0 clqs
9.99/10.01	c (round 3) 12517 del vars, 47729 del conss, 10253 chg bounds, 25 chg sides, 46 chg coeffs, 0 upgd conss, 13033741 impls, 0 clqs
10.38/10.46	c (round 4) 13559 del vars, 51910 del conss, 10902 chg bounds, 25 chg sides, 46 chg coeffs, 0 upgd conss, 13045908 impls, 0 clqs
10.69/10.78	c (round 5) 14216 del vars, 54624 del conss, 11361 chg bounds, 25 chg sides, 46 chg coeffs, 0 upgd conss, 13052481 impls, 0 clqs
10.99/11.00	c (round 6) 14685 del vars, 56566 del conss, 11647 chg bounds, 25 chg sides, 46 chg coeffs, 0 upgd conss, 13057451 impls, 0 clqs
11.09/11.15	c (round 7) 14923 del vars, 57677 del conss, 11814 chg bounds, 25 chg sides, 46 chg coeffs, 0 upgd conss, 13058844 impls, 0 clqs
11.19/11.25	c (round 8) 15024 del vars, 58160 del conss, 11871 chg bounds, 25 chg sides, 46 chg coeffs, 0 upgd conss, 13060463 impls, 0 clqs
11.28/11.35	c (round 9) 15099 del vars, 58466 del conss, 11919 chg bounds, 31 chg sides, 52 chg coeffs, 0 upgd conss, 13061264 impls, 0 clqs
11.39/11.43	c (round 10) 15150 del vars, 58695 del conss, 11946 chg bounds, 31 chg sides, 52 chg coeffs, 0 upgd conss, 13062256 impls, 0 clqs
11.49/11.51	c (round 11) 15198 del vars, 58897 del conss, 11974 chg bounds, 31 chg sides, 52 chg coeffs, 0 upgd conss, 13062650 impls, 0 clqs
11.49/11.59	c (round 12) 15218 del vars, 59007 del conss, 11990 chg bounds, 31 chg sides, 52 chg coeffs, 0 upgd conss, 13062786 impls, 0 clqs
11.59/11.68	c (round 13) 15226 del vars, 59047 del conss, 11996 chg bounds, 31 chg sides, 52 chg coeffs, 0 upgd conss, 13062902 impls, 0 clqs
11.69/11.74	c (round 14) 15230 del vars, 59069 del conss, 11996 chg bounds, 31 chg sides, 52 chg coeffs, 0 upgd conss, 13062908 impls, 0 clqs
12.18/12.28	c (round 15) 15230 del vars, 59076 del conss, 11996 chg bounds, 31 chg sides, 52 chg coeffs, 133674 upgd conss, 13062908 impls, 0 clqs
13.48/13.58	c (round 16) 15230 del vars, 59084 del conss, 11996 chg bounds, 83 chg sides, 284 chg coeffs, 133674 upgd conss, 13063670 impls, 1634 clqs
14.69/14.73	c (round 17) 15230 del vars, 59103 del conss, 11996 chg bounds, 89 chg sides, 325 chg coeffs, 133674 upgd conss, 13063670 impls, 1757 clqs
373.37/373.56	c    (370.7s) probing: 1000/39552 (2.5%) - 9 fixings, 5 aggregations, 10226236 implications, 0 bound changes
556.52/556.72	c    (553.3s) probing: 2000/39552 (5.1%) - 9 fixings, 5 aggregations, 17039380 implications, 0 bound changes
627.60/627.86	c    (624.2s) probing: 2467/39552 (6.2%) - 9 fixings, 5 aggregations, 20050661 implications, 0 bound changes
627.60/627.86	c    (624.2s) probing aborted: 2000/2000 successive useless probings
627.60/627.87	c (round 18) 15244 del vars, 59103 del conss, 11996 chg bounds, 89 chg sides, 325 chg coeffs, 133674 upgd conss, 84147770 impls, 1697 clqs
628.41/628.65	c (round 19) 15246 del vars, 59325 del conss, 11996 chg bounds, 89 chg sides, 441 chg coeffs, 133674 upgd conss, 84147814 impls, 1697 clqs
858.26/858.57	c    (854.7s) probing: 3000/39552 (7.6%) - 38 fixings, 24 aggregations, 22757629 implications, 0 bound changes
929.65/929.92	c (round 20) 15296 del vars, 59325 del conss, 11996 chg bounds, 89 chg sides, 441 chg coeffs, 133674 upgd conss, 96570730 impls, 1797 clqs
930.44/930.77	c (round 21) 15300 del vars, 59480 del conss, 11996 chg bounds, 89 chg sides, 445 chg coeffs, 133674 upgd conss, 96570858 impls, 1797 clqs
1185.68/1186.08	c    (1181.7s) probing: 4000/39552 (10.1%) - 55 fixings, 35 aggregations, 28735512 implications, 0 bound changes
1522.38/1522.80	c    (1517.7s) probing: 5000/39552 (12.6%) - 55 fixings, 35 aggregations, 41046025 implications, 0 bound changes
1791.01/1791.59	c    (1785.9s) probing: 6000/39552 (15.2%) - 60 fixings, 38 aggregations, 50806968 implications, 0 bound changes
1796.21/1796.72	c    (1791.0s) probing: 6022/39552 (15.2%) - 60 fixings, 38 aggregations, 50995402 implications, 0 bound changes
1796.21/1796.72	c    (1791.0s) probing aborted: solving stopped
1796.21/1796.72	c (round 22) 15334 del vars, 59480 del conss, 11996 chg bounds, 89 chg sides, 445 chg coeffs, 133674 upgd conss, 160343118 impls, 1797 clqs
1796.21/1796.72	c presolving (22 rounds):
1796.21/1796.72	c  15334 deleted vars, 59480 deleted constraints, 11996 tightened bounds, 0 added holes, 89 changed sides, 445 changed coefficients
1796.21/1796.72	c  160343118 implications, 1797 cliques
1796.21/1796.72	c presolving was interrupted.
1796.21/1796.72	c Presolving Time: 1790.79
1796.21/1796.72	c OPT-LIN
1796.21/1796.72	c -----------------------------------------------------------------------------------------------
1796.21/1796.72	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1796.21/1796.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.21/1796.72	c limits/memory = c 13950
1796.21/1796.72	c # maximal time in seconds to run
1796.21/1796.72	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1796.21/1796.72	c limits/time = c 1791
1796.21/1796.72	c # frequency for displaying node information lines
1796.21/1796.72	c # [type: int, range: [-1,2147483647], default: 100]
1796.21/1796.72	c display/freq = c 10000
1796.21/1796.72	c -----------------------------------------------------------------------------------------------
1796.21/1796.72	c start solving problem
1796.21/1796.72	c presolving:
1796.21/1796.72	c presolving (22 rounds):
1796.21/1796.72	c  15334 deleted vars, 59480 deleted constraints, 11996 tightened bounds, 0 added holes, 89 changed sides, 445 changed coefficients
1796.21/1796.72	c  160343118 implications, 1797 cliques
1796.21/1796.72	c presolving was interrupted.
1796.21/1796.72	c Presolving Time: 1790.79
1796.21/1796.72	c 
1796.21/1796.72	c SCIP Status        : solving was interrupted [time limit reached]
1796.21/1796.72	c Solving Time (sec) : 1791.02
1796.21/1796.72	c Solving Nodes      : 0
1796.21/1796.72	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1796.21/1796.72	c NODE         0
1796.21/1796.72	c DUAL BOUND   -1e+20
1796.21/1796.72	c PRIMAL BOUND 1e+20
1796.21/1796.72	c GAP          1e+20
1796.21/1796.72	s UNKNOWN
1796.21/1796.72	c SCIP Status        : solving was interrupted [time limit reached]
1796.21/1796.72	c Solving Time       :    1791.02
1796.21/1796.72	c Original Problem   :
1796.21/1796.72	c   Problem name     : HOME/instance-3740608-1338763777.opb
1796.21/1796.72	c   Variables        : 54782 (54782 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.21/1796.72	c   Constraints      : 192750 initial, 192750 maximal
1796.21/1796.72	c Presolved Problem  :
1796.21/1796.72	c   Problem name     : t_HOME/instance-3740608-1338763777.opb
1796.21/1796.72	c   Variables        : 39448 (39448 binary, 0 integer, 0 implicit integer, 0 continuous)
1796.21/1796.72	c   Constraints      : 133319 initial, 133319 maximal
1796.21/1796.72	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1796.21/1796.72	c   trivial          :       0.04        776          0          0          0          0          0          0          0
1796.21/1796.72	c   dualfix          :       0.07         92          0          0          0          0          0          0          0
1796.21/1796.72	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1796.21/1796.72	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1796.21/1796.72	c   implics          :       1.20          0          6          0          0          0          0          0          0
1796.21/1796.72	c   probing          :    1776.00         60         38          0          0          0          0          0          0
1796.21/1796.72	c   knapsack         :       3.39          0          0          0          0          0          0         58        393
1796.21/1796.72	c   setppc           :       0.00          0          0          0          0          0         27          0          0
1796.21/1796.72	c   linear           :       9.40      11220       3142          0      11996          0      59076         31         52
1796.21/1796.72	c   logicor          :       0.46          0          0          0          0          0        377          0          0
1796.21/1796.72	c   root node        :          -          0          -          -          0          -          -          -          -
1796.21/1796.72	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1796.21/1796.72	c   integral         :          0          0          0          0          0          0          0          0          0          0
1796.21/1796.72	c   knapsack         :          0+         0     479577          0          0         16          0          0          0          0
1796.21/1796.72	c   setppc           :          0+         0     476615          0          0          0          0          0          0          0
1796.21/1796.72	c   linear           :          0+         0          0          0          0          0          0          0          0          0
1796.21/1796.72	c   logicor          :          0+         0     477936          0          0         31          0          0          0          0
1796.21/1796.72	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1796.21/1796.72	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1796.21/1796.72	c   integral         :       0.00       0.00       0.00       0.00       0.00
1796.21/1796.72	c   knapsack         :       8.23       0.00       8.23       0.00       0.00
1796.21/1796.72	c   setppc           :       0.24       0.00       0.24       0.00       0.00
1796.21/1796.72	c   linear           :       0.00       0.00       0.00       0.00       0.00
1796.21/1796.72	c   logicor          :     180.45       0.00     180.45       0.00       0.00
1796.21/1796.72	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1796.21/1796.72	c Propagators        :       Time      Calls    Cutoffs    DomReds
1796.21/1796.72	c   rootredcost      :       0.05          0          0          0
1796.21/1796.72	c   pseudoobj        :       0.03          0          0          0
1796.21/1796.72	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1796.21/1796.72	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1796.21/1796.72	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1796.21/1796.72	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1796.21/1796.72	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1796.21/1796.72	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1796.21/1796.72	c   applied globally :          -          -          -          0        0.0          -          -          -
1796.21/1796.72	c   applied locally  :          -          -          -          0        0.0          -          -          -
1796.71/1797.20	c Time complete: 1796.71.

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-3740608-1338763777/watcher-3740608-1338763777 -o /tmp/evaluation-result-3740608-1338763777/solver-3740608-1338763777 -C 1800 -W 1900 -M 15500 HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740608-1338763777.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/176 3539
/proc/meminfo: memFree=29178492/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=8232 CPUtime=0 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1443 0 0 0 0 0 0 0 20 0 1 0 342506315 8429568 1396 33554432000 4194304 7823515 140734772171200 140736357225832 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 2058 1396 337 887 0 1168 0

[startup+0.065632 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3539
/proc/meminfo: memFree=29178492/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=18992 CPUtime=0.05 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 4104 0 0 0 5 0 0 0 20 0 1 0 342506315 19447808 4057 33554432000 4194304 7823515 140734772171200 140736357225832 6908077 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 4748 4057 354 887 0 3858 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 18992

[startup+0.100273 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3539
/proc/meminfo: memFree=29178492/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=25416 CPUtime=0.09 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 5672 0 0 0 8 1 0 0 20 0 1 0 342506315 26025984 5626 33554432000 4194304 7823515 140734772171200 140736357225832 5878822 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 6354 5659 354 887 0 5464 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 25416

[startup+0.300262 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3539
/proc/meminfo: memFree=29178492/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=44172 CPUtime=0.29 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 10359 0 0 0 27 2 0 0 20 0 1 0 342506315 45232128 10312 33554432000 4194304 7823515 140734772171200 140734772037304 6957168 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 11043 10312 354 887 0 10153 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 44172

[startup+0.700256 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 3539
/proc/meminfo: memFree=29178492/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=70488 CPUtime=0.69 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 16936 0 0 0 66 3 0 0 20 0 1 0 342506315 72179712 16889 33554432000 4194304 7823515 140734772171200 140734772037304 6908057 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 17622 16889 354 887 0 16732 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 70488

[startup+1.50028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3540
/proc/meminfo: memFree=29085352/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=256816 CPUtime=1.49 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 63793 0 0 0 139 10 0 0 20 0 1 0 342506315 262979584 63392 33554432000 4194304 7823515 140734772171200 140734772037304 5879297 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 64204 63392 375 887 0 63314 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 256816

[startup+3.10028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3540
/proc/meminfo: memFree=28852604/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=424312 CPUtime=3.08 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 105328 0 0 0 292 16 0 0 20 0 1 0 342506315 434495488 104927 33554432000 4194304 7823515 140734772171200 140734772168136 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 106078 104927 427 887 0 105188 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 424312

[startup+6.30028 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3540
/proc/meminfo: memFree=28598288/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=640116 CPUtime=6.29 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 157545 0 0 0 600 29 0 0 20 0 1 0 342506315 655478784 157144 33554432000 4194304 7823515 140734772171200 140734772168136 6954986 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 160029 157145 432 887 0 159139 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 640116

[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3540
/proc/meminfo: memFree=28504404/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=720616 CPUtime=12.68 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 177662 0 0 0 1197 71 0 0 20 0 1 0 342506315 737910784 176822 33554432000 4194304 7823515 140734772171200 140734772168488 6908057 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/3539/statm: 180154 176822 443 887 0 179264 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 720616

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3543
/proc/meminfo: memFree=28451296/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=742220 CPUtime=25.48 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 179658 0 0 0 2470 78 0 0 20 0 1 0 342506315 760033280 181875 33554432000 4194304 7823515 140734772171200 140734772167064 5803127 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 185555 181875 460 887 0 184665 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 742220

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3543
/proc/meminfo: memFree=28395224/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=804224 CPUtime=51.07 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 193960 0 0 0 5026 81 0 0 20 0 1 0 342506315 823525376 196177 33554432000 4194304 7823515 140734772171200 140734772167256 4788397 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 201056 196177 460 887 0 200166 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 804224

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3543
/proc/meminfo: memFree=28117392/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=1084680 CPUtime=102.27 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 262398 0 0 0 10135 92 0 0 20 0 1 0 342506315 1110712320 264615 33554432000 4194304 7823515 140734772171200 140734772167064 5803604 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 271170 264615 461 887 0 270280 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 1084680

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3543
/proc/meminfo: memFree=27962544/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=1245536 CPUtime=162.26 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 302344 0 0 0 16125 101 0 0 20 0 1 0 342506315 1275428864 304561 33554432000 4194304 7823515 140734772171200 140734772167064 5803658 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 311384 304561 461 887 0 310494 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 1245536

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3581
/proc/meminfo: memFree=29581196/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=1463304 CPUtime=222.23 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 356984 0 0 0 22110 113 0 0 20 0 1 0 342506315 1498423296 359296 33554432000 4194304 7823515 140734772171200 140734772167896 5803639 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 365826 359296 461 887 0 364936 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 1463304

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3582
/proc/meminfo: memFree=29090804/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=1714240 CPUtime=282.2 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 418866 0 0 0 28091 129 0 0 20 0 1 0 342506315 1755381760 421407 33554432000 4194304 7823515 140734772171200 140734772167064 5803127 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 428560 421407 461 887 0 427670 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 1714240

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3582
/proc/meminfo: memFree=28528864/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=2023452 CPUtime=342.18 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 495545 0 0 0 34070 148 0 0 20 0 1 0 342506315 2072014848 498076 33554432000 4194304 7823515 140734772171200 140734772167896 5803158 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 505863 498076 461 887 0 504973 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 2023452

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3620
/proc/meminfo: memFree=28976468/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=2238756 CPUtime=402.16 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 549129 0 0 0 40054 162 0 0 20 0 1 0 342506315 2292486144 551655 33554432000 4194304 7823515 140734772171200 140734772167064 5803612 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 559689 551655 466 887 0 558799 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 2238756

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3620
/proc/meminfo: memFree=28512860/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=2444136 CPUtime=462.16 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 600963 0 0 0 46037 179 0 0 20 0 1 0 342506315 2502795264 603489 33554432000 4194304 7823515 140734772171200 140734772167880 4970923 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 611034 603489 466 887 0 610144 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 2444136

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3620
/proc/meminfo: memFree=28166924/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=2617536 CPUtime=522.14 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 643648 0 0 0 52018 196 0 0 20 0 1 0 342506315 2680356864 646167 33554432000 4194304 7823515 140734772171200 140734772167896 5803631 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 654384 646167 466 887 0 653494 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 2617536

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3621
/proc/meminfo: memFree=27739348/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=2796640 CPUtime=582.12 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 687447 0 0 0 57996 216 0 0 20 0 1 0 342506315 2863759360 690265 33554432000 4194304 7823515 140734772171200 140734772167896 4207929 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 699160 690265 466 887 0 698270 0
Current children cumulated CPU time (s) 582.12
Current children cumulated vsize (KiB) 2796640

[startup+642.3 s]

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

/proc/meminfo: memFree=26061404/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=3738172 CPUtime=1121.99 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 915157 0 0 0 111921 278 0 0 20 0 1 0 342506315 3827888128 925000 33554432000 4194304 7823515 140734772171200 140734772167896 5803115 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 934543 925000 466 887 0 933653 0
Current children cumulated CPU time (s) 1121.99
Current children cumulated vsize (KiB) 3738172

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3648
/proc/meminfo: memFree=25922552/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=3881548 CPUtime=1181.98 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 949953 0 0 0 117910 288 0 0 20 0 1 0 342506315 3974705152 959826 33554432000 4194304 7823515 140734772171200 140734772167896 5802769 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 970387 959826 466 887 0 969497 0
Current children cumulated CPU time (s) 1181.98
Current children cumulated vsize (KiB) 3881548

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 3651
/proc/meminfo: memFree=25822380/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=3983976 CPUtime=1241.97 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 974911 0 0 0 123901 296 0 0 20 0 1 0 342506315 4079591424 984802 33554432000 4194304 7823515 140734772171200 140734772167896 5803146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 995994 984802 466 887 0 995104 0
Current children cumulated CPU time (s) 1241.97
Current children cumulated vsize (KiB) 3983976

[startup+1302.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/177 3651
/proc/meminfo: memFree=25587932/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=4131892 CPUtime=1301.96 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1011095 0 0 0 129892 304 0 0 20 0 1 0 342506315 4231057408 1021025 33554432000 4194304 7823515 140734772171200 140734772167256 4243008 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1032973 1021025 466 887 0 1032083 0
Current children cumulated CPU time (s) 1301.96
Current children cumulated vsize (KiB) 4131892

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3651
/proc/meminfo: memFree=25342924/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=4288472 CPUtime=1361.94 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1049529 0 0 0 135883 311 0 0 20 0 1 0 342506315 4391395328 1059484 33554432000 4194304 7823515 140734772171200 140734772167880 4223435 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1072118 1059484 466 887 0 1071228 0
Current children cumulated CPU time (s) 1361.94
Current children cumulated vsize (KiB) 4288472

[startup+1422.31 s]
/proc/loadavg: 2.05 2.02 2.00 3/177 3651
/proc/meminfo: memFree=25160300/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=4471948 CPUtime=1421.92 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1094406 0 0 0 141869 323 0 0 20 0 1 0 342506315 4579274752 1104382 33554432000 4194304 7823515 140734772171200 140734772167896 5803135 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1117987 1104382 466 887 0 1117097 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 4471948

[startup+1482.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 3652
/proc/meminfo: memFree=24982324/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=4648108 CPUtime=1481.9 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1138086 0 0 0 147855 335 0 0 20 0 1 0 342506315 4759662592 1148125 33554432000 4194304 7823515 140734772171200 140734772167896 4824878 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1162027 1148125 466 887 0 1161137 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 4648108

[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 3652
/proc/meminfo: memFree=24788664/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=4842648 CPUtime=1541.88 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1186065 0 0 0 153838 350 0 0 20 0 1 0 342506315 4958871552 1196140 33554432000 4194304 7823515 140734772171200 140734772167896 4243078 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1210662 1196140 466 887 0 1209772 0
Current children cumulated CPU time (s) 1541.88
Current children cumulated vsize (KiB) 4842648

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3652
/proc/meminfo: memFree=24601140/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5027492 CPUtime=1601.85 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1231940 0 0 0 159823 362 0 0 20 0 1 0 342506315 5148151808 1242136 33554432000 4194304 7823515 140734772171200 140734772167256 5803108 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1256873 1242136 466 887 0 1255983 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 5027492

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3652
/proc/meminfo: memFree=24379952/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5247864 CPUtime=1661.84 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1286597 0 0 0 165810 374 0 0 20 0 1 0 342506315 5373812736 1296904 33554432000 4194304 7823515 140734772171200 140734772167896 5803146 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1311966 1296904 466 887 0 1311076 0
Current children cumulated CPU time (s) 1661.84
Current children cumulated vsize (KiB) 5247864

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3652
/proc/meminfo: memFree=24238496/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5392052 CPUtime=1721.83 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1322405 0 0 0 171798 385 0 0 20 0 1 0 342506315 5521461248 1332879 33554432000 4194304 7823515 140734772171200 140734772167880 4208133 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1348013 1332879 466 887 0 1347123 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 5392052

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3653
/proc/meminfo: memFree=24061824/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5566376 CPUtime=1781.81 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1365631 0 0 0 177783 398 0 0 20 0 1 0 342506315 5699969024 1376265 33554432000 4194304 7823515 140734772171200 140734772167880 5803104 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1391594 1376265 466 887 0 1390704 0
Current children cumulated CPU time (s) 1781.81
Current children cumulated vsize (KiB) 5566376

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 3653
/proc/meminfo: memFree=24052648/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5574480 CPUtime=1785.01 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1367917 0 0 0 178102 399 0 0 20 0 1 0 342506315 5708267520 1378551 33554432000 4194304 7823515 140734772171200 140734772167896 5803650 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1393620 1378551 466 887 0 1392730 0
Current children cumulated CPU time (s) 1785.01
Current children cumulated vsize (KiB) 5574480

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3653
/proc/meminfo: memFree=24033040/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5597504 CPUtime=1791.41 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1372782 0 0 0 178741 400 0 0 20 0 1 0 342506315 5731844096 1383423 33554432000 4194304 7823515 140734772171200 140734772167256 4243078 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1399376 1383423 466 887 0 1398486 0
Current children cumulated CPU time (s) 1791.41
Current children cumulated vsize (KiB) 5597504

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3653
/proc/meminfo: memFree=24024856/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5603536 CPUtime=1794.61 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1374729 0 0 0 179061 400 0 0 20 0 1 0 342506315 5738020864 1385370 33554432000 4194304 7823515 140734772171200 140734772167896 5802398 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1400884 1385370 466 887 0 1399994 0
Current children cumulated CPU time (s) 1794.61
Current children cumulated vsize (KiB) 5603536

[startup+1795.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3653
/proc/meminfo: memFree=24024856/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5608516 CPUtime=1795.41 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1375511 0 0 0 179140 401 0 0 20 0 1 0 342506315 5743120384 1386152 33554432000 4194304 7823515 140734772171200 140734772167896 5803608 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1402129 1386152 466 887 0 1401239 0
Current children cumulated CPU time (s) 1795.41
Current children cumulated vsize (KiB) 5608516

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3653
/proc/meminfo: memFree=24021508/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5608516 CPUtime=1796.21 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1375783 0 0 0 179220 401 0 0 20 0 1 0 342506315 5743120384 1386424 33554432000 4194304 7823515 140734772171200 140734772167896 5803158 0 0 4096 16384 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1402129 1386424 466 887 0 1401239 0
Current children cumulated CPU time (s) 1796.21
Current children cumulated vsize (KiB) 5608516

[startup+1797.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3653
/proc/meminfo: memFree=24021508/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=5527804 CPUtime=1796.6 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1376150 0 0 0 179245 415 0 0 20 0 1 0 342506315 5660471296 323302 33554432000 4194304 7823515 140734772171200 140734772167896 7132266 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 1381951 323302 478 887 0 1381061 0
Current children cumulated CPU time (s) 1796.6
Current children cumulated vsize (KiB) 5527804

[startup+1797.2 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 3653
/proc/meminfo: memFree=24021508/32873844 swapFree=7116/7116
[pid=3539] ppid=3537 vsize=621036 CPUtime=1796.71 cores=0,2,4,6
/proc/3539/stat : 3539 (pbscip.linux.x8) R 3537 3539 2584 0 -1 4202496 1376155 0 0 0 179251 420 0 0 20 0 1 0 342506315 635940864 26188 33554432000 4194304 7823515 140734772171200 140734772167896 7132266 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/3539/statm: 155259 26188 483 887 0 154369 0
Current children cumulated CPU time (s) 1796.71
Current children cumulated vsize (KiB) 621036

Child status: 0
Real time (s): 1797.2
CPU time (s): 1796.72
CPU user time (s): 1792.51
CPU system time (s): 4.20436
CPU usage (%): 99.9729
Max. virtual memory (cumulated for all children) (KiB): 5610532

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1792.51
system time used= 4.20436
maximum resident set size= 5547156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1376162
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= 239
involuntary context switches= 1961

runsolver used 7.16191 second user time and 15.1667 second system time

The end

Launcher Data 

Begin job on node103 at 2012-06-04 00:49:37
IDJOB=3740608
IDBENCH=77972
IDSOLVER=2321
FILE ID=node103/3740608-1338763777
RUNJOBID= node103-1338749472-2600
PBS_JOBID= 14636802
Free space on /tmp= 71104 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/j90opt/normalized-j9041_1.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-3740608-1338763777/watcher-3740608-1338763777 -o /tmp/evaluation-result-3740608-1338763777/solver-3740608-1338763777 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt-gcc42.spx -t 1800 -m 15500 -f HOME/instance-3740608-1338763777.opb

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

MD5SUM BENCH= 3e6e3a1f87ab2abccb053e7d7cf5a2f2
RANDOM SEED=1177257539

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29178492 kB
Buffers:          194352 kB
Cached:           378724 kB
SwapCached:         5648 kB
Active:          2532284 kB
Inactive:         384644 kB
Active(anon):    2341512 kB
Inactive(anon):     4740 kB
Active(file):     190772 kB
Inactive(file):   379904 kB
Unevictable:        7116 kB
Mlocked:            7116 kB
SwapTotal:      67108856 kB
SwapFree:       67096352 kB
Dirty:             15560 kB
Writeback:             0 kB
AnonPages:       2428608 kB
Mapped:            11188 kB
Shmem:                 0 kB
Slab:             633360 kB
SReclaimable:      74104 kB
SUnreclaim:       559256 kB
KernelStack:        1480 kB
PageTables:         8584 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    2502760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    165888 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71100 MiB
End job on node103 at 2012-06-04 01:19:35