Trace number 3366586

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 (fixed)? (TO) 4800.1 1203.36

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf
MD5SUMdb052c7898d14b578cec80f7488daf9a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables600
Number of clauses2556
Sum of the clauses size7668
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32556
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-3366586-1305409460.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.01	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.01	c -- vars added        600
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       600      2556         0         0      7668         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2556/2556 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.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     272 undec:      70 neg:     258
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       587      2544         0         0      7724         0   no data   no data
0.37/0.10	c Decided on static restart strategy
0.37/0.16	c  N st     8      4921       587      2544         0      4850      7724    124511   no data   no data
1.57/0.42	c  N st    10     11306       587      2544         0      4484      7724     81273   no data   no data
2.36/0.69	c  N st    11     17049       587      2544         0     10136      7724    240156   no data   no data
3.99/1.10	c  F st    12     25001       587      2544         0     12425      7724    291088   no data   no data
3.99/1.10	c  N st    12     25001       587      2544         0     12425      7724    291088   no data   no data
5.16/1.36	c Decided on static restart strategy
5.16/1.36	c  N st    18     30001       587      2544         0     10699      7724    226408   no data   no data
5.16/1.36	c  S st    18     30001       587      2544         0     10699      7724    226408   no data   no data
5.16/1.38	c  S st    18     30504       587      2544         0     11202      7724    239030   no data   no data
5.16/1.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.39	c blocked clauses removed:       15 vars:      2 tried:         587 T: 0.00 s
5.16/1.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.16/1.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.16/1.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.55/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.45	c lits-rem:       189  cl-subs:      346  v-elim:      0  v-fix:    0  time:  0.05 s
5.55/1.45	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
5.55/1.45	c calculated reachability. Time: 0.00
5.55/1.45	c  N st    18     30504       585      2529         0     10855      7679    228300   no data   no data
7.15/1.87	c  N st    20     37619       585      2529         0     10091      7679    187100   no data   no data
8.79/2.27	c  N st    21     44018       585      2529         0     16369      7679    357376   no data   no data
9.14/2.39	c  S st    22     45756       585      2529         0      9304      7679    146102   no data   no data
9.54/2.42	c  S st    22     46262       585      2529         0      9810      7679    159018   no data   no data
9.54/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
9.54/2.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.54/2.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.44	c lits-rem:        21  cl-subs:       66  v-elim:      0  v-fix:    0  time:  0.01 s
9.54/2.44	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
9.54/2.44	c vivif2 --  cl tried     9744 cl shrink        0 lits rem          0 time: 0.00
9.54/2.45	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
9.54/2.45	c calculated reachability. Time: 0.00
9.54/2.45	c  N st    22     46262       585      2529         0      9744      7679    157047   no data   no data
13.18/3.39	c  N st    23     60659       585      2529         0     14093      7679    261635   no data   no data
15.93/4.04	c  N st    24     69393       585      2529         0     11873      7679    191273   no data   no data
15.93/4.04	c  S st    24     69393       585      2529         0     11873      7679    191273   no data   no data
15.93/4.07	c  S st    24     69896       585      2529         0     12376      7679    203397   no data   no data
15.93/4.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.93/4.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
15.93/4.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.93/4.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.93/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.11	c lits-rem:        46  cl-subs:      165  v-elim:      0  v-fix:    0  time:  0.02 s
16.33/4.11	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
16.33/4.11	c vivif2 --  cl tried    12211 cl shrink        0 lits rem          0 time: 0.00
16.33/4.12	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
16.33/4.12	c calculated reachability. Time: 0.00
16.33/4.12	c  N st    24     69896       585      2529         0     12211      7679    199049   no data   no data
21.12/5.38	c  F st    25     87502       585      2529         0     17709      7679    336499   no data   no data
21.12/5.38	c  N st    25     87502       585      2529         0     17709      7679    336499   no data   no data
22.70/5.78	c Decided on static restart strategy
23.91/6.07	c  N st    32     95539       585      2529         0     25621      7679    550791   no data   no data
26.69/6.77	c  N st    34    104846       585      2529         0     21992      7679    434442   no data   no data
26.69/6.77	c  S st    34    104846       585      2529         0     21992      7679    434442   no data   no data
27.09/6.82	c  S st    34    105350       585      2529         0     22496      7679    446643   no data   no data
27.09/6.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.09/6.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.09/6.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.09/6.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.09/6.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.09/6.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
27.09/6.83	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.09/6.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.09/6.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.89/7.01	c lits-rem:       143  cl-subs:      787  v-elim:      0  v-fix:    0  time:  0.17 s
27.89/7.01	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
27.89/7.02	c vivif2 --  cl tried    21709 cl shrink        0 lits rem          0 time: 0.00
27.89/7.03	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
27.89/7.03	c calculated reachability. Time: 0.00
27.89/7.03	c  N st    34    105350       585      2529         0     21709      7679    423166   no data   no data
31.08/7.81	c  N st    35    114948       585      2529         0     17405      7679    287166   no data   no data
36.27/9.18	c  N st    36    129345       585      2529         0     16812      7679    247983   no data   no data
43.90/11.05	c  N st    37    150941       585      2529         0     22251      7679    383823   no data   no data
46.64/11.70	c  S st    38    158026       585      2529         0     29171      7679    570064   no data   no data
46.64/11.77	c  S st    38    158531       585      2529         0     29676      7679    582663   no data   no data
46.64/11.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.64/11.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.64/11.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.64/11.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.64/11.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.64/11.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
46.64/11.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.64/11.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.04/11.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.63/12.28	c lits-rem:       212  cl-subs:     1427  v-elim:      0  v-fix:    0  time:  0.47 s
48.63/12.28	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
48.63/12.28	c vivif2 --  cl tried    28249 cl shrink        0 lits rem          0 time: 0.01
49.04/12.30	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
49.04/12.30	c calculated reachability. Time: 0.00
49.04/12.30	c  N st    38    158531       585      2529         0     28249      7679    543136   no data   no data
68.58/17.26	c  N st    39    207125       585      2529         0     23068      7679    364703   no data   no data
80.95/20.34	c  N st    40    237796       585      2529         0     33483      7679    643660   no data   no data
80.95/20.34	c  S st    40    237796       585      2529         0     33483      7679    643660   no data   no data
81.35/20.45	c  S st    40    238300       585      2529         0     33986      7679    656790   no data   no data
81.35/20.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.35/20.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.35/20.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.35/20.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.35/20.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.35/20.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
81.35/20.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.35/20.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.35/20.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.73/21.07	c lits-rem:       179  cl-subs:     1323  v-elim:      0  v-fix:    0  time:  0.58 s
83.73/21.07	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
83.73/21.08	c vivif2 --  cl tried    32663 cl shrink        0 lits rem          0 time: 0.01
84.13/21.10	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
84.13/21.10	c calculated reachability. Time: 0.00
84.13/21.10	c  N st    40    238300       585      2529         0     32663      7679    617606   no data   no data
114.45/28.75	c  F st    41    306250       585      2529         0     34467      7679    630860   no data   no data
114.45/28.75	c  N st    41    306250       585      2529         0     34467      7679    630860   no data   no data
116.86/29.38	c Decided on static restart strategy
128.02/32.13	c  N st    51    334556       585      2529         0     38735      7679    697677   no data   no data
139.20/34.92	c  N st    53    357450       585      2529         0     36674      7679    624886   no data   no data
139.20/34.92	c  S st    53    357450       585      2529         0     36674      7679    624886   no data   no data
139.59/35.02	c  S st    53    357955       585      2529         0     37179      7679    637407   no data   no data
139.59/35.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
139.59/35.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
139.59/35.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.59/35.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.59/35.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.59/35.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
139.59/35.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
139.59/35.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.59/35.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.18/35.44	c lits-rem:       232  cl-subs:     1062  v-elim:      0  v-fix:    0  time:  0.38 s
141.18/35.44	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
141.18/35.45	c vivif2 --  cl tried    36117 cl shrink        0 lits rem          0 time: 0.01
141.18/35.47	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.03
141.18/35.47	c calculated reachability. Time: 0.00
141.18/35.47	c  N st    53    357955       585      2529         0     36117      7679    606298   no data   no data
157.15/39.49	c  N st    54    390347       585      2529         0     42384      7679    753855   no data   no data
185.07/46.49	c  N st    55    438937       585      2529         0     36089      7679    549055   no data   no data
226.55/56.80	c  N st    56    511820       585      2529         0     49830      7679    942326   no data   no data
240.52/60.35	c  N st    57    536933       585      2529         0     44102      7679    719051   no data   no data
240.52/60.35	c  S st    57    536933       585      2529         0     44102      7679    719051   no data   no data
240.95/60.46	c  S st    57    537442       585      2529         0     44611      7679    732418   no data   no data
240.95/60.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.95/60.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
240.95/60.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.95/60.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.95/60.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.95/60.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
240.95/60.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
240.95/60.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
241.36/60.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.30/61.08	c lits-rem:       264  cl-subs:     1309  v-elim:      0  v-fix:    0  time:  0.56 s
243.30/61.08	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
243.30/61.09	c vivif2 --  cl tried    43302 cl shrink        0 lits rem          0 time: 0.01
243.70/61.12	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.03
243.70/61.12	c calculated reachability. Time: 0.00
243.70/61.12	c  N st    57    537442       585      2529         0     43302      7679    697673   no data   no data
350.19/87.90	c  N st    58    701426       585      2529         0     37366      7679    450881   no data   no data
430.35/107.98	c  N st    59    806164       585      2529         0     66546      7679   1236604   no data   no data
430.35/107.98	c  S st    59    806164       585      2529         0     66546      7679   1236604   no data   no data
431.15/108.16	c  S st    59    806666       585      2529         0     67048      7679   1249115   no data   no data
431.15/108.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.15/108.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
431.15/108.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.15/108.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.55/108.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.55/108.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
431.55/108.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
431.55/108.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
431.55/108.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.51/111.72	c lits-rem:       532  cl-subs:     3488  v-elim:      0  v-fix:    0  time:  3.47 s
445.51/111.72	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
445.51/111.74	c vivif2 --  cl tried    63560 cl shrink        0 lits rem          0 time: 0.02
445.51/111.80	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.06
445.91/111.80	c calculated reachability. Time: 0.00
445.91/111.80	c  N st    59    806666       585      2529         0     63560      7679   1149237   no data   no data
668.88/167.75	c  F st    60   1071879       585      2529         0     79203      7679   1529368   no data   no data
668.88/167.75	c  N st    60   1071879       585      2529         0     79203      7679   1529368   no data   no data
674.88/169.28	c Decided on static restart strategy
693.61/173.92	c  N st    70   1100180       585      2529         0     63000      7679    983382   no data   no data
726.33/182.18	c  N st    72   1136173       585      2529         0     53139      7679    678988   no data   no data
751.45/188.44	c  N st    73   1168565       585      2529         0     84868      7679   1625947   no data   no data
786.95/197.33	c  N st    74   1210003       585      2529         0     79408      7679   1478026   no data   no data
786.95/197.33	c  S st    74   1210003       585      2529         0     79408      7679   1478026   no data   no data
787.75/197.57	c  S st    74   1210503       585      2529         0     79904      7679   1491354   no data   no data
787.75/197.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
788.15/197.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
788.15/197.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
788.15/197.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
788.15/197.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
788.15/197.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
788.15/197.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
788.15/197.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
788.15/197.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
807.69/202.57	c lits-rem:       886  cl-subs:     3463  v-elim:      0  v-fix:    0  time:  4.88 s
807.69/202.57	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
807.69/202.58	c vivif2 --  cl tried    76441 cl shrink        0 lits rem          0 time: 0.02
808.09/202.66	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.07
808.09/202.66	c calculated reachability. Time: 0.00
808.09/202.66	c  N st    74   1210503       585      2529         0     76441      7679   1380727   no data   no data
880.70/220.85	c  N st    75   1283385       585      2529         0     52996      7679    646825   no data   no data
996.36/249.84	c  N st    76   1392709       585      2529         0     60938      7679    810461   no data   no data
1164.29/291.97	c  N st    77   1556694       585      2529         0     66161      7679    918524   no data   no data
1323.04/331.76	c  N st    78   1710504       585      2529         0    108097      7679   2086090   no data   no data
1323.04/331.76	c  S st    78   1710504       585      2529         0    108097      7679   2086090   no data   no data
1324.66/332.12	c  S st    78   1711008       585      2529         0    108601      7679   2100057   no data   no data
1324.66/332.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1324.66/332.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1324.66/332.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1324.66/332.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1324.66/332.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1324.66/332.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1324.66/332.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1325.07/332.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1325.07/332.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1362.93/341.72	c lits-rem:      1371  cl-subs:     4509  v-elim:      0  v-fix:    0  time:  9.45 s
1362.93/341.72	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
1362.93/341.75	c vivif2 --  cl tried   104092 cl shrink        0 lits rem          0 time: 0.03
1363.33/341.87	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.12
1363.33/341.87	c calculated reachability. Time: 0.00
1363.33/341.87	c  N st    78   1711008       585      2529         0    104092      7679   1975331   no data   no data
1769.01/443.59	c  N st    79   2079974       585      2529         0    115620      7679   2162073   no data   no data
1921.86/481.89	c  N st    80   2211010       585      2529         0    119769      7679   2241149   no data   no data
1921.86/481.89	c  S st    80   2211010       585      2529         0    119769      7679   2241149   no data   no data
1923.81/482.30	c  S st    80   2211511       585      2529         0    120269      7679   2254195   no data   no data
1923.81/482.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1923.81/482.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
1923.81/482.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1923.81/482.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1923.81/482.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1923.81/482.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1923.81/482.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1924.21/482.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1924.21/482.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1973.65/494.83	c lits-rem:      1396  cl-subs:     6218  v-elim:      0  v-fix:    0  time: 12.35 s
1973.65/494.83	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
1973.65/494.86	c vivif2 --  cl tried   114051 cl shrink        0 lits rem          0 time: 0.03
1974.09/494.98	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.12
1974.09/494.99	c calculated reachability. Time: 0.00
1974.09/494.99	c  N st    80   2211511       585      2529         0    114051      7679   2096252   no data   no data
2621.11/657.13	c  N st    81   2711514       585      2529         0    138094      7679   2747152   no data   no data
2621.11/657.13	c  S st    81   2711514       585      2529         0    138094      7679   2747152   no data   no data
2622.71/657.59	c  S st    81   2712017       585      2529         0    138596      7679   2760450   no data   no data
2623.11/657.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2623.11/657.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2623.11/657.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2623.11/657.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2623.11/657.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2623.11/657.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
2623.11/657.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2623.54/657.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2623.54/657.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2690.91/674.63	c lits-rem:       957  cl-subs:     5912  v-elim:      0  v-fix:    0  time: 16.84 s
2690.91/674.63	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
2690.91/674.67	c vivif2 --  cl tried   132684 cl shrink        0 lits rem          0 time: 0.04
2691.71/674.82	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.15
2691.71/674.82	c calculated reachability. Time: 0.00
2691.71/674.82	c  N st    81   2712017       585      2529         0    132684      7679   2599846   no data   no data
3391.44/850.23	c  N st    82   3212019       585      2529         0    107478      7679   1641384   no data   no data
3391.44/850.23	c  S st    82   3212019       585      2529         0    107478      7679   1641384   no data   no data
3393.00/850.67	c  S st    82   3212525       585      2529         0    107983      7679   1655127   no data   no data
3393.00/850.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3393.40/850.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3393.40/850.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3393.40/850.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3393.40/850.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3393.40/850.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
3393.40/850.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3393.40/850.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3393.80/850.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3437.67/861.89	c lits-rem:       589  cl-subs:     5034  v-elim:      0  v-fix:    0  time: 11.05 s
3437.67/861.89	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
3438.07/861.92	c vivif2 --  cl tried   102949 cl shrink        0 lits rem          0 time: 0.03
3438.47/862.05	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.14
3438.47/862.06	c calculated reachability. Time: 0.00
3438.47/862.06	c  N st    82   3212525       585      2529         0    102949      7679   1508609   no data   no data
4239.10/1062.72	c  N st    83   3712527       585      2529         0    113541      7679   1685630   no data   no data
4239.10/1062.72	c  S st    83   3712527       585      2529         0    113541      7679   1685630   no data   no data
4240.70/1063.10	c  S st    83   3713032       585      2529         0    114045      7679   1699097   no data   no data
4240.70/1063.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4240.70/1063.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4240.70/1063.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4240.70/1063.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4240.70/1063.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4240.70/1063.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
4240.70/1063.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4240.70/1063.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4241.10/1063.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4263.83/1068.99	c lits-rem:       472  cl-subs:     4891  v-elim:      0  v-fix:    0  time:  5.75 s
4263.83/1068.99	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
4264.23/1069.01	c vivif2 --  cl tried   109154 cl shrink        0 lits rem          0 time: 0.02
4264.66/1069.13	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.12
4264.66/1069.14	c calculated reachability. Time: 0.00
4264.66/1069.14	c  N st    83   3713032       585      2529         0    109154      7679   1574071   no data   no data
4345.60/1089.45	c  F st    84   3751564       585      2529         0    146931      7679   2635434   no data   no data
4345.60/1089.45	c  N st    84   3751564       585      2529         0    146931      7679   2635434   no data   no data
4360.76/1093.25	c Decided on static restart strategy
4407.83/1105.01	c  N st    94   3779869       585      2529         0     91787      7679   1031776   no data   no data
4459.68/1118.02	c  N st    96   3815862       585      2529         0    127025      7679   2004853   no data   no data
4530.30/1135.73	c  N st    97   3848254       585      2529         0    158665      7679   2930360   no data   no data
4612.87/1156.42	c  N st    98   3896842       585      2529         0    122060      7679   1861109   no data   no data
4756.53/1192.46	c  N st    99   3969727       585      2529         0    108318      7679   1464338   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: 961)

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

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

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: 7.78 8.03 7.98 5/353 21808
/proc/meminfo: memFree=23754436/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=281988 CPUtime=0.01 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 962 0 0 0 1 0 0 0 18 0 4 0 652542699 288755712 879 33554432000 4194304 4580107 140734759092160 18446744073709551615 254500716439 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 70497 879 352 95 0 65479 0
[pid=21808/tid=21809] ppid=21806 vsize=282256 CPUtime=0 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 182 0 0 0 0 0 0 0 25 0 4 0 652542699 289030144 1161 33554432000 4194304 4580107 140734759092160 18446744073709551615 254500360559 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=282256 CPUtime=0 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 271 0 0 0 0 0 0 0 18 0 4 0 652542699 289030144 1161 33554432000 4194304 4580107 140734759092160 18446744073709551615 254500388493 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=282256 CPUtime=0 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 146 0 0 0 0 0 0 0 25 0 4 0 652542699 289030144 1161 33554432000 4194304 4580107 140734759092160 18446744073709551615 4292985 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0758969 s]
/proc/loadavg: 7.78 8.03 7.98 5/353 21808
/proc/meminfo: memFree=23754436/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=282384 CPUtime=0.27 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 1682 0 0 0 27 0 0 0 18 0 4 0 652542699 289161216 1526 33554432000 4194304 4580107 140734759092160 18446744073709551615 4318708 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 70596 1526 377 95 0 65578 0
[pid=21808/tid=21809] ppid=21806 vsize=282384 CPUtime=0.06 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 334 0 0 0 6 0 0 0 25 0 4 0 652542699 289161216 1526 33554432000 4194304 4580107 140734759092160 18446744073709551615 4322380 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=282384 CPUtime=0.06 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 344 0 0 0 6 0 0 0 18 0 4 0 652542699 289161216 1526 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=282384 CPUtime=0.06 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 240 0 0 0 6 0 0 0 25 0 4 0 652542699 289161216 1526 33554432000 4194304 4580107 140734759092160 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 282384

[startup+0.100892 s]
/proc/loadavg: 7.78 8.03 7.98 5/353 21808
/proc/meminfo: memFree=23754436/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=282384 CPUtime=0.37 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 1826 0 0 0 37 0 0 0 18 0 4 0 652542699 289161216 1670 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 70596 1670 377 95 0 65578 0
[pid=21808/tid=21809] ppid=21806 vsize=282384 CPUtime=0.09 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 370 0 0 0 9 0 0 0 25 0 4 0 652542699 289161216 1670 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=282384 CPUtime=0.09 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 381 0 0 0 9 0 0 0 18 0 4 0 652542699 289161216 1670 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=282384 CPUtime=0.08 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 275 0 0 0 8 0 0 0 25 0 4 0 652542699 289161216 1670 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282384

[startup+0.300853 s]
/proc/loadavg: 7.78 8.03 7.98 5/353 21808
/proc/meminfo: memFree=23754436/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=283996 CPUtime=1.17 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 2977 0 0 0 117 0 0 0 18 0 4 0 652542699 290811904 2186 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 70999 2186 377 95 0 65981 0
[pid=21808/tid=21809] ppid=21806 vsize=283996 CPUtime=0.29 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 656 0 0 0 29 0 0 0 25 0 4 0 652542699 290811904 2186 33554432000 4194304 4580107 140734759092160 18446744073709551615 4295863 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=283996 CPUtime=0.29 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 672 0 0 0 29 0 0 0 18 0 4 0 652542699 290811904 2186 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=283996 CPUtime=0.28 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 562 0 0 0 28 0 0 0 25 0 4 0 652542699 290811904 2186 33554432000 4194304 4580107 140734759092160 18446744073709551615 4322558 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283996

[startup+0.700774 s]
/proc/loadavg: 7.78 8.03 7.98 5/353 21808
/proc/meminfo: memFree=23754436/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=284852 CPUtime=2.76 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 4627 0 0 0 276 0 0 0 18 0 4 0 652542699 291688448 2869 33554432000 4194304 4580107 140734759092160 18446744073709551615 4320689 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 71213 2869 377 95 0 66195 0
[pid=21808/tid=21809] ppid=21806 vsize=284852 CPUtime=0.69 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 1079 0 0 0 69 0 0 0 25 0 4 0 652542699 291688448 2869 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=284852 CPUtime=0.69 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 1074 0 0 0 69 0 0 0 18 0 4 0 652542699 291688448 2869 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=284852 CPUtime=0.68 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 970 0 0 0 68 0 0 0 25 0 4 0 652542699 291688448 2869 33554432000 4194304 4580107 140734759092160 18446744073709551615 4329600 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 284852

[startup+1.50062 s]
/proc/loadavg: 7.78 8.03 7.98 9/357 21812
/proc/meminfo: memFree=23742448/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=286304 CPUtime=5.95 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 9426 0 0 0 594 1 0 0 20 0 4 0 652542699 293175296 4703 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 71576 4703 379 95 0 66558 0
[pid=21808/tid=21809] ppid=21806 vsize=286304 CPUtime=1.47 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 1908 0 0 0 147 0 0 0 25 0 4 0 652542699 293175296 4703 33554432000 4194304 4580107 140734759092160 18446744073709551615 4318850 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=286304 CPUtime=1.49 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 1917 0 0 0 149 0 0 0 19 0 4 0 652542699 293175296 4703 33554432000 4194304 4580107 140734759092160 18446744073709551615 4320876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=286304 CPUtime=1.48 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 1829 0 0 0 148 0 0 0 25 0 4 0 652542699 293175296 4703 33554432000 4194304 4580107 140734759092160 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286304

[startup+3.1003 s]
/proc/loadavg: 7.78 8.03 7.98 9/357 21812
/proc/meminfo: memFree=23727816/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=296492 CPUtime=12.34 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 19271 0 0 0 1231 3 0 0 25 0 4 0 652542699 303607808 10650 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 74123 10650 379 95 0 69105 0
[pid=21808/tid=21809] ppid=21806 vsize=296492 CPUtime=3.06 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 4181 0 0 0 306 0 0 0 25 0 4 0 652542699 303607808 10650 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=296492 CPUtime=3.08 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 5299 0 0 0 308 0 0 0 25 0 4 0 652542699 303607808 10650 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=296492 CPUtime=3.08 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 4696 0 0 0 308 0 0 0 25 0 4 0 652542699 303607808 10650 33554432000 4194304 4580107 140734759092160 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 296492

[startup+6.30067 s]
/proc/loadavg: 7.79 8.03 7.98 9/357 21812
/proc/meminfo: memFree=23695480/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=294372 CPUtime=25.11 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 31176 0 0 0 2506 5 0 0 25 0 4 0 652542699 301436928 14382 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 73593 14382 379 95 0 68575 0
[pid=21808/tid=21809] ppid=21806 vsize=294372 CPUtime=6.23 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 7842 0 0 0 622 1 0 0 25 0 4 0 652542699 301436928 14382 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=294372 CPUtime=6.29 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 8615 0 0 0 628 1 0 0 25 0 4 0 652542699 301436928 14382 33554432000 4194304 4580107 140734759092160 18446744073709551615 254500716439 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=294372 CPUtime=6.28 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 7079 0 0 0 627 1 0 0 25 0 4 0 652542699 301436928 14382 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 294372

[startup+12.7004 s]
/proc/loadavg: 7.81 8.03 7.98 9/357 21812
/proc/meminfo: memFree=23652964/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=304476 CPUtime=50.63 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 49567 0 0 0 5054 9 0 0 25 0 4 0 652542699 311783424 20916 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 76119 20916 379 95 0 71101 0
[pid=21808/tid=21809] ppid=21806 vsize=304476 CPUtime=12.55 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 12250 0 0 0 1253 2 0 0 25 0 4 0 652542699 311783424 20916 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=304476 CPUtime=12.68 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 12069 0 0 0 1267 1 0 0 25 0 4 0 652542699 311783424 20916 33554432000 4194304 4580107 140734759092160 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=304476 CPUtime=12.68 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 12378 0 0 0 1266 2 0 0 25 0 4 0 652542699 311783424 20916 33554432000 4194304 4580107 140734759092160 18446744073709551615 4305857 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 304476

[startup+25.5009 s]
/proc/loadavg: 7.85 8.03 7.98 9/357 21813
/proc/meminfo: memFree=23626176/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=294944 CPUtime=101.69 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 76669 0 0 0 10154 15 0 0 25 0 4 0 652542699 302022656 30494 33554432000 4194304 4580107 140734759092160 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 73736 30494 379 95 0 68718 0
[pid=21808/tid=21809] ppid=21806 vsize=294944 CPUtime=25.21 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 19918 0 0 0 2518 3 0 0 25 0 4 0 652542699 302022656 30494 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=294944 CPUtime=25.48 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 19124 0 0 0 2545 3 0 0 25 0 4 0 652542699 302022656 30494 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=294944 CPUtime=25.49 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 17875 0 0 0 2545 4 0 0 25 0 4 0 652542699 302022656 30494 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 294944

[startup+51.1008 s]
/proc/loadavg: 7.90 8.03 7.98 9/357 21813
/proc/meminfo: memFree=23607292/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=314692 CPUtime=203.81 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 109107 0 0 0 20356 25 0 0 25 0 4 0 652542699 322244608 34254 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 78673 34254 379 95 0 73655 0
[pid=21808/tid=21809] ppid=21806 vsize=314692 CPUtime=50.52 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 28632 0 0 0 5046 6 0 0 25 0 4 0 652542699 322244608 34254 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=314692 CPUtime=51.09 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 28941 0 0 0 5103 6 0 0 25 0 4 0 652542699 322244608 34254 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=314692 CPUtime=51.08 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 23949 0 0 0 5103 5 0 0 25 0 4 0 652542699 322244608 34254 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.81
Current children cumulated vsize (KiB) 314692

[startup+102.314 s]
/proc/loadavg: 8.02 8.04 7.99 9/357 21815
/proc/meminfo: memFree=23530756/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=316060 CPUtime=408.06 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 161271 0 0 0 40762 44 0 0 25 0 4 0 652542699 323645440 40259 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293698 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 79015 40259 379 95 0 73997 0
[pid=21808/tid=21809] ppid=21806 vsize=316060 CPUtime=101.13 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 44241 0 0 0 10101 12 0 0 25 0 4 0 652542699 323645440 40259 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=316060 CPUtime=102.3 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 41519 0 0 0 10220 10 0 0 25 0 4 0 652542699 323645440 40259 33554432000 4194304 4580107 140734759092160 18446744073709551615 4321217 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=316060 CPUtime=102.3 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 32784 0 0 0 10222 8 0 0 25 0 4 0 652542699 323645440 40259 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 316060

[startup+162.301 s]

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

[pid=21808] ppid=21806 vsize=635340 CPUtime=2801.41 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 428826 0 0 0 279965 176 0 0 25 0 4 0 652542699 650588160 106269 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 158835 106269 379 95 0 153817 0
[pid=21808/tid=21809] ppid=21806 vsize=635340 CPUtime=694.44 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 105736 0 0 0 69402 42 0 0 25 0 4 0 652542699 650588160 106269 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=635340 CPUtime=702.31 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 92757 0 0 0 70198 33 0 0 25 0 4 0 652542699 650588160 106269 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=635340 CPUtime=702.32 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 114100 0 0 0 70176 56 0 0 25 0 4 0 652542699 650588160 106269 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2801.41
Current children cumulated vsize (KiB) 635340

[startup+762.313 s]
/proc/loadavg: 4.15 5.29 6.74 5/348 21850
/proc/meminfo: memFree=23691228/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=660608 CPUtime=3040.81 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 453791 0 0 0 303891 190 0 0 25 0 4 0 652542699 676462592 112005 33554432000 4194304 4580107 140734759092160 18446744073709551615 4320987 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 165152 112005 379 95 0 160134 0
[pid=21808/tid=21809] ppid=21806 vsize=660608 CPUtime=753.79 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 110216 0 0 0 75335 44 0 0 25 0 4 0 652542699 676462592 112005 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=660608 CPUtime=762.33 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 98963 0 0 0 76196 37 0 0 25 0 4 0 652542699 676462592 112005 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=660608 CPUtime=762.33 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 121581 0 0 0 76173 60 0 0 25 0 4 0 652542699 676462592 112005 33554432000 4194304 4580107 140734759092160 18446744073709551615 4318407 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.81
Current children cumulated vsize (KiB) 660608

[startup+822.3 s]
/proc/loadavg: 4.11 5.07 6.57 5/348 21852
/proc/meminfo: memFree=23655624/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=661204 CPUtime=3280.12 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 473882 0 0 0 327810 202 0 0 25 0 4 0 652542699 677072896 121257 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 165301 121257 379 95 0 160283 0
[pid=21808/tid=21809] ppid=21806 vsize=661204 CPUtime=813.13 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 115530 0 0 0 81266 47 0 0 25 0 4 0 652542699 677072896 121257 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=661204 CPUtime=822.32 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 99449 0 0 0 82195 37 0 0 25 0 4 0 652542699 677072896 121257 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=661204 CPUtime=822.32 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 130184 0 0 0 82166 66 0 0 25 0 4 0 652542699 677072896 121257 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3280.12
Current children cumulated vsize (KiB) 661204

[startup+882.301 s]
/proc/loadavg: 4.09 4.89 6.41 5/348 21854
/proc/meminfo: memFree=23664780/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=712556 CPUtime=3519.45 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 489726 0 0 0 351735 210 0 0 25 0 4 0 652542699 729657344 118969 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 178139 118969 379 95 0 173121 0
[pid=21808/tid=21809] ppid=21806 vsize=712556 CPUtime=872.45 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 118557 0 0 0 87196 49 0 0 25 0 4 0 652542699 729657344 118969 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=712556 CPUtime=882.33 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 99896 0 0 0 88195 38 0 0 25 0 4 0 652542699 729657344 118969 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=712556 CPUtime=882.32 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 139844 0 0 0 88163 69 0 0 25 0 4 0 652542699 729657344 118969 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294704 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3519.45
Current children cumulated vsize (KiB) 712556

[startup+942.301 s]
/proc/loadavg: 4.08 4.74 6.27 5/348 21855
/proc/meminfo: memFree=23627672/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=653056 CPUtime=3758.8 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 514245 0 0 0 375656 224 0 0 25 0 4 0 652542699 668729344 128576 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 163264 128576 379 95 0 158246 0
[pid=21808/tid=21809] ppid=21806 vsize=653056 CPUtime=931.8 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 125051 0 0 0 93129 51 0 0 25 0 4 0 652542699 668729344 128576 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=653056 CPUtime=942.33 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 106442 0 0 0 94192 41 0 0 25 0 4 0 652542699 668729344 128576 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=653056 CPUtime=942.32 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 144951 0 0 0 94158 74 0 0 25 0 4 0 652542699 668729344 128576 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3758.8
Current children cumulated vsize (KiB) 653056

[startup+1002.3 s]
/proc/loadavg: 4.07 4.62 6.13 5/348 21866
/proc/meminfo: memFree=23595752/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=728984 CPUtime=3998.15 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 537019 0 0 0 399578 237 0 0 25 0 4 0 652542699 746479616 136219 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 182246 136219 379 95 0 177228 0
[pid=21808/tid=21809] ppid=21806 vsize=728984 CPUtime=991.14 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 131605 0 0 0 99059 55 0 0 25 0 4 0 652542699 746479616 136219 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=728984 CPUtime=1002.33 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 112621 0 0 0 100189 44 0 0 25 0 4 0 652542699 746479616 136219 33554432000 4194304 4580107 140734759092160 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=728984 CPUtime=1002.33 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 151405 0 0 0 100155 78 0 0 25 0 4 0 652542699 746479616 136219 33554432000 4194304 4580107 140734759092160 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3998.15
Current children cumulated vsize (KiB) 728984

[startup+1062.3 s]
/proc/loadavg: 4.07 4.52 6.00 5/348 21867
/proc/meminfo: memFree=23595100/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=742216 CPUtime=4237.51 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 558794 0 0 0 423498 253 0 0 25 0 4 0 652542699 760029184 136021 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 185554 136021 379 95 0 180536 0
[pid=21808/tid=21809] ppid=21806 vsize=742216 CPUtime=1050.49 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 136754 0 0 0 104990 59 0 0 25 0 4 0 652542699 760029184 136021 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=742216 CPUtime=1062.33 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 117486 0 0 0 106186 47 0 0 25 0 4 0 652542699 760029184 136021 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=742216 CPUtime=1062.33 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 158326 0 0 0 106151 82 0 0 25 0 4 0 652542699 760029184 136021 33554432000 4194304 4580107 140734759092160 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4237.51
Current children cumulated vsize (KiB) 742216

[startup+1122.3 s]
/proc/loadavg: 4.06 4.43 5.87 5/348 21869
/proc/meminfo: memFree=23577104/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=755480 CPUtime=4476.84 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 573060 0 0 0 447424 260 0 0 25 0 4 0 652542699 773611520 140821 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 188870 140821 379 95 0 183852 0
[pid=21808/tid=21809] ppid=21806 vsize=755480 CPUtime=1109.81 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 139711 0 0 0 110921 60 0 0 25 0 4 0 652542699 773611520 140821 33554432000 4194304 4580107 140734759092160 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=755480 CPUtime=1122.33 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 117821 0 0 0 112186 47 0 0 25 0 4 0 652542699 773611520 140821 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=755480 CPUtime=1122.33 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 166244 0 0 0 112148 85 0 0 25 0 4 0 652542699 773611520 140821 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4476.84
Current children cumulated vsize (KiB) 755480

[startup+1182.3 s]
/proc/loadavg: 4.06 4.37 5.76 5/348 21871
/proc/meminfo: memFree=23553400/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=808700 CPUtime=4716.2 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 587769 0 0 0 471349 271 0 0 25 0 4 0 652542699 828108800 146847 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 202175 146847 379 95 0 197157 0
[pid=21808/tid=21809] ppid=21806 vsize=808700 CPUtime=1169.15 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 143810 0 0 0 116852 63 0 0 25 0 4 0 652542699 828108800 146847 33554432000 4194304 4580107 140734759092160 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=808700 CPUtime=1182.33 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 118687 0 0 0 118185 48 0 0 25 0 4 0 652542699 828108800 146847 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=808700 CPUtime=1182.33 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 171373 0 0 0 118144 89 0 0 25 0 4 0 652542699 828108800 146847 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4716.2
Current children cumulated vsize (KiB) 808700



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 4.10 4.36 5.72 6/348 21871
/proc/meminfo: memFree=23585872/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=755668 CPUtime=4800.04 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 593542 0 0 0 479729 275 0 0 25 0 4 0 652542699 773804032 138463 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 188917 138463 379 95 0 183899 0
[pid=21808/tid=21809] ppid=21806 vsize=755668 CPUtime=1189.93 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 144327 0 0 0 118929 64 0 0 25 0 4 0 652542699 773804032 138464 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=755668 CPUtime=1203.36 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 118687 0 0 0 120288 48 0 0 25 0 4 0 652542699 773804032 138464 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=755668 CPUtime=1203.36 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 174049 0 0 0 120245 91 0 0 25 0 4 0 652542699 773804032 138464 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 755668

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

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

[startup+1203.3 s]
/proc/loadavg: 4.10 4.36 5.72 6/348 21871
/proc/meminfo: memFree=23585872/32950928 swapFree=45937192/67111528
[pid=21808] ppid=21806 vsize=755668 CPUtime=4800.04 cores=1,3,5,7
/proc/21808/stat : 21808 (strangenight2-m) R 21806 21808 21516 0 -1 4202496 593542 0 0 0 479729 275 0 0 25 0 4 0 652542699 773804032 138463 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/21808/statm: 188917 138463 379 95 0 183899 0
[pid=21808/tid=21809] ppid=21806 vsize=755668 CPUtime=1189.93 cores=1,3,5,7
/proc/21808/task/21809/stat : 21809 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 144327 0 0 0 118929 64 0 0 25 0 4 0 652542699 773804032 138464 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=21808/tid=21810] ppid=21806 vsize=755668 CPUtime=1203.36 cores=1,3,5,7
/proc/21808/task/21810/stat : 21810 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 118687 0 0 0 120288 48 0 0 25 0 4 0 652542699 773804032 138464 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=21808/tid=21811] ppid=21806 vsize=755668 CPUtime=1203.36 cores=1,3,5,7
/proc/21808/task/21811/stat : 21811 (strangenight2-m) R 21806 21808 21516 0 -1 4202560 174049 0 0 0 120245 91 0 0 25 0 4 0 652542699 773804032 138464 33554432000 4194304 4580107 140734759092160 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.04
Current children cumulated vsize (KiB) 755668

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.36
CPU time (s): 4800.1
CPU user time (s): 4797.32
CPU system time (s): 2.77758
CPU usage (%): 398.892
Max. virtual memory (cumulated for all children) (KiB): 899596

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.32
system time used= 2.77758
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 593544
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= 244
involuntary context switches= 19942

runsolver used 3.63545 second user time and 9.81451 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-14 23:44:20
IDJOB=3366586
IDBENCH=82995
IDSOLVER=1844
FILE ID=node149/3366586-1305409460
RUNJOBID= node149-1305406255-21535
PBS_JOBID= 13324509
Free space on /tmp= 73568 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v600-c2556-S735137557-045.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366586-1305409460/watcher-3366586-1305409460 -o /tmp/evaluation-result-3366586-1305409460/solver-3366586-1305409460 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366586-1305409460.cnf

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

MD5SUM BENCH= db052c7898d14b578cec80f7488daf9a
RANDOM SEED=207694167

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
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.83
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.806
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.73
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.806
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.806
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.806
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.82
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.806
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      23754716 kB
Buffers:        310048 kB
Cached:        3873168 kB
SwapCached:      19984 kB
Active:        6696744 kB
Inactive:      2205092 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23754716 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:            5468 kB
Writeback:           0 kB
AnonPages:     4711664 kB
Mapped:          14604 kB
Slab:           157240 kB
PageTables:      72828 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80669600 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= 73568 MiB
End job on node149 at 2011-05-15 00:04:25