Trace number 3462743

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
bsolo 3.2SAT6 1798.02 1797.99

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_5.opb
MD5SUM65a3c38bd8963c911b96c745ee468cb1
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1.36179
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 5
Optimality of the best value was proved YES
Number of variables100
Total number of constraints100
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints100
Minimum length of a constraint26
Maximum length of a constraint40
Number of terms in the objective function 100
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)3062
Sum of products size (including duplicates)6124
Number of different products3062
Sum of products size6124

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.00	c bsolo beta version 3.2 - 23/05/2010 : 1630 GMT
0.00/0.00	c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID
0.00/0.00	c type "bsolo -h" for help
0.00/0.00	c Time Limit set via environment variable PBTIMEOUT to 1800
0.00/0.00	c Learning Strategy: Cardinality Constraint Learning
0.00/0.00	c Time Limit set to 1800
0.00/0.00	c Instance file HOME/instance-3462743-1307182622.opb
0.00/0.00	c File size is 38469 bytes.
0.00/0.00	c Highest Coefficient sum: 100
0.00/0.00	c Parsing was ok!!
0.00/0.00	c Total parsing time: 0.006 s
0.00/0.00	c Var: 3162 Constr: 6224 3162/0/3062 Lit: 21534 Watch. Lit: 15510
0.00/0.00	c Obj. Vars: 100 (3.16256 % of total variables)
0.00/0.08	c Pre-processing Time: 0.086 s
0.00/0.08	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.08	c        0   3162     6224    21534    3    15510   19425      0      0 0.09
0.00/0.08	c Switching off lower bounding mode.
0.00/0.08	o 99
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6225    21634    3    15513   19492      1      0 0.09
0.00/0.09	o 98
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6226    21734    3    15517   19592      2      0 0.09
0.00/0.09	o 97
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6227    21834    3    15522   19725      3      0 0.09
0.00/0.09	o 96
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6228    21934    3    15528   19892      4      0 0.09
0.00/0.09	o 95
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6229    22034    3    15535   20092      5      0 0.09
0.00/0.09	o 94
0.00/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.09	c        0   3162     6230    22134    3    15543   20325      6      0 0.10
0.00/0.09	o 93
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c        0   3162     6231    22234    3    15552   20592      7      0 0.10
0.00/0.10	o 92
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c        0   3162     6232    22334    3    15562   20892      8      0 0.10
0.00/0.10	o 91
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c        0   3162     6233    22434    3    15573   21225      9      0 0.10
0.00/0.10	o 90
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c        0   3162     6234    22534    3    15585   21592     10      0 0.10
0.00/0.10	o 89
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c        0   3162     6235    22634    3    15598   21992     11      0 0.10
0.00/0.10	o 88
0.00/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.10	c        0   3162     6236    22734    3    15612   22425     12      0 0.11
0.00/0.10	o 87
0.00/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.00/0.11	c        0   3162     6237    22834    3    15627   22892     13      0 0.11
0.00/0.11	o 86
0.11/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.11	c        0   3162     6238    22934    3    15643   23392     14      0 0.11
0.11/0.11	o 85
0.11/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.11	c        0   3162     6239    23034    3    15660   23925     15      0 0.11
0.11/0.11	o 84
0.11/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.11	c        0   3162     6240    23134    3    15678   24492     16      0 0.11
0.11/0.11	o 83
0.11/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.11	c        0   3162     6241    23234    3    15697   25092     17      0 0.11
0.11/0.11	o 82
0.11/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.11	c        0   3162     6242    23334    3    15717   25725     18      0 0.12
0.11/0.11	o 81
0.11/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.12	c        0   3162     6243    23434    3    15738   26392     19      0 0.12
0.11/0.12	o 80
0.11/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.12	c        0   3162     6244    23534    3    15760   27092     20      0 0.12
0.11/0.12	o 79
0.11/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.12	c        0   3162     6245    23634    3    15783   27825     21      0 0.12
0.11/0.12	o 78
0.11/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.12	c        0   3162     6246    23734    3    15807   28592     22      0 0.12
0.11/0.12	o 77
0.11/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.12	c        0   3162     6247    23834    3    15832   29392     23      0 0.12
0.11/0.12	o 76
0.11/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.12	c        0   3162     6248    23934    3    15858   30225     24      0 0.13
0.11/0.12	o 75
0.11/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.13	c        0   3162     6249    24034    3    15885   31092     25      0 0.13
0.11/0.13	o 74
0.11/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.13	c        0   3162     6250    24134    3    15913   31992     26      0 0.13
0.11/0.13	o 73
0.11/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.13	c        0   3162     6251    24234    3    15942   32925     27      0 0.13
0.11/0.13	o 72
0.11/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.13	c        0   3162     6252    24334    3    15972   33892     28      0 0.13
0.11/0.13	o 71
0.11/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.13	c        0   3162     6253    24434    3    16003   34892     29      0 0.14
0.11/0.13	o 70
0.11/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.13	c        0   3162     6254    24534    3    16035   35892     30      0 0.14
0.11/0.13	o 69
0.11/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.14	c        0   3162     6255    24634    3    16068   36892     31      0 0.14
0.11/0.14	o 68
0.11/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.14	c        0   3162     6256    24734    3    16102   37892     32      0 0.14
0.11/0.14	o 67
0.11/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.14	c        0   3162     6257    24834    3    16137   38892     33      0 0.14
0.11/0.14	o 66
0.11/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.14	c        0   3162     6258    24934    3    16173   39892     34      0 0.14
0.11/0.14	o 65
0.11/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.14	c        0   3162     6259    25034    3    16210   40892     35      0 0.14
0.11/0.14	o 64
0.11/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.14	c        0   3162     6260    25134    4    16248   41892     36      0 0.15
0.11/0.14	o 63
0.11/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.15	c        0   3162     6261    25234    4    16287   42892     37      0 0.15
0.11/0.15	o 53
0.11/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.15	c        1   3162     6263    25397    4    16338   42892     39      6 0.15
0.11/0.15	o 8
0.11/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.11/0.15	c        1   3162     6264    25497    4    16432   42892     40      6 0.15
0.11/0.15	o 7
138.29/138.38	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
138.29/138.38	c       16   3162     6280    26771    4    16557   42892     56    101 0.16
138.29/138.38	c      118   3162     6388    39342    6    16773   47182    164    621 0.19
138.29/138.38	c      368   3162     6660    70177   10    17496   51901    436   1338 0.28
138.29/138.38	c      845   3162     7200   128946   17    18642   57092    976   1764 0.48
138.29/138.38	c     1661   3162     8137   260403   32    20820   62802   1913   1885 0.88
138.29/138.38	c     2982   3162     9588   484417   50    24086   69083   3364   1801 1.66
138.29/138.38	c     5063   3162    12001  1145476   95    30482   75992   5777   1400 3.61
138.29/138.38	c     8286   3162    15880  2119914  133    39477   83592   9656   1063 7.79
138.29/138.38	c    13223   3162    22061  3871268  175    57149   91952  15837    735 17.98
138.29/138.38	c    20729   3162    31163  5630106  180    79214  101148  24939    557 37.19
138.29/138.38	c    32090   3162    44879  8047458  179   118503  111263  38655    417 76.85
138.29/138.38	o 6
1797.93/1797.96	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1797.93/1797.96	c    44059   3162    59141 12218334  206   151537   42892  52917    318 138.39
1797.93/1797.96	c    44159   3162    20020  4061810  202    47013   47182  13796    314 140.47
1797.93/1797.96	c    44409   3162    20334  4245916  208    47741   51901  14110    314 141.42
1797.93/1797.96	c    44885   3162    20935  4582182  218    49366   57092  14711    313 143.07
1797.93/1797.96	c    45698   3162    21918  4857297  221    51805   62802  15694    314 145.17
1797.93/1797.96	c    47018   3162    23551  5336444  226    55584   69083  17327    316 148.55
1797.93/1797.96	c    49099   3162    25924  5841504  225    60484   75992  19700    319 153.51
1797.93/1797.96	c    52324   3162    29532  6430234  217    68877   83592  23308    326 160.39
1797.93/1797.96	c    57262   3162    35247  7904656  224    82049   91952  29023    327 174.76
1797.93/1797.96	c    64769   3162    44041  9718616  220   101500  101148  37817    328 197.17
1797.93/1797.96	c    76130   3162    57426 12059024  209   130858  111263  51202    308 246.84
1797.93/1797.96	c    93277   3162    78385 17259882  220   176170  122390  72161    262 355.01
1797.93/1797.96	c   119098   3162   109856 27123117  246   245497  134630 103632    193 614.02
1797.93/1797.96	c   157930   3162    34970  6723604  192    79511  148094  28746    155 1017.70
1797.93/1797.96	c   216285   3162   106823 26715791  250   234055  162904 100599    148 1459.05
1797.93/1797.96	c Resources Exceeded
1797.93/1797.96	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 x36 -x37 x38 -x39 -x40 -x41 x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 x68 -x69 -x70 -x71 -x72 -x73 -x74 x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 
1797.93/1797.96	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1797.93/1797.96	c   65   244136  81030   537302   139514 34155751 133290    135 1798.00
1797.93/1797.96	c Objective: 6
1797.93/1797.96	s SATISFIABLE
1797.93/1797.96	c Total time: 1798 s

Verifier Data 

OK	6

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3462743-1307182622/watcher-3462743-1307182622 -o /tmp/evaluation-result-3462743-1307182622/solver-3462743-1307182622 -C 1800 -W 1900 -M 15500 bsolo -l2 -t1800 HOME/instance-3462743-1307182622.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.04 2.00 2/527 20486
/proc/meminfo: memFree=24876384/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=12304 CPUtime=0.01 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 667 0 0 0 1 0 0 0 25 0 1 0 908492904 12599296 612 33554432000 134512640 137138936 4288500864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 3076 612 185 642 0 2432 0

[startup+0.111421 s]
/proc/loadavg: 2.07 2.04 2.00 2/527 20486
/proc/meminfo: memFree=24876384/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=12572 CPUtime=0.11 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 821 0 0 0 10 1 0 0 25 0 1 0 908492904 12873728 700 33554432000 134512640 137138936 4288500864 18446744073709551615 136570369 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 3143 700 188 642 0 2499 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 12572

[startup+0.200392 s]
/proc/loadavg: 2.07 2.04 2.00 2/527 20486
/proc/meminfo: memFree=24876384/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=12684 CPUtime=0.19 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 845 0 0 0 18 1 0 0 25 0 1 0 908492904 12988416 724 33554432000 134512640 137138936 4288500864 18446744073709551615 134542624 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 3171 724 192 642 0 2527 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 12684

[startup+0.300377 s]
/proc/loadavg: 2.07 2.04 2.00 2/527 20486
/proc/meminfo: memFree=24876384/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=13108 CPUtime=0.29 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 969 0 0 0 28 1 0 0 25 0 1 0 908492904 13422592 848 33554432000 134512640 137138936 4288500864 18446744073709551615 134603070 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 3277 848 192 642 0 2633 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13108

[startup+0.700318 s]
/proc/loadavg: 2.07 2.04 2.00 2/527 20486
/proc/meminfo: memFree=24876384/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=14904 CPUtime=0.69 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 1407 0 0 0 68 1 0 0 25 0 1 0 908492904 15261696 1286 33554432000 134512640 137138936 4288500864 18446744073709551615 136504147 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 3726 1286 192 642 0 3082 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14904

[startup+1.50018 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20487
/proc/meminfo: memFree=24869468/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=18060 CPUtime=1.49 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 2192 0 0 0 147 2 0 0 25 0 1 0 908492904 18493440 2071 33554432000 134512640 137138936 4288500864 18446744073709551615 134542503 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 4515 2071 192 642 0 3871 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18060

[startup+3.1009 s]
/proc/loadavg: 2.07 2.04 2.00 3/528 20487
/proc/meminfo: memFree=24863636/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=25284 CPUtime=3.09 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 3989 0 0 0 307 2 0 0 25 0 1 0 908492904 25890816 3868 33554432000 134512640 137138936 4288500864 18446744073709551615 136502585 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 6321 3868 192 642 0 5677 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25284

[startup+6.30033 s]
/proc/loadavg: 2.06 2.04 2.00 3/528 20487
/proc/meminfo: memFree=24851368/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=35980 CPUtime=6.29 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 6693 0 0 0 626 3 0 0 25 0 1 0 908492904 36843520 6572 33554432000 134512640 137138936 4288500864 18446744073709551615 134542528 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 8995 6572 192 642 0 8351 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35980

[startup+12.7002 s]
/proc/loadavg: 2.06 2.04 2.00 3/528 20487
/proc/meminfo: memFree=24831992/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=53372 CPUtime=12.69 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 11030 0 0 0 1264 5 0 0 25 0 1 0 908492904 54652928 10909 33554432000 134512640 137138936 4288500864 18446744073709551615 136504265 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 13343 10911 192 642 0 12699 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53372

[startup+25.501 s]
/proc/loadavg: 2.04 2.03 2.00 4/528 20487
/proc/meminfo: memFree=24810416/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=73540 CPUtime=25.49 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 16075 0 0 0 2541 8 0 0 25 0 1 0 908492904 75304960 15954 33554432000 134512640 137138936 4288500864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 18385 15954 192 642 0 17741 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 73540

[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 2.00 3/528 20488
/proc/meminfo: memFree=24783644/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=99300 CPUtime=51.09 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 22501 0 0 0 5097 12 0 0 25 0 1 0 908492904 101683200 22380 33554432000 134512640 137138936 4288500864 18446744073709551615 134542316 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 24825 22380 192 642 0 24181 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 99300

[startup+102.301 s]
/proc/loadavg: 2.01 2.02 2.00 3/528 20489
/proc/meminfo: memFree=24743940/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=139084 CPUtime=102.31 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 32465 0 0 0 10212 19 0 0 25 0 1 0 908492904 142422016 32344 33554432000 134512640 137138936 4288500864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 34771 32344 192 642 0 34127 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 139084

[startup+162.301 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20491
/proc/meminfo: memFree=24706828/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=174308 CPUtime=162.3 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 41312 0 0 0 16204 26 0 0 25 0 1 0 908492904 178491392 41139 33554432000 134512640 137138936 4288500864 18446744073709551615 134618214 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 43577 41139 192 642 0 42933 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 174308

[startup+222.321 s]
/proc/loadavg: 2.08 2.04 2.01 3/528 20493
/proc/meminfo: memFree=24708660/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=174308 CPUtime=222.31 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 41312 0 0 0 22202 29 0 0 25 0 1 0 908492904 178491392 41139 33554432000 134512640 137138936 4288500864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 43577 41139 192 642 0 42933 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 174308

[startup+282.301 s]
/proc/loadavg: 2.07 2.05 2.01 3/528 20494
/proc/meminfo: memFree=24686308/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=198708 CPUtime=282.3 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 47397 0 0 0 28195 35 0 0 25 0 1 0 908492904 203476992 47224 33554432000 134512640 137138936 4288500864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 49677 47224 192 642 0 49033 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 198708

[startup+342.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20496
/proc/meminfo: memFree=24649936/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=233772 CPUtime=342.3 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 56174 0 0 0 34191 39 0 0 25 0 1 0 908492904 239382528 56001 33554432000 134512640 137138936 4288500864 18446744073709551615 135984592 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 58443 56001 192 642 0 57799 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 233772

[startup+402.301 s]
/proc/loadavg: 2.01 2.03 2.00 3/528 20497
/proc/meminfo: memFree=24616184/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=269000 CPUtime=402.3 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 64998 0 0 0 40186 44 0 0 25 0 1 0 908492904 275456000 64825 33554432000 134512640 137138936 4288500864 18446744073709551615 134542286 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 67250 64825 192 642 0 66606 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 269000

[startup+462.3 s]
/proc/loadavg: 2.08 2.05 2.01 3/528 20499
/proc/meminfo: memFree=24581312/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=303264 CPUtime=462.3 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 73545 0 0 0 46180 50 0 0 25 0 1 0 908492904 310542336 73372 33554432000 134512640 137138936 4288500864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 75816 73372 192 642 0 75172 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 303264

[startup+522.301 s]
/proc/loadavg: 2.06 2.05 2.01 3/528 20501
/proc/meminfo: memFree=24553628/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=331436 CPUtime=522.3 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 80581 0 0 0 52178 52 0 0 25 0 1 0 908492904 339390464 80408 33554432000 134512640 137138936 4288500864 18446744073709551615 134575759 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 82859 80408 192 642 0 82215 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 331436

[startup+582.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20529
/proc/meminfo: memFree=24556728/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=355464 CPUtime=582.3 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 86597 0 0 0 58175 55 0 0 25 0 1 0 908492904 363995136 86424 33554432000 134512640 137138936 4288500864 18446744073709551615 136521030 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 88866 86424 192 642 0 88222 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 355464

[startup+642.301 s]

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

/proc/meminfo: memFree=24430612/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1122.31 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 112153 78 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542187 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1122.31
Current children cumulated vsize (KiB) 477320

[startup+1182.3 s]
/proc/loadavg: 2.01 2.04 2.00 3/528 20545
/proc/meminfo: memFree=24429720/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1182.32 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 118152 80 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542301 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 477320

[startup+1242.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20547
/proc/meminfo: memFree=24429312/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1242.32 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 124149 83 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1242.32
Current children cumulated vsize (KiB) 477320

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20548
/proc/meminfo: memFree=24429536/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1302.32 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 130147 85 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1302.32
Current children cumulated vsize (KiB) 477320

[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/528 20553
/proc/meminfo: memFree=24429292/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1362.32 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 136145 87 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 136501664 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1362.32
Current children cumulated vsize (KiB) 477320

[startup+1422.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/528 20555
/proc/meminfo: memFree=24429272/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1422.34 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 142145 89 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542725 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1422.34
Current children cumulated vsize (KiB) 477320

[startup+1482.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/528 20556
/proc/meminfo: memFree=24428876/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1482.32 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 148141 91 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134543082 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1482.32
Current children cumulated vsize (KiB) 477320

[startup+1542.32 s]
/proc/loadavg: 2.19 2.06 2.01 3/528 20558
/proc/meminfo: memFree=24429836/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1542.34 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 154141 93 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542764 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 477320

[startup+1602.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/528 20559
/proc/meminfo: memFree=24429440/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1602.32 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 160138 94 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542205 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1602.32
Current children cumulated vsize (KiB) 477320

[startup+1662.3 s]
/proc/loadavg: 2.05 2.05 2.00 3/528 20561
/proc/meminfo: memFree=24429288/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1662.32 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 166137 95 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542480 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1662.32
Current children cumulated vsize (KiB) 477320

[startup+1722.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/528 20563
/proc/meminfo: memFree=24428872/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1722.33 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 172136 97 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1722.33
Current children cumulated vsize (KiB) 477320

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20564
/proc/meminfo: memFree=24426608/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1782.33 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 178135 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542960 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1782.33
Current children cumulated vsize (KiB) 477320

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

[startup+1785.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20564
/proc/meminfo: memFree=24427724/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1785.63 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 178465 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542770 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1785.63
Current children cumulated vsize (KiB) 477320

[startup+1792.02 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20565
/proc/meminfo: memFree=24428828/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1792.05 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 179107 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542796 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1792.05
Current children cumulated vsize (KiB) 477320

[startup+1795.2 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20565
/proc/meminfo: memFree=24428828/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1795.24 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 179426 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542233 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1795.24
Current children cumulated vsize (KiB) 477320

[startup+1796.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20565
/proc/meminfo: memFree=24428456/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1796.83 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 179585 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542333 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1796.83
Current children cumulated vsize (KiB) 477320

[startup+1797.6 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20565
/proc/meminfo: memFree=24428332/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1797.63 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 179665 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542484 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1797.63
Current children cumulated vsize (KiB) 477320

[startup+1797.8 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20565
/proc/meminfo: memFree=24428332/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1797.83 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 179685 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 136506283 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1797.83
Current children cumulated vsize (KiB) 477320

[startup+1797.9 s]
/proc/loadavg: 2.00 2.03 2.00 3/528 20565
/proc/meminfo: memFree=24428332/32951124 swapFree=56241860/67111528
[pid=20486] ppid=20484 vsize=477320 CPUtime=1797.93 cores=1,3,5,7
/proc/20486/stat : 20486 (bsolo) R 20484 20486 18760 0 -1 4202496 117210 0 0 0 179695 98 0 0 25 0 1 0 908492904 488775680 116903 33554432000 134512640 137138936 4288500864 18446744073709551615 134542199 0 0 4096 16384 0 0 0 17 5 0 0 0
/proc/20486/statm: 119330 116903 192 642 0 118686 0
Current children cumulated CPU time (s) 1797.93
Current children cumulated vsize (KiB) 477320

Child status: 0
Real time (s): 1797.99
CPU time (s): 1798.02
CPU user time (s): 1797.02
CPU system time (s): 1.00585
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 477856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.02
system time used= 1.00585
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 117211
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= 5
involuntary context switches= 2321

runsolver used 9.10562 second user time and 22.0526 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-04 12:17:02
IDJOB=3462743
IDBENCH=48159
IDSOLVER=1955
FILE ID=node119/3462743-1307182622
RUNJOBID= node119-1307174996-19888
PBS_JOBID= 13508823
Free space on /tmp= 73660 MiB

SOLVER NAME= bsolo 3.2
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_5.opb
COMMAND LINE= bsolo -l2 -tTIMEOUT BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3462743-1307182622/watcher-3462743-1307182622 -o /tmp/evaluation-result-3462743-1307182622/solver-3462743-1307182622 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3462743-1307182622.opb

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=17965936

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.63
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.67
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.815
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24876540 kB
Buffers:        246632 kB
Cached:         602056 kB
SwapCached:      59076 kB
Active:         753452 kB
Inactive:      7022732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24876540 kB
SwapTotal:    67111528 kB
SwapFree:     56241860 kB
Dirty:            3884 kB
Writeback:           0 kB
AnonPages:     6871788 kB
Mapped:          34160 kB
Slab:           149228 kB
PageTables:      79092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 163920688 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73656 MiB
End job on node119 at 2011-06-04 12:47:00