Trace number 3366305

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.09 1203.04

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
MD5SUM75e4af5315c8af778f17bf3a82042c9e
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366305-1305401168.cnf'
0.00/0.01	c -- header says num vars:            700
0.00/0.01	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 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:    700 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:     16  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:     303 undec:      79 neg:     318
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       684      2959         0         0      8956         0   no data   no data
0.05/0.07	c Decided on static restart strategy
0.37/0.18	c  N st     8      4921       684      2959         0      4845      8956    130776   no data   no data
1.56/0.46	c  N st    10     11304       684      2959         0      4501      8956     88701   no data   no data
2.77/0.75	c  N st    11     17047       684      2959         0     10172      8956    258497   no data   no data
4.76/1.22	c  F st    12     25000       684      2959         0     12445      8956    319497   no data   no data
4.76/1.22	c  N st    12     25000       684      2959         0     12445      8956    319497   no data   no data
5.56/1.49	c  N dy    18     30000       684      2959         0     10737      8956    245342   no data   no data
5.56/1.49	c  S st    18     30000       684      2959         0     10737      8956    245342   no data   no data
5.96/1.52	c  S st    18     30504       684      2959         0     11241      8956    258927   no data   no data
5.96/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.52	c blocked clauses removed:        0 vars:      0 tried:         684 T: 0.00 s
5.96/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
5.96/1.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.59	c lits-rem:        72  cl-subs:      307  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.59	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.01
5.96/1.59	c calculated reachability. Time: 0.00
5.96/1.59	c  N dy    18     30504       684      2959         0     10934      8956    248490   no data   no data
7.15/1.87	c  N dy    28     34744       684      2959         0     15134      8956    366036     19.28     20.95
8.37/2.19	c  N dy    43     40711       684      2959         0     13213      8956    259754     18.44     19.45
9.54/2.47	c  N dy    67     44739       684      2959         0     17225      8956    372037     18.53     19.58
9.94/2.54	c  S st    74     45756       684      2959         0      9346      8956    122367     18.55   no data
9.94/2.57	c  S st    74     46259       684      2959         0      9849      8956    135905     18.55   no data
9.94/2.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
9.94/2.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.58	c lits-rem:         7  cl-subs:       18  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.59	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
9.94/2.59	c vivif2 --  cl tried     9831 cl shrink        0 lits rem          0 time: 0.00
9.94/2.59	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.01
9.94/2.59	c calculated reachability. Time: 0.00
9.94/2.59	c  N dy    74     46259       684      2959         0      9831      8956    135299     18.55   no data
11.14/2.83	c  N dy    97     50272       684      2959         0     13816      8956    246011     18.74     19.85
12.34/3.10	c  N dy   119     54293       684      2959         0     17815      8956    356961     18.83     19.88
13.18/3.37	c  N dy   138     58426       684      2959         0     12008      8956    168624     18.85     19.92
14.34/3.62	c  N dy   153     62524       684      2959         0     16079      8956    280262     18.80     19.88
15.53/3.93	c  N dy   176     66594       684      2959         0     20126      8956    391865     18.84     20.06
16.33/4.15	c  S st   199     69388       684      2959         0     11975      8956    144104     18.96   no data
16.33/4.18	c  S st   199     69891       684      2959         0     12476      8956    157486     18.96   no data
16.33/4.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
16.33/4.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.33/4.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.20	c lits-rem:        10  cl-subs:       19  v-elim:      0  v-fix:    0  time:  0.01 s
16.73/4.20	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
16.73/4.20	c vivif2 --  cl tried    12457 cl shrink        0 lits rem          0 time: 0.00
16.73/4.21	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.01
16.73/4.21	c calculated reachability. Time: 0.00
16.73/4.21	c  N dy   199     69891       684      2959         0     12457      8956    156757     18.96   no data
17.93/4.52	c  N dy   229     74451       684      2959         0     16996      8956    284144     19.05     20.10
19.53/4.97	c  N dy   247     80344       684      2959         0     22847      8956    447313     19.03     20.19
21.12/5.37	c  N dy   254     85993       684      2959         0     16512      8956    244059     18.90     19.91
21.54/5.48	c  F st   265     87500       684      2959         0     18008      8956    285425     18.93   no data
23.11/5.87	c Decided on static restart strategy
23.11/5.87	c  N st   271     92694       684      2959         0     23160      8956    436051     18.93   no data
25.52/6.44	c  N st   273     99808       684      2959         0     17293      8956    405944     18.93   no data
27.10/6.90	c  S st   274    104837       684      2959         0     22256      8956    553881     18.93   no data
27.50/6.95	c  S st   274    105343       684      2959         0     22762      8956    566904     18.93   no data
27.50/6.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.50/6.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.50/6.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.50/6.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
27.50/6.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.50/6.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.50/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.70/7.26	c lits-rem:       214  cl-subs:      857  v-elim:      0  v-fix:    0  time:  0.28 s
28.70/7.27	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
28.70/7.27	c vivif2 --  cl tried    21905 cl shrink        0 lits rem          0 time: 0.01
28.70/7.29	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.01
28.70/7.29	c calculated reachability. Time: 0.00
28.70/7.29	c  N st   274    105343       684      2959         0     21905      8956    534361     18.93   no data
32.29/8.12	c  N st   275    114944       684      2959         0     17604      8956    344135     18.93   no data
38.28/9.63	c  N st   276    129342       684      2959         0     16975      8956    333660     18.93   no data
46.66/11.73	c  N st   277    150937       684      2959         0     22521      8956    455184     18.93   no data
49.85/12.50	c  S st   278    158014       684      2959         0     29494      8956    671434     18.93   no data
49.85/12.58	c  S st   278    158518       684      2959         0     29998      8956    685272     18.93   no data
49.85/12.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.85/12.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.85/12.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.85/12.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.85/12.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.85/12.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
49.85/12.60	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
50.25/12.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.25/12.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.68/13.23	c lits-rem:       280  cl-subs:     1423  v-elim:      0  v-fix:    0  time:  0.60 s
52.68/13.23	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
52.68/13.23	c vivif2 --  cl tried    28575 cl shrink        0 lits rem          0 time: 0.01
52.68/13.25	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.02
52.68/13.25	c calculated reachability. Time: 0.00
52.68/13.25	c  N st   278    158518       684      2959         0     28575      8956    637320     18.93   no data
74.98/18.86	c  N st   279    207106       684      2959         0     23173      8956    419028     18.93   no data
90.55/22.70	c  N st   280    237778       684      2959         0     33637      8956    709101     18.93   no data
90.55/22.70	c  S st   280    237778       684      2959         0     33637      8956    709101     18.93   no data
90.55/22.78	c  S st   280    238282       684      2959         0     34141      8956    723160     18.93   no data
90.55/22.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.55/22.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
90.55/22.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.55/22.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.55/22.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.55/22.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
90.55/22.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
90.94/22.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.94/22.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.13/23.67	c lits-rem:       261  cl-subs:     1841  v-elim:      0  v-fix:    0  time:  0.84 s
94.13/23.67	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
94.13/23.68	c vivif2 --  cl tried    32300 cl shrink        0 lits rem          0 time: 0.01
94.53/23.70	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.02
94.53/23.70	c calculated reachability. Time: 0.00
94.53/23.70	c  N st   280    238282       684      2959         0     32300      8956    666605     18.93   no data
128.05/32.20	c  F st   281    306251       684      2959         0     34530      8956    687458     18.93   no data
128.05/32.20	c  N st   281    306251       684      2959         0     34530      8956    687458     18.93   no data
140.04/35.11	c  N dy   365    327242       684      2959         0     31529      8956    481366     19.01     20.15
151.59/38.05	c  N dy   432    348716       684      2959         0     28006      8956    347442     18.81     19.88
155.98/39.10	c  S st   470    357424       684      2959         0     36648      8956    587610     18.82     19.59
155.98/39.19	c  S st   470    357930       684      2959         0     37152      8956    601735     18.82   no data
155.98/39.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
156.38/39.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
156.38/39.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.38/39.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.38/39.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.38/39.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
156.38/39.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
156.38/39.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
156.38/39.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
157.17/39.41	c lits-rem:        91  cl-subs:      414  v-elim:      0  v-fix:    0  time:  0.17 s
157.17/39.41	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
157.17/39.42	c vivif2 --  cl tried    36738 cl shrink        0 lits rem          0 time: 0.01
157.17/39.44	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.03
157.17/39.44	c calculated reachability. Time: 0.00
157.17/39.44	c  N dy   470    357930       684      2959         0     36738      8956    589511     18.82   no data
169.55/42.52	c  N dy   554    378117       684      2959         0     30967      8956    392128     18.83     19.89
181.51/45.56	c  N dy   624    398224       684      2959         0     50895      8956    946375     18.80     20.17
193.13/48.43	c  N dy   716    418285       684      2959         0     44054      8956    731680     18.81     20.19
205.87/51.61	c  N dy   819    438323       684      2959         0     36161      8956    485682     18.87     19.93
219.46/55.02	c  N dy   906    458416       684      2959         0     56051      8956   1033694     18.88     24.89
230.99/57.98	c  N dy  1005    478459       684      2959         0     47185      8956    768562     18.93     20.03
246.15/61.73	c  N dy  1074    502349       684      2959         0     41114      8956    583809     18.89     20.04
261.32/65.53	c  N dy  1158    522393       684      2959         0     60998      8956   1144041     18.90     25.98
269.69/67.64	c  S st  1253    536895       684      2959         0     44651      8956    656394     18.95     18.57
270.09/67.75	c  S st  1253    537398       684      2959         0     45154      8956    670890     18.95   no data
270.09/67.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
270.09/67.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
270.09/67.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
270.09/67.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
270.09/67.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.09/67.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
270.09/67.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
270.09/67.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
270.49/67.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.29/68.05	c lits-rem:       196  cl-subs:      360  v-elim:      0  v-fix:    0  time:  0.25 s
271.29/68.05	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
271.29/68.06	c vivif2 --  cl tried    44794 cl shrink        0 lits rem          0 time: 0.01
271.29/68.09	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.03
271.29/68.10	c calculated reachability. Time: 0.00
271.29/68.10	c  N dy  1253    537398       684      2959         0     44794      8956    658536     18.95   no data
289.68/72.62	c  N dy  1331    562457       684      2959         0     37851      8956    429186     18.91     19.98
303.61/76.14	c  N dy  1395    582527       684      2959         0     57697      8956    981078     18.90     21.23
317.57/79.63	c  N dy  1481    602600       684      2959         0     44929      8956    612843     18.91     24.57
335.93/84.23	c  N dy  1587    624461       684      2959         0     66536      8956   1218258     18.92     19.94
348.70/87.44	c  N dy  1648    644712       684      2959         0     52928      8956    808264     18.90     20.08
365.86/91.72	c  N dy  1760    664854       684      2959         0     38246      8956    374918     18.94     19.94
379.82/95.20	c  N dy  1800    685158       684      2959         0     58350      8956    949461     18.89     19.92
396.98/99.56	c  N dy  1886    705590       684      2959         0     42956      8956    484584     18.89     20.00
414.94/104.05	c  N dy  1975    726131       684      2959         0     63326      8956   1061200     18.90     20.13
433.69/108.71	c  N dy  2041    749996       684      2959         0     50283      8956    665668     18.87     19.88
451.67/113.29	c  N dy  2136    770167       684      2959         0     70244      8956   1224292     18.89     19.92
467.61/117.21	c  N dy  2234    790459       684      2959         0     52723      8956    715606     18.90     20.23
480.78/120.57	c  S st  2275    806102       684      2959         0     68139      8956   1129894     18.89     15.05
481.57/120.75	c  S st  2275    806603       684      2959         0     68639      8956   1144170     18.89   no data
481.57/120.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
481.57/120.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
481.57/120.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
481.57/120.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
481.57/120.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
481.57/120.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
481.57/120.79	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
481.97/120.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
481.97/120.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.16/121.68	c lits-rem:       247  cl-subs:     1669  v-elim:      0  v-fix:    0  time:  0.84 s
485.16/121.68	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
485.16/121.69	c vivif2 --  cl tried    66970 cl shrink        0 lits rem          0 time: 0.01
485.56/121.75	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.06
485.56/121.76	c calculated reachability. Time: 0.00
485.56/121.76	c  N dy  2275    806603       684      2959         0     66970      8956   1097192     18.89   no data
503.12/126.10	c  N dy  2361    826627       684      2959         0     48216      8956    568387     18.90     20.94
519.87/130.38	c  N dy  2453    846667       684      2959         0     68113      8956   1136672     18.92     21.85
539.03/135.14	c  N dy  2586    866780       684      2959         0     48439      8956    554357     18.96     19.97
556.59/139.50	c  N dy  2612    887241       684      2959         0     68585      8956   1099344     18.91     19.91
594.49/149.06	c  N dy  2697    931217       684      2959         0     71372      8956   1144835     18.83     19.83
614.83/154.18	c  N dy  2842    951660       684      2959         0     50161      8956    560215     18.87     20.10
639.98/160.41	c  N dy  2956    978398       684      2959         0     76643      8956   1304986     18.87     19.99
657.53/164.82	c  N dy  3037    998439       684      2959         0     53946      8956    645215     18.87     22.36
678.68/170.15	c  N dy  3162   1020311       684      2959         0     75606      8956   1259014     18.89     20.05
699.43/175.40	c  N dy  3220   1041690       684      2959         0     53120      8956    582259     18.87     19.96
719.81/180.47	c  N dy  3317   1063149       684      2959         0     74385      8956   1185578     18.88     19.95
730.95/183.25	c  F st  3372   1071876       684      2959         0     83015      8956   1429429     18.89   no data
736.95/184.77	c Decided on static restart strategy
742.52/186.12	c  N st  3380   1084184       684      2959         0     50647      8956    620736     18.89   no data
770.45/193.19	c  N st  3383   1114578       684      2959         0     80410      8956   1502626     18.89   no data
789.20/197.81	c  N st  3384   1136178       684      2959         0     56512      8956   1087088     18.89   no data
817.52/204.99	c  N st  3385   1168572       684      2959         0     88358      8956   2066970     18.89   no data
861.42/215.95	c  N st  3386   1209906       684      2959         0     82773      8956   1849812     18.89   no data
861.42/215.95	c  S st  3386   1209906       684      2959         0     82773      8956   1849812     18.89   no data
862.62/216.20	c  S st  3386   1210407       684      2959         0     83273      8956   1864524     18.89   no data
862.62/216.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
862.62/216.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
862.62/216.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
862.62/216.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
862.62/216.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
862.62/216.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
862.62/216.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
862.62/216.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
863.02/216.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
888.56/222.78	c lits-rem:       876  cl-subs:     4083  v-elim:      0  v-fix:    0  time:  6.44 s
888.56/222.78	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
888.96/222.81	c vivif2 --  cl tried    79190 cl shrink        0 lits rem          0 time: 0.03
888.96/222.89	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.09
888.96/222.90	c calculated reachability. Time: 0.00
888.96/222.90	c  N st  3386   1210407       684      2959         0     79190      8956   1737408     18.89   no data
960.38/240.77	c  N st  3387   1283289       684      2959         0     55487      8956    877907     18.89   no data
1061.32/266.07	c  N st  3388   1392612       684      2959         0     63608      8956   1066470     18.89   no data
1225.72/307.26	c  N st  3389   1556597       684      2959         0     68444      8956   1127603     18.89   no data
1394.50/349.59	c  N st  3390   1710407       684      2959         0    110324      8956   2419938     18.89   no data
1394.50/349.59	c  S st  3390   1710407       684      2959         0    110324      8956   2419938     18.89   no data
1396.09/349.95	c  S st  3390   1710910       684      2959         0    110827      8956   2434272     18.89   no data
1396.09/349.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1396.49/350.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1396.49/350.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1396.49/350.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1396.49/350.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1396.49/350.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
1396.49/350.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1396.49/350.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1396.89/350.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1464.32/367.07	c lits-rem:       683  cl-subs:     6353  v-elim:      0  v-fix:    0  time: 16.95 s
1464.32/367.07	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
1464.72/367.10	c vivif2 --  cl tried   104474 cl shrink        0 lits rem          0 time: 0.03
1465.12/367.23	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.12
1465.12/367.23	c calculated reachability. Time: 0.00
1465.12/367.23	c  N st  3390   1710910       684      2959         0    104474      8956   2235426     18.89   no data
1897.25/475.59	c  N st  3391   2079875       684      2959         0    116734      8956   2327474     18.89   no data
2065.23/517.68	c  N st  3392   2210910       684      2959         0    120250      8956   2418375     18.89   no data
2065.23/517.68	c  S st  3392   2210910       684      2959         0    120250      8956   2418375     18.89   no data
2066.84/518.07	c  S st  3392   2211410       684      2959         0    120750      8956   2432586     18.89   no data
2066.84/518.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2067.26/518.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2067.26/518.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2067.26/518.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2067.26/518.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2067.26/518.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
2067.26/518.15	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2067.26/518.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2067.62/518.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2151.40/539.23	c lits-rem:      1126  cl-subs:     7916  v-elim:      0  v-fix:    0  time: 20.98 s
2151.40/539.23	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
2151.40/539.26	c vivif2 --  cl tried   112834 cl shrink        0 lits rem          0 time: 0.03
2152.20/539.40	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.14
2152.20/539.41	c calculated reachability. Time: 0.00
2152.20/539.41	c  N st  3392   2211410       684      2959         0    112834      8956   2200106     18.89   no data
2794.21/700.34	c  N st  3393   2711413       684      2959         0    136149      8956   2694264     18.89   no data
2794.21/700.34	c  S st  3393   2711413       684      2959         0    136149      8956   2694264     18.89   no data
2796.20/700.80	c  S st  3393   2711918       684      2959         0    136653      8956   2708567     18.89   no data
2796.20/700.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2796.20/700.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2796.20/700.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2796.20/700.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2796.20/700.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2796.20/700.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
2796.20/700.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2796.60/700.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2797.00/701.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2909.96/729.32	c lits-rem:      1018  cl-subs:     9863  v-elim:      0  v-fix:    0  time: 28.32 s
2909.96/729.32	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
2909.96/729.35	c vivif2 --  cl tried   126790 cl shrink        0 lits rem          0 time: 0.04
2910.71/729.51	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.15
2910.71/729.51	c calculated reachability. Time: 0.00
2910.71/729.51	c  N st  3393   2711918       684      2959         0    126790      8956   2444042     18.89   no data
3577.08/896.54	c  N st  3394   3211919       684      2959         0    102669      8956   1580021     18.89   no data
3577.08/896.54	c  S st  3394   3211919       684      2959         0    102669      8956   1580021     18.89   no data
3578.24/896.87	c  S st  3394   3212424       684      2959         0    103172      8956   1594769     18.89   no data
3578.24/896.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3578.65/896.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3578.65/896.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3578.65/896.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3578.65/896.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3578.65/896.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
3578.65/896.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3578.65/896.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3579.04/897.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3596.99/901.51	c lits-rem:       266  cl-subs:     3896  v-elim:      0  v-fix:    0  time:  4.50 s
3596.99/901.51	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
3596.99/901.53	c vivif2 --  cl tried    99276 cl shrink        0 lits rem          0 time: 0.02
3597.39/901.64	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.11
3597.39/901.65	c calculated reachability. Time: 0.00
3597.39/901.65	c  N st  3394   3212424       684      2959         0     99276      8956   1490166     18.89   no data
4404.59/1103.94	c  N st  3395   3712425       684      2959         0    110396      8956   1708337     18.89   no data
4404.59/1103.94	c  S st  3395   3712425       684      2959         0    110396      8956   1708337     18.89   no data
4405.79/1104.28	c  S st  3395   3712932       684      2959         0    110902      8956   1723252     18.89   no data
4405.79/1104.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4406.20/1104.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4406.20/1104.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4406.20/1104.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4406.20/1104.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4406.20/1104.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
4406.20/1104.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4406.20/1104.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4406.62/1104.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4424.17/1108.81	c lits-rem:       330  cl-subs:     3187  v-elim:      0  v-fix:    0  time:  4.38 s
4424.17/1108.81	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
4424.17/1108.84	c vivif2 --  cl tried   107715 cl shrink        0 lits rem          0 time: 0.02
4424.53/1108.96	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.12
4424.53/1108.96	c calculated reachability. Time: 0.00
4424.53/1108.96	c  N st  3395   3712932       684      2959         0    107715      8956   1636966     18.89   no data
4487.18/1124.64	c  F st  3396   3751562       684      2959         0    145663      8956   2797515     18.89   no data
4487.18/1124.64	c  N st  3396   3751562       684      2959         0    145663      8956   2797515     18.89   no data
4498.37/1127.44	c Decided on static restart strategy
4539.05/1137.61	c  N st  3406   3779870       684      2959         0     90150      8956   1056443     18.89   no data
4590.97/1150.61	c  N st  3408   3815862       684      2959         0    125521      8956   2158900     18.89   no data
4657.55/1167.31	c  N st  3409   3848254       684      2959         0    157417      8956   3129801     18.89   no data
4745.33/1189.33	c  N st  3410   3896842       684      2959         0    120636      8956   1950130     18.89   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-3366305-1305401168/watcher-3366305-1305401168 -o /tmp/evaluation-result-3366305-1305401168/solver-3366305-1305401168 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366305-1305401168.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: 8.06 8.08 7.97 6/311 13687
/proc/meminfo: memFree=12323676/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 406 0 0 0 0 0 0 0 22 0 4 0 651715600 52396032 347 33554432000 4194304 4580107 140736130725488 18446744073709551615 47916897540016 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 12792 347 299 95 0 7774 0
[pid=13687/tid=13688] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 651715600 52396032 347 33554432000 4194304 4580107 140736130725488 18446744073709551615 47916897540012 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651715600 52396032 347 33554432000 4194304 4580107 140736130725488 18446744073709551615 47916897540018 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 651715601 52396032 347 33554432000 4194304 4580107 140736130725488 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0222849 s]
/proc/loadavg: 8.06 8.08 7.97 6/311 13687
/proc/meminfo: memFree=12323676/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=282276 CPUtime=0.05 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 1488 0 0 0 5 0 0 0 24 0 4 0 651715600 289050624 1301 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293685 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 70569 1301 376 95 0 65551 0
[pid=13687/tid=13688] ppid=13685 vsize=282276 CPUtime=0.01 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 288 0 0 0 1 0 0 0 24 0 4 0 651715600 289050624 1301 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=282276 CPUtime=0.01 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 321 0 0 0 1 0 0 0 24 0 4 0 651715600 289050624 1301 33554432000 4194304 4580107 140736130725488 18446744073709551615 4295946 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=282276 CPUtime=0 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 165 0 0 0 0 0 0 0 25 0 4 0 651715601 289050624 1301 33554432000 4194304 4580107 140736130725488 18446744073709551615 4295860 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 282276

[startup+0.100271 s]
/proc/loadavg: 8.06 8.08 7.97 6/311 13687
/proc/meminfo: memFree=12323676/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=282408 CPUtime=0.37 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 1913 0 0 0 37 0 0 0 24 0 4 0 651715600 289185792 1726 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293073 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 70602 1726 377 95 0 65584 0
[pid=13687/tid=13688] ppid=13685 vsize=282408 CPUtime=0.09 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 391 0 0 0 9 0 0 0 24 0 4 0 651715600 289185792 1726 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=282408 CPUtime=0.09 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 421 0 0 0 9 0 0 0 24 0 4 0 651715600 289185792 1726 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=282408 CPUtime=0.08 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 283 0 0 0 8 0 0 0 25 0 4 0 651715601 289185792 1726 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282408

[startup+0.300236 s]
/proc/loadavg: 8.06 8.08 7.97 6/311 13687
/proc/meminfo: memFree=12323676/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=284104 CPUtime=1.16 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 3063 0 0 0 116 0 0 0 25 0 4 0 651715600 290922496 2209 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 71026 2209 377 95 0 66008 0
[pid=13687/tid=13688] ppid=13685 vsize=284104 CPUtime=0.29 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 666 0 0 0 29 0 0 0 25 0 4 0 651715600 290922496 2209 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=284104 CPUtime=0.29 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 702 0 0 0 29 0 0 0 25 0 4 0 651715600 290922496 2209 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=284104 CPUtime=0.28 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 587 0 0 0 28 0 0 0 25 0 4 0 651715601 290922496 2209 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 284104

[startup+0.700166 s]
/proc/loadavg: 8.06 8.08 7.97 6/311 13687
/proc/meminfo: memFree=12323676/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=285020 CPUtime=2.77 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 4776 0 0 0 276 1 0 0 25 0 4 0 651715600 291860480 2894 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 71255 2894 377 95 0 66237 0
[pid=13687/tid=13688] ppid=13685 vsize=285020 CPUtime=0.69 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 1086 0 0 0 69 0 0 0 25 0 4 0 651715600 291860480 2894 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=285020 CPUtime=0.69 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 1137 0 0 0 69 0 0 0 25 0 4 0 651715600 291860480 2894 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=285020 CPUtime=0.68 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 1016 0 0 0 68 0 0 0 25 0 4 0 651715601 291860480 2894 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285020

[startup+1.50103 s]
/proc/loadavg: 8.06 8.08 7.97 10/315 13691
/proc/meminfo: memFree=12304596/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=286576 CPUtime=5.96 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 8230 0 0 0 595 1 0 0 25 0 4 0 651715600 293453824 3454 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294558 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 71644 3454 378 95 0 66626 0
[pid=13687/tid=13688] ppid=13685 vsize=286576 CPUtime=1.48 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 1957 0 0 0 148 0 0 0 25 0 4 0 651715600 293453824 3454 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=286576 CPUtime=1.49 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 1998 0 0 0 149 0 0 0 25 0 4 0 651715600 293453824 3454 33554432000 4194304 4580107 140736130725488 18446744073709551615 4487413 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=286576 CPUtime=1.47 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 1885 0 0 0 147 0 0 0 25 0 4 0 651715601 293453824 3454 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286576

[startup+3.10075 s]
/proc/loadavg: 8.06 8.08 7.97 10/315 13691
/proc/meminfo: memFree=12276944/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=283076 CPUtime=12.34 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 19733 0 0 0 1231 3 0 0 25 0 4 0 651715600 289869824 10915 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293222 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 70769 10915 379 95 0 65751 0
[pid=13687/tid=13688] ppid=13685 vsize=283076 CPUtime=3.09 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 4292 0 0 0 308 1 0 0 25 0 4 0 651715600 289869824 10915 33554432000 4194304 4580107 140736130725488 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=283076 CPUtime=3.08 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 5450 0 0 0 308 0 0 0 25 0 4 0 651715600 289869824 10915 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=283076 CPUtime=3.06 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 4976 0 0 0 305 1 0 0 25 0 4 0 651715601 289869824 10915 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 283076

[startup+6.30119 s]
/proc/loadavg: 8.05 8.07 7.97 9/315 13691
/proc/meminfo: memFree=12226856/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=302184 CPUtime=25.11 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 30101 0 0 0 2506 5 0 0 25 0 4 0 651715600 309436416 14401 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294462 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 75546 14401 379 95 0 70528 0
[pid=13687/tid=13688] ppid=13685 vsize=302184 CPUtime=6.28 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 8190 0 0 0 627 1 0 0 25 0 4 0 651715600 309436416 14401 33554432000 4194304 4580107 140736130725488 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=302184 CPUtime=6.28 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 7639 0 0 0 628 0 0 0 25 0 4 0 651715600 309436416 14401 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=302184 CPUtime=6.22 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 7159 0 0 0 621 1 0 0 25 0 4 0 651715601 309436416 14401 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 302184

[startup+12.7011 s]
/proc/loadavg: 8.05 8.07 7.97 10/315 13692
/proc/meminfo: memFree=12156168/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=297104 CPUtime=50.64 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 51661 0 0 0 5054 10 0 0 25 0 4 0 651715600 304234496 27308 33554432000 4194304 4580107 140736130725488 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 74276 27308 379 95 0 69258 0
[pid=13687/tid=13688] ppid=13685 vsize=297104 CPUtime=12.68 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 12438 0 0 0 1266 2 0 0 25 0 4 0 651715600 304234496 27308 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=297104 CPUtime=12.68 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 12773 0 0 0 1267 1 0 0 25 0 4 0 651715600 304234496 27308 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=297104 CPUtime=12.56 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 12557 0 0 0 1254 2 0 0 25 0 4 0 651715601 304234496 27308 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 297104

[startup+25.5008 s]
/proc/loadavg: 8.11 8.09 7.97 10/315 13692
/proc/meminfo: memFree=12094664/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=307352 CPUtime=101.71 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 71536 0 0 0 10155 16 0 0 25 0 4 0 651715600 314728448 34322 33554432000 4194304 4580107 140736130725488 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 76838 34322 379 95 0 71820 0
[pid=13687/tid=13688] ppid=13685 vsize=307352 CPUtime=25.48 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 15842 0 0 0 2545 3 0 0 25 0 4 0 651715600 314728448 34322 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=307352 CPUtime=25.48 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 18876 0 0 0 2546 2 0 0 25 0 4 0 651715600 314728448 34322 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=307352 CPUtime=25.23 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 17368 0 0 0 2518 5 0 0 25 0 4 0 651715601 314728448 34322 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.71
Current children cumulated vsize (KiB) 307352

[startup+51.1003 s]
/proc/loadavg: 8.17 8.11 7.98 10/315 13693
/proc/meminfo: memFree=12049752/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=322120 CPUtime=203.86 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 105172 0 0 0 20360 26 0 0 25 0 4 0 651715600 329850880 38414 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 80530 38414 379 95 0 75512 0
[pid=13687/tid=13688] ppid=13685 vsize=322120 CPUtime=51.08 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 21425 0 0 0 5102 6 0 0 25 0 4 0 651715600 329850880 38414 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=322120 CPUtime=51.09 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 30143 0 0 0 5103 6 0 0 25 0 4 0 651715600 329850880 38414 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=322120 CPUtime=50.58 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 26766 0 0 0 5051 7 0 0 25 0 4 0 651715601 329850880 38414 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.86
Current children cumulated vsize (KiB) 322120

[startup+102.311 s]
/proc/loadavg: 8.07 8.09 7.98 10/315 13694
/proc/meminfo: memFree=11997768/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=334012 CPUtime=408.19 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 155036 0 0 0 40776 43 0 0 25 0 4 0 651715600 342028288 46444 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 83503 46444 379 95 0 78485 0
[pid=13687/tid=13688] ppid=13685 vsize=334012 CPUtime=102.29 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 33261 0 0 0 10219 10 0 0 25 0 4 0 651715600 342028288 46444 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=334012 CPUtime=102.3 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 43487 0 0 0 10220 10 0 0 25 0 4 0 651715600 342028288 46444 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=334012 CPUtime=101.27 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 43282 0 0 0 10116 11 0 0 25 0 4 0 651715601 342028288 46444 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 334012

[startup+162.301 s]

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

[pid=13687] ppid=13685 vsize=573052 CPUtime=2562.8 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 409927 0 0 0 256119 161 0 0 25 0 4 0 651715600 586805248 104230 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 143263 104230 379 95 0 138245 0
[pid=13687/tid=13688] ppid=13685 vsize=573052 CPUtime=642.28 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 66907 0 0 0 64201 27 0 0 25 0 4 0 651715600 586805248 104232 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=573052 CPUtime=642.3 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 119423 0 0 0 64187 43 0 0 25 0 4 0 651715600 586805248 104232 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=573052 CPUtime=635.88 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 120276 0 0 0 63541 47 0 0 25 0 4 0 651715601 586805248 104232 33554432000 4194304 4580107 140736130725488 18446744073709551615 4323047 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2562.8
Current children cumulated vsize (KiB) 573052

[startup+702.301 s]
/proc/loadavg: 8.13 8.10 8.02 10/315 13740
/proc/meminfo: memFree=11665092/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=664224 CPUtime=2802.19 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 441152 0 0 0 280044 175 0 0 25 0 4 0 651715600 680165376 111210 33554432000 4194304 4580107 140736130725488 18446744073709551615 4406388 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 166056 111210 379 95 0 161038 0
[pid=13687/tid=13688] ppid=13685 vsize=664224 CPUtime=702.28 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 70424 0 0 0 70198 30 0 0 25 0 4 0 651715600 680165376 111210 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=664224 CPUtime=702.29 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 127140 0 0 0 70182 47 0 0 25 0 4 0 651715600 680165376 111210 33554432000 4194304 4580107 140736130725488 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=664224 CPUtime=695.28 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 128570 0 0 0 69477 51 0 0 25 0 4 0 651715601 680165376 111210 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.19
Current children cumulated vsize (KiB) 664224

[startup+762.311 s]
/proc/loadavg: 8.08 8.10 8.02 9/315 13742
/proc/meminfo: memFree=11618940/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=656232 CPUtime=3041.61 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 461785 0 0 0 303976 185 0 0 25 0 4 0 651715600 671981568 106782 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 164058 106782 379 95 0 159040 0
[pid=13687/tid=13688] ppid=13685 vsize=656232 CPUtime=762.28 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 71451 0 0 0 76198 30 0 0 25 0 4 0 651715600 671981568 106782 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=656232 CPUtime=762.31 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 134410 0 0 0 76180 51 0 0 25 0 4 0 651715600 671981568 106782 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=656232 CPUtime=754.69 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 135760 0 0 0 75414 55 0 0 25 0 4 0 651715601 671981568 106782 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3041.61
Current children cumulated vsize (KiB) 656232

[startup+822.301 s]
/proc/loadavg: 8.13 8.11 8.02 10/315 13743
/proc/meminfo: memFree=11550808/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=721172 CPUtime=3280.98 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 488007 0 0 0 327899 199 0 0 25 0 4 0 651715600 738480128 111920 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 180293 111920 379 95 0 175275 0
[pid=13687/tid=13688] ppid=13685 vsize=721172 CPUtime=822.27 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 75560 0 0 0 82194 33 0 0 25 0 4 0 651715600 738480128 111920 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=721172 CPUtime=822.3 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 141372 0 0 0 82175 55 0 0 25 0 4 0 651715600 738480128 111920 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=721172 CPUtime=814.08 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 143308 0 0 0 81350 58 0 0 25 0 4 0 651715601 738480128 111920 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3280.98
Current children cumulated vsize (KiB) 721172

[startup+882.3 s]
/proc/loadavg: 8.16 8.11 8.03 9/315 13745
/proc/meminfo: memFree=11506276/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=696432 CPUtime=3520.38 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 517015 0 0 0 351826 212 0 0 25 0 4 0 651715600 713146368 112522 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 174108 112522 379 95 0 169090 0
[pid=13687/tid=13688] ppid=13685 vsize=696432 CPUtime=882.27 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 79371 0 0 0 88192 35 0 0 25 0 4 0 651715600 713146368 112522 33554432000 4194304 4580107 140736130725488 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=696432 CPUtime=882.3 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 148290 0 0 0 88172 58 0 0 25 0 4 0 651715600 713146368 112522 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=696432 CPUtime=873.48 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 154300 0 0 0 87287 61 0 0 25 0 4 0 651715601 713146368 112522 33554432000 4194304 4580107 140736130725488 18446744073709551615 4305219 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3520.38
Current children cumulated vsize (KiB) 696432

[startup+942.301 s]
/proc/loadavg: 8.18 8.12 8.03 10/315 13747
/proc/meminfo: memFree=11437920/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=729168 CPUtime=3759.79 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 549453 0 0 0 375753 226 0 0 25 0 4 0 651715600 746668032 118345 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 182292 118345 379 95 0 177274 0
[pid=13687/tid=13688] ppid=13685 vsize=729168 CPUtime=942.26 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 90409 0 0 0 94188 38 0 0 25 0 4 0 651715600 746668032 118345 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=729168 CPUtime=942.3 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 154929 0 0 0 94169 61 0 0 25 0 4 0 651715600 746668032 118345 33554432000 4194304 4580107 140736130725488 18446744073709551615 4295890 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=729168 CPUtime=932.88 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 161115 0 0 0 93224 64 0 0 25 0 4 0 651715601 746668032 118345 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3759.79
Current children cumulated vsize (KiB) 729168

[startup+1002.3 s]
/proc/loadavg: 8.19 8.13 8.04 10/315 13748
/proc/meminfo: memFree=11390904/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=698436 CPUtime=3999.19 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 579354 0 0 0 399679 240 0 0 25 0 4 0 651715600 715198464 127103 33554432000 4194304 4580107 140736130725488 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 174609 127104 379 95 0 169591 0
[pid=13687/tid=13688] ppid=13685 vsize=698436 CPUtime=1002.27 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 96185 0 0 0 100186 41 0 0 25 0 4 0 651715600 715198464 127104 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=698436 CPUtime=1002.31 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 164515 0 0 0 100166 65 0 0 25 0 4 0 651715600 715198464 127104 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=698436 CPUtime=992.28 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 168108 0 0 0 99160 68 0 0 25 0 4 0 651715601 715198464 127104 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.19
Current children cumulated vsize (KiB) 698436

[startup+1062.3 s]
/proc/loadavg: 8.07 8.10 8.03 10/315 13750
/proc/meminfo: memFree=11362608/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=711964 CPUtime=4238.61 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 605487 0 0 0 423606 255 0 0 25 0 4 0 651715600 729051136 129586 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 177991 129586 379 95 0 172973 0
[pid=13687/tid=13688] ppid=13685 vsize=711964 CPUtime=1062.27 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 101250 0 0 0 106182 45 0 0 25 0 4 0 651715600 729051136 129586 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=711964 CPUtime=1062.3 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 171256 0 0 0 106162 68 0 0 25 0 4 0 651715600 729051136 129586 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=711964 CPUtime=1051.68 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 175173 0 0 0 105097 71 0 0 25 0 4 0 651715601 729051136 129586 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4238.61
Current children cumulated vsize (KiB) 711964

[startup+1122.3 s]
/proc/loadavg: 8.09 8.10 8.03 10/315 13751
/proc/meminfo: memFree=11338248/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=712120 CPUtime=4478.01 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 625880 0 0 0 447536 265 0 0 25 0 4 0 651715600 729210880 135987 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 178030 135987 379 95 0 173012 0
[pid=13687/tid=13688] ppid=13685 vsize=712120 CPUtime=1122.27 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 101765 0 0 0 112182 45 0 0 25 0 4 0 651715600 729210880 135987 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=712120 CPUtime=1122.31 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 176945 0 0 0 112159 72 0 0 25 0 4 0 651715600 729210880 135987 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=712120 CPUtime=1111.08 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 182259 0 0 0 111035 73 0 0 25 0 4 0 651715601 729210880 135987 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.01
Current children cumulated vsize (KiB) 712120

[startup+1182.3 s]
/proc/loadavg: 8.03 8.08 8.03 10/315 13753
/proc/meminfo: memFree=11313304/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=766844 CPUtime=4717.41 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 645586 0 0 0 471465 276 0 0 25 0 4 0 651715600 785248256 135270 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 191711 135270 379 95 0 186693 0
[pid=13687/tid=13688] ppid=13685 vsize=766844 CPUtime=1182.27 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 102359 0 0 0 118182 45 0 0 25 0 4 0 651715600 785248256 135270 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=766844 CPUtime=1182.3 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 183792 0 0 0 118154 76 0 0 25 0 4 0 651715600 785248256 135270 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=766844 CPUtime=1170.49 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 187748 0 0 0 116973 76 0 0 25 0 4 0 651715601 785248256 135270 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4717.41
Current children cumulated vsize (KiB) 766844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.02 8.07 8.02 9/315 13753
/proc/meminfo: memFree=11266168/32950928 swapFree=67111348/67111528
[pid=13687] ppid=13685 vsize=821320 CPUtime=4800.03 cores=1,3,5,7
/proc/13687/stat : 13687 (strangenight2-m) R 13685 13687 13350 0 -1 4202496 655403 0 0 0 479722 281 0 0 25 0 4 0 651715600 841031680 139409 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294410 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/13687/statm: 205330 139409 379 95 0 200312 0
[pid=13687/tid=13688] ppid=13685 vsize=821320 CPUtime=1202.98 cores=1,3,5,7
/proc/13687/task/13688/stat : 13688 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 103292 0 0 0 120252 46 0 0 25 0 4 0 651715600 841031680 139410 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13687/tid=13689] ppid=13685 vsize=821320 CPUtime=1203.02 cores=1,3,5,7
/proc/13687/task/13689/stat : 13689 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 188241 0 0 0 120224 78 0 0 25 0 4 0 651715600 841031680 139410 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13687/tid=13690] ppid=13685 vsize=821320 CPUtime=1190.98 cores=1,3,5,7
/proc/13687/task/13690/stat : 13690 (strangenight2-m) R 13685 13687 13350 0 -1 4202560 190487 0 0 0 119020 78 0 0 25 0 4 0 651715601 841031680 139410 33554432000 4194304 4580107 140736130725488 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.03
Current children cumulated vsize (KiB) 821320

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.09
CPU user time (s): 4797.26
CPU system time (s): 2.83557
CPU usage (%): 398.996
Max. virtual memory (cumulated for all children) (KiB): 886604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.26
system time used= 2.83557
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655406
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= 249
involuntary context switches= 34974

runsolver used 3.34949 second user time and 8.70768 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-14 21:26:08
IDJOB=3366305
IDBENCH=82714
IDSOLVER=1844
FILE ID=node120/3366305-1305401168
RUNJOBID= node120-1305401168-13665
PBS_JOBID= 13324463
Free space on /tmp= 73504 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S826445785-043.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366305-1305401168/watcher-3366305-1305401168 -o /tmp/evaluation-result-3366305-1305401168/solver-3366305-1305401168 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366305-1305401168.cnf

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

MD5SUM BENCH= 75e4af5315c8af778f17bf3a82042c9e
RANDOM SEED=81527899

node120.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.809
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.809
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	: 5226.07
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.809
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.82
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.809
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.75
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.809
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.78
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.809
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.809
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.809
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:      12323832 kB
Buffers:        255324 kB
Cached:        3576764 kB
SwapCached:          0 kB
Active:       17363428 kB
Inactive:      2976464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12323832 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           11080 kB
Writeback:           0 kB
AnonPages:    16507432 kB
Mapped:          24464 kB
Slab:           175028 kB
PageTables:      48740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51638164 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= 73500 MiB
End job on node120 at 2011-05-14 21:46:13