Trace number 453150

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, and are wall clock time (not CPU 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.0.16SAT6 1800.09 1800.8

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_100_25_1.opb
MD5SUMaa10899bd7f711370f6ef9f1251ce7f2
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 benchmark61.3037
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 constraint44
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)3038
Sum of products size (including duplicates)6076
Number of different products3038
Sum of products size6076

Quality of the solution as a function of time


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

Solver Data (download as text)

0.00/0.00	c bsolo beta version 3.0.16 - 04/04/2007 : 1458 GMT
0.00/0.00	c Developed by Vasco Manquinho 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 Time Limit set to 1800
0.00/0.00	c Memory Limit set to 1800 MB
0.00/0.00	c Instance file /tmp/evaluation/453150-1178119144/instance-453150-1178119144.opb
0.00/0.00	c File size is 38185 bytes.
0.00/0.02	c Highest Coefficient sum: 100
0.00/0.02	c Parsing was ok!!
0.00/0.02	c Total parsing time: 0.026 s
0.00/0.03	c Var: 3138 Constr: 6176 3138/0/3038 Lit: 21366 Watch. Lit: 15390
0.00/0.03	c Obj. Vars: 100 (3.18674 % of total variables)
0.19/0.20	c Pre-processing Time: 0.197 s
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3138     6176    21366    3    15390   19273      0      0 0.20
0.19/0.20	c Switching off LPR mode.
0.19/0.20	o 99	0.201
0.19/0.20	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.20	c        0   3138     6177    21466    3    15393   19340      1      0 0.20
0.19/0.20	o 98	0.203
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3138     6178    21566    3    15397   19440      2      0 0.20
0.19/0.21	o 97	0.207
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3138     6179    21666    3    15402   19573      3      0 0.21
0.19/0.21	o 96	0.21
0.19/0.21	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.21	c        0   3138     6180    21766    3    15408   19740      4      0 0.21
0.19/0.21	o 95	0.213
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3138     6181    21866    3    15415   19940      5      0 0.21
0.19/0.22	o 94	0.216
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3138     6182    21966    3    15423   20173      6      0 0.22
0.19/0.22	o 93	0.219
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3138     6183    22066    3    15432   20440      7      0 0.22
0.19/0.22	o 92	0.222
0.19/0.22	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.22	c        0   3138     6184    22166    3    15442   20740      8      0 0.22
0.19/0.22	o 91	0.225
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3138     6185    22266    3    15453   21073      9      0 0.23
0.19/0.23	o 90	0.228
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3138     6186    22366    3    15465   21440     10      0 0.23
0.19/0.23	o 89	0.231
0.19/0.23	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.23	c        0   3138     6187    22466    3    15478   21840     11      0 0.23
0.19/0.23	o 88	0.234
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   3138     6188    22566    3    15492   22273     12      0 0.23
0.19/0.24	o 87	0.237
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   3138     6189    22666    3    15507   22740     13      0 0.24
0.19/0.24	o 86	0.24
0.19/0.24	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.24	c        0   3138     6190    22766    3    15523   23240     14      0 0.24
0.19/0.24	o 85	0.243
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   3138     6191    22866    3    15540   23773     15      0 0.24
0.19/0.25	o 84	0.246
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   3138     6192    22966    3    15558   24340     16      0 0.25
0.19/0.25	o 83	0.249
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   3138     6193    23066    3    15577   24940     17      0 0.25
0.19/0.25	o 82	0.252
0.19/0.25	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.25	c        0   3138     6194    23166    3    15597   25573     18      0 0.25
0.19/0.25	o 81	0.255
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   3138     6195    23266    3    15618   26240     19      0 0.26
0.19/0.26	o 80	0.258
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   3138     6196    23366    3    15640   26940     20      0 0.26
0.19/0.26	o 79	0.261
0.19/0.26	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.26	c        0   3138     6197    23466    3    15663   27673     21      0 0.26
0.19/0.26	o 78	0.264
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   3138     6198    23566    3    15687   28440     22      0 0.27
0.19/0.27	o 77	0.267
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   3138     6199    23666    3    15712   29240     23      0 0.27
0.19/0.27	o 76	0.27
0.19/0.27	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.27	c        0   3138     6200    23766    3    15738   30073     24      0 0.27
0.19/0.27	o 75	0.273
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   3138     6201    23866    3    15765   30940     25      0 0.27
0.19/0.28	o 74	0.276
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   3138     6202    23966    3    15793   31840     26      0 0.28
0.19/0.28	o 73	0.279
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   3138     6203    24066    3    15822   32773     27      0 0.28
0.19/0.28	o 72	0.282
0.19/0.28	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.28	c        0   3138     6204    24166    3    15852   33740     28      0 0.28
0.19/0.28	o 71	0.285
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   3138     6205    24266    3    15883   34740     29      0 0.29
0.19/0.29	o 70	0.288
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   3138     6206    24366    3    15915   35740     30      0 0.29
0.19/0.29	o 69	0.291
0.19/0.29	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.19/0.29	c        0   3138     6207    24466    3    15948   36740     31      0 0.29
0.19/0.29	o 68	0.294
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   3138     6208    24566    3    15982   37740     32      0 0.29
0.29/0.30	o 67	0.297
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   3138     6209    24666    3    16017   38740     33      0 0.30
0.29/0.30	o 66	0.301
0.29/0.30	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.30	c        0   3138     6210    24766    3    16053   39740     34      0 0.30
0.29/0.30	o 37	0.305
0.29/0.31	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.31	c        1   3138     6212    24932    4    16120   39740     36      3 0.31
0.29/0.31	o 8	0.309
0.29/0.32	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.32	c        1   3138     6213    25032    4    16214   39740     37      3 0.31
0.29/0.32	o 7	0.321
0.29/0.33	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
0.29/0.33	c       25   3138     6238    26383    4    16357   39740     62     77 0.32
0.29/0.33	o 6	0.326
1799.99/1800.70	c    Confl   Vars     Ctrs     Lits  LPC   W.Lits     Max Learnt Conf/s Time
1799.99/1800.70	c       33   3138     6247    27143    4    16469   39740     71    100 0.33
1799.99/1800.70	c      137   3138     6351    34450    5    16677   43715    175    381 0.36
1799.99/1800.70	c      387   3138     6601    50095    7    17177   48087    425    937 0.41
1799.99/1800.70	c      863   3138     7077    90519   12    18129   52896    901   1516 0.57
1799.99/1800.70	c     1676   3138     7890   154090   19    19755   58186   1714   1891 0.89
1799.99/1800.70	c     2998   3138     9212   283657   30    22399   64005   3036   1984 1.51
1799.99/1800.70	c     5080   3138    11294   471779   41    26563   70406   5118   2140 2.37
1799.99/1800.70	c     8307   3138    14521   739303   50    33017   77447   8345   1858 4.47
1799.99/1800.70	c    13243   3138    19457  1145618   58    42889   85192  13281   1529 8.66
1799.99/1800.70	c    20749   3138    26963  1872746   69    57901   93712  20787   1128 18.38
1799.99/1800.70	c    32110   3138    38324  2918887   76    80623  103084  32148    819 39.18
1799.99/1800.70	c    49255   3138    55469  4555942   82   114913  113393  49293    577 85.28
1799.99/1800.70	c    75075   3138    81289  7103987   87   166553  124733  75113    412 181.94
1799.99/1800.70	c   113907   3138   120121 12217592  101   244217  137207 113945    277 410.91
1799.99/1800.70	c   172259   3138    53290 10935719  205   109712  150928  47114    244 705.61
1799.99/1800.70	c   259891   3138   140922 29539282  209   284976  166021 134746    216 1198.52
1799.99/1800.70	c Resources Exceeded
1799.99/1800.70	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
1799.99/1800.70	v -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
1799.99/1800.70	v -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
1799.99/1800.70	v -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100
1799.99/1800.70	c  Rst    Confl    NCB      Dec     Ctrs     Lits Learnt Conf/s Time
1799.99/1800.70	c   53   348832 110586   615349    75711 16761596  69535    193 1800.00
1799.99/1800.70	c Objective: 6
1799.99/1800.70	s SATISFIABLE
1799.99/1800.70	c Total time: 1800 s

Verifier Data (download as text)

OK	6

Watcher Data (download as text)

runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w ROOT/results/node13/watcher-453150-1178119144 -o ROOT/results/node13/solver-453150-1178119144 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453150-1178119144/instance-453150-1178119144.opb 

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): 3600 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.84 0.95 0.93 3/77 13027
/proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=11776 CPUtime=0
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 374 0 0 0 0 0 0 0 18 0 1 0 259832236 12058624 344 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 2944 345 291 324 0 2003 0

[startup+0.053561 s]
/proc/loadavg: 0.84 0.95 0.93 3/77 13027
/proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=5464 CPUtime=0.04
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 780 0 0 0 4 0 0 0 18 0 1 0 259832236 5595136 740 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 1366 740 305 324 0 435 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 5464

[startup+0.101571 s]
/proc/loadavg: 0.84 0.95 0.93 3/77 13027
/proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=5464 CPUtime=0.09
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 780 0 0 0 9 0 0 0 18 0 1 0 259832236 5595136 740 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 1366 740 305 324 0 435 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 5464

[startup+0.301613 s]
/proc/loadavg: 0.84 0.95 0.93 3/77 13027
/proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=5836 CPUtime=0.29
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 938 0 0 0 28 1 0 0 19 0 1 0 259832236 5976064 833 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 1459 833 311 324 0 528 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 5836

[startup+0.701699 s]
/proc/loadavg: 0.84 0.95 0.93 3/77 13027
/proc/meminfo: memFree=1767808/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=7028 CPUtime=0.69
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 1220 0 0 0 68 1 0 0 22 0 1 0 259832236 7196672 1115 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 1757 1115 312 324 0 826 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 7028

[startup+1.50187 s]
/proc/loadavg: 0.84 0.95 0.93 2/78 13028
/proc/meminfo: memFree=1763640/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=9244 CPUtime=1.49
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 1789 0 0 0 147 2 0 0 25 0 1 0 259832236 9465856 1684 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12314235 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 2311 1684 312 324 0 1380 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 9244

[startup+3.10121 s]
/proc/loadavg: 0.84 0.95 0.93 2/78 13028
/proc/meminfo: memFree=1759992/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=13404 CPUtime=3.08
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 2838 0 0 0 306 2 0 0 25 0 1 0 259832236 13725696 2733 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 3351 2733 312 324 0 2420 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13404

[startup+6.30189 s]
/proc/loadavg: 0.85 0.95 0.93 2/78 13028
/proc/meminfo: memFree=1753912/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=18596 CPUtime=6.29
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 4119 0 0 0 625 4 0 0 25 0 1 0 259832236 19042304 4014 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 4649 4014 312 324 0 3718 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 18596

[startup+12.7013 s]
/proc/loadavg: 0.87 0.95 0.93 2/78 13028
/proc/meminfo: memFree=1745408/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=26564 CPUtime=12.68
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 6103 0 0 0 1261 7 0 0 25 0 1 0 259832236 27201536 5998 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 6641 5998 312 324 0 5710 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26564

[startup+25.502 s]
/proc/loadavg: 0.89 0.95 0.93 2/78 13028
/proc/meminfo: memFree=1734208/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=37360 CPUtime=25.48
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 8824 0 0 0 2536 12 0 0 25 0 1 0 259832236 38256640 8719 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4160091748 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 9340 8719 312 324 0 8409 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 37360

[startup+51.1014 s]
/proc/loadavg: 0.93 0.96 0.93 2/78 13028
/proc/meminfo: memFree=1718400/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=53356 CPUtime=51.07
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 12829 0 0 0 5090 17 0 0 25 0 1 0 259832236 54636544 12724 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550956 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 13339 12724 312 324 0 12408 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53356

[startup+102.305 s]
/proc/loadavg: 0.97 0.96 0.93 2/78 13028
/proc/meminfo: memFree=1694336/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=77048 CPUtime=102.25
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 18736 0 0 0 10199 26 0 0 25 0 1 0 259832236 78897152 18631 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 19262 18631 312 324 0 18331 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 77048

[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1672960/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=98440 CPUtime=162.23
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 24093 0 0 0 16185 38 0 0 25 0 1 0 259832236 100802560 23988 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 24610 23988 312 324 0 23679 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 98440

[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1652928/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=118356 CPUtime=222.21
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 29056 0 0 0 22176 45 0 0 25 0 1 0 259832236 121196544 28951 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12308632 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 29589 28951 312 324 0 28658 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 118356

[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1631808/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=139484 CPUtime=282.19
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 34346 0 0 0 28166 53 0 0 25 0 1 0 259832236 142831616 34241 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12308540 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 34871 34241 312 324 0 33940 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 139484

[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1613888/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=157284 CPUtime=342.16
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 38782 0 0 0 34157 59 0 0 25 0 1 0 259832236 161058816 38677 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 39321 38677 312 324 0 38390 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 157284

[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1599296/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=171888 CPUtime=402.14
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 42461 0 0 0 40149 65 0 0 25 0 1 0 259832236 176013312 42356 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 42972 42356 312 324 0 42041 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 171888

[startup+462.301 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1571072/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=199972 CPUtime=462.11
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 49469 0 0 0 46138 73 0 0 25 0 1 0 259832236 204771328 49364 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 49993 49364 312 324 0 49062 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 199972

[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1555392/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=215872 CPUtime=522.09
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 53429 0 0 0 52131 78 0 0 25 0 1 0 259832236 221052928 53324 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 53968 53324 312 324 0 53037 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 215872

[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1527168/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=243832 CPUtime=582.07
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 60434 0 0 0 58123 84 0 0 25 0 1 0 259832236 249683968 60329 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 60958 60329 312 324 0 60027 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 243832

[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1521600/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=249128 CPUtime=642.04
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 61881 0 0 0 64116 88 0 0 25 0 1 0 259832236 255107072 61640 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 62282 61640 312 324 0 61351 0
Current children cumulated CPU time (s) 642.04
Current children cumulated vsize (KiB) 249128


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

/proc/meminfo: memFree=1439360/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=331648 CPUtime=1061.88
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 82538 0 0 0 106059 129 0 0 25 0 1 0 259832236 339607552 82297 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 82912 82297 312 324 0 81981 0
Current children cumulated CPU time (s) 1061.88
Current children cumulated vsize (KiB) 331648

[startup+1122.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1407104/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=363844 CPUtime=1121.85
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 90564 0 0 0 112049 136 0 0 25 0 1 0 259832236 372576256 90323 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312274 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 90961 90323 312 324 0 90030 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 363844

[startup+1182.3 s]
/proc/loadavg: 0.99 0.97 0.93 2/78 13028
/proc/meminfo: memFree=1382336/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=388532 CPUtime=1181.83
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 96729 0 0 0 118041 142 0 0 25 0 1 0 259832236 397856768 96488 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312417 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 97133 96488 312 324 0 96202 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 388532

[startup+1242.3 s]
/proc/loadavg: 1.05 0.99 0.94 2/78 13028
/proc/meminfo: memFree=1360768/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=410116 CPUtime=1241.8
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 102138 0 0 0 124033 147 0 0 25 0 1 0 259832236 419958784 101897 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 102529 101897 312 324 0 101598 0
Current children cumulated CPU time (s) 1241.8
Current children cumulated vsize (KiB) 410116

[startup+1302.3 s]
/proc/loadavg: 1.07 1.00 0.94 2/78 13028
/proc/meminfo: memFree=1321216/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=449348 CPUtime=1301.79
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 111950 0 0 0 130024 155 0 0 25 0 1 0 259832236 460132352 111709 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12308549 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 112337 111709 312 324 0 111406 0
Current children cumulated CPU time (s) 1301.79
Current children cumulated vsize (KiB) 449348

[startup+1362.3 s]
/proc/loadavg: 1.07 1.01 0.95 2/78 13028
/proc/meminfo: memFree=1301568/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=469032 CPUtime=1361.75
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 116862 0 0 0 136016 159 0 0 25 0 1 0 259832236 480288768 116621 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312403 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 117258 116621 312 324 0 116327 0
Current children cumulated CPU time (s) 1361.75
Current children cumulated vsize (KiB) 469032

[startup+1422.3 s]
/proc/loadavg: 1.07 1.02 0.95 2/78 13030
/proc/meminfo: memFree=1273024/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=497472 CPUtime=1421.74
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 123969 0 0 0 142008 166 0 0 25 0 1 0 259832236 509411328 123728 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 124368 123728 312 324 0 123437 0
Current children cumulated CPU time (s) 1421.74
Current children cumulated vsize (KiB) 497472

[startup+1482.3 s]
/proc/loadavg: 1.02 1.02 0.95 2/78 13030
/proc/meminfo: memFree=1238272/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=532524 CPUtime=1481.71
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 132741 0 0 0 147998 173 0 0 25 0 1 0 259832236 545304576 132500 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550996 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 133131 132500 312 324 0 132200 0
Current children cumulated CPU time (s) 1481.71
Current children cumulated vsize (KiB) 532524

[startup+1542.3 s]
/proc/loadavg: 1.01 1.01 0.95 2/78 13030
/proc/meminfo: memFree=1227136/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1541.68
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 153992 176 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134546313 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1541.68
Current children cumulated vsize (KiB) 542964

[startup+1602.3 s]
/proc/loadavg: 1.00 1.01 0.95 2/78 13030
/proc/meminfo: memFree=1227136/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1601.66
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 159986 180 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1601.66
Current children cumulated vsize (KiB) 542964

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1661.64
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 165980 184 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1661.64
Current children cumulated vsize (KiB) 542964

[startup+1722.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1721.62
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 171974 188 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 12312408 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1721.62
Current children cumulated vsize (KiB) 542964

[startup+1782.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1781.6
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 177967 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550897 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1781.6
Current children cumulated vsize (KiB) 542964

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

[startup+1791.91 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1791.2
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 178927 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1791.2
Current children cumulated vsize (KiB) 542964

[startup+1795.1 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1794.39
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179246 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1794.39
Current children cumulated vsize (KiB) 542964

[startup+1798.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1797.59
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179566 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551085 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1797.59
Current children cumulated vsize (KiB) 542964

[startup+1799.9 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1799.18
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179725 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550971 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 542964

[startup+1800.3 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1799.58
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179765 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134550983 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 542964

[startup+1800.71 s]
/proc/loadavg: 1.00 1.00 0.95 2/78 13030
/proc/meminfo: memFree=1227200/2055920 swapFree=4159360/4192956
[pid=13027] ppid=13025 vsize=542964 CPUtime=1799.99
/proc/13027/stat : 13027 (bsolo3.0.16) R 13025 13027 12150 0 -1 4194304 135530 0 0 0 179806 193 0 0 25 0 1 0 259832236 555995136 135125 18446744073709551615 134512640 135841103 4294956592 18446744073709551615 134551433 0 0 4096 16384 0 0 0 17 1 0 0
/proc/13027/statm: 135741 135125 312 324 0 134810 0
Current children cumulated CPU time (s) 1799.99
Current children cumulated vsize (KiB) 542964

Child status: 0
Real time (s): 1800.8
CPU time (s): 1800.09
CPU user time (s): 1798.06
CPU system time (s): 2.02969
CPU usage (%): 99.9609
Max. virtual memory (cumulated for all children) (KiB): 543620

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.06
system time used= 2.02969
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 135531
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= 12
involuntary context switches= 2737

runsolver used 1.41778 second user time and 3.83342 second system time

The end

Launcher Data (download as text)

Begin job on node13 on Wed May  2 15:19:04 UTC 2007

IDJOB= 453150
IDBENCH= 48111
IDSOLVER= 163
FILE ID= node13/453150-1178119144

PBS_JOBID= 4751033

Free space on /tmp= 66558 MiB

SOLVER NAME= bsolo 3.0.16
BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_1.opb
COMMAND LINE= bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453150-1178119144/instance-453150-1178119144.opb            
RUNSOLVER COMMAND LINE= runsolver  --timestamp  -w ROOT/results/node13/watcher-453150-1178119144 -o ROOT/results/node13/solver-453150-1178119144 -C 1800 -W 3600 -M 1800 --output-limit 1,15  bsolo3.0.16 -t1800 -m1800 /tmp/evaluation/453150-1178119144/instance-453150-1178119144.opb            

META MD5SUM SOLVER= b11bf0769a124f73ad50b0fdfcd50482
MD5SUM BENCH=  aa10899bd7f711370f6ef9f1251ce7f2

RANDOM SEED= 191621760

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 1800 MiB

Linux node13.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.259
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1768152 kB
Buffers:         87212 kB
Cached:         105016 kB
SwapCached:      12860 kB
Active:         113044 kB
Inactive:       106156 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1768152 kB
SwapTotal:     4192956 kB
SwapFree:      4159360 kB
Dirty:            6760 kB
Writeback:           0 kB
Mapped:          32804 kB
Slab:            53936 kB
Committed_AS:  9457684 kB
PageTables:       1880 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66558 MiB

End job on node13 on Wed May  2 15:49:05 UTC 2007