Trace number 3743561

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver? 1790.04 1790.35

General information on the benchmark

Name/OPT-BIGINT-LIN/sroussel/BA/
normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
MD5SUMe10bad0133ca8f0560dac2af6a91b033
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-152401
Best CPU time to get the best result obtained on this benchmark1800.16
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables40451
Total number of constraints40950
Number of constraints which are clauses40396
Number of constraints which are cardinality constraints (but not clauses)553
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint1
Maximum length of a constraint40128
Number of terms in the objective function 25674
Biggest coefficient in the objective function 10946
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 50350080
Number of bits of the sum of numbers in the objective function 26
Biggest number in a constraint 10946
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 50350080
Number of bits of the biggest sum of numbers26
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c SCIP version 1.2.1.3 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: SoPlex 1.4.2]
0.00/0.00	c Copyright (c) 2002-2010 Konrad-Zuse-Zentrum fuer Informationstechnik Berlin (ZIB)
0.00/0.00	c 
0.00/0.00	c user parameter file <scip.set> not found - using default parameters
0.00/0.00	c reading problem <HOME/instance-3743561-1338787177.opb>
0.39/0.43	c original problem has 40451 variables (40451 bin, 0 int, 0 impl, 0 cont) and 40950 constraints
0.39/0.43	c problem read
0.39/0.43	c presolving settings loaded
0.59/0.67	c presolving:
0.79/0.85	c (round 1) 6528 del vars, 6502 del conss, 125 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 12516 impls, 455 clqs
0.89/0.90	c (round 2) 7584 del vars, 7563 del conss, 1058 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 13114 impls, 454 clqs
0.89/0.96	c (round 3) 8138 del vars, 8117 del conss, 1612 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 14034 impls, 454 clqs
0.99/1.01	c (round 4) 8523 del vars, 8502 del conss, 1997 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 15510 impls, 454 clqs
0.99/1.06	c (round 5) 8834 del vars, 8813 del conss, 2308 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 17176 impls, 454 clqs
1.09/1.11	c (round 6) 9101 del vars, 9080 del conss, 2575 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 18260 impls, 454 clqs
1.09/1.16	c (round 7) 9337 del vars, 9316 del conss, 2811 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 19058 impls, 454 clqs
1.19/1.21	c (round 8) 9468 del vars, 9447 del conss, 2942 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20104 impls, 454 clqs
1.19/1.25	c (round 9) 9519 del vars, 9498 del conss, 2993 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 20814 impls, 454 clqs
1.19/1.29	c (round 10) 9542 del vars, 9521 del conss, 3016 chg bounds, 0 chg sides, 0 chg coeffs, 0 upgd conss, 21140 impls, 454 clqs
88.68/88.71	c (round 11) 9645 del vars, 9587 del conss, 3017 chg bounds, 0 chg sides, 0 chg coeffs, 31298 upgd conss, 7617000 impls, 454 clqs
88.88/88.91	c (round 12) 9645 del vars, 9689 del conss, 3017 chg bounds, 0 chg sides, 0 chg coeffs, 31363 upgd conss, 7617062 impls, 454 clqs
352.04/352.14	c    (351.7s) probing: 1000/30908 (3.2%) - 99 fixings, 18 aggregations, 1275271 implications, 0 bound changes
522.11/522.23	c    (521.8s) probing: 2000/30908 (6.5%) - 101 fixings, 35 aggregations, 3534519 implications, 0 bound changes
774.53/774.73	c    (774.3s) probing: 3000/30908 (9.7%) - 104 fixings, 46 aggregations, 6295048 implications, 0 bound changes
947.41/947.63	c (round 13) 9695 del vars, 9689 del conss, 3017 chg bounds, 0 chg sides, 0 chg coeffs, 31363 upgd conss, 27968296 impls, 454 clqs
947.61/947.80	c (round 14) 9695 del vars, 9739 del conss, 3017 chg bounds, 0 chg sides, 0 chg coeffs, 31363 upgd conss, 27968296 impls, 454 clqs
1208.17/1208.43	c    (1208.0s) probing: 4000/30908 (12.9%) - 104 fixings, 48 aggregations, 8543950 implications, 0 bound changes
1567.52/1567.89	c    (1567.5s) probing: 5000/30908 (16.2%) - 108 fixings, 53 aggregations, 11888327 implications, 0 bound changes
1789.78/1790.12	c    (1789.7s) probing: 5572/30908 (18.0%) - 110 fixings, 61 aggregations, 13725996 implications, 0 bound changes
1789.78/1790.12	c    (1789.7s) probing aborted: solving stopped
1789.78/1790.12	c (round 15) 9714 del vars, 9739 del conss, 3017 chg bounds, 0 chg sides, 0 chg coeffs, 31363 upgd conss, 39080408 impls, 454 clqs
1789.78/1790.12	c presolving (15 rounds):
1789.78/1790.12	c  9714 deleted vars, 9739 deleted constraints, 3017 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.78/1790.12	c  39080408 implications, 454 cliques
1789.78/1790.12	c presolving was interrupted.
1789.78/1790.12	c Presolving Time: 1789.55
1789.78/1790.12	c - non default parameters ----------------------------------------------------------------------
1789.78/1790.12	c # SCIP version 1.2.1.3
1789.78/1790.12	c 
1789.78/1790.12	c # frequency for displaying node information lines
1789.78/1790.12	c # [type: int, range: [-1,2147483647], default: 100]
1789.78/1790.12	c display/freq = 10000
1789.78/1790.12	c 
1789.78/1790.12	c # maximal time in seconds to run
1789.78/1790.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.12	c limits/time = 1789.58
1789.78/1790.12	c 
1789.78/1790.12	c # maximal memory usage in MB; reported memory usage is lower than real memory usage!
1789.78/1790.12	c # [type: real, range: [0,1.79769313486232e+308], default: 1e+20]
1789.78/1790.12	c limits/memory = 13950
1789.78/1790.12	c 
1789.78/1790.12	c # default clock type (1: CPU user seconds, 2: wall clock time)
1789.78/1790.12	c # [type: int, range: [1,2], default: 1]
1789.78/1790.12	c timing/clocktype = 2
1789.78/1790.12	c 
1789.78/1790.12	c # should presolving try to simplify inequalities
1789.78/1790.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.12	c constraints/linear/simplifyinequalities = TRUE
1789.78/1790.12	c 
1789.78/1790.12	c # add initial coupling inequalities as linear constraints, if 'addCoupling' is true
1789.78/1790.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.12	c constraints/indicator/addCouplingCons = TRUE
1789.78/1790.12	c 
1789.78/1790.12	c # should presolving try to simplify knapsacks
1789.78/1790.12	c # [type: bool, range: {TRUE,FALSE}, default: FALSE]
1789.78/1790.12	c constraints/knapsack/simplifyinequalities = TRUE
1789.78/1790.12	c 
1789.78/1790.12	c # frequency for calling separator <rapidlearning> (-1: never, 0: only in root node)
1789.78/1790.12	c # [type: int, range: [-1,2147483647], default: -1]
1789.78/1790.12	c separating/rapidlearning/freq = 0
1789.78/1790.12	c 
1789.78/1790.12	c -----------------------------------------------------------------------------------------------
1789.78/1790.12	c start solving
1789.78/1790.14	c presolving:
1789.78/1790.14	c presolving (15 rounds):
1789.78/1790.14	c  9714 deleted vars, 9739 deleted constraints, 3017 tightened bounds, 0 added holes, 0 changed sides, 0 changed coefficients
1789.78/1790.14	c  39080408 implications, 454 cliques
1789.78/1790.14	c presolving was interrupted.
1789.78/1790.14	c Presolving Time: 1789.57
1789.78/1790.14	c 
1789.78/1790.14	c SCIP Status        : solving was interrupted [time limit reached]
1789.78/1790.14	c Solving Time (sec) : 1789.71
1789.78/1790.14	c Solving Nodes      : 0
1789.78/1790.14	c Primal Bound       : +1.00000000000000e+20 (0 solutions)
1789.78/1790.14	s UNKNOWN
1789.78/1790.14	c SCIP Status        : solving was interrupted [time limit reached]
1789.78/1790.14	c Solving Time       :    1789.71
1789.78/1790.14	c Original Problem   :
1789.78/1790.14	c   Problem name     : HOME/instance-3743561-1338787177.opb
1789.78/1790.14	c   Variables        : 40451 (40451 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.78/1790.14	c   Constraints      : 40950 initial, 40950 maximal
1789.78/1790.14	c Presolved Problem  :
1789.78/1790.14	c   Problem name     : t_HOME/instance-3743561-1338787177.opb
1789.78/1790.14	c   Variables        : 30737 (30737 binary, 0 integer, 0 implicit integer, 0 continuous)
1789.78/1790.14	c   Constraints      : 31211 initial, 31211 maximal
1789.78/1790.14	c Presolvers         :       Time  FixedVars   AggrVars   ChgTypes  ChgBounds   AddHoles    DelCons   ChgSides   ChgCoefs
1789.78/1790.14	c   trivial          :       0.03        123          0          0          0          0          0          0          0
1789.78/1790.14	c   dualfix          :       0.03       6402          0          0          0          0          0          0          0
1789.78/1790.14	c   boundshift       :       0.00          0          0          0          0          0          0          0          0
1789.78/1790.14	c   inttobinary      :       0.00          0          0          0          0          0          0          0          0
1789.78/1790.14	c   implics          :       0.04          0          1          0          0          0          0          0          0
1789.78/1790.14	c   probing          :    1787.37        110         61          0          0          0          0          0          0
1789.78/1790.14	c   knapsack         :       0.28          0          0          0          0          0          0          0          0
1789.78/1790.14	c   setppc           :       0.04          0          0          0          0          0         57          0          0
1789.78/1790.14	c   linear           :       1.46       3017          0          0       3017          0       9587          0          0
1789.78/1790.14	c   logicor          :       0.12          0          0          0          0          0         95          0          0
1789.78/1790.14	c   root node        :          -          0          -          -          0          -          -          -          -
1789.78/1790.14	c Constraints        :     Number  #Separate #Propagate    #EnfoLP    #EnfoPS    Cutoffs    DomReds       Cuts      Conss   Children
1789.78/1790.14	c   integral         :          0          0          0          0          0          0          0          0          0          0
1789.78/1790.14	c   knapsack         :          0+         0      71509          0          0          0          0          0          0          0
1789.78/1790.14	c   setppc           :          0+         0      71508          0          0         13          0          0          0          0
1789.78/1790.14	c   linear           :          0+         0       1975          0          0          0          0          0          0          0
1789.78/1790.14	c   logicor          :          0+         0      65984          0          0          5          0          0          0          0
1789.78/1790.14	c   countsols        :          0          0          0          0          0          0          0          0          0          0
1789.78/1790.14	c Constraint Timings :  TotalTime   Separate  Propagate     EnfoLP     EnfoPS
1789.78/1790.14	c   integral         :       0.00       0.00       0.00       0.00       0.00
1789.78/1790.14	c   knapsack         :    1404.35       0.00    1404.35       0.00       0.00
1789.78/1790.14	c   setppc           :      10.03       0.00      10.03       0.00       0.00
1789.78/1790.14	c   linear           :       0.30       0.00       0.30       0.00       0.00
1789.78/1790.14	c   logicor          :      37.23       0.00      37.23       0.00       0.00
1789.78/1790.14	c   countsols        :       0.00       0.00       0.00       0.00       0.00
1789.78/1790.14	c Propagators        :       Time      Calls    Cutoffs    DomReds
1789.78/1790.14	c   vbounds          :       0.06          1          0          0
1789.78/1790.14	c   rootredcost      :       0.05          0          0          0
1789.78/1790.14	c   pseudoobj        :       0.05          0          0          0
1789.78/1790.14	c Conflict Analysis  :       Time      Calls    Success  Conflicts   Literals    Reconvs ReconvLits   LP Iters
1789.78/1790.14	c   propagation      :       0.00          0          0          0        0.0          0        0.0          -
1789.78/1790.14	c   infeasible LP    :       0.00          0          0          0        0.0          0        0.0          0
1789.78/1790.14	c   bound exceed. LP :       0.00          0          0          0        0.0          0        0.0          0
1789.78/1790.14	c   strong branching :       0.00          0          0          0        0.0          0        0.0          0
1789.78/1790.14	c   pseudo solution  :       0.00          0          0          0        0.0          0        0.0          -
1789.78/1790.14	c   applied globally :          -          -          -          0        0.0          -          -          -
1789.78/1790.14	c   applied locally  :          -          -          -          0        0.0          -          -          -
1789.98/1790.34	c Time complete: 1790.03.

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 13729
/proc/meminfo: memFree=27628752/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=7916 CPUtime=0 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 1252 0 0 0 0 0 0 0 20 0 1 0 344784714 8105984 1198 33554432000 4194304 8395647 140736527636176 140734868734184 7385025 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 1979 1198 370 1026 0 949 0

[startup+0.0249451 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 13729
/proc/meminfo: memFree=27628752/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=18636 CPUtime=0.01 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 3685 0 0 0 1 0 0 0 20 0 1 0 344784714 19083264 3627 33554432000 4194304 8395647 140736527636176 140734868734184 6347101 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 4659 3654 387 1026 0 3629 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 18636

[startup+0.100343 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 13729
/proc/meminfo: memFree=27628752/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=37260 CPUtime=0.09 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 8565 0 0 0 8 1 0 0 20 0 1 0 344784714 38154240 8505 33554432000 4194304 8395647 140736527636176 140734868734184 7430272 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 9315 8505 394 1026 0 8285 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 37260

[startup+0.300279 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 13729
/proc/meminfo: memFree=27628752/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=53004 CPUtime=0.29 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 12510 0 0 0 27 2 0 0 20 0 1 0 344784714 54276096 12450 33554432000 4194304 8395647 140736527636176 140734868734184 5755686 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 13251 12450 394 1026 0 12221 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53004

[startup+0.700343 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 13729
/proc/meminfo: memFree=27628752/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=133128 CPUtime=0.69 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 32405 0 0 0 63 6 0 0 20 0 1 0 344784714 136323072 31991 33554432000 4194304 8395647 140736527636176 140736527633512 18446744073699066235 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 33282 31991 470 1026 0 32252 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 133128

[startup+1.50033 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 13730
/proc/meminfo: memFree=27372080/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=140100 CPUtime=1.49 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 34995 0 0 0 143 6 0 0 20 0 1 0 344784714 143462400 33755 33554432000 4194304 8395647 140736527636176 140736527633512 5019536 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 35025 33755 478 1026 0 33995 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140100

[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 13730
/proc/meminfo: memFree=27307312/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=220160 CPUtime=3.09 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 54390 0 0 0 300 9 0 0 20 0 1 0 344784714 225443840 53121 33554432000 4194304 8395647 140736527636176 140736527632040 6080705 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 55040 53121 498 1026 0 54010 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 220160

[startup+6.30033 s]
/proc/loadavg: 2.00 2.00 1.85 3/176 13730
/proc/meminfo: memFree=27127016/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=283772 CPUtime=6.28 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 69094 0 0 0 617 11 0 0 20 0 1 0 344784714 290582528 67825 33554432000 4194304 8395647 140736527636176 140736527632040 6080675 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 70943 67825 498 1026 0 69913 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 283772

[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.85 3/177 13731
/proc/meminfo: memFree=27039388/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=309956 CPUtime=12.69 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 75595 0 0 0 1256 13 0 0 20 0 1 0 344784714 317394944 74326 33554432000 4194304 8395647 140736527636176 140736527632040 6080679 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 77489 74326 498 1026 0 76459 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 309956

[startup+25.5005 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 13734
/proc/meminfo: memFree=26874972/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=395124 CPUtime=25.48 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 96047 0 0 0 2531 17 0 0 20 0 1 0 344784714 404606976 94778 33554432000 4194304 8395647 140736527636176 140736527632040 6080653 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 98781 94778 498 1026 0 97751 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 395124

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 1.86 3/178 13734
/proc/meminfo: memFree=26668664/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=517600 CPUtime=51.08 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 125429 0 0 0 5085 23 0 0 20 0 1 0 344784714 530022400 124160 33554432000 4194304 8395647 140736527636176 140736527632328 6080688 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 129400 124160 498 1026 0 128370 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 517600

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 13734
/proc/meminfo: memFree=26481724/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=668572 CPUtime=102.28 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 163722 0 0 0 10198 30 0 0 20 0 1 0 344784714 684617728 162453 33554432000 4194304 8395647 140736527636176 140736527632200 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 167143 162453 507 1026 0 166113 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 668572

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 13734
/proc/meminfo: memFree=26440584/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=668572 CPUtime=162.26 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 163824 0 0 0 16196 30 0 0 20 0 1 0 344784714 684617728 162555 33554432000 4194304 8395647 140736527636176 140736527632200 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 167143 162555 507 1026 0 166113 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 668572

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.87 3/177 13734
/proc/meminfo: memFree=26350340/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=673020 CPUtime=222.25 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 164764 0 0 0 22195 30 0 0 20 0 1 0 344784714 689172480 163495 33554432000 4194304 8395647 140736527636176 140736527632040 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 168255 163495 507 1026 0 167225 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 673020

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 13734
/proc/meminfo: memFree=26261832/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=682220 CPUtime=282.25 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 167249 0 0 0 28194 31 0 0 20 0 1 0 344784714 698593280 165980 33554432000 4194304 8395647 140736527636176 140736527632248 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 170555 165980 507 1026 0 169525 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 682220

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 13735
/proc/meminfo: memFree=26151812/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=759232 CPUtime=342.24 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 186586 0 0 0 34190 34 0 0 20 0 1 0 344784714 777453568 185317 33554432000 4194304 8395647 140736527636176 140736527631864 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 189808 185317 507 1026 0 188778 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 759232

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 13735
/proc/meminfo: memFree=26052640/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=838316 CPUtime=402.22 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 206087 0 0 0 40185 37 0 0 20 0 1 0 344784714 858435584 204818 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 209579 204818 513 1026 0 208549 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 838316

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/177 13735
/proc/meminfo: memFree=25917508/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=915228 CPUtime=462.21 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 225403 0 0 0 46181 40 0 0 20 0 1 0 344784714 937193472 224134 33554432000 4194304 8395647 140736527636176 140736527632248 5085404 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 228807 224134 513 1026 0 227777 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 915228

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.90 3/176 13735
/proc/meminfo: memFree=25804956/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=974088 CPUtime=522.21 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 239417 0 0 0 52178 43 0 0 20 0 1 0 344784714 997466112 238148 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 243522 238148 513 1026 0 242492 0
Current children cumulated CPU time (s) 522.21
Current children cumulated vsize (KiB) 974088

[startup+582.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 13736
/proc/meminfo: memFree=25702552/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1035304 CPUtime=582.19 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 254967 0 0 0 58173 46 0 0 20 0 1 0 344784714 1060151296 254048 33554432000 4194304 8395647 140736527636176 140736527632248 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 258826 254048 513 1026 0 257796 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 1035304

[startup+642.3 s]

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

/proc/meminfo: memFree=25205384/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1267660 CPUtime=1002.11 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 313072 0 0 0 100154 57 0 0 20 0 1 0 344784714 1298083840 313976 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 316915 313976 513 1026 0 315885 0
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (KiB) 1267660

[startup+1062.3 s]
/proc/loadavg: 2.03 2.01 1.91 3/177 13741
/proc/meminfo: memFree=25167468/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1270596 CPUtime=1062.09 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 314013 0 0 0 106152 57 0 0 20 0 1 0 344784714 1301090304 314971 33554432000 4194304 8395647 140736527636176 140736527632248 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 317649 314971 513 1026 0 316619 0
Current children cumulated CPU time (s) 1062.09
Current children cumulated vsize (KiB) 1270596

[startup+1122.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 13741
/proc/meminfo: memFree=25128688/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1277376 CPUtime=1122.08 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 315315 0 0 0 112151 57 0 0 20 0 1 0 344784714 1308033024 316336 33554432000 4194304 8395647 140736527636176 140736527632040 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 319344 316336 513 1026 0 318314 0
Current children cumulated CPU time (s) 1122.08
Current children cumulated vsize (KiB) 1277376

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 13741
/proc/meminfo: memFree=25096292/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1279416 CPUtime=1182.07 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 315696 0 0 0 118150 57 0 0 20 0 1 0 344784714 1310121984 316880 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 319854 316880 513 1026 0 318824 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 1279416

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 13745
/proc/meminfo: memFree=25053532/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1292544 CPUtime=1242.07 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 319039 0 0 0 124149 58 0 0 20 0 1 0 344784714 1323565056 320653 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 323136 320653 513 1026 0 322106 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 1292544

[startup+1302.3 s]
/proc/loadavg: 2.03 2.01 1.92 3/177 13745
/proc/meminfo: memFree=24990204/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1323604 CPUtime=1302.06 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 326795 0 0 0 130147 59 0 0 20 0 1 0 344784714 1355370496 329465 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 330901 329465 513 1026 0 329871 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 1323604

[startup+1362.3 s]
/proc/loadavg: 2.04 2.02 1.93 3/177 13745
/proc/meminfo: memFree=24927848/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1359656 CPUtime=1362.04 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 334979 0 0 0 136143 61 0 0 20 0 1 0 344784714 1392287744 338023 33554432000 4194304 8395647 140736527636176 140736527632248 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 339914 338023 513 1026 0 338884 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 1359656

[startup+1422.31 s]
/proc/loadavg: 2.01 2.02 1.93 3/177 13745
/proc/meminfo: memFree=24861136/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1396704 CPUtime=1422.04 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 343757 0 0 0 142141 63 0 0 20 0 1 0 344784714 1430224896 346801 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 349176 346801 513 1026 0 348146 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 1396704

[startup+1482.3 s]
/proc/loadavg: 2.08 2.04 1.94 3/178 13746
/proc/meminfo: memFree=24802352/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1425452 CPUtime=1482.02 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 350910 0 0 0 148138 64 0 0 20 0 1 0 344784714 1459662848 353954 33554432000 4194304 8395647 140736527636176 140736527632248 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 356363 353954 513 1026 0 355333 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 1425452

[startup+1542.3 s]
/proc/loadavg: 2.06 2.04 1.94 3/177 13747
/proc/meminfo: memFree=24739368/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1453112 CPUtime=1542.02 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 357923 0 0 0 154137 65 0 0 20 0 1 0 344784714 1487986688 360967 33554432000 4194304 8395647 140736527636176 140736527632248 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 363278 360967 513 1026 0 362248 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 1453112

[startup+1602.3 s]
/proc/loadavg: 2.02 2.03 1.94 3/177 13747
/proc/meminfo: memFree=24668316/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1492848 CPUtime=1602.01 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 368058 0 0 0 160134 67 0 0 20 0 1 0 344784714 1528676352 371102 33554432000 4194304 8395647 140736527636176 140736527632248 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 373212 371102 513 1026 0 372182 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 1492848

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/177 13747
/proc/meminfo: memFree=24615864/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1518352 CPUtime=1662 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 373648 0 0 0 166132 68 0 0 20 0 1 0 344784714 1554792448 376692 33554432000 4194304 8395647 140736527636176 140736527632248 4911327 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 379588 376692 513 1026 0 378558 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 1518352

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/177 13747
/proc/meminfo: memFree=24547416/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1556012 CPUtime=1721.99 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 383094 0 0 0 172129 70 0 0 20 0 1 0 344784714 1593356288 386138 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 389003 386138 513 1026 0 387973 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 1556012

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 13747
/proc/meminfo: memFree=24482068/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1586564 CPUtime=1781.98 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 390846 0 0 0 178127 71 0 0 20 0 1 0 344784714 1624641536 393890 33554432000 4194304 8395647 140736527636176 140736527632248 6080665 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 396641 393890 513 1026 0 395611 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 1586564

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 13747
/proc/meminfo: memFree=24477232/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1588528 CPUtime=1785.18 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 391215 0 0 0 178446 72 0 0 20 0 1 0 344784714 1626652672 394259 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 397132 394259 513 1026 0 396102 0
Current children cumulated CPU time (s) 1785.18
Current children cumulated vsize (KiB) 1588528

[startup+1788.7 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 13747
/proc/meminfo: memFree=24474876/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1590476 CPUtime=1788.38 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 391642 0 0 0 178766 72 0 0 20 0 1 0 344784714 1628647424 394686 33554432000 4194304 8395647 140736527636176 140736527632248 4911287 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 397619 394686 513 1026 0 396589 0
Current children cumulated CPU time (s) 1788.38
Current children cumulated vsize (KiB) 1590476

[startup+1789.5 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 13747
/proc/meminfo: memFree=24474876/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1590476 CPUtime=1789.18 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 391727 0 0 0 178846 72 0 0 20 0 1 0 344784714 1628647424 394771 33554432000 4194304 8395647 140736527636176 140736527632248 4911307 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 397619 394771 513 1026 0 396589 0
Current children cumulated CPU time (s) 1789.18
Current children cumulated vsize (KiB) 1590476

[startup+1789.9 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 13747
/proc/meminfo: memFree=24474008/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1590476 CPUtime=1789.58 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 391770 0 0 0 178886 72 0 0 20 0 1 0 344784714 1628647424 394814 33554432000 4194304 8395647 140736527636176 140736527632248 4911325 0 0 4096 16384 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 397619 394814 513 1026 0 396589 0
Current children cumulated CPU time (s) 1789.58
Current children cumulated vsize (KiB) 1590476

[startup+1790.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/177 13747
/proc/meminfo: memFree=24474008/32873844 swapFree=7128/7128
[pid=13729] ppid=13727 vsize=1585556 CPUtime=1789.98 cores=1,3,5,7
/proc/13729/stat : 13729 (pbscip.linux.x8) R 13727 13729 13572 0 -1 4202496 392058 0 0 0 178926 72 0 0 20 0 1 0 344784714 1623609344 375903 33554432000 4194304 8395647 140736527636176 140736527632248 7602442 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/13729/statm: 396389 375903 521 1026 0 395359 0
Current children cumulated CPU time (s) 1789.98
Current children cumulated vsize (KiB) 1585556

Child status: 0
Real time (s): 1790.35
CPU time (s): 1790.04
CPU user time (s): 1789.28
CPU system time (s): 0.752885
CPU usage (%): 99.9827
Max. virtual memory (cumulated for all children) (KiB): 1591500

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1789.28
system time used= 0.752885
maximum resident set size= 1580408
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392071
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= 48
involuntary context switches= 1840

runsolver used 3.48547 second user time and 8.15376 second system time

The end

Launcher Data 

Begin job on node105 at 2012-06-04 07:19:37
IDJOB=3743561
IDBENCH=91705
IDSOLVER=2326
FILE ID=node105/3743561-1338787177
RUNJOBID= node105-1338785386-13589
PBS_JOBID= 14636855
Free space on /tmp= 71264 MiB

SOLVER NAME= PB10: SCIPspx SCIP 1.2.1.3 with SoPlex 1.4.2 (CVS Version 30.5.2010) as LP solver
BENCH NAME= PB12/normalized-PB12/OPT-BIGINT-LIN/sroussel/BA/normalized-BA_RDC4.dot_fibo_20null10mast_rapportOE1.0_TMAX120_K67_cod1.opb
COMMAND LINE= HOME/pbscip.linux.x86_64.gnu.opt.spx -f BENCHNAME -t TIMEOUT -m MEMLIMIT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3743561-1338787177/watcher-3743561-1338787177 -o /tmp/evaluation-result-3743561-1338787177/solver-3743561-1338787177 -C 1800 -W 1900 -M 15500  HOME/pbscip.linux.x86_64.gnu.opt.spx -f HOME/instance-3743561-1338787177.opb -t 1800 -m 15500

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

MD5SUM BENCH= e10bad0133ca8f0560dac2af6a91b033
RANDOM SEED=489383291

node105.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.882
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	: 5333.76
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.882
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.882
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		: 2666.882
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.882
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	: 5438.54
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.882
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		: 2666.882
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.92
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.882
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	: 5447.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27636852 kB
Buffers:          574212 kB
Cached:          3769320 kB
SwapCached:         1700 kB
Active:          1114508 kB
Inactive:        3235348 kB
Active(anon):       3052 kB
Inactive(anon):     4800 kB
Active(file):    1111456 kB
Inactive(file):  3230548 kB
Unevictable:        7128 kB
Mlocked:            7128 kB
SwapTotal:      67108856 kB
SwapFree:       67100456 kB
Dirty:             26056 kB
Writeback:             0 kB
AnonPages:        221600 kB
Mapped:             9172 kB
Shmem:                 0 kB
Slab:             744560 kB
SReclaimable:     186304 kB
SUnreclaim:       558256 kB
KernelStack:        1472 kB
PageTables:         4248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     125924 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    210944 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= 71264 MiB
End job on node105 at 2012-06-04 07:49:28