Trace number 3173896

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

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.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-3173896-1304072690.cnf'
0.00/0.00	c -- header says num vars:            700
0.00/0.00	c -- header says num clauses:        2982
0.00/0.00	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.00	c -- vars added        700
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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.00/0.07	c Decided on static restart strategy
0.00/0.17	c  N st     8      4921       684      2959         0      4845      8956    130776   no data   no data
1.57/0.46	c  N st    10     11304       684      2959         0      4501      8956     88701   no data   no data
2.77/0.74	c  N st    11     17047       684      2959         0     10172      8956    258497   no data   no data
4.79/1.21	c  F st    12     25000       684      2959         0     12445      8956    319497   no data   no data
4.79/1.21	c  N st    12     25000       684      2959         0     12445      8956    319497   no data   no data
5.56/1.48	c  N dy    18     30000       684      2959         0     10737      8956    245342   no data   no data
5.56/1.48	c  S st    18     30000       684      2959         0     10737      8956    245342   no data   no data
5.96/1.51	c  S st    18     30504       684      2959         0     11241      8956    258927   no data   no data
5.96/1.51	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.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.58	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.17/1.86	c  N dy    28     34744       684      2959         0     15134      8956    366036     19.28     20.95
8.36/2.19	c  N dy    43     40711       684      2959         0     13213      8956    259754     18.44     19.45
9.55/2.46	c  N dy    67     44739       684      2959         0     17225      8956    372037     18.53     19.58
9.95/2.54	c  S st    74     45756       684      2959         0      9346      8956    122367     18.55   no data
9.95/2.56	c  S st    74     46259       684      2959         0      9849      8956    135905     18.55   no data
9.95/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
9.95/2.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.95/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.58	c lits-rem:         7  cl-subs:       18  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.58	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
9.95/2.58	c vivif2 --  cl tried     9831 cl shrink        0 lits rem          0 time: 0.00
9.95/2.59	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.01
9.95/2.59	c calculated reachability. Time: 0.00
9.95/2.59	c  N dy    74     46259       684      2959         0      9831      8956    135299     18.55   no data
11.16/2.83	c  N dy    97     50272       684      2959         0     13816      8956    246011     18.74     19.85
12.36/3.10	c  N dy   119     54293       684      2959         0     17815      8956    356961     18.83     19.88
13.17/3.37	c  N dy   138     58426       684      2959         0     12008      8956    168624     18.85     19.92
14.35/3.62	c  N dy   153     62524       684      2959         0     16079      8956    280262     18.80     19.88
15.55/3.92	c  N dy   176     66594       684      2959         0     20126      8956    391865     18.84     20.06
16.36/4.14	c  S st   199     69388       684      2959         0     11975      8956    144104     18.96   no data
16.36/4.17	c  S st   199     69891       684      2959         0     12476      8956    157486     18.96   no data
16.36/4.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.36/4.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.36/4.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.36/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.36/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.36/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
16.36/4.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.36/4.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.36/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.20	c lits-rem:        10  cl-subs:       19  v-elim:      0  v-fix:    0  time:  0.01 s
16.76/4.20	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
16.76/4.20	c vivif2 --  cl tried    12457 cl shrink        0 lits rem          0 time: 0.00
16.76/4.21	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.01
16.76/4.21	c calculated reachability. Time: 0.00
16.76/4.21	c  N dy   199     69891       684      2959         0     12457      8956    156757     18.96   no data
17.97/4.51	c  N dy   229     74451       684      2959         0     16996      8956    284144     19.05     20.10
19.55/4.97	c  N dy   247     80344       684      2959         0     22847      8956    447313     19.03     20.19
21.14/5.36	c  N dy   254     85993       684      2959         0     16512      8956    244059     18.90     19.91
21.54/5.47	c  F st   265     87500       684      2959         0     18008      8956    285425     18.93   no data
23.13/5.86	c Decided on static restart strategy
23.13/5.86	c  N st   271     92694       684      2959         0     23160      8956    436051     18.93   no data
25.54/6.43	c  N st   273     99808       684      2959         0     17293      8956    405944     18.93   no data
27.13/6.89	c  S st   274    104837       684      2959         0     22256      8956    553881     18.93   no data
27.53/6.94	c  S st   274    105343       684      2959         0     22762      8956    566904     18.93   no data
27.53/6.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.53/6.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.53/6.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
27.53/6.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.53/6.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.53/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.73/7.26	c lits-rem:       214  cl-subs:      857  v-elim:      0  v-fix:    0  time:  0.28 s
28.73/7.26	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
28.73/7.26	c vivif2 --  cl tried    21905 cl shrink        0 lits rem          0 time: 0.01
28.73/7.28	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.01
28.73/7.28	c calculated reachability. Time: 0.00
28.73/7.28	c  N st   274    105343       684      2959         0     21905      8956    534361     18.93   no data
32.32/8.11	c  N st   275    114944       684      2959         0     17604      8956    344135     18.93   no data
38.32/9.61	c  N st   276    129342       684      2959         0     16975      8956    333660     18.93   no data
46.71/11.71	c  N st   277    150937       684      2959         0     22521      8956    455184     18.93   no data
49.50/12.49	c  S st   278    158014       684      2959         0     29494      8956    671434     18.93   no data
49.90/12.56	c  S st   278    158518       684      2959         0     29998      8956    685272     18.93   no data
49.90/12.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.90/12.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.90/12.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.90/12.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.90/12.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.90/12.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
49.90/12.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.90/12.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
50.30/12.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
52.71/13.21	c lits-rem:       280  cl-subs:     1423  v-elim:      0  v-fix:    0  time:  0.60 s
52.71/13.21	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
52.71/13.22	c vivif2 --  cl tried    28575 cl shrink        0 lits rem          0 time: 0.01
52.71/13.24	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.02
52.71/13.24	c calculated reachability. Time: 0.00
52.71/13.24	c  N st   278    158518       684      2959         0     28575      8956    637320     18.93   no data
75.09/18.84	c  N st   279    207106       684      2959         0     23173      8956    419028     18.93   no data
90.25/22.66	c  N st   280    237778       684      2959         0     33637      8956    709101     18.93   no data
90.25/22.66	c  S st   280    237778       684      2959         0     33637      8956    709101     18.93   no data
90.65/22.75	c  S st   280    238282       684      2959         0     34141      8956    723160     18.93   no data
90.65/22.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
90.65/22.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
90.65/22.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
90.65/22.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
90.65/22.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.65/22.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
90.65/22.76	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
90.65/22.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
90.65/22.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.24/23.65	c lits-rem:       261  cl-subs:     1841  v-elim:      0  v-fix:    0  time:  0.85 s
94.24/23.65	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
94.24/23.66	c vivif2 --  cl tried    32300 cl shrink        0 lits rem          0 time: 0.01
94.24/23.68	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.02
94.24/23.68	c calculated reachability. Time: 0.00
94.24/23.68	c  N st   280    238282       684      2959         0     32300      8956    666605     18.93   no data
128.59/32.20	c  F st   281    306251       684      2959         0     34530      8956    687458     18.93   no data
128.59/32.20	c  N st   281    306251       684      2959         0     34530      8956    687458     18.93   no data
140.17/35.12	c  N dy   365    327242       684      2959         0     31529      8956    481366     19.01     20.15
151.76/38.06	c  N dy   432    348716       684      2959         0     28006      8956    347442     18.81     19.88
156.15/39.10	c  S st   470    357424       684      2959         0     36648      8956    587610     18.82     19.59
156.55/39.20	c  S st   470    357930       684      2959         0     37152      8956    601735     18.82   no data
156.55/39.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
156.55/39.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
156.55/39.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
156.55/39.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
156.55/39.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
156.55/39.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
156.55/39.21	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
156.55/39.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
156.55/39.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
157.36/39.41	c lits-rem:        91  cl-subs:      414  v-elim:      0  v-fix:    0  time:  0.17 s
157.36/39.41	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
157.36/39.42	c vivif2 --  cl tried    36738 cl shrink        0 lits rem          0 time: 0.01
157.36/39.45	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.03
157.36/39.45	c calculated reachability. Time: 0.00
157.36/39.45	c  N dy   470    357930       684      2959         0     36738      8956    589511     18.82   no data
169.74/42.53	c  N dy   554    378117       684      2959         0     30967      8956    392128     18.83     19.89
181.72/45.57	c  N dy   624    398224       684      2959         0     50895      8956    946375     18.80     20.17
193.32/48.45	c  N dy   716    418285       684      2959         0     44054      8956    731680     18.81     20.19
206.09/51.64	c  N dy   819    438323       684      2959         0     36161      8956    485682     18.87     19.93
219.68/55.04	c  N dy   906    458416       684      2959         0     56051      8956   1033694     18.88     24.89
231.26/57.99	c  N dy  1005    478459       684      2959         0     47185      8956    768562     18.93     20.03
246.45/61.76	c  N dy  1074    502349       684      2959         0     41114      8956    583809     18.89     20.04
261.62/65.56	c  N dy  1158    522393       684      2959         0     60998      8956   1144041     18.90     25.98
270.01/67.65	c  S st  1253    536895       684      2959         0     44651      8956    656394     18.95     18.57
270.41/67.75	c  S st  1253    537398       684      2959         0     45154      8956    670890     18.95   no data
270.41/67.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
270.41/67.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
270.41/67.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
270.41/67.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
270.41/67.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.41/67.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
270.41/67.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
270.41/67.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
270.81/67.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
271.61/68.05	c lits-rem:       196  cl-subs:      360  v-elim:      0  v-fix:    0  time:  0.25 s
271.61/68.05	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
271.61/68.06	c vivif2 --  cl tried    44794 cl shrink        0 lits rem          0 time: 0.01
271.61/68.09	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.03
271.61/68.09	c calculated reachability. Time: 0.00
271.61/68.09	c  N dy  1253    537398       684      2959         0     44794      8956    658536     18.95   no data
289.58/72.59	c  N dy  1331    562457       684      2959         0     37851      8956    429186     18.91     19.98
303.95/76.10	c  N dy  1395    582527       684      2959         0     57697      8956    981078     18.90     21.23
317.53/79.58	c  N dy  1481    602600       684      2959         0     44929      8956    612843     18.91     24.57
335.91/84.18	c  N dy  1587    624461       684      2959         0     66536      8956   1218258     18.92     19.94
349.09/87.40	c  N dy  1648    644712       684      2959         0     52928      8956    808264     18.90     20.08
365.87/91.69	c  N dy  1760    664854       684      2959         0     38246      8956    374918     18.94     19.94
379.86/95.18	c  N dy  1800    685158       684      2959         0     58350      8956    949461     18.89     19.92
396.63/99.38	c  N dy  1886    705590       684      2959         0     42956      8956    484584     18.89     20.00
415.40/104.06	c  N dy  1975    726131       684      2959         0     63326      8956   1061200     18.90     20.13
434.19/108.73	c  N dy  2041    749996       684      2959         0     50283      8956    665668     18.87     19.88
452.58/113.31	c  N dy  2136    770167       684      2959         0     70244      8956   1224292     18.89     19.92
468.13/117.22	c  N dy  2234    790459       684      2959         0     52723      8956    715606     18.90     20.23
481.31/120.57	c  S st  2275    806102       684      2959         0     68139      8956   1129894     18.89     15.05
482.11/120.76	c  S st  2275    806603       684      2959         0     68639      8956   1144170     18.89   no data
482.11/120.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
482.51/120.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
482.51/120.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
482.51/120.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
482.51/120.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
482.51/120.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
482.51/120.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
482.51/120.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
482.51/120.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.71/121.69	c lits-rem:       247  cl-subs:     1669  v-elim:      0  v-fix:    0  time:  0.84 s
485.71/121.69	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
486.11/121.71	c vivif2 --  cl tried    66970 cl shrink        0 lits rem          0 time: 0.02
486.11/121.77	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.06
486.11/121.77	c calculated reachability. Time: 0.00
486.11/121.77	c  N dy  2275    806603       684      2959         0     66970      8956   1097192     18.89   no data
503.69/126.10	c  N dy  2361    826627       684      2959         0     48216      8956    568387     18.90     20.94
520.86/130.45	c  N dy  2453    846667       684      2959         0     68113      8956   1136672     18.92     21.85
540.04/135.20	c  N dy  2586    866780       684      2959         0     48439      8956    554357     18.96     19.97
557.22/139.59	c  N dy  2612    887241       684      2959         0     68585      8956   1099344     18.91     19.91
595.97/149.22	c  N dy  2697    931217       684      2959         0     71372      8956   1144835     18.83     19.83
616.34/154.32	c  N dy  2842    951660       684      2959         0     50161      8956    560215     18.87     20.10
641.10/160.59	c  N dy  2956    978398       684      2959         0     76643      8956   1304986     18.87     19.99
658.68/165.00	c  N dy  3037    998439       684      2959         0     53946      8956    645215     18.87     22.36
680.65/170.40	c  N dy  3162   1020311       684      2959         0     75606      8956   1259014     18.89     20.05
701.42/175.65	c  N dy  3220   1041690       684      2959         0     53120      8956    582259     18.87     19.96
721.79/180.78	c  N dy  3317   1063149       684      2959         0     74385      8956   1185578     18.88     19.95
732.97/183.52	c  F st  3372   1071876       684      2959         0     83015      8956   1429429     18.89   no data
738.97/185.05	c Decided on static restart strategy
744.56/186.40	c  N st  3380   1084184       684      2959         0     50647      8956    620736     18.89   no data
772.93/193.51	c  N st  3383   1114578       684      2959         0     80410      8956   1502626     18.89   no data
791.32/198.12	c  N st  3384   1136178       684      2959         0     56512      8956   1087088     18.89   no data
822.85/206.00	c  N st  3385   1168572       684      2959         0     88358      8956   2066970     18.89   no data
864.00/216.33	c  N st  3386   1209906       684      2959         0     82773      8956   1849812     18.89   no data
864.00/216.33	c  S st  3386   1209906       684      2959         0     82773      8956   1849812     18.89   no data
864.80/216.58	c  S st  3386   1210407       684      2959         0     83273      8956   1864524     18.89   no data
864.80/216.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
865.20/216.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
865.20/216.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
865.20/216.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
865.20/216.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
865.20/216.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
865.20/216.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
865.20/216.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
865.61/216.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
891.15/223.10	c lits-rem:       876  cl-subs:     4083  v-elim:      0  v-fix:    0  time:  6.39 s
891.15/223.11	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
891.15/223.13	c vivif2 --  cl tried    79190 cl shrink        0 lits rem          0 time: 0.03
891.55/223.22	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.09
891.55/223.22	c calculated reachability. Time: 0.00
891.55/223.22	c  N st  3386   1210407       684      2959         0     79190      8956   1737408     18.89   no data
963.05/241.15	c  N st  3387   1283289       684      2959         0     55487      8956    877907     18.89   no data
1064.12/266.49	c  N st  3388   1392612       684      2959         0     63608      8956   1066470     18.89   no data
1229.09/307.73	c  N st  3389   1556597       684      2959         0     68444      8956   1127603     18.89   no data
1398.86/350.23	c  N st  3390   1710407       684      2959         0    110324      8956   2419938     18.89   no data
1398.86/350.23	c  S st  3390   1710407       684      2959         0    110324      8956   2419938     18.89   no data
1400.06/350.59	c  S st  3390   1710910       684      2959         0    110827      8956   2434272     18.89   no data
1400.46/350.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1400.46/350.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1400.46/350.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1400.46/350.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1400.46/350.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1400.46/350.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
1400.46/350.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1400.85/350.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1400.85/350.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1467.58/367.40	c lits-rem:       683  cl-subs:     6353  v-elim:      0  v-fix:    0  time: 16.63 s
1467.58/367.40	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
1467.58/367.44	c vivif2 --  cl tried   104474 cl shrink        0 lits rem          0 time: 0.03
1467.99/367.56	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.13
1467.99/367.57	c calculated reachability. Time: 0.00
1467.99/367.57	c  N st  3390   1710910       684      2959         0    104474      8956   2235426     18.89   no data
1902.59/476.33	c  N st  3391   2079875       684      2959         0    116734      8956   2327474     18.89   no data
2071.14/518.50	c  N st  3392   2210910       684      2959         0    120250      8956   2418375     18.89   no data
2071.14/518.50	c  S st  3392   2210910       684      2959         0    120250      8956   2418375     18.89   no data
2072.34/518.90	c  S st  3392   2211410       684      2959         0    120750      8956   2432586     18.89   no data
2072.74/518.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2072.74/518.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2072.74/518.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2072.74/518.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2072.74/518.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2072.74/518.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
2072.74/518.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2073.15/519.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2073.15/519.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2155.43/539.68	c lits-rem:      1126  cl-subs:     7916  v-elim:      0  v-fix:    0  time: 20.60 s
2155.43/539.68	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
2155.83/539.71	c vivif2 --  cl tried   112834 cl shrink        0 lits rem          0 time: 0.03
2156.23/539.86	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.14
2156.23/539.86	c calculated reachability. Time: 0.00
2156.23/539.86	c  N st  3392   2211410       684      2959         0    112834      8956   2200106     18.89   no data
2800.94/701.27	c  N st  3393   2711413       684      2959         0    136149      8956   2694264     18.89   no data
2800.94/701.27	c  S st  3393   2711413       684      2959         0    136149      8956   2694264     18.89   no data
2802.94/701.72	c  S st  3393   2711918       684      2959         0    136653      8956   2708567     18.89   no data
2802.94/701.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2803.36/701.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2803.36/701.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2803.36/701.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2803.36/701.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2803.36/701.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
2803.36/701.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2803.36/701.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2803.76/701.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2914.39/729.68	c lits-rem:      1018  cl-subs:     9863  v-elim:      0  v-fix:    0  time: 27.75 s
2914.39/729.68	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
2914.79/729.72	c vivif2 --  cl tried   126790 cl shrink        0 lits rem          0 time: 0.04
2915.19/729.87	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.15
2915.19/729.88	c calculated reachability. Time: 0.00
2915.19/729.88	c  N st  3393   2711918       684      2959         0    126790      8956   2444042     18.89   no data
3585.49/897.66	c  N st  3394   3211919       684      2959         0    102669      8956   1580021     18.89   no data
3585.49/897.66	c  S st  3394   3211919       684      2959         0    102669      8956   1580021     18.89   no data
3586.67/898.00	c  S st  3394   3212424       684      2959         0    103172      8956   1594769     18.89   no data
3587.07/898.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3587.07/898.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3587.07/898.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3587.07/898.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3587.07/898.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3587.07/898.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
3587.07/898.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3587.07/898.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3587.47/898.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3605.04/902.53	c lits-rem:       266  cl-subs:     3896  v-elim:      0  v-fix:    0  time:  4.39 s
3605.04/902.53	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
3605.04/902.55	c vivif2 --  cl tried    99276 cl shrink        0 lits rem          0 time: 0.02
3605.44/902.67	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.11
3605.44/902.67	c calculated reachability. Time: 0.00
3605.44/902.67	c  N st  3394   3212424       684      2959         0     99276      8956   1490166     18.89   no data
4418.31/1106.10	c  N st  3395   3712425       684      2959         0    110396      8956   1708337     18.89   no data
4418.31/1106.10	c  S st  3395   3712425       684      2959         0    110396      8956   1708337     18.89   no data
4419.51/1106.45	c  S st  3395   3712932       684      2959         0    110902      8956   1723252     18.89   no data
4419.51/1106.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4419.91/1106.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4419.91/1106.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4419.91/1106.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4419.91/1106.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4419.91/1106.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    684 time:  0.00 s
4419.91/1106.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4419.91/1106.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4419.91/1106.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4437.49/1110.96	c lits-rem:       330  cl-subs:     3187  v-elim:      0  v-fix:    0  time:  4.36 s
4437.49/1110.96	c vivif2 --  cl tried     2959 cl shrink        0 lits rem          0 time: 0.00
4437.49/1110.98	c vivif2 --  cl tried   107715 cl shrink        0 lits rem          0 time: 0.02
4438.31/1111.11	c asymm  cl-useful: 0/2959/2959 lits-rem:0 time: 0.12
4438.31/1111.11	c calculated reachability. Time: 0.00
4438.31/1111.11	c  N st  3395   3712932       684      2959         0    107715      8956   1636966     18.89   no data
4500.60/1126.70	c  F st  3396   3751562       684      2959         0    145663      8956   2797515     18.89   no data
4500.60/1126.70	c  N st  3396   3751562       684      2959         0    145663      8956   2797515     18.89   no data
4511.79/1129.51	c Decided on static restart strategy
4552.55/1139.76	c  N st  3406   3779870       684      2959         0     90150      8956   1056443     18.89   no data
4604.06/1152.68	c  N st  3408   3815862       684      2959         0    125521      8956   2158900     18.89   no data
4664.38/1167.75	c  N st  3409   3848254       684      2959         0    157417      8956   3129801     18.89   no data
4756.65/1190.84	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: 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-3173896-1304072690/watcher-3173896-1304072690 -o /tmp/evaluation-result-3173896-1304072690/solver-3173896-1304072690 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173896-1304072690.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: 2.19 3.38 4.97 3/172 31325
/proc/meminfo: memFree=31489216/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 412 0 0 0 0 0 0 0 22 0 4 0 518867766 52441088 352 33554432000 4194304 4627427 140736175961840 18446744073709551615 47204552427521 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 12803 352 303 106 0 7774 0
[pid=31325/tid=31326] ppid=31323 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 518867766 52441088 352 33554432000 4194304 4627427 140736175961840 18446744073709551615 47204552427446 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 518867766 52441088 352 33554432000 4194304 4627427 140736175961840 18446744073709551615 47204552427442 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 4 0 518867766 52441088 352 33554432000 4194304 4627427 140736175961840 18446744073709551615 235594866619 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.18189 s]
/proc/loadavg: 2.19 3.38 4.97 3/172 31325
/proc/meminfo: memFree=31489216/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=300228 CPUtime=0.69 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) D 31323 31325 30873 0 -1 4202496 2526 0 0 0 69 0 0 0 23 0 4 0 518867766 307433472 2056 33554432000 4194304 4627427 140736175961840 18446744073709551615 4503199 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 75057 2056 385 106 0 70028 0
[pid=31325/tid=31326] ppid=31323 vsize=300228 CPUtime=0.17 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 574 0 0 0 17 0 0 0 24 0 4 0 518867766 307433472 2056 33554432000 4194304 4627427 140736175961840 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=300228 CPUtime=0.17 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 570 0 0 0 17 0 0 0 18 0 4 0 518867766 307433472 2056 33554432000 4194304 4627427 140736175961840 18446744073709551615 235594909879 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=300228 CPUtime=0.17 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 432 0 0 0 17 0 0 0 24 0 4 0 518867766 307433472 2056 33554432000 4194304 4627427 140736175961840 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 300228

[startup+0.208835 s]
/proc/loadavg: 2.19 3.38 4.97 3/172 31325
/proc/meminfo: memFree=31489216/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=283820 CPUtime=0.8 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 2640 0 0 0 80 0 0 0 23 0 4 0 518867766 290631680 1841 33554432000 4194304 4627427 140736175961840 18446744073709551615 4330936 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 70955 1841 385 106 0 65926 0
[pid=31325/tid=31326] ppid=31323 vsize=283820 CPUtime=0.2 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 597 0 0 0 20 0 0 0 24 0 4 0 518867766 290631680 1841 33554432000 4194304 4627427 140736175961840 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=283820 CPUtime=0.19 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 599 0 0 0 19 0 0 0 18 0 4 0 518867766 290631680 1841 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=283820 CPUtime=0.2 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 456 0 0 0 20 0 0 0 24 0 4 0 518867766 290631680 1841 33554432000 4194304 4627427 140736175961840 18446744073709551615 4348352 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.8
Current children cumulated vsize (KiB) 283820

[startup+0.300803 s]
/proc/loadavg: 2.19 3.38 4.97 3/172 31325
/proc/meminfo: memFree=31489216/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=283952 CPUtime=1.17 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 3035 0 0 0 117 0 0 0 23 0 4 0 518867766 290766848 2236 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 70988 2236 385 106 0 65959 0
[pid=31325/tid=31326] ppid=31323 vsize=283952 CPUtime=0.29 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 693 0 0 0 29 0 0 0 24 0 4 0 518867766 290766848 2236 33554432000 4194304 4627427 140736175961840 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=283952 CPUtime=0.29 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 694 0 0 0 29 0 0 0 18 0 4 0 518867766 290766848 2236 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=283952 CPUtime=0.29 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 558 0 0 0 29 0 0 0 24 0 4 0 518867766 290766848 2236 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283952

[startup+0.700733 s]
/proc/loadavg: 2.19 3.38 4.97 3/172 31325
/proc/meminfo: memFree=31489216/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=285060 CPUtime=2.77 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 4736 0 0 0 277 0 0 0 25 0 4 0 518867766 291901440 2909 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 71265 2909 385 106 0 66236 0
[pid=31325/tid=31326] ppid=31323 vsize=285060 CPUtime=0.69 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 1102 0 0 0 69 0 0 0 25 0 4 0 518867766 291901440 2909 33554432000 4194304 4627427 140736175961840 18446744073709551615 4327429 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=285060 CPUtime=0.69 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 1152 0 0 0 69 0 0 0 18 0 4 0 518867766 291901440 2909 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=285060 CPUtime=0.69 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 988 0 0 0 69 0 0 0 25 0 4 0 518867766 291901440 2909 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308096 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285060

[startup+1.50059 s]
/proc/loadavg: 2.19 3.38 4.97 9/184 31337
/proc/meminfo: memFree=31464476/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=286588 CPUtime=5.96 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 8184 0 0 0 596 0 0 0 25 0 4 0 518867766 293466112 3463 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 71647 3463 386 106 0 66618 0
[pid=31325/tid=31326] ppid=31323 vsize=286588 CPUtime=1.49 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 1969 0 0 0 149 0 0 0 25 0 4 0 518867766 293466112 3463 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=286588 CPUtime=1.48 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 2022 0 0 0 148 0 0 0 20 0 4 0 518867766 293466112 3463 33554432000 4194304 4627427 140736175961840 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=286588 CPUtime=1.49 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 1866 0 0 0 149 0 0 0 25 0 4 0 518867766 293466112 3463 33554432000 4194304 4627427 140736175961840 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286588

[startup+3.10031 s]
/proc/loadavg: 2.19 3.38 4.97 9/184 31337
/proc/meminfo: memFree=31425788/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=286276 CPUtime=12.36 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 19707 0 0 0 1234 2 0 0 25 0 4 0 518867766 293146624 11084 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 71569 11084 389 106 0 66540 0
[pid=31325/tid=31326] ppid=31323 vsize=286276 CPUtime=3.09 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 4326 0 0 0 309 0 0 0 25 0 4 0 518867766 293146624 11084 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=286276 CPUtime=3.07 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 5525 0 0 0 307 0 0 0 25 0 4 0 518867766 293146624 11084 33554432000 4194304 4627427 140736175961840 18446744073709551615 4299605 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=286276 CPUtime=3.08 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 4960 0 0 0 308 0 0 0 25 0 4 0 518867766 293146624 11084 33554432000 4194304 4627427 140736175961840 18446744073709551615 4327427 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286276

[startup+6.30075 s]
/proc/loadavg: 2.65 3.46 4.99 9/184 31338
/proc/meminfo: memFree=31376936/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=296952 CPUtime=25.14 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 30249 0 0 0 2510 4 0 0 25 0 4 0 518867766 304078848 13732 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 74238 13732 389 106 0 69209 0
[pid=31325/tid=31326] ppid=31323 vsize=296952 CPUtime=6.28 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 8297 0 0 0 628 0 0 0 25 0 4 0 518867766 304078848 13732 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=296952 CPUtime=6.26 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 7736 0 0 0 625 1 0 0 25 0 4 0 518867766 304078848 13733 33554432000 4194304 4627427 140736175961840 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=296952 CPUtime=6.28 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 7249 0 0 0 627 1 0 0 25 0 4 0 518867766 304078848 13733 33554432000 4194304 4627427 140736175961840 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 296952

[startup+12.7006 s]
/proc/loadavg: 3.08 3.53 5.00 9/184 31338
/proc/meminfo: memFree=31296992/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=295332 CPUtime=50.7 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 51003 0 0 0 5062 8 0 0 25 0 4 0 518867766 302419968 26897 33554432000 4194304 4627427 140736175961840 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 73833 26897 389 106 0 68804 0
[pid=31325/tid=31326] ppid=31323 vsize=295332 CPUtime=12.68 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 13081 0 0 0 1267 1 0 0 25 0 4 0 518867766 302419968 26897 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=295332 CPUtime=12.62 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 12856 0 0 0 1260 2 0 0 25 0 4 0 518867766 302419968 26897 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=295332 CPUtime=12.68 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 12178 0 0 0 1266 2 0 0 25 0 4 0 518867766 302419968 26897 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 295332

[startup+25.5004 s]
/proc/loadavg: 4.24 3.77 5.06 9/184 31338
/proc/meminfo: memFree=31232828/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=362584 CPUtime=101.83 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 71870 0 0 0 10170 13 0 0 25 0 4 0 518867766 371286016 33263 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309111 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 90646 33263 389 106 0 85617 0
[pid=31325/tid=31326] ppid=31323 vsize=362584 CPUtime=25.48 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 19613 0 0 0 2546 2 0 0 25 0 4 0 518867766 371286016 33263 33554432000 4194304 4627427 140736175961840 18446744073709551615 4332203 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=362584 CPUtime=25.35 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 19128 0 0 0 2532 3 0 0 25 0 4 0 518867766 371286016 33263 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=362584 CPUtime=25.49 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 14722 0 0 0 2546 3 0 0 25 0 4 0 518867766 371286016 33263 33554432000 4194304 4627427 140736175961840 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 362584

[startup+51.1009 s]
/proc/loadavg: 5.52 4.11 5.13 9/184 31339
/proc/meminfo: memFree=31178444/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=363368 CPUtime=204.09 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 106985 0 0 0 20388 21 0 0 25 0 4 0 518867766 372088832 38427 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 90842 38427 389 106 0 85813 0
[pid=31325/tid=31326] ppid=31323 vsize=363368 CPUtime=51.09 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 27057 0 0 0 5104 5 0 0 25 0 4 0 518867766 372088832 38427 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=363368 CPUtime=50.81 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 29708 0 0 0 5076 5 0 0 25 0 4 0 518867766 372088832 38427 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=363368 CPUtime=51.08 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 24321 0 0 0 5103 5 0 0 25 0 4 0 518867766 372088832 38427 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 363368

[startup+102.301 s]
/proc/loadavg: 6.98 4.72 5.29 9/184 31340
/proc/meminfo: memFree=31082176/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=397464 CPUtime=408.64 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 160667 0 0 0 40827 37 0 0 25 0 4 0 518867766 407003136 48537 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 99366 48537 389 106 0 94337 0
[pid=31325/tid=31326] ppid=31323 vsize=397464 CPUtime=102.29 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 43964 0 0 0 10219 10 0 0 25 0 4 0 518867766 407003136 48537 33554432000 4194304 4627427 140736175961840 18446744073709551615 4427501 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=397464 CPUtime=101.74 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 43669 0 0 0 10165 9 0 0 25 0 4 0 518867766 407003136 48537 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=397464 CPUtime=102.29 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 39083 0 0 0 10221 8 0 0 25 0 4 0 518867766 407003136 48537 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 397464

[startup+162.3 s]

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

[pid=31325] ppid=31323 vsize=610560 CPUtime=2565.67 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 419490 0 0 0 256434 133 0 0 25 0 4 0 518867766 625213440 103216 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 152640 103216 389 106 0 147611 0
[pid=31325/tid=31326] ppid=31323 vsize=610560 CPUtime=642.3 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 111174 0 0 0 64195 35 0 0 25 0 4 0 518867766 625213440 103216 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=610560 CPUtime=638.74 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 118209 0 0 0 63837 37 0 0 25 0 4 0 518867766 625213440 103216 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=610560 CPUtime=642.3 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 82217 0 0 0 64206 24 0 0 25 0 4 0 518867766 625213440 103216 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 610560

[startup+702.3 s]
/proc/loadavg: 8.18 7.69 6.63 9/184 31356
/proc/meminfo: memFree=30624704/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=573116 CPUtime=2805.34 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 452414 0 0 0 280385 149 0 0 25 0 4 0 518867766 586870784 100549 33554432000 4194304 4627427 140736175961840 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 143279 100549 389 106 0 138250 0
[pid=31325/tid=31326] ppid=31323 vsize=573116 CPUtime=702.29 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 115795 0 0 0 70191 38 0 0 25 0 4 0 518867766 586870784 100549 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=573116 CPUtime=698.41 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 126818 0 0 0 69799 42 0 0 25 0 4 0 518867766 586870784 100549 33554432000 4194304 4627427 140736175961840 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=573116 CPUtime=702.3 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 90375 0 0 0 70203 27 0 0 25 0 4 0 518867766 586870784 100549 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.34
Current children cumulated vsize (KiB) 573116

[startup+762.301 s]
/proc/loadavg: 8.16 7.77 6.73 9/184 31358
/proc/meminfo: memFree=30565768/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=573444 CPUtime=3045.03 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 477880 0 0 0 304344 159 0 0 25 0 4 0 518867766 587206656 104397 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 143361 104397 389 106 0 138332 0
[pid=31325/tid=31326] ppid=31323 vsize=573444 CPUtime=762.3 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 121721 0 0 0 76189 41 0 0 25 0 4 0 518867766 587206656 104397 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=573444 CPUtime=758.08 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 134323 0 0 0 75763 45 0 0 25 0 4 0 518867766 587206656 104397 33554432000 4194304 4627427 140736175961840 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=573444 CPUtime=762.31 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 97268 0 0 0 76201 30 0 0 25 0 4 0 518867766 587206656 104397 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.03
Current children cumulated vsize (KiB) 573444

[startup+822.3 s]
/proc/loadavg: 8.15 7.84 6.81 9/184 31359
/proc/meminfo: memFree=30546512/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=573776 CPUtime=3284.68 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 503435 0 0 0 328299 169 0 0 25 0 4 0 518867766 587546624 104615 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 143444 104615 389 106 0 138415 0
[pid=31325/tid=31326] ppid=31323 vsize=573776 CPUtime=822.3 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 125651 0 0 0 82187 43 0 0 25 0 4 0 518867766 587546624 104615 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=573776 CPUtime=817.75 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 141131 0 0 0 81727 48 0 0 25 0 4 0 518867766 587546624 104615 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=573776 CPUtime=822.3 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 104538 0 0 0 82197 33 0 0 25 0 4 0 518867766 587546624 104615 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 573776

[startup+882.307 s]
/proc/loadavg: 8.22 7.91 6.90 9/184 31361
/proc/meminfo: memFree=30489540/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=653088 CPUtime=3524.37 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 531782 0 0 0 352256 181 0 0 25 0 4 0 518867766 668762112 111739 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 163272 111739 389 106 0 158243 0
[pid=31325/tid=31326] ppid=31323 vsize=653088 CPUtime=882.3 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 130470 0 0 0 88185 45 0 0 25 0 4 0 518867766 668762112 111739 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=653088 CPUtime=877.42 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 146906 0 0 0 87691 51 0 0 25 0 4 0 518867766 668762112 111739 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=653088 CPUtime=882.31 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 114997 0 0 0 88194 37 0 0 25 0 4 0 518867766 668762112 111739 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 653088

[startup+942.3 s]
/proc/loadavg: 8.13 7.94 6.97 9/184 31363
/proc/meminfo: memFree=30440516/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=601236 CPUtime=3764.02 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 561865 0 0 0 376211 191 0 0 25 0 4 0 518867766 615665664 118586 33554432000 4194304 4627427 140736175961840 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 150309 118586 389 106 0 145280 0
[pid=31325/tid=31326] ppid=31323 vsize=601236 CPUtime=942.3 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 138448 0 0 0 94183 47 0 0 25 0 4 0 518867766 615665664 118586 33554432000 4194304 4627427 140736175961840 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=601236 CPUtime=937.08 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 154108 0 0 0 93655 53 0 0 25 0 4 0 518867766 615665664 118586 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=601236 CPUtime=942.3 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 121746 0 0 0 94191 39 0 0 25 0 4 0 518867766 615665664 118586 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 601236

[startup+1002.3 s]
/proc/loadavg: 8.09 7.96 7.04 9/184 31364
/proc/meminfo: memFree=30439972/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=783188 CPUtime=4003.69 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 586749 0 0 0 400166 203 0 0 25 0 4 0 518867766 801984512 125287 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 195797 125287 389 106 0 190768 0
[pid=31325/tid=31326] ppid=31323 vsize=783188 CPUtime=1002.31 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 144142 0 0 0 100181 50 0 0 25 0 4 0 518867766 801984512 125287 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=783188 CPUtime=996.75 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 159891 0 0 0 99619 56 0 0 25 0 4 0 518867766 801984512 125287 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=783188 CPUtime=1002.31 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 127750 0 0 0 100188 43 0 0 25 0 4 0 518867766 801984512 125287 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 783188

[startup+1062.3 s]
/proc/loadavg: 8.09 7.98 7.10 9/184 31366
/proc/meminfo: memFree=30386364/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=732156 CPUtime=4243.37 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 613897 0 0 0 424121 216 0 0 25 0 4 0 518867766 749727744 129087 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 183039 129087 390 106 0 178010 0
[pid=31325/tid=31326] ppid=31323 vsize=732156 CPUtime=1062.31 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 149791 0 0 0 106178 53 0 0 25 0 4 0 518867766 749727744 129087 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309340 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=732156 CPUtime=1056.41 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 167016 0 0 0 105583 58 0 0 25 0 4 0 518867766 749727744 129087 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=732156 CPUtime=1062.31 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 135014 0 0 0 106185 46 0 0 25 0 4 0 518867766 749727744 129087 33554432000 4194304 4627427 140736175961840 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 732156

[startup+1122.3 s]
/proc/loadavg: 8.03 7.98 7.15 9/184 31367
/proc/meminfo: memFree=30382444/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=744920 CPUtime=4483.03 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 636067 0 0 0 448077 226 0 0 25 0 4 0 518867766 762798080 127424 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 186230 127424 390 106 0 181201 0
[pid=31325/tid=31326] ppid=31323 vsize=744920 CPUtime=1122.31 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 153958 0 0 0 112176 55 0 0 25 0 4 0 518867766 762798080 127424 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=744920 CPUtime=1116.07 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 173671 0 0 0 111546 61 0 0 25 0 4 0 518867766 762798080 127424 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=744920 CPUtime=1122.31 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 139103 0 0 0 112183 48 0 0 25 0 4 0 518867766 762798080 127424 33554432000 4194304 4627427 140736175961840 18446744073709551615 4332163 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 744920

[startup+1182.3 s]
/proc/loadavg: 8.01 7.98 7.20 9/184 31369
/proc/meminfo: memFree=30355244/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=799152 CPUtime=4722.7 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 659566 0 0 0 472034 236 0 0 25 0 4 0 518867766 818331648 130622 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 199788 130622 390 106 0 194759 0
[pid=31325/tid=31326] ppid=31323 vsize=799152 CPUtime=1182.31 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 158232 0 0 0 118174 57 0 0 25 0 4 0 518867766 818331648 130622 33554432000 4194304 4627427 140736175961840 18446744073709551615 4420196 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=799152 CPUtime=1175.74 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 179168 0 0 0 117511 63 0 0 25 0 4 0 518867766 818331648 130622 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=799152 CPUtime=1182.31 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 145904 0 0 0 118180 51 0 0 25 0 4 0 518867766 818331648 130622 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 799152



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.01 7.98 7.22 9/184 31369
/proc/meminfo: memFree=30327076/32950928 swapFree=67111404/67111528
[pid=31325] ppid=31323 vsize=798964 CPUtime=4800.2 cores=0,2,4,6
/proc/31325/stat : 31325 (strangenight2-m) R 31323 31325 30873 0 -1 4202496 667772 0 0 0 479781 239 0 0 25 0 4 0 518867766 818139136 134320 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31325/statm: 199741 134320 390 106 0 194712 0
[pid=31325/tid=31326] ppid=31323 vsize=798964 CPUtime=1201.71 cores=0,2,4,6
/proc/31325/task/31326/stat : 31326 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 158782 0 0 0 120114 57 0 0 25 0 4 0 518867766 818139136 134320 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31325/tid=31327] ppid=31323 vsize=798964 CPUtime=1195.03 cores=0,2,4,6
/proc/31325/task/31327/stat : 31327 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 184114 0 0 0 119438 65 0 0 25 0 4 0 518867766 818139136 134320 33554432000 4194304 4627427 140736175961840 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=31325/tid=31328] ppid=31323 vsize=798964 CPUtime=1201.72 cores=0,2,4,6
/proc/31325/task/31328/stat : 31328 (strangenight2-m) R 31323 31325 30873 0 -1 4202560 147165 0 0 0 120120 52 0 0 25 0 4 0 518867766 818139136 134320 33554432000 4194304 4627427 140736175961840 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 798964

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.26
CPU user time (s): 4797.84
CPU system time (s): 2.42263
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 906880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.84
system time used= 2.42263
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 667772
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= 306
involuntary context switches= 31877

runsolver used 1.9697 second user time and 4.56431 second system time

The end

Launcher Data 

Begin job on node120 at 2011-04-29 12:24:50
IDJOB=3173896
IDBENCH=82714
IDSOLVER=1586
FILE ID=node120/3173896-1304072690
RUNJOBID= node120-1304072690-31310
PBS_JOBID= 13170475
Free space on /tmp= 72076 MiB

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

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

MD5SUM BENCH= 75e4af5315c8af778f17bf3a82042c9e
RANDOM SEED=2117527671

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:      31489604 kB
Buffers:        451120 kB
Cached:         585212 kB
SwapCached:          8 kB
Active:         384344 kB
Inactive:       715748 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      31489604 kB
SwapTotal:    67111528 kB
SwapFree:     67111404 kB
Dirty:           11444 kB
Writeback:           0 kB
AnonPages:       62840 kB
Mapped:          14692 kB
Slab:           296580 kB
PageTables:       4324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   183580 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= 72064 MiB
End job on node120 at 2011-04-29 12:44:54