Trace number 3708443

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.08 1798.51

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.08083
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-3708443-1338174250.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.01	c Var: 3162 Constr: 6224 3162/0/3062 Lit: 21534 Watch. Lit: 15510
0.00/0.01	c Obj. Vars: 100 (3.16256 % of total variables)
0.06/0.09	c Pre-processing Time: 0.088 s
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0   3162     6224    21534    3    15510   19425      0      0 0.09
0.06/0.09	c Switching off lower bounding mode.
0.06/0.09	o 99
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0   3162     6225    21634    3    15513   19492      1      0 0.09
0.06/0.09	o 98
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0   3162     6226    21734    3    15517   19592      2      0 0.09
0.06/0.09	o 97
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0   3162     6227    21834    3    15522   19725      3      0 0.09
0.06/0.09	o 96
0.06/0.09	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.06/0.09	c        0   3162     6228    21934    3    15528   19892      4      0 0.10
0.06/0.09	o 95
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6229    22034    3    15535   20092      5      0 0.10
0.09/0.10	o 94
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6230    22134    3    15543   20325      6      0 0.10
0.09/0.10	o 93
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6231    22234    3    15552   20592      7      0 0.10
0.09/0.10	o 92
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6232    22334    3    15562   20892      8      0 0.10
0.09/0.10	o 91
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6233    22434    3    15573   21225      9      0 0.10
0.09/0.10	o 90
0.09/0.10	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.10	c        0   3162     6234    22534    3    15585   21592     10      0 0.10
0.09/0.10	o 89
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6235    22634    3    15598   21992     11      0 0.11
0.09/0.11	o 88
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6236    22734    3    15612   22425     12      0 0.11
0.09/0.11	o 87
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6237    22834    3    15627   22892     13      0 0.11
0.09/0.11	o 86
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6238    22934    3    15643   23392     14      0 0.11
0.09/0.11	o 85
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6239    23034    3    15660   23925     15      0 0.11
0.09/0.11	o 84
0.09/0.11	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.11	c        0   3162     6240    23134    3    15678   24492     16      0 0.12
0.09/0.11	o 83
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6241    23234    3    15697   25092     17      0 0.12
0.09/0.12	o 82
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6242    23334    3    15717   25725     18      0 0.12
0.09/0.12	o 81
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6243    23434    3    15738   26392     19      0 0.12
0.09/0.12	o 80
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6244    23534    3    15760   27092     20      0 0.12
0.09/0.12	o 79
0.09/0.12	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.12	c        0   3162     6245    23634    3    15783   27825     21      0 0.12
0.09/0.12	o 78
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6246    23734    3    15807   28592     22      0 0.13
0.09/0.13	o 77
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6247    23834    3    15832   29392     23      0 0.13
0.09/0.13	o 76
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6248    23934    3    15858   30225     24      0 0.13
0.09/0.13	o 75
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6249    24034    3    15885   31092     25      0 0.13
0.09/0.13	o 74
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6250    24134    3    15913   31992     26      0 0.13
0.09/0.13	o 73
0.09/0.13	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.13	c        0   3162     6251    24234    3    15942   32925     27      0 0.13
0.09/0.13	o 72
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6252    24334    3    15972   33892     28      0 0.14
0.09/0.14	o 71
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6253    24434    3    16003   34892     29      0 0.14
0.09/0.14	o 70
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6254    24534    3    16035   35892     30      0 0.14
0.09/0.14	o 69
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6255    24634    3    16068   36892     31      0 0.14
0.09/0.14	o 68
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6256    24734    3    16102   37892     32      0 0.14
0.09/0.14	o 67
0.09/0.14	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.14	c        0   3162     6257    24834    3    16137   38892     33      0 0.14
0.09/0.14	o 66
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6258    24934    3    16173   39892     34      0 0.15
0.09/0.15	o 65
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6259    25034    3    16210   40892     35      0 0.15
0.09/0.15	o 64
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6260    25134    4    16248   41892     36      0 0.15
0.09/0.15	o 63
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        0   3162     6261    25234    4    16287   42892     37      0 0.15
0.09/0.15	o 53
0.09/0.15	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.15	c        1   3162     6263    25397    4    16338   42892     39      6 0.15
0.09/0.15	o 8
0.09/0.16	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.09/0.16	c        1   3162     6264    25497    4    16432   42892     40      6 0.15
0.09/0.16	o 7
136.93/137.05	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
136.93/137.05	c       16   3162     6280    26771    4    16557   42892     56     99 0.16
136.93/137.05	c      118   3162     6388    39342    6    16773   47182    164    608 0.19
136.93/137.05	c      368   3162     6660    70177   10    17496   51901    436   1323 0.28
136.93/137.05	c      845   3162     7200   128946   17    18642   57092    976   1745 0.48
136.93/137.05	c     1661   3162     8137   260403   32    20820   62802   1913   1874 0.89
136.93/137.05	c     2982   3162     9588   484417   50    24086   69083   3364   1795 1.66
136.93/137.05	c     5063   3162    12001  1145476   95    30482   75992   5777   1394 3.63
136.93/137.05	c     8286   3162    15880  2119914  133    39477   83592   9656   1058 7.83
136.93/137.05	c    13223   3162    22061  3871268  175    57149   91952  15837    726 18.19
136.93/137.05	c    20729   3162    31163  5630106  180    79214  101148  24939    548 37.76
136.93/137.05	c    32090   3162    44879  8047458  179   118503  111263  38655    410 78.19
136.93/137.05	o 6
1798.06/1798.50	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1798.06/1798.50	c    44059   3162    59141 12218334  206   151537   42892  52917    321 137.00
1798.06/1798.50	c    44159   3162    20020  4061810  202    47013   47182  13796    319 138.38
1798.06/1798.50	c    44409   3162    20334  4245916  208    47741   51901  14110    318 139.26
1798.06/1798.50	c    44885   3162    20935  4582182  218    49366   57092  14711    318 140.82
1798.06/1798.50	c    45698   3162    21918  4857297  221    51805   62802  15694    320 142.79
1798.06/1798.50	c    47018   3162    23551  5336444  226    55584   69083  17327    322 145.92
1798.06/1798.50	c    49099   3162    25924  5841504  225    60484   75992  19700    326 150.46
1798.06/1798.50	c    52324   3162    29532  6430234  217    68877   83592  23308    333 156.78
1798.06/1798.50	c    57262   3162    35247  7904656  224    82049   91952  29023    337 169.53
1798.06/1798.50	c    64769   3162    44041  9718616  220   101500  101148  37817    341 189.48
1798.06/1798.50	c    76130   3162    57426 12059024  209   130858  111263  51202    325 234.13
1798.06/1798.50	c    93277   3162    78385 17259882  220   176170  122390  72161    279 333.32
1798.06/1798.50	c   119098   3162   109856 27123117  246   245497  134630 103632    207 574.35
1798.06/1798.50	c   157930   3162    34970  6723604  192    79511  148094  28746    167 941.42
1798.06/1798.50	c   216285   3162   106823 26715791  250   234055  162904 100599    160 1347.81
1798.06/1798.50	c Resources Exceeded
1798.06/1798.50	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 
1798.06/1798.50	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1798.06/1798.50	c   65   255340  84359   558939   152891 37687981 146667    142 1798.07
1798.06/1798.50	c Objective: 6
1798.06/1798.50	s SATISFIABLE
1798.06/1798.50	c Total time: 1798.07 s

Verifier Data 

OK	6

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

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

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


[startup+0 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31013
/proc/meminfo: memFree=27702912/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=11248 CPUtime=0 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 400 0 0 0 0 0 0 0 20 0 1 0 283550466 11517952 353 33554432000 134512640 137138936 4292832144 4292830072 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 2813 354 176 642 0 2159 0

[startup+0.070383 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31013
/proc/meminfo: memFree=27702912/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=12308 CPUtime=0.06 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 670 0 0 0 6 0 0 0 20 0 1 0 283550466 12603392 613 33554432000 134512640 137138936 4292832144 4292792876 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 3077 613 185 642 0 2433 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 12308

[startup+0.100141 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31013
/proc/meminfo: memFree=27702912/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=12576 CPUtime=0.09 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 824 0 0 0 9 0 0 0 20 0 1 0 283550466 12877824 701 33554432000 134512640 137138936 4292832144 4292831260 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 3144 701 188 642 0 2500 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12576

[startup+0.300113 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31013
/proc/meminfo: memFree=27702912/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=13112 CPUtime=0.29 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 963 0 0 0 28 1 0 0 20 0 1 0 283550466 13426688 840 33554432000 134512640 137138936 4292832144 4292831040 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 3278 840 192 642 0 2634 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 13112

[startup+0.700097 s]
/proc/loadavg: 2.00 2.02 2.00 3/176 31013
/proc/meminfo: memFree=27702912/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=14908 CPUtime=0.69 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 1400 0 0 0 68 1 0 0 20 0 1 0 283550466 15265792 1277 33554432000 134512640 137138936 4292832144 4292831260 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 3727 1277 192 642 0 3083 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 14908

[startup+1.5001 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31014
/proc/meminfo: memFree=27697680/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=18064 CPUtime=1.49 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 2190 0 0 0 148 1 0 0 20 0 1 0 283550466 18497536 2067 33554432000 134512640 137138936 4292832144 4292831260 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 4516 2067 192 642 0 3872 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18064

[startup+3.10013 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31014
/proc/meminfo: memFree=27692224/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=25156 CPUtime=3.09 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 3982 0 0 0 307 2 0 0 20 0 1 0 283550466 25759744 3859 33554432000 134512640 137138936 4292832144 4292830568 134606660 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 6289 3859 192 642 0 5645 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 25156

[startup+6.30014 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31014
/proc/meminfo: memFree=27680200/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=35984 CPUtime=6.29 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 6680 0 0 0 627 2 0 0 20 0 1 0 283550466 36847616 6557 33554432000 134512640 137138936 4292832144 4292831260 136570369 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 8996 6557 192 642 0 8352 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 35984

[startup+12.7002 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 31014
/proc/meminfo: memFree=27661756/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=53156 CPUtime=12.69 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 10977 0 0 0 1265 4 0 0 20 0 1 0 283550466 54431744 10854 33554432000 134512640 137138936 4292832144 4292831072 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 13289 10854 192 642 0 12645 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 53156

[startup+25.5002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31014
/proc/meminfo: memFree=27640296/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=73236 CPUtime=25.48 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 16003 0 0 0 2542 6 0 0 20 0 1 0 283550466 74993664 15880 33554432000 134512640 137138936 4292832144 4292831072 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 18309 15880 192 642 0 17665 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 73236

[startup+51.1002 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31014
/proc/meminfo: memFree=27614828/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=98576 CPUtime=51.08 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 22342 0 0 0 5098 10 0 0 20 0 1 0 283550466 100941824 22219 33554432000 134512640 137138936 4292832144 4292831072 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 24644 22219 192 642 0 24000 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 98576

[startup+102.307 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 31014
/proc/meminfo: memFree=27574228/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=138708 CPUtime=102.26 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 32388 0 0 0 10210 16 0 0 20 0 1 0 283550466 142036992 32240 33554432000 134512640 137138936 4292832144 4292831072 134542295 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 34677 32240 192 642 0 34033 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 138708

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27538420/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=174312 CPUtime=162.21 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 41391 0 0 0 16199 22 0 0 20 0 1 0 283550466 178495488 41143 33554432000 134512640 137138936 4292832144 4292831072 134542325 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 43578 41143 192 642 0 42934 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 174312

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31014
/proc/meminfo: memFree=27538788/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=174312 CPUtime=222.2 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 41393 0 0 0 22195 25 0 0 20 0 1 0 283550466 178495488 41143 33554432000 134512640 137138936 4292832144 4292830736 134539776 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 43578 41143 192 642 0 42934 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 174312

[startup+282.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 31015
/proc/meminfo: memFree=27500472/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=213396 CPUtime=282.19 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 51179 0 0 0 28189 30 0 0 20 0 1 0 283550466 218517504 50929 33554432000 134512640 137138936 4292832144 4292831072 134542770 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 53349 50929 192 642 0 52705 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 213396

[startup+342.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 31015
/proc/meminfo: memFree=27435032/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=245260 CPUtime=342.18 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 59145 0 0 0 34184 34 0 0 20 0 1 0 283550466 251146240 58895 33554432000 134512640 137138936 4292832144 4292827760 134603164 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 61315 58895 192 642 0 60671 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 245260

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31018
/proc/meminfo: memFree=27375116/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=286160 CPUtime=402.17 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 69370 0 0 0 40178 39 0 0 20 0 1 0 283550466 293027840 69120 33554432000 134512640 137138936 4292832144 4292831064 135984556 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 71540 69120 192 642 0 70896 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 286160

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31018
/proc/meminfo: memFree=27329548/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=317188 CPUtime=462.15 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 77116 0 0 0 46173 42 0 0 20 0 1 0 283550466 324800512 76862 33554432000 134512640 137138936 4292832144 4292830424 136506715 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 79297 76862 192 642 0 78653 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 317188

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31018
/proc/meminfo: memFree=27283076/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=345288 CPUtime=522.12 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 84190 0 0 0 52165 47 0 0 20 0 1 0 283550466 353574912 83887 33554432000 134512640 137138936 4292832144 4292831072 134542503 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 86322 83887 192 642 0 85678 0
Current children cumulated CPU time (s) 522.12
Current children cumulated vsize (KiB) 345288

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31019
/proc/meminfo: memFree=27236676/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=372608 CPUtime=582.08 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 91075 0 0 0 58157 51 0 0 20 0 1 0 283550466 381550592 90729 33554432000 134512640 137138936 4292832144 4292831052 136295499 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 93152 90729 192 642 0 92508 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 372608

[startup+642.3 s]

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

/proc/meminfo: memFree=27062596/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1062 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117387 0 0 0 106127 73 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1062
Current children cumulated vsize (KiB) 477324

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31023
/proc/meminfo: memFree=27062440/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1121.96 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117434 0 0 0 112121 75 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1121.96
Current children cumulated vsize (KiB) 477324

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31024
/proc/meminfo: memFree=27062740/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1181.95 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 118118 77 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542516 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1181.95
Current children cumulated vsize (KiB) 477324

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31024
/proc/meminfo: memFree=27062616/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1241.94 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 124115 79 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831004 136521049 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1241.94
Current children cumulated vsize (KiB) 477324

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31024
/proc/meminfo: memFree=27062368/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1301.94 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 130113 81 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292830896 134575204 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1301.94
Current children cumulated vsize (KiB) 477324

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31025
/proc/meminfo: memFree=27062612/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1361.92 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 136109 83 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542480 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 477324

[startup+1422.31 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 31025
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1421.92 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 142108 84 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542106 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 477324

[startup+1482.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 31025
/proc/meminfo: memFree=27062504/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1481.9 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 148105 85 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1481.9
Current children cumulated vsize (KiB) 477324

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31026
/proc/meminfo: memFree=27062620/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1541.9 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 154103 87 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542484 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1541.9
Current children cumulated vsize (KiB) 477324

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 31105
/proc/meminfo: memFree=27430248/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1601.88 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 160100 88 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831068 136296960 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 477324

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31105
/proc/meminfo: memFree=27420468/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=477324 CPUtime=1661.87 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 117439 0 0 0 166098 89 0 0 20 0 1 0 283550466 488779776 116907 33554432000 134512640 137138936 4292832144 4292831072 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 119331 116907 192 642 0 118687 0
Current children cumulated CPU time (s) 1661.87
Current children cumulated vsize (KiB) 477324

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31105
/proc/meminfo: memFree=27410748/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=484024 CPUtime=1721.87 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 119114 0 0 0 172095 92 0 0 20 0 1 0 283550466 495640576 118582 33554432000 134512640 137138936 4292832144 4292831072 134542237 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 121006 118582 192 642 0 120362 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 484024

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31105
/proc/meminfo: memFree=27386568/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=504392 CPUtime=1781.86 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 124192 0 0 0 178092 94 0 0 20 0 1 0 283550466 516497408 123660 33554432000 134512640 137138936 4292832144 4292831072 134542613 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 126098 123660 192 642 0 125454 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 504392

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

[startup+1791.91 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 31105
/proc/meminfo: memFree=27384344/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=507204 CPUtime=1791.46 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 124898 0 0 0 179052 94 0 0 20 0 1 0 283550466 519376896 124366 33554432000 134512640 137138936 4292832144 4292831072 134542233 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 126801 124366 192 642 0 126157 0
Current children cumulated CPU time (s) 1791.46
Current children cumulated vsize (KiB) 507204

[startup+1795.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31106
/proc/meminfo: memFree=27383220/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=508144 CPUtime=1794.66 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 125121 0 0 0 179371 95 0 0 20 0 1 0 283550466 520339456 124589 33554432000 134512640 137138936 4292832144 4292831072 134542333 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 127036 124589 192 642 0 126392 0
Current children cumulated CPU time (s) 1794.66
Current children cumulated vsize (KiB) 508144

[startup+1796.7 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31106
/proc/meminfo: memFree=27382848/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=508420 CPUtime=1796.26 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 125213 0 0 0 179531 95 0 0 20 0 1 0 283550466 520622080 124681 33554432000 134512640 137138936 4292832144 4292831072 134542187 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 127105 124681 192 642 0 126461 0
Current children cumulated CPU time (s) 1796.26
Current children cumulated vsize (KiB) 508420

[startup+1797.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31106
/proc/meminfo: memFree=27382724/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=508684 CPUtime=1797.06 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 125263 0 0 0 179611 95 0 0 20 0 1 0 283550466 520892416 124731 33554432000 134512640 137138936 4292832144 4292831072 134542199 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 127171 124731 192 642 0 126527 0
Current children cumulated CPU time (s) 1797.06
Current children cumulated vsize (KiB) 508684

[startup+1798.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31106
/proc/meminfo: memFree=27382724/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=508816 CPUtime=1797.86 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 125301 0 0 0 179691 95 0 0 20 0 1 0 283550466 521027584 124769 33554432000 134512640 137138936 4292832144 4292831072 134542307 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 127204 124769 192 642 0 126560 0
Current children cumulated CPU time (s) 1797.86
Current children cumulated vsize (KiB) 508816

[startup+1798.51 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 31106
/proc/meminfo: memFree=27382476/32873648 swapFree=7104/7104
[pid=31013] ppid=31011 vsize=508816 CPUtime=1798.06 cores=0,2,4,6
/proc/31013/stat : 31013 (bsolo) R 31011 31013 29254 0 -1 4202496 125308 0 0 0 179711 95 0 0 20 0 1 0 283550466 521027584 124776 33554432000 134512640 137138936 4292832144 4292831072 134542525 0 0 4096 16384 0 0 0 17 0 0 0 0 0 0
/proc/31013/statm: 127204 124776 192 642 0 126560 0
Current children cumulated CPU time (s) 1798.06
Current children cumulated vsize (KiB) 508816

Child status: 0
Real time (s): 1798.51
CPU time (s): 1798.08
CPU user time (s): 1797.12
CPU system time (s): 0.955854
CPU usage (%): 99.9757
Max. virtual memory (cumulated for all children) (KiB): 508816

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.12
system time used= 0.955854
maximum resident set size= 499108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 125309
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= 229
involuntary context switches= 2386

runsolver used 2.81757 second user time and 6.99794 second system time

The end

Launcher Data 

Begin job on node127 at 2012-05-28 05:04:10
IDJOB=3708443
IDBENCH=48159
IDSOLVER=2286
FILE ID=node127/3708443-1338174250
RUNJOBID= node127-1338157754-29270
PBS_JOBID= 14624533
Free space on /tmp= 71168 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-3708443-1338174250/watcher-3708443-1338174250 -o /tmp/evaluation-result-3708443-1338174250/solver-3708443-1338174250 -C 1800 -W 1900 -M 15500  bsolo -l2 -t1800 HOME/instance-3708443-1338174250.opb

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

MD5SUM BENCH= 65a3c38bd8963c911b96c745ee468cb1
RANDOM SEED=314474552

node127.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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.69
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.348
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.348
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.94
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.348
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.348
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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

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


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27703192 kB
Buffers:          480252 kB
Cached:          3537464 kB
SwapCached:            0 kB
Active:          1486076 kB
Inactive:        2800576 kB
Active(anon):     270900 kB
Inactive(anon):        0 kB
Active(file):    1215176 kB
Inactive(file):  2800576 kB
Unevictable:        7104 kB
Mlocked:            7104 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              3916 kB
Writeback:             0 kB
AnonPages:        305944 kB
Mapped:            15128 kB
Shmem:               200 kB
Slab:             743716 kB
SReclaimable:     188144 kB
SUnreclaim:       555572 kB
KernelStack:        1472 kB
PageTables:         4236 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     390516 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71164 MiB
End job on node127 at 2012-05-28 05:34:09