Trace number 3366689

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.48 1203.46

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf
MD5SUM26e1db2f130e6076b57fb074a1167d5e
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 variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
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-3366689-1305412057.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:      66 undec:       2 neg:      57
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.76/0.20	c  N st     8      4929       125      2662         0      4659     13310    124804   no data   no data
1.16/0.35	c  N st    10     11311       125      2662         0      4287     13310     87185   no data   no data
1.96/0.55	c  N st    11     17054       125      2662         0      9704     13310    225762   no data   no data
3.17/0.86	c  F st    12     25002       125      2662         0     11887     13310    277770   no data   no data
3.17/0.86	c  N st    12     25002       125      2662         0     11887     13310    277770   no data   no data
3.97/1.08	c Decided on static restart strategy
3.97/1.08	c  N st    18     30001       125      2662         0     10187     13310    223859   no data   no data
3.97/1.08	c  S st    18     30001       125      2662         0     10187     13310    223859   no data   no data
4.41/1.11	c  S st    18     30503       125      2662         0     10675     13310    236390   no data   no data
4.41/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.41/1.12	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.41/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.41/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.41/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.41/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.30	c lits-rem:       270  cl-subs:     1576  v-elim:      0  v-fix:    0  time:  0.18 s
5.16/1.34	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.16/1.34	c calculated reachability. Time: 0.00
5.16/1.34	c  N st    18     30503       125      2662         0      9099     13310    193989   no data   no data
6.36/1.67	c  N st    20     37615       125      2662         0      8416     13310    161147   no data   no data
7.55/1.96	c  N st    21     44015       125      2662         0     14465     13310    322760   no data   no data
7.95/2.06	c  S st    22     45755       125      2662         0     16085     13310    363804   no data   no data
8.35/2.11	c  S st    22     46258       125      2662         0     16566     13310    376333   no data   no data
8.35/2.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.35/2.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.35/2.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.35/2.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.35/2.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.35/2.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.35/2.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.35/2.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.35/2.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.56	c lits-rem:       345  cl-subs:     1745  v-elim:      0  v-fix:    0  time:  0.43 s
9.94/2.56	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.94/2.56	c vivif2 --  cl tried    14821 cl shrink        0 lits rem          0 time: 0.00
10.34/2.62	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.34/2.62	c calculated reachability. Time: 0.00
10.34/2.62	c  N st    22     46258       125      2662         0     14821     13310    328525   no data   no data
13.17/3.37	c  N st    23     60655       125      2662         0     10628     13310    188446   no data   no data
15.13/3.86	c  N st    24     69387       125      2662         0     18790     13310    402113   no data   no data
15.13/3.86	c  S st    24     69387       125      2662         0     18790     13310    402113   no data   no data
15.53/3.91	c  S st    24     69893       125      2662         0     19281     13310    414481   no data   no data
15.53/3.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
15.53/3.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.53/3.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.53/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.96/4.54	c lits-rem:       565  cl-subs:     2079  v-elim:      0  v-fix:    0  time:  0.61 s
17.96/4.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.96/4.54	c vivif2 --  cl tried    17202 cl shrink        0 lits rem          0 time: 0.00
18.31/4.61	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.31/4.61	c calculated reachability. Time: 0.00
18.31/4.61	c  N st    24     69893       125      2662         0     17202     13310    357921   no data   no data
22.35/5.66	c  F st    25     87503       125      2662         0     12270     13310    209810   no data   no data
22.35/5.66	c  N st    25     87503       125      2662         0     12270     13310    209810   no data   no data
23.50/5.94	c Decided on static restart strategy
24.30/6.12	c  N st    32     95541       125      2662         0     19781     13310    407407   no data   no data
26.74/6.71	c  N st    34    104839       125      2662         0     16376     13310    311137   no data   no data
26.74/6.71	c  S st    34    104839       125      2662         0     16376     13310    311137   no data   no data
26.74/6.75	c  S st    34    105342       125      2662         0     16868     13310    324201   no data   no data
26.74/6.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.74/6.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.74/6.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.74/6.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.98	c lits-rem:       238  cl-subs:     1096  v-elim:      0  v-fix:    0  time:  0.21 s
27.49/6.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.49/6.99	c vivif2 --  cl tried    15772 cl shrink        0 lits rem          0 time: 0.00
27.89/7.05	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
27.89/7.05	c calculated reachability. Time: 0.00
27.89/7.05	c  N st    34    105342       125      2662         0     15772     13310    295262   no data   no data
30.73/7.76	c  N st    35    114941       125      2662         0     24769     13310    530584   no data   no data
34.68/8.76	c  N st    36    129339       125      2662         0     25242     13310    529969   no data   no data
41.06/10.34	c  N st    37    150934       125      2662         0     16357     13310    258400   no data   no data
43.05/10.82	c  S st    38    158013       125      2662         0     22958     13310    428836   no data   no data
43.05/10.88	c  S st    38    158516       125      2662         0     23446     13310    441354   no data   no data
43.05/10.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.05/10.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.05/10.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.05/10.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.05/10.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.05/10.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.05/10.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.05/10.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.45/10.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.44/11.43	c lits-rem:       487  cl-subs:     1918  v-elim:      0  v-fix:    0  time:  0.52 s
45.44/11.43	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.44/11.43	c vivif2 --  cl tried    21528 cl shrink        0 lits rem          0 time: 0.00
45.84/11.51	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.84/11.51	c calculated reachability. Time: 0.00
45.84/11.51	c  N st    38    158516       125      2662         0     21528     13310    391661   no data   no data
61.84/15.57	c  N st    39    207105       125      2662         0     34380     13310    695948   no data   no data
72.57/18.29	c  N st    40    237774       125      2662         0     26564     13310    468491   no data   no data
72.57/18.29	c  S st    40    237774       125      2662         0     26564     13310    468491   no data   no data
72.97/18.37	c  S st    40    238278       125      2662         0     27054     13310    481316   no data   no data
72.97/18.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
72.97/18.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
72.97/18.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
72.97/18.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
72.97/18.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
72.97/18.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
72.97/18.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
72.97/18.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
73.37/18.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.76/19.06	c lits-rem:       453  cl-subs:     2229  v-elim:      0  v-fix:    0  time:  0.66 s
75.76/19.06	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
75.76/19.07	c vivif2 --  cl tried    24825 cl shrink        0 lits rem          0 time: 0.00
76.16/19.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
76.16/19.17	c calculated reachability. Time: 0.00
76.16/19.17	c  N st    40    238278       125      2662         0     24825     13310    429437   no data   no data
102.09/25.65	c  F st    41    306253       125      2662         0     26591     13310    422673   no data   no data
102.09/25.66	c  N st    41    306253       125      2662         0     26591     13310    422673   no data   no data
104.09/26.11	c Decided on static restart strategy
114.10/28.64	c  N st    51    334559       125      2662         0     30900     13310    538332   no data   no data
124.43/31.21	c  N st    53    357418       125      2662         0     28906     13310    457398   no data   no data
124.43/31.21	c  S st    53    357418       125      2662         0     28906     13310    457398   no data   no data
124.43/31.29	c  S st    53    357921       125      2662         0     29403     13310    470681   no data   no data
124.43/31.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.83/31.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.83/31.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.83/31.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.83/31.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.83/31.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
124.83/31.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.83/31.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
124.83/31.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.03/31.68	c lits-rem:       516  cl-subs:     1280  v-elim:      0  v-fix:    0  time:  0.36 s
126.03/31.68	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
126.03/31.68	c vivif2 --  cl tried    28123 cl shrink        0 lits rem          0 time: 0.00
126.43/31.79	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
126.43/31.79	c calculated reachability. Time: 0.00
126.43/31.79	c  N st    53    357921       125      2662         0     28123     13310    438158   no data   no data
140.82/35.31	c  N st    54    390313       125      2662         0     34015     13310    574213   no data   no data
168.31/42.21	c  N st    55    438904       125      2662         0     28009     13310    398785   no data   no data
205.81/51.65	c  N st    56    511787       125      2662         0     40864     13310    703709   no data   no data
218.58/54.84	c  N st    57    536883       125      2662         0     35366     13310    544827   no data   no data
218.58/54.84	c  S st    57    536883       125      2662         0     35366     13310    544827   no data   no data
218.97/54.93	c  S st    57    537386       125      2662         0     35855     13310    557918   no data   no data
218.97/54.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
218.97/54.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
218.97/54.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
218.97/54.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.97/54.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.97/54.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
218.97/54.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
218.97/54.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
218.97/54.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
221.36/55.58	c lits-rem:       487  cl-subs:     1727  v-elim:      0  v-fix:    0  time:  0.61 s
221.36/55.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
221.36/55.59	c vivif2 --  cl tried    34128 cl shrink        0 lits rem          0 time: 0.01
222.16/55.73	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
222.16/55.73	c calculated reachability. Time: 0.00
222.16/55.73	c  N st    57    537386       125      2662         0     34128     13310    515215   no data   no data
308.32/77.38	c  N st    58    701370       125      2662         0     62441     13310   1246641   no data   no data
367.77/92.23	c  N st    59    806079       125      2662         0     56520     13310   1015358   no data   no data
367.77/92.23	c  S st    59    806079       125      2662         0     56520     13310   1015358   no data   no data
368.17/92.39	c  S st    59    806580       125      2662         0     57011     13310   1028048   no data   no data
368.17/92.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
368.61/92.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
368.61/92.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
368.61/92.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
368.61/92.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
368.61/92.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
368.61/92.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
368.61/92.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
368.61/92.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
384.53/96.43	c lits-rem:       924  cl-subs:     4500  v-elim:      0  v-fix:    0  time:  3.98 s
384.53/96.43	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
384.53/96.44	c vivif2 --  cl tried    52511 cl shrink        0 lits rem          0 time: 0.01
385.72/96.70	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
385.72/96.70	c calculated reachability. Time: 0.00
385.72/96.70	c  N st    59    806580       125      2662         0     52511     13310    914573   no data   no data
559.25/140.23	c  F st    60   1071876       125      2662         0     67809     13310   1235660   no data   no data
559.25/140.23	c  N st    60   1071876       125      2662         0     67809     13310   1235660   no data   no data
564.03/141.44	c Decided on static restart strategy
580.79/145.69	c  N st    70   1100176       125      2662         0     52337     13310    795085   no data   no data
609.95/152.97	c  N st    72   1136171       125      2662         0     42962     13310    531228   no data   no data
633.04/158.79	c  N st    73   1168563       125      2662         0     73291     13310   1323943   no data   no data
674.53/169.10	c  N st    74   1209870       125      2662         0     68013     13310   1175566   no data   no data
674.53/169.10	c  S st    74   1209870       125      2662         0     68013     13310   1175566   no data   no data
675.33/169.39	c  S st    74   1210376       125      2662         0     68503     13310   1188418   no data   no data
675.33/169.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
675.77/169.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
675.77/169.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
675.77/169.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
675.77/169.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
675.77/169.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
675.77/169.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
675.77/169.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
675.77/169.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
719.64/180.50	c lits-rem:      1901  cl-subs:     4905  v-elim:      0  v-fix:    0  time: 11.01 s
719.64/180.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
720.04/180.52	c vivif2 --  cl tried    63598 cl shrink        0 lits rem          0 time: 0.02
721.59/180.96	c asymm  cl-useful: 0/2131/2662 lits-rem:0 time: 0.44
721.59/180.96	c calculated reachability. Time: 0.00
721.59/180.96	c  N st    74   1210376       125      2662         0     63598     13310   1058145   no data   no data
792.20/198.67	c  N st    75   1283258       125      2662         0     86862     13310   1632191   no data   no data
892.72/223.81	c  N st    76   1392582       125      2662         0     49082     13310    613766   no data   no data
1027.56/257.61	c  N st    77   1556566       125      2662         0     53312     13310    680215   no data   no data
1161.60/291.28	c  N st    78   1710376       125      2662         0     93575     13310   1700558   no data   no data
1161.60/291.28	c  S st    78   1710376       125      2662         0     93575     13310   1700558   no data   no data
1163.24/291.69	c  S st    78   1710881       125      2662         0     94068     13310   1713381   no data   no data
1163.59/291.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1163.59/291.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1163.59/291.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1163.59/291.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1163.59/291.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1163.59/291.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1163.59/291.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1163.59/291.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1163.99/291.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1291.21/323.75	c lits-rem:      1918  cl-subs:     9679  v-elim:      0  v-fix:    0  time: 31.91 s
1291.21/323.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1291.21/323.78	c vivif2 --  cl tried    84389 cl shrink        0 lits rem          0 time: 0.03
1292.01/323.99	c asymm  cl-useful: 0/531/2662 lits-rem:0 time: 0.21
1292.01/324.00	c calculated reachability. Time: 0.00
1292.01/324.00	c  N st    78   1710881       125      2662         0     84389     13310   1474049   no data   no data
1647.44/413.05	c  N st    79   2079845       125      2662         0     96128     13310   1706346   no data   no data
1773.14/444.59	c  N st    80   2210884       125      2662         0     99861     13310   1730794   no data   no data
1773.14/444.59	c  S st    80   2210884       125      2662         0     99861     13310   1730794   no data   no data
1774.29/444.89	c  S st    80   2211385       125      2662         0    100351     13310   1744127   no data   no data
1774.69/444.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1774.69/444.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1774.69/444.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1774.69/444.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1774.69/444.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1774.69/444.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1774.69/444.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1774.69/444.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1775.09/445.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1871.22/469.12	c lits-rem:      2050  cl-subs:    10769  v-elim:      0  v-fix:    0  time: 24.10 s
1871.22/469.12	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1871.22/469.14	c vivif2 --  cl tried    89582 cl shrink        0 lits rem          0 time: 0.02
1873.22/469.61	c asymm  cl-useful: 0/1649/2662 lits-rem:0 time: 0.47
1873.22/469.61	c calculated reachability. Time: 0.00
1873.22/469.61	c  N st    80   2211385       125      2662         0     89582     13310   1487666   no data   no data
2446.05/613.25	c  N st    81   2711386       125      2662         0    112532     13310   2024691   no data   no data
2446.05/613.25	c  S st    81   2711386       125      2662         0    112532     13310   2024691   no data   no data
2447.65/613.61	c  S st    81   2711889       125      2662         0    113022     13310   2037490   no data   no data
2447.65/613.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2447.65/613.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2447.65/613.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2447.65/613.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2447.65/613.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2447.65/613.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2447.65/613.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2448.05/613.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2448.05/613.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2590.43/649.47	c lits-rem:      2235  cl-subs:    11714  v-elim:      0  v-fix:    0  time: 35.71 s
2590.43/649.47	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2590.84/649.50	c vivif2 --  cl tried   101308 cl shrink        0 lits rem          0 time: 0.03
2592.84/650.00	c asymm  cl-useful: 0/1013/2662 lits-rem:0 time: 0.50
2592.84/650.00	c calculated reachability. Time: 0.00
2592.84/650.00	c  N st    81   2711889       125      2662         0    101308     13310   1741097   no data   no data
3178.82/796.90	c  N st    82   3211890       125      2662         0     78758     13310   1004281   no data   no data
3178.82/796.90	c  S st    82   3211890       125      2662         0     78758     13310   1004281   no data   no data
3179.62/797.14	c  S st    82   3212393       125      2662         0     79242     13310   1016785   no data   no data
3179.62/797.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3179.62/797.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3179.62/797.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3179.62/797.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3179.62/797.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3179.62/797.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3179.62/797.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3180.02/797.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3180.02/797.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3186.39/798.84	c lits-rem:       421  cl-subs:     1567  v-elim:      0  v-fix:    0  time:  1.61 s
3186.39/798.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3186.39/798.86	c vivif2 --  cl tried    77675 cl shrink        0 lits rem          0 time: 0.02
3187.99/799.29	c asymm  cl-useful: 0/1888/2662 lits-rem:0 time: 0.43
3187.99/799.29	c calculated reachability. Time: 0.00
3187.99/799.29	c  N st    82   3212393       125      2662         0     77675     13310    978550   no data   no data
3793.14/950.93	c  N st    83   3712395       125      2662         0     87763     13310   1153363   no data   no data
3793.14/950.93	c  S st    83   3712395       125      2662         0     87763     13310   1153363   no data   no data
3794.34/951.20	c  S st    83   3712899       125      2662         0     88250     13310   1166451   no data   no data
3794.34/951.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3794.34/951.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3794.34/951.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3794.34/951.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3794.34/951.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3794.34/951.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3794.34/951.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3794.34/951.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3794.34/951.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3803.12/953.41	c lits-rem:       482  cl-subs:     2657  v-elim:      0  v-fix:    0  time:  2.12 s
3803.12/953.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3803.12/953.43	c vivif2 --  cl tried    85593 cl shrink        0 lits rem          0 time: 0.02
3803.92/953.61	c asymm  cl-useful: 0/774/2662 lits-rem:0 time: 0.18
3803.92/953.61	c calculated reachability. Time: 0.00
3803.92/953.61	c  N st    83   3712899       125      2662         0     85593     13310   1101660   no data   no data
3850.59/965.31	c  F st    84   3751562       125      2662         0    121673     13310   2076619   no data   no data
3850.59/965.31	c  N st    84   3751562       125      2662         0    121673     13310   2076619   no data   no data
3858.16/967.28	c Decided on static restart strategy
3897.25/977.05	c  N st    94   3779864       125      2662         0    148246     13310   2790878   no data   no data
3944.34/988.90	c  N st    96   3815858       125      2662         0    102854     13310   1539806   no data   no data
3984.27/998.89	c  N st    97   3848250       125      2662         0    132982     13310   2317130   no data   no data
4047.25/1014.63	c  N st    98   3896841       125      2662         0     98390     13310   1401517   no data   no data
4149.38/1040.28	c  N st    99   3969723       125      2662         0     85216     13310   1033919   no data   no data
4297.77/1077.49	c  N st   100   4079047       125      2662         0    105079     13310   1543841   no data   no data
4474.09/1121.63	c  N st   101   4212900       125      2662         0    147017     13310   2639622   no data   no data
4474.09/1121.63	c  S st   101   4212900       125      2662         0    147017     13310   2639622   no data   no data
4476.13/1122.15	c  S st   101   4213404       125      2662         0    147512     13310   2653021   no data   no data
4476.13/1122.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4476.48/1122.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4476.48/1122.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4476.48/1122.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4476.48/1122.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4476.48/1122.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4476.48/1122.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4476.48/1122.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4476.88/1122.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4786.39/1199.99	c lits-rem:      3093  cl-subs:    14874  v-elim:      0  v-fix:    0  time: 77.64 s
4786.39/1199.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4786.79/1200.04	c vivif2 --  cl tried   132638 cl shrink        0 lits rem          0 time: 0.05
4789.57/1200.77	c asymm  cl-useful: 0/1116/2662 lits-rem:0 time: 0.73
4789.57/1200.78	c calculated reachability. Time: 0.00
4789.57/1200.78	c  N st   101   4213404       125      2662         0    132638     13310   2285168   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366689-1305412057/watcher-3366689-1305412057 -o /tmp/evaluation-result-3366689-1305412057/solver-3366689-1305412057 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366689-1305412057.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.20 7.99 5.90 1/334 32164
/proc/meminfo: memFree=17847612/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=216280 CPUtime=0.02 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 828 0 0 0 2 0 0 0 25 0 4 0 652806670 221470720 746 33554432000 4194304 4580107 140736451203136 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 54070 746 357 95 0 49052 0
[pid=32164/tid=32165] ppid=32162 vsize=216280 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 84 0 0 0 0 0 0 0 25 0 4 0 652806670 221470720 746 33554432000 4194304 4580107 140736451203136 18446744073709551615 270612771873 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=216280 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 111 0 0 0 0 0 0 0 25 0 4 0 652806670 221470720 746 33554432000 4194304 4580107 140736451203136 18446744073709551615 270613215726 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=216280 CPUtime=0 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 108 0 0 0 0 0 0 0 25 0 4 0 652806670 221470720 746 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.112242 s]
/proc/loadavg: 8.20 7.99 5.90 1/334 32164
/proc/meminfo: memFree=17847612/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=216924 CPUtime=0.42 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 1857 0 0 0 42 0 0 0 25 0 4 0 652806670 222130176 1762 33554432000 4194304 4580107 140736451203136 18446744073709551615 4318345 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 54231 1762 376 95 0 49213 0
[pid=32164/tid=32165] ppid=32162 vsize=216924 CPUtime=0.1 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 370 0 0 0 10 0 0 0 25 0 4 0 652806670 222130176 1762 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=216924 CPUtime=0.09 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 365 0 0 0 9 0 0 0 25 0 4 0 652806670 222130176 1762 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=216924 CPUtime=0.1 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 276 0 0 0 10 0 0 0 25 0 4 0 652806670 222130176 1762 33554432000 4194304 4580107 140736451203136 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 216924

[startup+0.200227 s]
/proc/loadavg: 8.20 7.99 5.90 1/334 32164
/proc/meminfo: memFree=17847612/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=218540 CPUtime=0.76 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 2585 0 0 0 76 0 0 0 25 0 4 0 652806670 223784960 1864 33554432000 4194304 4580107 140736451203136 18446744073709551615 4322556 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 54635 1864 377 95 0 49617 0
[pid=32164/tid=32165] ppid=32162 vsize=218540 CPUtime=0.19 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 542 0 0 0 19 0 0 0 25 0 4 0 652806670 223784960 1864 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=218540 CPUtime=0.18 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 550 0 0 0 18 0 0 0 25 0 4 0 652806670 223784960 1864 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=218540 CPUtime=0.19 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 466 0 0 0 19 0 0 0 25 0 4 0 652806670 223784960 1864 33554432000 4194304 4580107 140736451203136 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.76
Current children cumulated vsize (KiB) 218540

[startup+0.300209 s]
/proc/loadavg: 8.20 7.99 5.90 1/334 32164
/proc/meminfo: memFree=17847612/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=218716 CPUtime=1.16 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 3031 0 0 0 116 0 0 0 25 0 4 0 652806670 223965184 2310 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 54679 2310 377 95 0 49661 0
[pid=32164/tid=32165] ppid=32162 vsize=218716 CPUtime=0.29 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 651 0 0 0 29 0 0 0 25 0 4 0 652806670 223965184 2310 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=218716 CPUtime=0.28 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 663 0 0 0 28 0 0 0 25 0 4 0 652806670 223965184 2310 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=218716 CPUtime=0.29 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 582 0 0 0 29 0 0 0 25 0 4 0 652806670 223965184 2310 33554432000 4194304 4580107 140736451203136 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 218716

[startup+0.70115 s]
/proc/loadavg: 8.20 7.99 5.90 1/334 32164
/proc/meminfo: memFree=17847612/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=220348 CPUtime=2.77 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 5490 0 0 0 276 1 0 0 25 0 4 0 652806670 225636352 2642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 55087 2642 377 95 0 50069 0
[pid=32164/tid=32165] ppid=32162 vsize=220348 CPUtime=0.69 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 1257 0 0 0 69 0 0 0 25 0 4 0 652806670 225636352 2642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=220348 CPUtime=0.68 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 1293 0 0 0 68 0 0 0 25 0 4 0 652806670 225636352 2642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=220348 CPUtime=0.69 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 1186 0 0 0 69 0 0 0 25 0 4 0 652806670 225636352 2642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 220348

[startup+1.501 s]
/proc/loadavg: 8.20 7.99 5.90 10/343 32198
/proc/meminfo: memFree=17833684/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=227532 CPUtime=5.96 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 10784 0 0 0 595 1 0 0 25 0 4 0 652806670 232992768 5293 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 56883 5308 379 95 0 51865 0
[pid=32164/tid=32165] ppid=32162 vsize=227532 CPUtime=1.49 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 2642 0 0 0 149 0 0 0 25 0 4 0 652806670 232992768 5310 33554432000 4194304 4580107 140736451203136 18446744073709551615 270612807435 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=227532 CPUtime=1.47 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 2269 0 0 0 147 0 0 0 25 0 4 0 652806670 232992768 5317 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=227532 CPUtime=1.49 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 2114 0 0 0 149 0 0 0 25 0 4 0 652806670 232992768 5323 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 227532

[startup+3.10071 s]
/proc/loadavg: 8.26 8.01 5.91 9/343 32198
/proc/meminfo: memFree=17792264/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=232400 CPUtime=12.34 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 20742 0 0 0 1232 2 0 0 25 0 4 0 652806670 237977600 10904 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 58100 10904 379 95 0 53082 0
[pid=32164/tid=32165] ppid=32162 vsize=232400 CPUtime=3.08 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 4415 0 0 0 308 0 0 0 25 0 4 0 652806670 237977600 10904 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=232400 CPUtime=3.05 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 5475 0 0 0 305 0 0 0 25 0 4 0 652806670 237977600 10904 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=232400 CPUtime=3.08 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 5082 0 0 0 308 0 0 0 25 0 4 0 652806670 237977600 10904 33554432000 4194304 4580107 140736451203136 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 232400

[startup+6.30115 s]
/proc/loadavg: 8.26 8.01 5.91 9/343 32199
/proc/meminfo: memFree=17726856/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=226724 CPUtime=25.1 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 31623 0 0 0 2506 4 0 0 25 0 4 0 652806670 232165376 15749 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 56681 15749 379 95 0 51663 0
[pid=32164/tid=32165] ppid=32162 vsize=226724 CPUtime=6.29 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 7494 0 0 0 628 1 0 0 25 0 4 0 652806670 232165376 15749 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=226724 CPUtime=6.22 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 8294 0 0 0 621 1 0 0 25 0 4 0 652806670 232165376 15749 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=226724 CPUtime=6.28 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 7601 0 0 0 628 0 0 0 25 0 4 0 652806670 232165376 15749 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 226724

[startup+12.701 s]
/proc/loadavg: 8.22 8.01 5.93 9/343 32199
/proc/meminfo: memFree=17672676/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=251392 CPUtime=50.63 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 45999 0 0 0 5057 6 0 0 25 0 4 0 652806670 257425408 21322 33554432000 4194304 4580107 140736451203136 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 62848 21322 379 95 0 57830 0
[pid=32164/tid=32165] ppid=32162 vsize=251392 CPUtime=12.68 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 10927 0 0 0 1267 1 0 0 25 0 4 0 652806670 257425408 21322 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=251392 CPUtime=12.54 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 11273 0 0 0 1253 1 0 0 25 0 4 0 652806670 257425408 21322 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=251392 CPUtime=12.69 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 12109 0 0 0 1268 1 0 0 25 0 4 0 652806670 257425408 21322 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 251392

[startup+25.5007 s]
/proc/loadavg: 8.27 8.02 5.96 9/343 32199
/proc/meminfo: memFree=17619840/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=328332 CPUtime=101.69 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 68957 0 0 0 10156 13 0 0 25 0 4 0 652806670 336211968 26056 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 82083 26056 379 95 0 77065 0
[pid=32164/tid=32165] ppid=32162 vsize=328332 CPUtime=25.49 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 17345 0 0 0 2546 3 0 0 25 0 4 0 652806670 336211968 26056 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=328332 CPUtime=25.2 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 16290 0 0 0 2518 2 0 0 25 0 4 0 652806670 336211968 26056 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=328332 CPUtime=25.49 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 18293 0 0 0 2546 3 0 0 25 0 4 0 652806670 336211968 26056 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 328332

[startup+51.1012 s]
/proc/loadavg: 8.18 8.02 6.01 9/343 32200
/proc/meminfo: memFree=17572728/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=309632 CPUtime=203.82 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 100115 0 0 0 20360 22 0 0 25 0 4 0 652806670 317063168 32858 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 77408 32858 379 95 0 72390 0
[pid=32164/tid=32165] ppid=32162 vsize=309632 CPUtime=51.08 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 24574 0 0 0 5104 4 0 0 25 0 4 0 652806670 317063168 32858 33554432000 4194304 4580107 140736451203136 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=309632 CPUtime=50.53 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 25159 0 0 0 5048 5 0 0 25 0 4 0 652806670 317063168 32858 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=309632 CPUtime=51.09 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 28006 0 0 0 5103 6 0 0 25 0 4 0 652806670 317063168 32858 33554432000 4194304 4580107 140736451203136 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 309632

[startup+102.301 s]
/proc/loadavg: 8.12 8.03 6.13 9/343 32201
/proc/meminfo: memFree=17463836/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=398868 CPUtime=408.1 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 146246 0 0 0 40771 39 0 0 25 0 4 0 652806670 408440832 48237 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 99717 48237 379 95 0 94699 0
[pid=32164/tid=32165] ppid=32162 vsize=398868 CPUtime=102.3 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 31512 0 0 0 10224 6 0 0 25 0 4 0 652806670 408440832 48237 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=398868 CPUtime=101.18 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 38061 0 0 0 10107 11 0 0 25 0 4 0 652806670 408440832 48237 33554432000 4194304 4580107 140736451203136 18446744073709551615 4415779 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=398868 CPUtime=102.3 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 42913 0 0 0 10218 12 0 0 25 0 4 0 652806670 408440832 48237 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.1
Current children cumulated vsize (KiB) 398868

[startup+162.301 s]

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

[pid=32164] ppid=32162 vsize=621144 CPUtime=2801.44 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 456558 0 0 0 279970 174 0 0 25 0 4 0 652806670 636051456 111254 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 155286 111254 379 95 0 150268 0
[pid=32164/tid=32165] ppid=32162 vsize=621144 CPUtime=702.28 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 106033 0 0 0 70192 36 0 0 25 0 4 0 652806670 636051456 111254 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=621144 CPUtime=694.54 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 129647 0 0 0 69398 56 0 0 25 0 4 0 652806670 636051456 111254 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=621144 CPUtime=702.3 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 118961 0 0 0 70188 42 0 0 25 0 4 0 652806670 636051456 111254 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2801.44
Current children cumulated vsize (KiB) 621144

[startup+762.301 s]
/proc/loadavg: 8.21 8.13 7.14 9/343 32219
/proc/meminfo: memFree=16999280/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=569460 CPUtime=3040.83 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 477740 0 0 0 303898 185 0 0 25 0 4 0 652806670 583127040 102088 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 142365 102088 379 95 0 137347 0
[pid=32164/tid=32165] ppid=32162 vsize=569460 CPUtime=762.29 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 113853 0 0 0 76190 39 0 0 25 0 4 0 652806670 583127040 102088 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=569460 CPUtime=753.89 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 133757 0 0 0 75331 58 0 0 25 0 4 0 652806670 583127040 102088 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=569460 CPUtime=762.32 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 122282 0 0 0 76188 44 0 0 25 0 4 0 652806670 583127040 102088 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.83
Current children cumulated vsize (KiB) 569460

[startup+822.301 s]
/proc/loadavg: 8.22 8.14 7.20 9/343 32220
/proc/meminfo: memFree=16939476/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=596924 CPUtime=3280.13 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 498826 0 0 0 327817 196 0 0 25 0 4 0 652806670 611250176 117213 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 149231 117213 379 95 0 144213 0
[pid=32164/tid=32165] ppid=32162 vsize=596924 CPUtime=822.28 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 121241 0 0 0 82184 44 0 0 25 0 4 0 652806670 611250176 117213 33554432000 4194304 4580107 140736451203136 18446744073709551615 4304864 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=596924 CPUtime=813.23 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 137013 0 0 0 81264 59 0 0 25 0 4 0 652806670 611250176 117213 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=596924 CPUtime=822.31 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 128380 0 0 0 82183 48 0 0 25 0 4 0 652806670 611250176 117213 33554432000 4194304 4580107 140736451203136 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3280.13
Current children cumulated vsize (KiB) 596924

[startup+882.313 s]
/proc/loadavg: 8.19 8.14 7.26 9/343 32222
/proc/meminfo: memFree=16895536/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=648696 CPUtime=3519.54 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 524894 0 0 0 351745 209 0 0 25 0 4 0 652806670 664264704 116849 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 162174 116849 379 95 0 157156 0
[pid=32164/tid=32165] ppid=32162 vsize=648696 CPUtime=882.29 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 127736 0 0 0 88182 47 0 0 25 0 4 0 652806670 664264704 116849 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=648696 CPUtime=872.58 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 141200 0 0 0 87197 61 0 0 25 0 4 0 652806670 664264704 116849 33554432000 4194304 4580107 140736451203136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=648696 CPUtime=882.31 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 134796 0 0 0 88181 50 0 0 25 0 4 0 652806670 664264704 116849 33554432000 4194304 4580107 140736451203136 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3519.54
Current children cumulated vsize (KiB) 648696

[startup+942.3 s]
/proc/loadavg: 8.19 8.14 7.31 9/343 32224
/proc/meminfo: memFree=16888292/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=624236 CPUtime=3758.84 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 546576 0 0 0 375664 220 0 0 25 0 4 0 652806670 639217664 118979 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 156059 118979 379 95 0 151041 0
[pid=32164/tid=32165] ppid=32162 vsize=624236 CPUtime=942.28 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 133758 0 0 0 94178 50 0 0 25 0 4 0 652806670 639217664 118979 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=624236 CPUtime=931.92 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 146779 0 0 0 93128 64 0 0 25 0 4 0 652806670 639217664 118979 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=624236 CPUtime=942.3 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 140613 0 0 0 94177 53 0 0 25 0 4 0 652806670 639217664 118979 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.84
Current children cumulated vsize (KiB) 624236

[startup+1002.3 s]
/proc/loadavg: 8.17 8.14 7.36 9/343 32225
/proc/meminfo: memFree=16864900/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=663064 CPUtime=3998.18 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 564377 0 0 0 399590 228 0 0 25 0 4 0 652806670 678977536 115642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 165766 115642 379 95 0 160748 0
[pid=32164/tid=32165] ppid=32162 vsize=663064 CPUtime=1002.28 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 137548 0 0 0 100177 51 0 0 25 0 4 0 652806670 678977536 115642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=663064 CPUtime=991.27 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 153300 0 0 0 99059 68 0 0 25 0 4 0 652806670 678977536 115642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=663064 CPUtime=1002.3 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 147524 0 0 0 100175 55 0 0 25 0 4 0 652806670 678977536 115642 33554432000 4194304 4580107 140736451203136 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3998.18
Current children cumulated vsize (KiB) 663064

[startup+1062.3 s]
/proc/loadavg: 8.17 8.15 7.41 9/343 32227
/proc/meminfo: memFree=16824920/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=625236 CPUtime=4237.54 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 583327 0 0 0 423515 239 0 0 25 0 4 0 652806670 640241664 113391 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 156309 113391 379 95 0 151291 0
[pid=32164/tid=32165] ppid=32162 vsize=625236 CPUtime=1062.28 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 141676 0 0 0 106174 54 0 0 25 0 4 0 652806670 640241664 113391 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=625236 CPUtime=1050.62 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 160842 0 0 0 104990 72 0 0 25 0 4 0 652806670 640241664 113391 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=625236 CPUtime=1062.31 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 151197 0 0 0 106174 57 0 0 25 0 4 0 652806670 640241664 113391 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4237.54
Current children cumulated vsize (KiB) 625236

[startup+1122.3 s]
/proc/loadavg: 8.11 8.13 7.45 9/343 32228
/proc/meminfo: memFree=16809640/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=639688 CPUtime=4476.88 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 604844 0 0 0 447440 248 0 0 25 0 4 0 652806670 655040512 119956 33554432000 4194304 4580107 140736451203136 18446744073709551615 4443163 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 159922 119956 379 95 0 154904 0
[pid=32164/tid=32165] ppid=32162 vsize=639688 CPUtime=1122.28 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 145086 0 0 0 112173 55 0 0 25 0 4 0 652806670 655040512 119956 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=639688 CPUtime=1109.96 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 168486 0 0 0 110921 75 0 0 25 0 4 0 652806670 655040512 119956 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=639688 CPUtime=1122.31 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 158322 0 0 0 112171 60 0 0 25 0 4 0 652806670 655040512 119956 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4476.88
Current children cumulated vsize (KiB) 639688

[startup+1182.3 s]
/proc/loadavg: 8.14 8.14 7.49 9/343 32230
/proc/meminfo: memFree=16713708/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=667060 CPUtime=4716.2 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 626421 0 0 0 471362 258 0 0 25 0 4 0 652806670 683069440 131836 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 166765 131836 379 95 0 161747 0
[pid=32164/tid=32165] ppid=32162 vsize=667060 CPUtime=1182.27 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 153703 0 0 0 118167 60 0 0 25 0 4 0 652806670 683069440 131836 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=667060 CPUtime=1169.27 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 174517 0 0 0 116850 77 0 0 25 0 4 0 652806670 683069440 131836 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=667060 CPUtime=1182.31 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 165075 0 0 0 118169 62 0 0 25 0 4 0 652806670 683069440 131836 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4716.2
Current children cumulated vsize (KiB) 667060



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.16 8.14 7.51 10/343 32230
/proc/meminfo: memFree=16708080/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=667060 CPUtime=4800.43 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 626508 0 0 0 479785 258 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 166765 131923 379 95 0 161747 0
[pid=32164/tid=32165] ppid=32162 vsize=667060 CPUtime=1203.4 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 153703 0 0 0 120280 60 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=667060 CPUtime=1190.12 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 174517 0 0 0 118935 77 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=667060 CPUtime=1203.44 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 165075 0 0 0 120282 62 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 667060

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

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

[startup+1203.4 s]
/proc/loadavg: 8.16 8.14 7.51 10/343 32230
/proc/meminfo: memFree=16708080/32951124 swapFree=67056804/67111528
[pid=32164] ppid=32162 vsize=667060 CPUtime=4800.43 cores=1,3,5,7
/proc/32164/stat : 32164 (strangenight2-m) R 32162 32164 32059 0 -1 4202496 626508 0 0 0 479785 258 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/32164/statm: 166765 131923 379 95 0 161747 0
[pid=32164/tid=32165] ppid=32162 vsize=667060 CPUtime=1203.4 cores=1,3,5,7
/proc/32164/task/32165/stat : 32165 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 153703 0 0 0 120280 60 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=32164/tid=32166] ppid=32162 vsize=667060 CPUtime=1190.12 cores=1,3,5,7
/proc/32164/task/32166/stat : 32166 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 174517 0 0 0 118935 77 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=32164/tid=32167] ppid=32162 vsize=667060 CPUtime=1203.44 cores=1,3,5,7
/proc/32164/task/32167/stat : 32167 (strangenight2-m) R 32162 32164 32059 0 -1 4202560 165075 0 0 0 120282 62 0 0 25 0 4 0 652806670 683069440 131923 33554432000 4194304 4580107 140736451203136 18446744073709551615 4406340 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.43
Current children cumulated vsize (KiB) 667060

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.48
CPU user time (s): 4797.87
CPU system time (s): 2.6086
CPU usage (%): 398.891
Max. virtual memory (cumulated for all children) (KiB): 750244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.87
system time used= 2.6086
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 626508
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= 282
involuntary context switches= 32915

runsolver used 3.68644 second user time and 9.64753 second system time

The end

Launcher Data 

Begin job on node108 at 2011-05-15 00:27:37
IDJOB=3366689
IDBENCH=83098
IDSOLVER=1844
FILE ID=node108/3366689-1305412057
RUNJOBID= node108-1305410851-32078
PBS_JOBID= 13324535
Free space on /tmp= 73552 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S118521533-021.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366689-1305412057/watcher-3366689-1305412057 -o /tmp/evaluation-result-3366689-1305412057/solver-3366689-1305412057 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366689-1305412057.cnf

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

MD5SUM BENCH= 26e1db2f130e6076b57fb074a1167d5e
RANDOM SEED=174817425

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      17847892 kB
Buffers:        279996 kB
Cached:        4406876 kB
SwapCached:       8700 kB
Active:       11038500 kB
Inactive:      3754084 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      17847892 kB
SwapTotal:    67111528 kB
SwapFree:     67056804 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:    10102880 kB
Mapped:          26964 kB
Slab:           207604 kB
PageTables:      37940 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 52283960 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= 73544 MiB
End job on node108 at 2011-05-15 00:47:43