Trace number 3174177

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.38 1201.74

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-3174177-1304109805.cnf'
0.00/0.00	c -- header says num vars:            600
0.00/0.00	c -- header says num clauses:        2556
0.00/0.00	c -- clauses added:            0 learnts,         2556 normals,            0 xors
0.00/0.00	c -- vars added        600
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.02/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.02/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.02/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.02/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    600 time:  0.00 s
0.02/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.02/0.01	c lits-rem:         0  cl-subs:        0  v-elim:     13  v-fix:    0  time:  0.00 s
0.02/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.02/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.02/0.01	c calculated reachability. Time: 0.00
0.02/0.01	c Calc default polars -  time:   0.00 s pos:     272 undec:      70 neg:     258
0.02/0.01	c =========================================================================================
0.02/0.01	c types(t): F = full restart, N = normal restart
0.02/0.01	c types(t): S = simplification begin/end, E = solution found
0.02/0.01	c restart types(rt): st = static, dy = dynamic
0.02/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.02/0.01	c  B st     0         0       587      2544         0         0      7724         0   no data   no data
0.02/0.06	c Decided on static restart strategy
0.38/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.37/0.68	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.35	c Decided on static restart strategy
5.16/1.35	c  N st    18     30001       587      2544         0     10699      7724    226408   no data   no data
5.16/1.35	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.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.38	c blocked clauses removed:       15 vars:      2 tried:         587 T: 0.00 s
5.16/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
5.16/1.38	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.16/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.44	c lits-rem:       189  cl-subs:      346  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.45	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
5.57/1.45	c calculated reachability. Time: 0.00
5.57/1.45	c  N st    18     30504       585      2529         0     10855      7679    228300   no data   no data
7.17/1.87	c  N st    20     37619       585      2529         0     10091      7679    187100   no data   no data
8.78/2.26	c  N st    21     44018       585      2529         0     16369      7679    357376   no data   no data
9.16/2.39	c  S st    22     45756       585      2529         0      9304      7679    146102   no data   no data
9.56/2.41	c  S st    22     46262       585      2529         0      9810      7679    159018   no data   no data
9.56/2.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.56/2.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.56/2.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.56/2.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.56/2.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
9.56/2.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.56/2.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.56/2.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.56/2.44	c lits-rem:        21  cl-subs:       66  v-elim:      0  v-fix:    0  time:  0.01 s
9.56/2.44	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
9.56/2.44	c vivif2 --  cl tried     9744 cl shrink        0 lits rem          0 time: 0.00
9.56/2.44	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
9.56/2.44	c calculated reachability. Time: 0.00
9.56/2.44	c  N st    22     46262       585      2529         0      9744      7679    157047   no data   no data
13.17/3.37	c  N st    23     60659       585      2529         0     14093      7679    261635   no data   no data
15.95/4.02	c  N st    24     69393       585      2529         0     11873      7679    191273   no data   no data
15.95/4.02	c  S st    24     69393       585      2529         0     11873      7679    191273   no data   no data
15.95/4.06	c  S st    24     69896       585      2529         0     12376      7679    203397   no data   no data
15.95/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.95/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.95/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
15.95/4.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
15.95/4.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.95/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.09	c lits-rem:        46  cl-subs:      165  v-elim:      0  v-fix:    0  time:  0.02 s
15.95/4.09	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
16.35/4.10	c vivif2 --  cl tried    12211 cl shrink        0 lits rem          0 time: 0.00
16.35/4.10	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
16.35/4.10	c calculated reachability. Time: 0.00
16.35/4.10	c  N st    24     69896       585      2529         0     12211      7679    199049   no data   no data
21.14/5.35	c  F st    25     87502       585      2529         0     17709      7679    336499   no data   no data
21.14/5.36	c  N st    25     87502       585      2529         0     17709      7679    336499   no data   no data
22.73/5.75	c Decided on static restart strategy
23.94/6.04	c  N st    32     95539       585      2529         0     25621      7679    550791   no data   no data
26.73/6.74	c  N st    34    104846       585      2529         0     21992      7679    434442   no data   no data
26.73/6.74	c  S st    34    104846       585      2529         0     21992      7679    434442   no data   no data
26.73/6.79	c  S st    34    105350       585      2529         0     22496      7679    446643   no data   no data
26.73/6.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.13/6.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.13/6.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.13/6.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.13/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.13/6.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
27.13/6.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.13/6.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.13/6.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.99	c lits-rem:       143  cl-subs:      787  v-elim:      0  v-fix:    0  time:  0.17 s
27.53/6.99	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
27.53/7.00	c vivif2 --  cl tried    21709 cl shrink        0 lits rem          0 time: 0.01
27.93/7.01	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.01
27.93/7.01	c calculated reachability. Time: 0.00
27.93/7.01	c  N st    34    105350       585      2529         0     21709      7679    423166   no data   no data
30.75/7.79	c  N st    35    114948       585      2529         0     17405      7679    287166   no data   no data
36.32/9.14	c  N st    36    129345       585      2529         0     16812      7679    247983   no data   no data
43.94/11.01	c  N st    37    150941       585      2529         0     22251      7679    383823   no data   no data
46.31/11.65	c  S st    38    158026       585      2529         0     29171      7679    570064   no data   no data
46.71/11.73	c  S st    38    158531       585      2529         0     29676      7679    582663   no data   no data
46.71/11.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.71/11.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.71/11.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.71/11.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.71/11.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.71/11.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
46.71/11.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
46.71/11.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.71/11.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.70/12.24	c lits-rem:       212  cl-subs:     1427  v-elim:      0  v-fix:    0  time:  0.47 s
48.70/12.24	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
48.70/12.24	c vivif2 --  cl tried    28249 cl shrink        0 lits rem          0 time: 0.01
48.70/12.26	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
48.70/12.26	c calculated reachability. Time: 0.00
48.70/12.26	c  N st    38    158531       585      2529         0     28249      7679    543136   no data   no data
68.68/17.22	c  N st    39    207125       585      2529         0     23068      7679    364703   no data   no data
81.06/20.31	c  N st    40    237796       585      2529         0     33483      7679    643660   no data   no data
81.06/20.31	c  S st    40    237796       585      2529         0     33483      7679    643660   no data   no data
81.46/20.40	c  S st    40    238300       585      2529         0     33986      7679    656790   no data   no data
81.46/20.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.46/20.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.46/20.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.46/20.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.46/20.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.46/20.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
81.46/20.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.46/20.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.46/20.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.85/21.01	c lits-rem:       179  cl-subs:     1323  v-elim:      0  v-fix:    0  time:  0.57 s
83.85/21.01	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
83.85/21.02	c vivif2 --  cl tried    32663 cl shrink        0 lits rem          0 time: 0.01
83.85/21.04	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.02
83.85/21.04	c calculated reachability. Time: 0.00
83.85/21.04	c  N st    40    238300       585      2529         0     32663      7679    617606   no data   no data
114.23/28.69	c  F st    41    306250       585      2529         0     34467      7679    630860   no data   no data
114.23/28.69	c  N st    41    306250       585      2529         0     34467      7679    630860   no data   no data
117.01/29.31	c Decided on static restart strategy
127.79/32.07	c  N st    51    334556       585      2529         0     38735      7679    697677   no data   no data
138.98/34.85	c  N st    53    357450       585      2529         0     36674      7679    624886   no data   no data
138.98/34.85	c  S st    53    357450       585      2529         0     36674      7679    624886   no data   no data
139.38/34.94	c  S st    53    357955       585      2529         0     37179      7679    637407   no data   no data
139.38/34.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
139.38/34.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
139.38/34.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.38/34.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.38/34.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.38/34.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
139.38/34.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
139.38/34.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.38/34.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.97/35.37	c lits-rem:       232  cl-subs:     1062  v-elim:      0  v-fix:    0  time:  0.38 s
140.97/35.37	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
140.97/35.38	c vivif2 --  cl tried    36117 cl shrink        0 lits rem          0 time: 0.01
141.37/35.40	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.03
141.37/35.40	c calculated reachability. Time: 0.00
141.37/35.40	c  N st    53    357955       585      2529         0     36117      7679    606298   no data   no data
157.35/39.41	c  N st    54    390347       585      2529         0     42384      7679    753855   no data   no data
185.31/46.41	c  N st    55    438937       585      2529         0     36089      7679    549055   no data   no data
226.06/56.67	c  N st    56    511820       585      2529         0     49830      7679    942326   no data   no data
240.45/60.21	c  N st    57    536933       585      2529         0     44102      7679    719051   no data   no data
240.45/60.21	c  S st    57    536933       585      2529         0     44102      7679    719051   no data   no data
240.84/60.33	c  S st    57    537442       585      2529         0     44611      7679    732418   no data   no data
240.84/60.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
240.84/60.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
240.84/60.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
240.84/60.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
240.84/60.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.84/60.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
240.84/60.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
240.84/60.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
240.84/60.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.24/60.93	c lits-rem:       264  cl-subs:     1309  v-elim:      0  v-fix:    0  time:  0.55 s
243.24/60.93	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
243.24/60.94	c vivif2 --  cl tried    43302 cl shrink        0 lits rem          0 time: 0.01
243.24/60.98	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.03
243.24/60.98	c calculated reachability. Time: 0.00
243.24/60.98	c  N st    57    537442       585      2529         0     43302      7679    697673   no data   no data
350.69/87.80	c  N st    58    701426       585      2529         0     37366      7679    450881   no data   no data
430.61/107.81	c  N st    59    806164       585      2529         0     66546      7679   1236604   no data   no data
430.61/107.81	c  S st    59    806164       585      2529         0     66546      7679   1236604   no data   no data
430.98/107.99	c  S st    59    806666       585      2529         0     67048      7679   1249115   no data   no data
431.38/108.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.38/108.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
431.38/108.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.38/108.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.38/108.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.38/108.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
431.38/108.03	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
431.38/108.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
431.38/108.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
445.36/111.52	c lits-rem:       532  cl-subs:     3488  v-elim:      0  v-fix:    0  time:  3.43 s
445.36/111.52	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
445.36/111.54	c vivif2 --  cl tried    63560 cl shrink        0 lits rem          0 time: 0.02
445.36/111.59	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.06
445.36/111.60	c calculated reachability. Time: 0.00
445.36/111.60	c  N st    59    806666       585      2529         0     63560      7679   1149237   no data   no data
669.06/167.59	c  F st    60   1071879       585      2529         0     79203      7679   1529368   no data   no data
669.06/167.59	c  N st    60   1071879       585      2529         0     79203      7679   1529368   no data   no data
675.46/169.13	c Decided on static restart strategy
694.26/173.83	c  N st    70   1100180       585      2529         0     63000      7679    983382   no data   no data
726.98/182.06	c  N st    72   1136173       585      2529         0     53139      7679    678988   no data   no data
752.15/188.31	c  N st    73   1168565       585      2529         0     84868      7679   1625947   no data   no data
787.71/197.23	c  N st    74   1210003       585      2529         0     79408      7679   1478026   no data   no data
787.71/197.23	c  S st    74   1210003       585      2529         0     79408      7679   1478026   no data   no data
788.50/197.47	c  S st    74   1210503       585      2529         0     79904      7679   1491354   no data   no data
788.50/197.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
788.90/197.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
788.90/197.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
788.90/197.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
788.90/197.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
788.90/197.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
788.90/197.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
788.90/197.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
788.90/197.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
808.50/202.47	c lits-rem:       886  cl-subs:     3463  v-elim:      0  v-fix:    0  time:  4.89 s
808.50/202.47	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
808.50/202.49	c vivif2 --  cl tried    76441 cl shrink        0 lits rem          0 time: 0.02
808.87/202.56	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.07
808.87/202.57	c calculated reachability. Time: 0.00
808.87/202.57	c  N st    74   1210503       585      2529         0     76441      7679   1380727   no data   no data
879.58/220.26	c  N st    75   1283385       585      2529         0     52996      7679    646825   no data   no data
997.05/249.70	c  N st    76   1392709       585      2529         0     60938      7679    810461   no data   no data
1166.00/292.00	c  N st    77   1556694       585      2529         0     66161      7679    918524   no data   no data
1324.98/331.70	c  N st    78   1710504       585      2529         0    108097      7679   2086090   no data   no data
1324.98/331.70	c  S st    78   1710504       585      2529         0    108097      7679   2086090   no data   no data
1326.18/332.06	c  S st    78   1711008       585      2529         0    108601      7679   2100057   no data   no data
1326.18/332.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1326.60/332.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1326.60/332.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1326.60/332.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1326.60/332.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1326.60/332.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1326.60/332.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1326.60/332.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1327.00/332.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1364.14/341.53	c lits-rem:      1371  cl-subs:     4509  v-elim:      0  v-fix:    0  time:  9.30 s
1364.14/341.53	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
1364.14/341.55	c vivif2 --  cl tried   104092 cl shrink        0 lits rem          0 time: 0.03
1364.54/341.67	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.11
1364.54/341.67	c calculated reachability. Time: 0.00
1364.54/341.67	c  N st    78   1711008       585      2529         0    104092      7679   1975331   no data   no data
1770.81/443.34	c  N st    79   2079974       585      2529         0    115620      7679   2162073   no data   no data
1923.78/481.68	c  N st    80   2211010       585      2529         0    119769      7679   2241149   no data   no data
1923.78/481.68	c  S st    80   2211010       585      2529         0    119769      7679   2241149   no data   no data
1925.38/482.10	c  S st    80   2211511       585      2529         0    120269      7679   2254195   no data   no data
1925.78/482.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1925.78/482.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
1925.78/482.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1925.78/482.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1925.78/482.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1925.78/482.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
1925.78/482.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1926.18/482.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1926.18/482.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1975.31/494.57	c lits-rem:      1396  cl-subs:     6218  v-elim:      0  v-fix:    0  time: 12.30 s
1975.31/494.57	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
1975.71/494.60	c vivif2 --  cl tried   114051 cl shrink        0 lits rem          0 time: 0.03
1976.11/494.73	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.12
1976.11/494.73	c calculated reachability. Time: 0.00
1976.11/494.73	c  N st    80   2211511       585      2529         0    114051      7679   2096252   no data   no data
2623.64/656.84	c  N st    81   2711514       585      2529         0    138094      7679   2747152   no data   no data
2623.64/656.84	c  S st    81   2711514       585      2529         0    138094      7679   2747152   no data   no data
2625.65/657.31	c  S st    81   2712017       585      2529         0    138596      7679   2760450   no data   no data
2625.65/657.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2625.65/657.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2625.65/657.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2625.65/657.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2625.65/657.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2625.65/657.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
2625.65/657.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2626.04/657.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2626.44/657.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2692.75/674.12	c lits-rem:       957  cl-subs:     5912  v-elim:      0  v-fix:    0  time: 16.61 s
2692.75/674.12	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
2692.75/674.16	c vivif2 --  cl tried   132684 cl shrink        0 lits rem          0 time: 0.04
2693.56/674.31	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.15
2693.56/674.31	c calculated reachability. Time: 0.00
2693.56/674.31	c  N st    81   2712017       585      2529         0    132684      7679   2599846   no data   no data
3387.02/847.96	c  N st    82   3212019       585      2529         0    107478      7679   1641384   no data   no data
3387.02/847.96	c  S st    82   3212019       585      2529         0    107478      7679   1641384   no data   no data
3388.62/848.39	c  S st    82   3212525       585      2529         0    107983      7679   1655127   no data   no data
3389.02/848.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3389.02/848.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3389.02/848.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3389.02/848.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3389.02/848.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3389.02/848.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
3389.02/848.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3389.42/848.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3389.42/848.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3433.76/859.61	c lits-rem:       589  cl-subs:     5034  v-elim:      0  v-fix:    0  time: 11.04 s
3433.76/859.61	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
3433.76/859.63	c vivif2 --  cl tried   102949 cl shrink        0 lits rem          0 time: 0.03
3434.15/859.77	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.14
3434.15/859.78	c calculated reachability. Time: 0.00
3434.15/859.78	c  N st    82   3212525       585      2529         0    102949      7679   1508609   no data   no data
4246.25/1063.06	c  N st    83   3712527       585      2529         0    113541      7679   1685630   no data   no data
4246.25/1063.06	c  S st    83   3712527       585      2529         0    113541      7679   1685630   no data   no data
4247.85/1063.43	c  S st    83   3713032       585      2529         0    114045      7679   1699097   no data   no data
4247.85/1063.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4247.85/1063.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4247.85/1063.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4247.85/1063.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4247.85/1063.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4248.25/1063.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    585 time:  0.00 s
4248.25/1063.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4248.25/1063.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4248.25/1063.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4271.04/1069.27	c lits-rem:       472  cl-subs:     4891  v-elim:      0  v-fix:    0  time:  5.69 s
4271.04/1069.27	c vivif2 --  cl tried     2529 cl shrink        0 lits rem          0 time: 0.00
4271.04/1069.29	c vivif2 --  cl tried   109154 cl shrink        0 lits rem          0 time: 0.02
4271.81/1069.41	c asymm  cl-useful: 0/2529/2529 lits-rem:0 time: 0.12
4271.81/1069.41	c calculated reachability. Time: 0.00
4271.81/1069.41	c  N st    83   3713032       585      2529         0    109154      7679   1574071   no data   no data
4343.32/1087.39	c  F st    84   3751564       585      2529         0    146931      7679   2635434   no data   no data
4343.32/1087.39	c  N st    84   3751564       585      2529         0    146931      7679   2635434   no data   no data
4358.92/1091.26	c Decided on static restart strategy
4419.22/1106.37	c  N st    94   3779869       585      2529         0     91787      7679   1031776   no data   no data
4480.73/1121.74	c  N st    96   3815862       585      2529         0    127025      7679   2004853   no data   no data
4540.65/1136.77	c  N st    97   3848254       585      2529         0    158665      7679   2930360   no data   no data
4623.34/1157.48	c  N st    98   3896842       585      2529         0    122060      7679   1861109   no data   no data
4767.57/1193.51	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: 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-3174177-1304109805/watcher-3174177-1304109805 -o /tmp/evaluation-result-3174177-1304109805/solver-3174177-1304109805 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174177-1304109805.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: 3.46 4.19 5.68 4/180 11775
/proc/meminfo: memFree=30131896/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 408 0 0 0 0 0 0 0 21 0 4 0 522578661 52441088 348 33554432000 4194304 4627427 140736999214512 18446744073709551615 47518828373938 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 12803 348 299 106 0 7774 0
[pid=11775/tid=11777] ppid=11771 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 4 0 522578662 52441088 348 33554432000 4194304 4627427 140736999214512 18446744073709551615 47518828373932 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 0 0 0 0 0 0 0 0 22 0 4 0 522578662 52441088 348 33554432000 4194304 4627427 140736999214512 18446744073709551615 47518828373938 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 522578662 52441088 348 33554432000 4194304 4627427 140736999214512 18446744073709551615 246516890609 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0111961 s]
/proc/loadavg: 3.46 4.19 5.68 4/180 11775
/proc/meminfo: memFree=30131896/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=282136 CPUtime=0.02 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 1075 0 0 0 2 0 0 0 23 0 4 0 522578661 288907264 995 33554432000 4194304 4627427 140736999214512 18446744073709551615 4415723 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 70534 1009 370 106 0 65505 0
[pid=11775/tid=11777] ppid=11771 vsize=282136 CPUtime=0 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 178 0 0 0 0 0 0 0 23 0 4 0 522578662 288907264 1012 33554432000 4194304 4627427 140736999214512 18446744073709551615 4415675 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=282136 CPUtime=0 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 154 0 0 0 0 0 0 0 23 0 4 0 522578662 288907264 1016 33554432000 4194304 4627427 140736999214512 18446744073709551615 4415910 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=282136 CPUtime=0 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 145 0 0 0 0 0 0 0 24 0 4 0 522578662 288907264 1021 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 282136

[startup+0.101172 s]
/proc/loadavg: 3.46 4.19 5.68 4/180 11775
/proc/meminfo: memFree=30131896/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=282416 CPUtime=0.38 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 1830 0 0 0 38 0 0 0 23 0 4 0 522578661 289193984 1689 33554432000 4194304 4627427 140736999214512 18446744073709551615 4507037 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 70604 1689 384 106 0 65575 0
[pid=11775/tid=11777] ppid=11771 vsize=282416 CPUtime=0.09 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 364 0 0 0 9 0 0 0 23 0 4 0 522578662 289193984 1689 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=282416 CPUtime=0.09 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 364 0 0 0 9 0 0 0 23 0 4 0 522578662 289193984 1689 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=282416 CPUtime=0.09 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 274 0 0 0 9 0 0 0 24 0 4 0 522578662 289193984 1689 33554432000 4194304 4627427 140736999214512 18446744073709551615 4321736 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282416

[startup+0.301135 s]
/proc/loadavg: 3.46 4.19 5.68 4/180 11775
/proc/meminfo: memFree=30131896/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=284128 CPUtime=1.17 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 2974 0 0 0 117 0 0 0 23 0 4 0 522578661 290947072 2198 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308135 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 71032 2198 385 106 0 66003 0
[pid=11775/tid=11777] ppid=11771 vsize=284128 CPUtime=0.29 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 642 0 0 0 29 0 0 0 23 0 4 0 522578662 290947072 2198 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=284128 CPUtime=0.29 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 654 0 0 0 29 0 0 0 23 0 4 0 522578662 290947072 2198 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=284128 CPUtime=0.29 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 561 0 0 0 29 0 0 0 25 0 4 0 522578662 290947072 2198 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308362 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) 284128

[startup+0.701063 s]
/proc/loadavg: 3.46 4.19 5.68 4/180 11775
/proc/meminfo: memFree=30131896/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=285092 CPUtime=2.77 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 4634 0 0 0 277 0 0 0 25 0 4 0 522578661 291934208 2891 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 71273 2891 385 106 0 66244 0
[pid=11775/tid=11777] ppid=11771 vsize=285092 CPUtime=0.69 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 1067 0 0 0 69 0 0 0 25 0 4 0 522578662 291934208 2891 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=285092 CPUtime=0.69 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 1061 0 0 0 69 0 0 0 25 0 4 0 522578662 291934208 2891 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=285092 CPUtime=0.69 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 971 0 0 0 69 0 0 0 25 0 4 0 522578662 291934208 2891 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308599 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285092

[startup+1.50092 s]
/proc/loadavg: 3.46 4.19 5.68 10/188 11783
/proc/meminfo: memFree=30110256/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=292504 CPUtime=5.97 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 9424 0 0 0 596 1 0 0 25 0 4 0 522578661 299524096 4912 33554432000 4194304 4627427 140736999214512 18446744073709551615 4332922 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 73126 4912 389 106 0 68097 0
[pid=11775/tid=11777] ppid=11771 vsize=292504 CPUtime=1.49 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 1900 0 0 0 149 0 0 0 25 0 4 0 522578662 299524096 4912 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=292504 CPUtime=1.49 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 1904 0 0 0 149 0 0 0 25 0 4 0 522578662 299524096 4912 33554432000 4194304 4627427 140736999214512 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=292504 CPUtime=1.48 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 1826 0 0 0 148 0 0 0 25 0 4 0 522578662 299524096 4912 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308362 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) 292504

[startup+3.10063 s]
/proc/loadavg: 3.46 4.19 5.68 10/188 11783
/proc/meminfo: memFree=30085084/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=293092 CPUtime=12.35 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 19118 0 0 0 1233 2 0 0 25 0 4 0 522578661 300126208 10355 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 73273 10355 389 106 0 68244 0
[pid=11775/tid=11777] ppid=11771 vsize=293092 CPUtime=3.08 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 4275 0 0 0 308 0 0 0 25 0 4 0 522578662 300126208 10355 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=293092 CPUtime=3.08 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 5272 0 0 0 308 0 0 0 25 0 4 0 522578662 300126208 10355 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=293092 CPUtime=3.07 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 4684 0 0 0 307 0 0 0 25 0 4 0 522578662 300126208 10355 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 293092

[startup+6.30104 s]
/proc/loadavg: 3.82 4.26 5.69 11/188 11783
/proc/meminfo: memFree=30036032/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=295552 CPUtime=25.14 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 31227 0 0 0 2509 5 0 0 25 0 4 0 522578661 302645248 14051 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 73888 14052 389 106 0 68859 0
[pid=11775/tid=11777] ppid=11771 vsize=295552 CPUtime=6.28 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 7980 0 0 0 627 1 0 0 25 0 4 0 522578662 302645248 14052 33554432000 4194304 4627427 140736999214512 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=295552 CPUtime=6.28 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 8894 0 0 0 627 1 0 0 25 0 4 0 522578662 302645248 14052 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=295552 CPUtime=6.25 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 7056 0 0 0 624 1 0 0 25 0 4 0 522578662 302645248 14052 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 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) 295552

[startup+12.7009 s]
/proc/loadavg: 4.32 4.35 5.71 10/188 11783
/proc/meminfo: memFree=29972384/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=311012 CPUtime=50.7 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 48942 0 0 0 5062 8 0 0 25 0 4 0 522578661 318476288 20774 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 77753 20774 389 106 0 72724 0
[pid=11775/tid=11777] ppid=11771 vsize=311012 CPUtime=12.68 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 12440 0 0 0 1266 2 0 0 25 0 4 0 522578662 318476288 20774 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=311012 CPUtime=12.68 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 12537 0 0 0 1267 1 0 0 25 0 4 0 522578662 318476288 20774 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=311012 CPUtime=12.62 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 12396 0 0 0 1260 2 0 0 25 0 4 0 522578662 318476288 20774 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308383 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) 311012

[startup+25.5005 s]
/proc/loadavg: 5.35 4.58 5.76 10/188 11784
/proc/meminfo: memFree=29916836/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=325192 CPUtime=101.83 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 74576 0 0 0 10169 14 0 0 25 0 4 0 522578661 332996608 28974 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 81298 28974 389 106 0 76269 0
[pid=11775/tid=11777] ppid=11771 vsize=325192 CPUtime=25.48 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 20029 0 0 0 2544 4 0 0 25 0 4 0 522578662 332996608 28974 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=325192 CPUtime=25.48 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 19961 0 0 0 2545 3 0 0 25 0 4 0 522578662 332996608 28974 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=325192 CPUtime=25.34 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 17920 0 0 0 2531 3 0 0 25 0 4 0 522578662 332996608 28974 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 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) 325192

[startup+51.1009 s]
/proc/loadavg: 6.26 4.85 5.82 10/188 11784
/proc/meminfo: memFree=29858440/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=316492 CPUtime=204.09 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 105985 0 0 0 20388 21 0 0 25 0 4 0 522578661 324087808 34743 33554432000 4194304 4627427 140736999214512 18446744073709551615 4330046 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 79123 34743 389 106 0 74094 0
[pid=11775/tid=11777] ppid=11771 vsize=316492 CPUtime=51.08 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 29216 0 0 0 5102 6 0 0 25 0 4 0 522578662 324087808 34743 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=316492 CPUtime=51.08 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 30126 0 0 0 5102 6 0 0 25 0 4 0 522578662 324087808 34743 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=316492 CPUtime=50.81 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 23651 0 0 0 5077 4 0 0 25 0 4 0 522578662 324087808 34743 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309315 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) 316492

[startup+102.308 s]
/proc/loadavg: 7.29 5.35 5.94 10/188 11786
/proc/meminfo: memFree=29809288/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=319920 CPUtime=408.64 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 158212 0 0 0 40827 37 0 0 25 0 4 0 522578661 327598080 40654 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 79980 40654 389 106 0 74951 0
[pid=11775/tid=11777] ppid=11771 vsize=319920 CPUtime=102.29 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 45434 0 0 0 10218 11 0 0 25 0 4 0 522578662 327598080 40654 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=319920 CPUtime=102.29 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 43336 0 0 0 10220 9 0 0 25 0 4 0 522578662 327598080 40654 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=319920 CPUtime=101.73 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 31843 0 0 0 10167 6 0 0 25 0 4 0 522578662 327598080 40654 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 319920

[startup+162.301 s]

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

[pid=11775] ppid=11771 vsize=685428 CPUtime=2805.4 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 433784 0 0 0 280393 147 0 0 25 0 4 0 522578661 701878272 117907 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 171357 117907 389 106 0 166328 0
[pid=11775/tid=11777] ppid=11771 vsize=685428 CPUtime=702.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 111390 0 0 0 70192 39 0 0 25 0 4 0 522578662 701878272 117907 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=685428 CPUtime=702.29 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 124760 0 0 0 70188 41 0 0 25 0 4 0 522578662 701878272 117907 33554432000 4194304 4627427 140736999214512 18446744073709551615 4327643 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=685428 CPUtime=698.46 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 112160 0 0 0 69807 39 0 0 25 0 4 0 522578662 701878272 117907 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 685428

[startup+762.307 s]
/proc/loadavg: 8.20 7.87 7.06 10/188 11803
/proc/meminfo: memFree=29346544/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=695568 CPUtime=3045.1 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 455120 0 0 0 304353 157 0 0 25 0 4 0 522578661 712261632 120281 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 173892 120281 389 106 0 168863 0
[pid=11775/tid=11777] ppid=11771 vsize=695568 CPUtime=762.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 115059 0 0 0 76190 41 0 0 25 0 4 0 522578662 712261632 120281 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=695568 CPUtime=762.3 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 128221 0 0 0 76188 42 0 0 25 0 4 0 522578662 712261632 120281 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=695568 CPUtime=758.14 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 119606 0 0 0 75772 42 0 0 25 0 4 0 522578662 712261632 120281 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.1
Current children cumulated vsize (KiB) 695568

[startup+822.301 s]
/proc/loadavg: 8.31 7.95 7.14 10/188 11805
/proc/meminfo: memFree=29347124/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=645680 CPUtime=3284.76 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 474701 0 0 0 328311 165 0 0 25 0 4 0 522578661 661176320 126044 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 161420 126044 389 106 0 156391 0
[pid=11775/tid=11777] ppid=11771 vsize=645680 CPUtime=822.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 121286 0 0 0 82187 44 0 0 25 0 4 0 522578662 661176320 126044 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=645680 CPUtime=822.3 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 133497 0 0 0 82185 45 0 0 25 0 4 0 522578662 661176320 126044 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=645680 CPUtime=817.81 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 127329 0 0 0 81736 45 0 0 25 0 4 0 522578662 661176320 126044 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 645680

[startup+882.301 s]
/proc/loadavg: 8.22 7.99 7.20 10/188 11806
/proc/meminfo: memFree=29265472/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=748664 CPUtime=3524.43 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 495600 0 0 0 352269 174 0 0 25 0 4 0 522578661 766631936 129380 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 187166 129380 389 106 0 182137 0
[pid=11775/tid=11777] ppid=11771 vsize=748664 CPUtime=882.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 126630 0 0 0 88185 46 0 0 25 0 4 0 522578662 766631936 129380 33554432000 4194304 4627427 140736999214512 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=748664 CPUtime=882.3 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 138512 0 0 0 88181 49 0 0 25 0 4 0 522578662 766631936 129380 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=748664 CPUtime=877.48 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 137313 0 0 0 87700 48 0 0 25 0 4 0 522578662 766631936 129380 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 748664

[startup+942.301 s]
/proc/loadavg: 8.28 8.05 7.27 10/188 11808
/proc/meminfo: memFree=29259984/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=633608 CPUtime=3764.11 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 513839 0 0 0 376229 182 0 0 25 0 4 0 522578661 648814592 125238 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 158402 125238 389 106 0 153373 0
[pid=11775/tid=11777] ppid=11771 vsize=633608 CPUtime=942.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 130375 0 0 0 94183 48 0 0 25 0 4 0 522578662 648814592 125238 33554432000 4194304 4627427 140736999214512 18446744073709551615 4324799 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=633608 CPUtime=942.3 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 143761 0 0 0 94180 50 0 0 25 0 4 0 522578662 648814592 125238 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=633608 CPUtime=937.16 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 143424 0 0 0 93665 51 0 0 25 0 4 0 522578662 648814592 125238 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 633608

[startup+1002.3 s]
/proc/loadavg: 8.19 8.07 7.32 10/188 11810
/proc/meminfo: memFree=29213796/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=699448 CPUtime=4003.79 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 540564 0 0 0 400187 192 0 0 25 0 4 0 522578661 716234752 130243 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 174862 130243 389 106 0 169833 0
[pid=11775/tid=11777] ppid=11771 vsize=699448 CPUtime=1002.32 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 137177 0 0 0 100181 51 0 0 25 0 4 0 522578662 716234752 130243 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=699448 CPUtime=1002.31 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 150521 0 0 0 100178 53 0 0 25 0 4 0 522578662 716234752 130243 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=699448 CPUtime=996.83 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 149790 0 0 0 99630 53 0 0 25 0 4 0 522578662 716234752 130243 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 699448

[startup+1062.3 s]
/proc/loadavg: 8.31 8.13 7.38 10/188 11820
/proc/meminfo: memFree=29193444/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=752408 CPUtime=4243.46 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 563837 0 0 0 424144 202 0 0 25 0 4 0 522578661 770465792 128438 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 188102 128438 389 106 0 183073 0
[pid=11775/tid=11777] ppid=11771 vsize=752408 CPUtime=1062.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 141117 0 0 0 106179 52 0 0 25 0 4 0 522578662 770465792 128438 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=752408 CPUtime=1062.3 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 157452 0 0 0 106174 56 0 0 25 0 4 0 522578662 770465792 128438 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=752408 CPUtime=1056.5 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 155404 0 0 0 105595 55 0 0 25 0 4 0 522578662 770465792 128438 33554432000 4194304 4627427 140736999214512 18446744073709551615 4324120 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 752408

[startup+1122.3 s]
/proc/loadavg: 8.16 8.12 7.42 10/188 11822
/proc/meminfo: memFree=29183988/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=752900 CPUtime=4483.13 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 583998 0 0 0 448102 211 0 0 25 0 4 0 522578661 770969600 136244 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309164 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 188225 136244 389 106 0 183196 0
[pid=11775/tid=11777] ppid=11771 vsize=752900 CPUtime=1122.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 144323 0 0 0 112178 53 0 0 25 0 4 0 522578662 770969600 136244 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=752900 CPUtime=1122.29 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 162618 0 0 0 112169 60 0 0 25 0 4 0 522578662 770969600 136244 33554432000 4194304 4627427 140736999214512 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=752900 CPUtime=1116.18 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 163021 0 0 0 111561 57 0 0 25 0 4 0 522578662 770969600 136244 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.13
Current children cumulated vsize (KiB) 752900

[startup+1182.3 s]
/proc/loadavg: 8.11 8.11 7.46 10/188 11823
/proc/meminfo: memFree=29206512/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=753300 CPUtime=4722.82 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 608415 0 0 0 472060 222 0 0 25 0 4 0 522578661 771379200 133432 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 188325 133432 389 106 0 183296 0
[pid=11775/tid=11777] ppid=11771 vsize=753300 CPUtime=1182.31 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 148693 0 0 0 118177 54 0 0 25 0 4 0 522578662 771379200 133432 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=753300 CPUtime=1182.29 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 171184 0 0 0 118165 64 0 0 25 0 4 0 522578662 771379200 133432 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=753300 CPUtime=1175.85 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 169702 0 0 0 117525 60 0 0 25 0 4 0 522578662 771379200 133432 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 753300



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.08 8.10 7.47 10/188 11824
/proc/meminfo: memFree=29176116/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=753568 CPUtime=4800.32 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 613465 0 0 0 479808 224 0 0 25 0 4 0 522578661 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 188392 134819 389 106 0 183363 0
[pid=11775/tid=11777] ppid=11771 vsize=753568 CPUtime=1201.72 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 148693 0 0 0 120118 54 0 0 25 0 4 0 522578662 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=753568 CPUtime=1201.7 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 172701 0 0 0 120105 65 0 0 25 0 4 0 522578662 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=753568 CPUtime=1195.14 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 170785 0 0 0 119454 60 0 0 25 0 4 0 522578662 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 753568

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

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

[startup+1201.7 s]
/proc/loadavg: 8.08 8.10 7.47 10/188 11824
/proc/meminfo: memFree=29176116/32951124 swapFree=67102692/67111528
[pid=11775] ppid=11771 vsize=753568 CPUtime=4800.32 cores=0,2,4,6
/proc/11775/stat : 11775 (strangenight2-m) R 11771 11775 11448 0 -1 4202496 613465 0 0 0 479808 224 0 0 25 0 4 0 522578661 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/11775/statm: 188392 134819 389 106 0 183363 0
[pid=11775/tid=11777] ppid=11771 vsize=753568 CPUtime=1201.72 cores=0,2,4,6
/proc/11775/task/11777/stat : 11777 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 148693 0 0 0 120118 54 0 0 25 0 4 0 522578662 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=11775/tid=11779] ppid=11771 vsize=753568 CPUtime=1201.7 cores=0,2,4,6
/proc/11775/task/11779/stat : 11779 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 172701 0 0 0 120105 65 0 0 25 0 4 0 522578662 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=11775/tid=11781] ppid=11771 vsize=753568 CPUtime=1195.14 cores=0,2,4,6
/proc/11775/task/11781/stat : 11781 (strangenight2-m) R 11771 11775 11448 0 -1 4202560 170785 0 0 0 119454 60 0 0 25 0 4 0 522578662 771653632 134819 33554432000 4194304 4627427 140736999214512 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 753568

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.38
CPU user time (s): 4798.11
CPU system time (s): 2.27565
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 867732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.11
system time used= 2.27565
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 613466
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= 231
involuntary context switches= 87808

runsolver used 1.73673 second user time and 4.83326 second system time

The end

Launcher Data 

Begin job on node134 at 2011-04-29 22:43:25
IDJOB=3174177
IDBENCH=82995
IDSOLVER=1586
FILE ID=node134/3174177-1304109805
RUNJOBID= node134-1304109804-11756
PBS_JOBID= 13170663
Free space on /tmp= 71584 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
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-3174177-1304109805/watcher-3174177-1304109805 -o /tmp/evaluation-result-3174177-1304109805/solver-3174177-1304109805 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174177-1304109805.cnf

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

MD5SUM BENCH= db052c7898d14b578cec80f7488daf9a
RANDOM SEED=824429255

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30132704 kB
Buffers:        991832 kB
Cached:        1370712 kB
SwapCached:       4400 kB
Active:         124076 kB
Inactive:      2297600 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30132704 kB
SwapTotal:    67111528 kB
SwapFree:     67102692 kB
Dirty:           11776 kB
Writeback:           0 kB
AnonPages:       56732 kB
Mapped:          14528 kB
Slab:           334536 kB
PageTables:       4852 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   190676 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71572 MiB
End job on node134 at 2011-04-29 23:03:28