Trace number 3174043

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 NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.3 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
MD5SUM82ce98f61c0f2213b508b1b975b0c344
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174043-1304079013.cnf'
0.00/0.00	c -- header says num vars:            550
0.00/0.00	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     252 undec:      63 neg:     235
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       541      2335         0         0      7050         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4918       541      2335         0      4843      7050    121757   no data   no data
1.57/0.43	c  N st    10     11303       541      2335         0      4467      7050     81597   no data   no data
2.78/0.70	c  N st    11     17049       541      2335         0     10116      7050    239091   no data   no data
4.38/1.13	c  F st    12     25003       541      2335         0     12447      7050    289863   no data   no data
4.38/1.13	c  N st    12     25003       541      2335         0     12447      7050    289863   no data   no data
5.17/1.38	c Decided on static restart strategy
5.17/1.38	c  N st    18     30000       541      2335         0     10710      7050    219441   no data   no data
5.17/1.38	c  S st    18     30000       541      2335         0     10710      7050    219441   no data   no data
5.57/1.41	c  S st    18     30502       541      2335         0     11212      7050    230557   no data   no data
5.57/1.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.42	c blocked clauses removed:        7 vars:      1 tried:         541 T: 0.00 s
5.57/1.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    540 time:  0.00 s
5.57/1.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.42	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.00 s
5.57/1.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.48	c lits-rem:       101  cl-subs:      387  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.48	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
5.57/1.48	c calculated reachability. Time: 0.00
5.57/1.48	c  N st    18     30502       539      2328         0     10800      7033    218440   no data   no data
7.57/1.90	c  N st    20     37617       539      2328         0     10067      7033    180571   no data   no data
8.77/2.30	c  N st    21     44018       539      2328         0     16379      7033    348092   no data   no data
9.55/2.41	c  S st    22     45753       539      2328         0      9281      7033    140662   no data   no data
9.55/2.44	c  S st    22     46254       539      2328         0      9781      7033    153794   no data   no data
9.55/2.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.55/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.55/2.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.55/2.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.55/2.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
9.55/2.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.55/2.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.55/2.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.55/2.46	c lits-rem:        23  cl-subs:       24  v-elim:      0  v-fix:    0  time:  0.01 s
9.55/2.46	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
9.55/2.46	c vivif2 --  cl tried     9757 cl shrink        0 lits rem          0 time: 0.00
9.55/2.47	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
9.55/2.47	c calculated reachability. Time: 0.00
9.55/2.47	c  N st    22     46254       539      2328         0      9757      7033    153049   no data   no data
13.57/3.47	c  N st    23     60654       539      2328         0     14060      7033    243865   no data   no data
16.34/4.10	c  N st    24     69381       539      2328         0     11851      7033    182237   no data   no data
16.34/4.10	c  S st    24     69381       539      2328         0     11851      7033    182237   no data   no data
16.34/4.13	c  S st    24     69883       539      2328         0     12352      7033    194580   no data   no data
16.34/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.34/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.34/4.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.34/4.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.34/4.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
16.34/4.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.34/4.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.34/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.34/4.17	c lits-rem:        15  cl-subs:      142  v-elim:      0  v-fix:    0  time:  0.02 s
16.34/4.17	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
16.34/4.17	c vivif2 --  cl tried    12210 cl shrink        0 lits rem          0 time: 0.00
16.34/4.18	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
16.34/4.18	c calculated reachability. Time: 0.00
16.34/4.18	c  N st    24     69883       539      2328         0     12210      7033    190898   no data   no data
21.95/5.55	c  F st    25     87501       539      2328         0     17740      7033    325186   no data   no data
21.95/5.55	c  N st    25     87501       539      2328         0     17740      7033    325186   no data   no data
23.54/5.98	c Decided on static restart strategy
24.74/6.25	c  N st    32     95539       539      2328         0     25610      7033    515839   no data   no data
27.53/6.99	c  N st    34    104824       539      2328         0     21988      7033    412495   no data   no data
27.53/6.99	c  S st    34    104824       539      2328         0     21988      7033    412495   no data   no data
27.94/7.05	c  S st    34    105326       539      2328         0     22489      7033    424601   no data   no data
27.94/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.94/7.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.94/7.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
27.94/7.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.94/7.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.94/7.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.73/7.25	c lits-rem:       173  cl-subs:      917  v-elim:      0  v-fix:    0  time:  0.18 s
28.73/7.25	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
28.73/7.26	c vivif2 --  cl tried    21572 cl shrink        0 lits rem          0 time: 0.00
28.73/7.27	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.01
28.73/7.27	c calculated reachability. Time: 0.00
28.73/7.27	c  N st    34    105326       539      2328         0     21572      7033    399883   no data   no data
32.32/8.10	c  N st    35    114924       539      2328         0     17264      7033    269873   no data   no data
37.52/9.41	c  N st    36    129322       539      2328         0     16687      7033    235837   no data   no data
45.11/11.33	c  N st    37    150917       539      2328         0     22155      7033    364963   no data   no data
47.51/11.94	c  S st    38    157990       539      2328         0     29124      7033    556014   no data   no data
47.91/12.02	c  S st    38    158492       539      2328         0     29626      7033    568327   no data   no data
47.91/12.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.91/12.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.91/12.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.91/12.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.91/12.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
47.91/12.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.91/12.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.91/12.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.10/12.37	c lits-rem:       186  cl-subs:     1021  v-elim:      0  v-fix:    0  time:  0.32 s
49.10/12.37	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
49.10/12.38	c vivif2 --  cl tried    28605 cl shrink        0 lits rem          0 time: 0.01
49.50/12.40	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
49.50/12.40	c calculated reachability. Time: 0.00
49.50/12.40	c  N st    38    158492       539      2328         0     28605      7033    540303   no data   no data
69.08/17.38	c  N st    39    207083       539      2328         0     23305      7033    357765   no data   no data
83.06/20.84	c  N st    40    237738       539      2328         0     33937      7033    620352   no data   no data
83.06/20.84	c  S st    40    237738       539      2328         0     33937      7033    620352   no data   no data
83.47/20.92	c  S st    40    238245       539      2328         0     34444      7033    632342   no data   no data
83.47/20.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
83.47/20.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
83.47/20.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
83.47/20.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
83.47/20.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.47/20.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
83.47/20.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
83.47/20.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
83.47/20.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.45/21.48	c lits-rem:       384  cl-subs:     1366  v-elim:      0  v-fix:    0  time:  0.51 s
85.45/21.48	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
85.45/21.48	c vivif2 --  cl tried    33078 cl shrink        0 lits rem          0 time: 0.01
85.85/21.51	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
85.85/21.51	c calculated reachability. Time: 0.00
85.85/21.51	c  N st    40    238245       539      2328         0     33078      7033    594934   no data   no data
119.03/29.88	c  F st    41    306251       539      2328         0     34890      7033    573276   no data   no data
119.03/29.88	c  N st    41    306251       539      2328         0     34890      7033    573276   no data   no data
121.81/30.52	c Decided on static restart strategy
133.39/33.41	c  N st    51    334552       539      2328         0     39150      7033    680497   no data   no data
144.58/36.23	c  N st    53    357368       539      2328         0     36973      7033    611016   no data   no data
144.58/36.23	c  S st    53    357368       539      2328         0     36973      7033    611016   no data   no data
144.98/36.33	c  S st    53    357872       539      2328         0     37476      7033    623400   no data   no data
144.98/36.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
144.98/36.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
144.98/36.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
144.98/36.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
144.98/36.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
144.98/36.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
144.98/36.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
144.98/36.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
144.98/36.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.57/36.76	c lits-rem:       223  cl-subs:     1190  v-elim:      0  v-fix:    0  time:  0.38 s
146.57/36.76	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
146.57/36.77	c vivif2 --  cl tried    36286 cl shrink        0 lits rem          0 time: 0.01
146.57/36.79	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.02
146.57/36.79	c calculated reachability. Time: 0.00
146.57/36.79	c  N st    53    357872       539      2328         0     36286      7033    588451   no data   no data
163.75/41.05	c  N st    54    390264       539      2328         0     42483      7033    748102   no data   no data
192.51/48.24	c  N st    55    438852       539      2328         0     36100      7033    524084   no data   no data
233.65/58.58	c  N st    56    511734       539      2328         0     49614      7033    856579   no data   no data
250.84/62.89	c  N st    57    536808       539      2328         0     43706      7033    652072   no data   no data
250.84/62.89	c  S st    57    536808       539      2328         0     43706      7033    652072   no data   no data
251.62/63.02	c  S st    57    537309       539      2328         0     44205      7033    665049   no data   no data
251.62/63.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
251.62/63.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
251.62/63.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
251.62/63.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
251.62/63.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.62/63.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
251.62/63.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
251.62/63.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
251.62/63.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.24/63.91	c lits-rem:       162  cl-subs:     2786  v-elim:      0  v-fix:    0  time:  0.84 s
255.24/63.91	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
255.24/63.92	c vivif2 --  cl tried    41419 cl shrink        0 lits rem          0 time: 0.01
255.24/63.95	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.03
255.24/63.95	c calculated reachability. Time: 0.00
255.24/63.95	c  N st    57    537309       539      2328         0     41419      7033    601823   no data   no data
369.86/92.66	c  N st    58    701293       539      2328         0     35671      7033    379647   no data   no data
451.35/113.05	c  N st    59    805963       539      2328         0     64559      7033   1093047   no data   no data
451.35/113.05	c  S st    59    805963       539      2328         0     64559      7033   1093047   no data   no data
452.15/113.23	c  S st    59    806469       539      2328         0     65064      7033   1105668   no data   no data
452.15/113.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
452.15/113.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
452.15/113.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
452.15/113.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
452.15/113.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.15/113.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
452.15/113.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
452.15/113.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
452.56/113.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
465.34/116.54	c lits-rem:       910  cl-subs:     4702  v-elim:      0  v-fix:    0  time:  3.22 s
465.34/116.54	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
465.34/116.55	c vivif2 --  cl tried    60362 cl shrink        0 lits rem          0 time: 0.01
465.74/116.61	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.05
465.74/116.61	c calculated reachability. Time: 0.00
465.74/116.61	c  N st    59    806469       539      2328         0     60362      7033    991564   no data   no data
703.02/176.03	c  F st    60   1071876       539      2328         0     76559      7033   1319514   no data   no data
703.02/176.03	c  N st    60   1071876       539      2328         0     76559      7033   1319514   no data   no data
708.61/177.47	c Decided on static restart strategy
727.38/182.12	c  N st    70   1100180       539      2328         0     60409      7033    888032   no data   no data
767.72/192.25	c  N st    72   1136175       539      2328         0     50642      7033    599015   no data   no data
798.88/200.08	c  N st    73   1168567       539      2328         0     82399      7033   1424111   no data   no data
838.03/209.86	c  N st    74   1209704       539      2328         0     76620      7033   1276816   no data   no data
838.03/209.86	c  S st    74   1209704       539      2328         0     76620      7033   1276816   no data   no data
839.24/210.10	c  S st    74   1210208       539      2328         0     77123      7033   1289996   no data   no data
839.24/210.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
839.24/210.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
839.24/210.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
839.24/210.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
839.24/210.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
839.24/210.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
839.24/210.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
839.24/210.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
839.24/210.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
851.60/213.23	c lits-rem:       543  cl-subs:     3672  v-elim:      0  v-fix:    0  time:  3.03 s
851.60/213.23	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
851.60/213.24	c vivif2 --  cl tried    73451 cl shrink        0 lits rem          0 time: 0.02
852.00/213.31	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.07
852.00/213.31	c calculated reachability. Time: 0.00
852.00/213.31	c  N st    74   1210208       539      2328         0     73451      7033   1197701   no data   no data
928.70/232.50	c  N st    75   1283090       539      2328         0     49881      7033    526495   no data   no data
1043.74/261.32	c  N st    76   1392414       539      2328         0     57875      7033    690066   no data   no data
1198.33/300.05	c  N st    77   1556398       539      2328         0     62992      7033    816922   no data   no data
1369.30/342.80	c  N st    78   1710209       539      2328         0    104258      7033   1816400   no data   no data
1369.30/342.80	c  S st    78   1710209       539      2328         0    104258      7033   1816400   no data   no data
1370.50/343.16	c  S st    78   1710710       539      2328         0    104759      7033   1829551   no data   no data
1370.50/343.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1370.91/343.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1370.91/343.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1370.91/343.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1370.91/343.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1370.91/343.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
1370.91/343.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1370.91/343.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1371.32/343.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1428.81/357.73	c lits-rem:       826  cl-subs:     9857  v-elim:      0  v-fix:    0  time: 14.43 s
1428.81/357.73	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
1428.81/357.76	c vivif2 --  cl tried    94902 cl shrink        0 lits rem          0 time: 0.03
1429.21/357.86	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.10
1429.21/357.86	c calculated reachability. Time: 0.00
1429.21/357.86	c  N st    78   1710710       539      2328         0     94902      7033   1597076   no data   no data
1859.43/465.58	c  N st    79   2079674       539      2328         0    106642      7033   1708786   no data   no data
2018.02/505.23	c  N st    80   2210711       539      2328         0    110873      7033   1790644   no data   no data
2018.02/505.23	c  S st    80   2210711       539      2328         0    110873      7033   1790644   no data   no data
2019.22/505.59	c  S st    80   2211215       539      2328         0    111377      7033   1803254   no data   no data
2019.62/505.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2019.62/505.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2019.62/505.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2019.62/505.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2019.62/505.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2019.62/505.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
2019.62/505.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2019.62/505.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2020.01/505.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2059.97/515.77	c lits-rem:       502  cl-subs:     8028  v-elim:      0  v-fix:    0  time: 10.03 s
2059.97/515.77	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2060.37/515.80	c vivif2 --  cl tried   103349 cl shrink        0 lits rem          0 time: 0.03
2060.77/515.91	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.11
2060.77/515.91	c calculated reachability. Time: 0.00
2060.77/515.91	c  N st    80   2211215       539      2328         0    103349      7033   1632740   no data   no data
2687.11/672.77	c  N st    81   2711215       539      2328         0    127362      7033   2241938   no data   no data
2687.11/672.77	c  S st    81   2711215       539      2328         0    127362      7033   2241938   no data   no data
2689.12/673.21	c  S st    81   2711718       539      2328         0    127863      7033   2255147   no data   no data
2689.12/673.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2689.12/673.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2689.12/673.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2689.12/673.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2689.12/673.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2689.12/673.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
2689.12/673.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2689.53/673.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2689.53/673.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2753.41/689.32	c lits-rem:       677  cl-subs:     6867  v-elim:      0  v-fix:    0  time: 15.93 s
2753.41/689.32	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
2753.41/689.35	c vivif2 --  cl tried   120996 cl shrink        0 lits rem          0 time: 0.03
2753.81/689.48	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.13
2753.81/689.49	c calculated reachability. Time: 0.00
2753.81/689.49	c  N st    81   2711718       539      2328         0    120996      7033   2080575   no data   no data
3482.42/871.89	c  N st    82   3211718       539      2328         0     96331      7033   1227990   no data   no data
3482.42/871.89	c  S st    82   3211718       539      2328         0     96331      7033   1227990   no data   no data
3484.02/872.29	c  S st    82   3212220       539      2328         0     96833      7033   1240802   no data   no data
3484.02/872.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3484.43/872.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
3484.43/872.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3484.43/872.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3484.43/872.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3484.43/872.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
3484.43/872.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3484.43/872.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3484.84/872.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3497.21/875.57	c lits-rem:       231  cl-subs:     3543  v-elim:      0  v-fix:    0  time:  3.13 s
3497.21/875.57	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
3497.21/875.59	c vivif2 --  cl tried    93290 cl shrink        0 lits rem          0 time: 0.02
3498.03/875.71	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.12
3498.03/875.71	c calculated reachability. Time: 0.00
3498.03/875.71	c  N st    82   3212220       539      2328         0     93290      7033   1164078   no data   no data
4206.23/1053.03	c  N st    83   3712221       539      2328         0    103816      7033   1337333   no data   no data
4206.23/1053.03	c  S st    83   3712221       539      2328         0    103816      7033   1337333   no data   no data
4207.43/1053.36	c  S st    83   3712726       539      2328         0    104319      7033   1350230   no data   no data
4207.43/1053.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4207.83/1053.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4207.83/1053.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4207.83/1053.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4207.83/1053.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4207.83/1053.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    539 time:  0.00 s
4207.83/1053.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4207.83/1053.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4207.83/1053.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4217.43/1055.82	c lits-rem:       271  cl-subs:     4347  v-elim:      0  v-fix:    0  time:  2.33 s
4217.43/1055.82	c vivif2 --  cl tried     2328 cl shrink        0 lits rem          0 time: 0.00
4217.43/1055.84	c vivif2 --  cl tried    99972 cl shrink        0 lits rem          0 time: 0.02
4217.83/1055.94	c asymm  cl-useful: 0/2328/2328 lits-rem:0 time: 0.10
4217.83/1055.94	c calculated reachability. Time: 0.00
4217.83/1055.94	c  N st    83   3712726       539      2328         0     99972      7033   1258468   no data   no data
4278.54/1071.13	c  F st    84   3751565       539      2328         0    137873      7033   2213847   no data   no data
4278.54/1071.13	c  N st    84   3751565       539      2328         0    137873      7033   2213847   no data   no data
4293.71/1074.91	c Decided on static restart strategy
4349.64/1088.91	c  N st    94   3779873       539      2328         0     82893      7033    779485   no data   no data
4398.39/1101.12	c  N st    96   3815868       539      2328         0    118077      7033   1665481   no data   no data
4458.69/1116.29	c  N st    97   3848260       539      2328         0    149706      7033   2494993   no data   no data
4526.22/1133.12	c  N st    98   3896850       539      2328         0    113540      7033   1617104   no data   no data
4644.87/1162.89	c  N st    99   3969732       539      2328         0     99667      7033   1190255   no data   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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-3174043-1304079013/watcher-3174043-1304079013 -o /tmp/evaluation-result-3174043-1304079013/solver-3174043-1304079013 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174043-1304079013.cnf 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 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: 8.14 8.14 7.76 5/180 1176
/proc/meminfo: memFree=27388164/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 519499026 52441088 348 33554432000 4194304 4627427 140736468156720 18446744073709551615 218905787377 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 12803 348 299 106 0 7774 0
[pid=1176/tid=1177] ppid=1174 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519499027 52441088 352 33554432000 4194304 4627427 140736468156720 18446744073709551615 47374188402610 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519499027 52441088 352 33554432000 4194304 4627427 140736468156720 18446744073709551615 47374188402604 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519499027 52441088 352 33554432000 4194304 4627427 140736468156720 18446744073709551615 47374188402608 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.10722 s]
/proc/loadavg: 8.14 8.14 7.76 5/180 1176
/proc/meminfo: memFree=27388164/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=282128 CPUtime=0.4 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 1746 0 0 0 40 0 0 0 25 0 4 0 519499026 288899072 1651 33554432000 4194304 4627427 140736468156720 18446744073709551615 4332317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 70532 1651 384 106 0 65503 0
[pid=1176/tid=1177] ppid=1174 vsize=282128 CPUtime=0.1 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 352 0 0 0 10 0 0 0 25 0 4 0 519499027 288899072 1651 33554432000 4194304 4627427 140736468156720 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=282128 CPUtime=0.1 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 355 0 0 0 10 0 0 0 25 0 4 0 519499027 288899072 1651 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=282128 CPUtime=0.1 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 284 0 0 0 10 0 0 0 25 0 4 0 519499027 288899072 1651 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282128

[startup+0.201131 s]
/proc/loadavg: 8.14 8.14 7.76 5/180 1176
/proc/meminfo: memFree=27388164/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=283500 CPUtime=0.77 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 2400 0 0 0 77 0 0 0 25 0 4 0 519499026 290304000 1698 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 70875 1698 385 106 0 65846 0
[pid=1176/tid=1177] ppid=1174 vsize=283500 CPUtime=0.19 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 525 0 0 0 19 0 0 0 25 0 4 0 519499027 290304000 1698 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=283500 CPUtime=0.19 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 510 0 0 0 19 0 0 0 25 0 4 0 519499027 290304000 1698 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=283500 CPUtime=0.19 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 449 0 0 0 19 0 0 0 25 0 4 0 519499027 290304000 1698 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283500

[startup+0.301112 s]
/proc/loadavg: 8.14 8.14 7.76 5/180 1176
/proc/meminfo: memFree=27388164/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=283500 CPUtime=1.17 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 2831 0 0 0 117 0 0 0 25 0 4 0 519499026 290304000 2129 33554432000 4194304 4627427 140736468156720 18446744073709551615 4330912 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 70875 2129 385 106 0 65846 0
[pid=1176/tid=1177] ppid=1174 vsize=283500 CPUtime=0.29 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 638 0 0 0 29 0 0 0 25 0 4 0 519499027 290304000 2129 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=283500 CPUtime=0.29 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 607 0 0 0 29 0 0 0 25 0 4 0 519499027 290304000 2129 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=283500 CPUtime=0.29 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 565 0 0 0 29 0 0 0 25 0 4 0 519499027 290304000 2129 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283500

[startup+0.701042 s]
/proc/loadavg: 8.14 8.14 7.76 5/180 1176
/proc/meminfo: memFree=27388164/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=284412 CPUtime=2.78 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 4448 0 0 0 277 1 0 0 25 0 4 0 519499026 291237888 2833 33554432000 4194304 4627427 140736468156720 18446744073709551615 4333279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 71103 2833 385 106 0 66074 0
[pid=1176/tid=1177] ppid=1174 vsize=284412 CPUtime=0.69 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 1057 0 0 0 69 0 0 0 25 0 4 0 519499027 291237888 2833 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308411 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=284412 CPUtime=0.69 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 965 0 0 0 69 0 0 0 25 0 4 0 519499027 291237888 2833 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=284412 CPUtime=0.69 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 987 0 0 0 69 0 0 0 25 0 4 0 519499027 291237888 2833 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284412

[startup+1.5009 s]
/proc/loadavg: 8.14 8.14 7.76 9/184 1180
/proc/meminfo: memFree=27375484/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=285888 CPUtime=5.97 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 9046 0 0 0 596 1 0 0 25 0 4 0 519499026 292749312 4666 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 71472 4666 389 106 0 66443 0
[pid=1176/tid=1177] ppid=1174 vsize=285888 CPUtime=1.49 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 1863 0 0 0 149 0 0 0 25 0 4 0 519499027 292749312 4666 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=285888 CPUtime=1.49 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 1718 0 0 0 149 0 0 0 25 0 4 0 519499027 292749312 4666 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=285888 CPUtime=1.48 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 1785 0 0 0 148 0 0 0 25 0 4 0 519499027 292749312 4666 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285888

[startup+3.10061 s]
/proc/loadavg: 8.14 8.14 7.76 9/184 1180
/proc/meminfo: memFree=27354272/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=287812 CPUtime=12.36 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 18654 0 0 0 1233 3 0 0 25 0 4 0 519499026 294719488 9320 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 71953 9320 389 106 0 66924 0
[pid=1176/tid=1177] ppid=1174 vsize=287812 CPUtime=3.08 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 4314 0 0 0 307 1 0 0 25 0 4 0 519499027 294719488 9320 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=287812 CPUtime=3.08 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 4847 0 0 0 308 0 0 0 25 0 4 0 519499027 294719488 9320 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=287812 CPUtime=3.07 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 4521 0 0 0 307 0 0 0 25 0 4 0 519499027 294719488 9320 33554432000 4194304 4627427 140736468156720 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287812

[startup+6.30103 s]
/proc/loadavg: 8.13 8.13 7.76 9/184 1180
/proc/meminfo: memFree=27336816/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=280504 CPUtime=25.14 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 29586 0 0 0 2509 5 0 0 25 0 4 0 519499026 287236096 13156 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308654 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 70126 13156 389 106 0 65097 0
[pid=1176/tid=1177] ppid=1174 vsize=280504 CPUtime=6.29 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 7670 0 0 0 627 2 0 0 25 0 4 0 519499027 287236096 13156 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308353 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=280504 CPUtime=6.29 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 8190 0 0 0 628 1 0 0 25 0 4 0 519499027 287236096 13156 33554432000 4194304 4627427 140736468156720 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=280504 CPUtime=6.26 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 6491 0 0 0 625 1 0 0 25 0 4 0 519499027 287236096 13156 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 280504

[startup+12.7009 s]
/proc/loadavg: 8.12 8.13 7.76 9/184 1181
/proc/meminfo: memFree=27312660/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=291432 CPUtime=50.7 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 46977 0 0 0 5061 9 0 0 25 0 4 0 519499026 298426368 19607 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 72858 19607 389 106 0 67829 0
[pid=1176/tid=1177] ppid=1174 vsize=291432 CPUtime=12.68 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 11466 0 0 0 1266 2 0 0 25 0 4 0 519499027 298426368 19607 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308827 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=291432 CPUtime=12.68 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 11526 0 0 0 1267 1 0 0 25 0 4 0 519499027 298426368 19607 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=291432 CPUtime=12.62 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 11198 0 0 0 1260 2 0 0 25 0 4 0 519499027 298426368 19607 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 291432

[startup+25.5006 s]
/proc/loadavg: 8.09 8.12 7.77 9/184 1181
/proc/meminfo: memFree=27273596/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=296072 CPUtime=101.83 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 72106 0 0 0 10169 14 0 0 25 0 4 0 519499026 303177728 26292 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 74018 26292 389 106 0 68989 0
[pid=1176/tid=1177] ppid=1174 vsize=296072 CPUtime=25.48 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 18568 0 0 0 2544 4 0 0 25 0 4 0 519499027 303177728 26292 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=296072 CPUtime=25.49 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 18191 0 0 0 2547 2 0 0 25 0 4 0 519499027 303177728 26292 33554432000 4194304 4627427 140736468156720 18446744073709551615 4321920 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=296072 CPUtime=25.34 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 16165 0 0 0 2531 3 0 0 25 0 4 0 519499027 303177728 26292 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 296072

[startup+51.1009 s]
/proc/loadavg: 8.18 8.14 7.78 9/184 1182
/proc/meminfo: memFree=27248904/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=317004 CPUtime=204.09 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 104878 0 0 0 20386 23 0 0 25 0 4 0 519499026 324612096 31304 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 79251 31304 389 106 0 74222 0
[pid=1176/tid=1177] ppid=1174 vsize=317004 CPUtime=51.08 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 24048 0 0 0 5102 6 0 0 25 0 4 0 519499027 324612096 31304 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=317004 CPUtime=51.09 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 27045 0 0 0 5105 4 0 0 25 0 4 0 519499027 324612096 31304 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308343 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=317004 CPUtime=50.81 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 25314 0 0 0 5075 6 0 0 25 0 4 0 519499027 324612096 31304 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 317004

[startup+102.301 s]
/proc/loadavg: 8.21 8.15 7.80 9/184 1183
/proc/meminfo: memFree=27240560/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=308920 CPUtime=408.62 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 147667 0 0 0 40827 35 0 0 25 0 4 0 519499026 316334080 36550 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308599 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 77230 36550 389 106 0 72201 0
[pid=1176/tid=1177] ppid=1174 vsize=308920 CPUtime=102.28 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 27590 0 0 0 10221 7 0 0 25 0 4 0 519499027 316334080 36551 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=308920 CPUtime=102.29 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 38368 0 0 0 10222 7 0 0 25 0 4 0 519499027 316334080 36551 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=308920 CPUtime=101.73 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 40135 0 0 0 10163 10 0 0 25 0 4 0 519499027 316334080 36551 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 308920

[startup+162.301 s]

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

[pid=1176] ppid=1174 vsize=520912 CPUtime=2565.67 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 403495 0 0 0 256435 132 0 0 25 0 4 0 519499026 533413888 95452 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 130228 95453 389 106 0 125199 0
[pid=1176/tid=1177] ppid=1174 vsize=520912 CPUtime=642.24 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 81322 0 0 0 64192 32 0 0 25 0 4 0 519499027 533413888 95453 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=520912 CPUtime=642.3 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 110846 0 0 0 64197 33 0 0 25 0 4 0 519499027 533413888 95453 33554432000 4194304 4627427 140736468156720 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=520912 CPUtime=638.8 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 108827 0 0 0 63845 35 0 0 25 0 4 0 519499027 533413888 95453 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 520912

[startup+702.301 s]
/proc/loadavg: 8.14 8.06 7.91 9/184 1260
/proc/meminfo: memFree=27078956/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=599248 CPUtime=2805.34 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 435301 0 0 0 280392 142 0 0 25 0 4 0 519499026 613629952 102900 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 149812 102900 389 106 0 144783 0
[pid=1176/tid=1177] ppid=1174 vsize=599248 CPUtime=702.24 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 88621 0 0 0 70190 34 0 0 25 0 4 0 519499027 613629952 102900 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=599248 CPUtime=702.3 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 117391 0 0 0 70194 36 0 0 25 0 4 0 519499027 613629952 102900 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=599248 CPUtime=698.48 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 116959 0 0 0 69810 38 0 0 25 0 4 0 519499027 613629952 102900 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 599248

[startup+762.301 s]
/proc/loadavg: 8.16 8.08 7.92 9/184 1262
/proc/meminfo: memFree=27049992/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=587388 CPUtime=3045.03 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 459729 0 0 0 304351 152 0 0 25 0 4 0 519499026 601485312 101692 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 146847 101692 389 106 0 141818 0
[pid=1176/tid=1177] ppid=1174 vsize=587388 CPUtime=762.24 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 94894 0 0 0 76187 37 0 0 25 0 4 0 519499027 601485312 101692 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=587388 CPUtime=762.31 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 124784 0 0 0 76192 39 0 0 25 0 4 0 519499027 601485312 101692 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=587388 CPUtime=758.15 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 123862 0 0 0 75775 40 0 0 25 0 4 0 519499027 601485312 101692 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 587388

[startup+822.3 s]
/proc/loadavg: 8.09 8.07 7.93 9/184 1263
/proc/meminfo: memFree=26978744/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=600368 CPUtime=3284.69 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 485828 0 0 0 328305 164 0 0 25 0 4 0 519499026 614776832 105216 33554432000 4194304 4627427 140736468156720 18446744073709551615 4327413 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 150092 105216 389 106 0 145063 0
[pid=1176/tid=1177] ppid=1174 vsize=600368 CPUtime=822.23 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 100547 0 0 0 82184 39 0 0 25 0 4 0 519499027 614776832 105216 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=600368 CPUtime=822.31 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 131345 0 0 0 82189 42 0 0 25 0 4 0 519499027 614776832 105216 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=600368 CPUtime=817.82 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 131051 0 0 0 81738 44 0 0 25 0 4 0 519499027 614776832 105216 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.69
Current children cumulated vsize (KiB) 600368

[startup+882.307 s]
/proc/loadavg: 8.06 8.07 7.93 9/184 1265
/proc/meminfo: memFree=26926704/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=666220 CPUtime=3524.39 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 520178 0 0 0 352262 177 0 0 25 0 4 0 519499026 682209280 118228 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308396 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 166555 118228 389 106 0 161526 0
[pid=1176/tid=1177] ppid=1174 vsize=666220 CPUtime=882.23 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 111291 0 0 0 88181 42 0 0 25 0 4 0 519499027 682209280 118228 33554432000 4194304 4627427 140736468156720 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=666220 CPUtime=882.31 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 136401 0 0 0 88186 45 0 0 25 0 4 0 519499027 682209280 118228 33554432000 4194304 4627427 140736468156720 18446744073709551615 4332667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=666220 CPUtime=877.5 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 142398 0 0 0 87703 47 0 0 25 0 4 0 519499027 682209280 118228 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.39
Current children cumulated vsize (KiB) 666220

[startup+942.3 s]
/proc/loadavg: 8.20 8.10 7.95 9/184 1267
/proc/meminfo: memFree=26867992/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=717884 CPUtime=3764.04 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 545973 0 0 0 376217 187 0 0 25 0 4 0 519499026 735113216 119793 33554432000 4194304 4627427 140736468156720 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 179471 119793 389 106 0 174442 0
[pid=1176/tid=1177] ppid=1174 vsize=717884 CPUtime=942.22 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 116567 0 0 0 94178 44 0 0 25 0 4 0 519499027 735113216 119793 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=717884 CPUtime=942.31 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 144877 0 0 0 94183 48 0 0 25 0 4 0 519499027 735113216 119793 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=717884 CPUtime=937.17 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 147862 0 0 0 93668 49 0 0 25 0 4 0 519499027 735113216 119793 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 717884

[startup+1002.3 s]
/proc/loadavg: 8.21 8.11 7.96 9/184 1268
/proc/meminfo: memFree=26845472/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=666948 CPUtime=4003.71 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 570771 0 0 0 400173 198 0 0 25 0 4 0 519499026 682954752 120289 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 166737 120289 389 106 0 161708 0
[pid=1176/tid=1177] ppid=1174 vsize=666948 CPUtime=1002.21 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 121817 0 0 0 100175 46 0 0 25 0 4 0 519499027 682954752 120289 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=666948 CPUtime=1002.31 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 150923 0 0 0 100180 51 0 0 25 0 4 0 519499027 682954752 120289 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=666948 CPUtime=996.84 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 154401 0 0 0 99632 52 0 0 25 0 4 0 519499027 682954752 120289 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.71
Current children cumulated vsize (KiB) 666948

[startup+1062.3 s]
/proc/loadavg: 8.20 8.12 7.97 9/184 1270
/proc/meminfo: memFree=26873916/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=654848 CPUtime=4243.39 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 596367 0 0 0 424131 208 0 0 25 0 4 0 519499026 670564352 117910 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309300 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 163712 117910 389 106 0 158683 0
[pid=1176/tid=1177] ppid=1174 vsize=654848 CPUtime=1062.21 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 127888 0 0 0 106172 49 0 0 25 0 4 0 519499027 670564352 117910 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=654848 CPUtime=1062.31 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 155602 0 0 0 106178 53 0 0 25 0 4 0 519499027 670564352 117910 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=654848 CPUtime=1056.52 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 161018 0 0 0 105597 55 0 0 25 0 4 0 519499027 670564352 117910 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 654848

[startup+1122.3 s]
/proc/loadavg: 8.19 8.13 7.98 9/184 1271
/proc/meminfo: memFree=26808104/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=720456 CPUtime=4483.06 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 619281 0 0 0 448090 216 0 0 25 0 4 0 519499026 737746944 128680 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 180114 128680 389 106 0 175085 0
[pid=1176/tid=1177] ppid=1174 vsize=720456 CPUtime=1122.21 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 135395 0 0 0 112169 52 0 0 25 0 4 0 519499027 737746944 128680 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=720456 CPUtime=1122.31 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 158546 0 0 0 112177 54 0 0 25 0 4 0 519499027 737746944 128680 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=720456 CPUtime=1116.19 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 168672 0 0 0 111563 56 0 0 25 0 4 0 519499027 737746944 128680 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.06
Current children cumulated vsize (KiB) 720456

[startup+1182.3 s]
/proc/loadavg: 8.17 8.13 7.99 9/184 1273
/proc/meminfo: memFree=26806412/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=707816 CPUtime=4722.74 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 640595 0 0 0 472049 225 0 0 25 0 4 0 519499026 724803584 127225 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 176954 127225 389 106 0 171925 0
[pid=1176/tid=1177] ppid=1174 vsize=707816 CPUtime=1182.21 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 137790 0 0 0 118168 53 0 0 25 0 4 0 519499027 724803584 127225 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=707816 CPUtime=1182.32 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 165810 0 0 0 118174 58 0 0 25 0 4 0 519499027 724803584 127225 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309125 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=707816 CPUtime=1175.87 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 173650 0 0 0 117529 58 0 0 25 0 4 0 519499027 724803584 127225 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 707816



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.12 8.12 7.99 9/184 1273
/proc/meminfo: memFree=26846312/32951124 swapFree=67111356/67111528
[pid=1176] ppid=1174 vsize=655456 CPUtime=4800.24 cores=0,2,4,6
/proc/1176/stat : 1176 (strangenight2-m) R 1174 1176 1030 0 -1 4202496 648419 0 0 0 479796 228 0 0 25 0 4 0 519499026 671186944 127819 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/1176/statm: 163864 127819 389 106 0 158835 0
[pid=1176/tid=1177] ppid=1174 vsize=655456 CPUtime=1201.61 cores=0,2,4,6
/proc/1176/task/1177/stat : 1177 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 139146 0 0 0 120108 53 0 0 25 0 4 0 519499027 671186944 127819 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=1176/tid=1178] ppid=1174 vsize=655456 CPUtime=1201.72 cores=0,2,4,6
/proc/1176/task/1178/stat : 1178 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 167374 0 0 0 120114 58 0 0 25 0 4 0 519499027 671186944 127819 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=1176/tid=1179] ppid=1174 vsize=655456 CPUtime=1195.16 cores=0,2,4,6
/proc/1176/task/1179/stat : 1179 (strangenight2-m) R 1174 1176 1030 0 -1 4202560 176228 0 0 0 119457 59 0 0 25 0 4 0 519499027 671186944 127819 33554432000 4194304 4627427 140736468156720 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 655456

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.3
CPU user time (s): 4797.99
CPU system time (s): 2.30865
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 772396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.30865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648423
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= 338
involuntary context switches= 19788

runsolver used 1.9857 second user time and 4.5853 second system time

The end

Launcher Data 

Begin job on node137 at 2011-04-29 14:10:13
IDJOB=3174043
IDBENCH=82861
IDSOLVER=1586
FILE ID=node137/3174043-1304079013
RUNJOBID= node137-1304077809-1048
PBS_JOBID= 13170515
Free space on /tmp= 71616 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v550-c2343-S816372663-049.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174043-1304079013/watcher-3174043-1304079013 -o /tmp/evaluation-result-3174043-1304079013/solver-3174043-1304079013 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174043-1304079013.cnf

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

MD5SUM BENCH= 82ce98f61c0f2213b508b1b975b0c344
RANDOM SEED=1709356178

node137.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.844
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.68
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.844
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.75
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.844
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.844
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.74
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.844
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.82
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.844
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.75
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.844
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.83
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.844
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27388320 kB
Buffers:        909680 kB
Cached:        3814760 kB
SwapCached:         56 kB
Active:         636856 kB
Inactive:      4461476 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27388320 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5860 kB
Writeback:           0 kB
AnonPages:      373272 kB
Mapped:          15496 kB
Slab:           401260 kB
PageTables:       5448 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   606100 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= 71608 MiB
End job on node137 at 2011-04-29 14:30:17