Trace number 3366615

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.37 1203.44

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1511266249-002.UNKNOWN.cnf
MD5SUM5f2e312544271c81369da327dc351a86
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark46.27
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
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.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366615-1305410672.cnf'
0.00/0.01	c -- header says num vars:            400
0.00/0.01	c -- header says num clauses:        1704
0.00/0.01	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.01	c -- vars added        400
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1704/1704 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.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     177 undec:      52 neg:     171
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       391      1696         0         0      5144         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4917       391      1696         0      4822      5144    100480   no data   no data
0.00/0.80	c  N st    10     11301       391      1696         0      4452      5144     67428   no data   no data
0.00/0.80	c  N st    11     17044       391      1696         0     10022      5144    179784   no data   no data
4.37/1.10	c  F st    12     25001       391      1696         0     12276      5144    234996   no data   no data
4.37/1.10	c  N st    12     25001       391      1696         0     12276      5144    234996   no data   no data
5.16/1.30	c Decided on static restart strategy
5.16/1.30	c  N st    18     30000       391      1696         0     10598      5144    177669   no data   no data
5.16/1.30	c  S st    18     30000       391      1696         0     10598      5144    177669   no data   no data
5.16/1.30	c  S st    18     30507       391      1696         0     11104      5144    187313   no data   no data
5.16/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.30	c blocked clauses removed:        0 vars:      0 tried:         391 T: 0.00 s
5.16/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
5.16/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       161  cl-subs:      700  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.40	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.01
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30507       391      1696         0     10404      5144    172054   no data   no data
6.77/1.73	c  N st    20     37618       391      1696         0      9657      5144    143154   no data   no data
8.36/2.11	c  N st    21     44017       391      1696         0     15890      5144    269828   no data   no data
8.75/2.25	c  S st    22     45760       391      1696         0      8872      5144    111043   no data   no data
8.75/2.27	c  S st    22     46261       391      1696         0      9371      5144    120666   no data   no data
8.75/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.75/2.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.75/2.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.75/2.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.75/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.75/2.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
8.75/2.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.75/2.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.75/2.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.75/2.29	c lits-rem:        10  cl-subs:       86  v-elim:      0  v-fix:    0  time:  0.01 s
8.75/2.29	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
8.75/2.29	c vivif2 --  cl tried     9285 cl shrink        0 lits rem          0 time: 0.00
8.75/2.29	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.00
8.75/2.29	c calculated reachability. Time: 0.00
8.75/2.29	c  N st    22     46261       391      1696         0      9285      5144    118986   no data   no data
12.34/3.13	c  N st    23     60658       391      1696         0     13551      5144    193090   no data   no data
14.74/3.79	c  N st    24     69391       391      1696         0     11367      5144    143678   no data   no data
14.74/3.79	c  S st    24     69391       391      1696         0     11367      5144    143678   no data   no data
15.14/3.82	c  S st    24     69899       391      1696         0     11873      5144    153125   no data   no data
15.14/3.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.14/3.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.14/3.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.14/3.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.14/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
15.14/3.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.14/3.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.14/3.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.14/3.85	c lits-rem:        41  cl-subs:      187  v-elim:      0  v-fix:    0  time:  0.01 s
15.14/3.85	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
15.14/3.85	c vivif2 --  cl tried    11686 cl shrink        0 lits rem          0 time: 0.00
15.14/3.85	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.01
15.14/3.85	c calculated reachability. Time: 0.00
15.14/3.85	c  N st    24     69899       391      1696         0     11686      5144    149663   no data   no data
19.92/5.06	c  F st    25     87501       391      1696         0     17141      5144    249535   no data   no data
19.92/5.06	c  N st    25     87501       391      1696         0     17141      5144    249535   no data   no data
21.51/5.46	c Decided on static restart strategy
22.71/5.71	c  N st    32     95543       391      1696         0     24974      5144    404637   no data   no data
25.50/6.40	c  N st    34    104848       391      1696         0     21406      5144    323019   no data   no data
25.50/6.40	c  S st    34    104848       391      1696         0     21406      5144    323019   no data   no data
25.50/6.45	c  S st    34    105353       391      1696         0     21909      5144    333184   no data   no data
25.50/6.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.50/6.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.50/6.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.50/6.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.50/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.50/6.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
25.50/6.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.50/6.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.50/6.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.31/6.61	c lits-rem:       120  cl-subs:     1051  v-elim:      0  v-fix:    0  time:  0.14 s
26.31/6.61	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
26.31/6.62	c vivif2 --  cl tried    20858 cl shrink        0 lits rem          0 time: 0.00
26.31/6.63	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.01
26.31/6.63	c calculated reachability. Time: 0.00
26.31/6.63	c  N st    34    105353       391      1696         0     20858      5144    311536   no data   no data
29.54/7.41	c  N st    35    114951       391      1696         0     16530      5144    209837   no data   no data
34.28/8.69	c  N st    36    129348       391      1696         0     15956      5144    182229   no data   no data
41.87/10.58	c  N st    37    150947       391      1696         0     21390      5144    281981   no data   no data
44.26/11.15	c  S st    38    158029       391      1696         0     28257      5144    422528   no data   no data
44.66/11.23	c  S st    38    158531       391      1696         0     28754      5144    432646   no data   no data
44.66/11.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.66/11.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.66/11.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.66/11.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.66/11.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.66/11.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
44.66/11.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.66/11.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.66/11.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.26/11.60	c lits-rem:       229  cl-subs:     1990  v-elim:      0  v-fix:    0  time:  0.35 s
46.26/11.60	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
46.26/11.61	c vivif2 --  cl tried    26764 cl shrink        0 lits rem          0 time: 0.00
46.26/11.63	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.01
46.26/11.63	c calculated reachability. Time: 0.00
46.26/11.63	c  N st    38    158531       391      1696         0     26764      5144    394027   no data   no data
63.80/16.07	c  N st    39    207119       391      1696         0     21503      5144    254428   no data   no data
75.77/19.08	c  N st    40    237800       391      1696         0     31913      5144    458594   no data   no data
75.77/19.08	c  S st    40    237800       391      1696         0     31913      5144    458594   no data   no data
76.17/19.16	c  S st    40    238307       391      1696         0     32420      5144    468760   no data   no data
76.17/19.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.17/19.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.17/19.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.17/19.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.17/19.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.17/19.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
76.17/19.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.17/19.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.17/19.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.82/19.52	c lits-rem:       231  cl-subs:     1560  v-elim:      0  v-fix:    0  time:  0.34 s
77.82/19.52	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
77.82/19.53	c vivif2 --  cl tried    30860 cl shrink        0 lits rem          0 time: 0.01
77.82/19.55	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.02
77.82/19.55	c calculated reachability. Time: 0.00
77.82/19.55	c  N st    40    238307       391      1696         0     30860      5144    440151   no data   no data
105.69/26.59	c  F st    41    306250       391      1696         0     32931      5144    449687   no data   no data
105.69/26.59	c  N st    41    306250       391      1696         0     32931      5144    449687   no data   no data
108.53/27.24	c Decided on static restart strategy
120.06/30.16	c  N st    51    334558       391      1696         0     37093      5144    506390   no data   no data
131.21/32.99	c  N st    53    357461       391      1696         0     35037      5144    465959   no data   no data
131.21/32.99	c  S st    53    357461       391      1696         0     35037      5144    465959   no data   no data
131.61/33.08	c  S st    53    357965       391      1696         0     35540      5144    476123   no data   no data
131.61/33.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.61/33.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
131.61/33.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.61/33.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.61/33.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.61/33.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
131.61/33.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
132.01/33.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
132.01/33.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
133.21/33.40	c lits-rem:       169  cl-subs:     1431  v-elim:      0  v-fix:    0  time:  0.29 s
133.21/33.40	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
133.21/33.41	c vivif2 --  cl tried    34109 cl shrink        0 lits rem          0 time: 0.00
133.21/33.43	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.02
133.21/33.43	c calculated reachability. Time: 0.00
133.21/33.43	c  N st    53    357965       391      1696         0     34109      5144    446005   no data   no data
149.96/37.69	c  N st    54    390360       391      1696         0     40261      5144    541637   no data   no data
176.29/44.27	c  N st    55    438950       391      1696         0     33985      5144    391402   no data   no data
215.78/54.18	c  N st    56    511835       391      1696         0     47397      5144    650923   no data   no data
230.55/57.87	c  N st    57    536948       391      1696         0     41732      5144    528052   no data   no data
230.55/57.87	c  S st    57    536948       391      1696         0     41732      5144    528052   no data   no data
230.98/57.99	c  S st    57    537450       391      1696         0     42231      5144    538372   no data   no data
230.98/57.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
230.98/58.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
230.98/58.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
230.98/58.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
230.98/58.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
230.98/58.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
230.98/58.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
231.38/58.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
231.38/58.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
232.93/58.43	c lits-rem:       152  cl-subs:     1661  v-elim:      0  v-fix:    0  time:  0.40 s
232.93/58.43	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
232.93/58.44	c vivif2 --  cl tried    40570 cl shrink        0 lits rem          0 time: 0.01
232.93/58.46	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
232.93/58.47	c calculated reachability. Time: 0.00
232.93/58.47	c  N st    57    537450       391      1696         0     40570      5144    506625   no data   no data
338.64/84.99	c  N st    58    701436       391      1696         0     69686      5144   1063669   no data   no data
410.05/102.87	c  N st    59    806177       391      1696         0     63777      5144    882294   no data   no data
410.05/102.87	c  S st    59    806177       391      1696         0     63777      5144    882294   no data   no data
410.88/103.05	c  S st    59    806679       391      1696         0     64279      5144    892953   no data   no data
410.88/103.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
410.88/103.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
410.88/103.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
410.88/103.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
410.88/103.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
410.88/103.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
410.88/103.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
410.88/103.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
411.29/103.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
417.63/104.70	c lits-rem:       620  cl-subs:     4361  v-elim:      0  v-fix:    0  time:  1.58 s
417.63/104.70	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
417.63/104.71	c vivif2 --  cl tried    59918 cl shrink        0 lits rem          0 time: 0.01
417.63/104.76	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.05
417.63/104.76	c calculated reachability. Time: 0.00
417.63/104.76	c  N st    59    806679       391      1696         0     59918      5144    816586   no data   no data
618.67/155.17	c  F st    60   1071877       391      1696         0     75489      5144   1081302   no data   no data
618.67/155.17	c  N st    60   1071877       391      1696         0     75489      5144   1081302   no data   no data
624.66/156.64	c Decided on static restart strategy
644.60/161.62	c  N st    70   1100180       391      1696         0     59374      5144    723183   no data   no data
678.96/170.22	c  N st    72   1136174       391      1696         0     49674      5144    496190   no data   no data
707.63/177.41	c  N st    73   1168566       391      1696         0     81090      5144   1163464   no data   no data
743.14/186.32	c  N st    74   1210019       391      1696         0     75636      5144   1019975   no data   no data
743.14/186.32	c  S st    74   1210019       391      1696         0     75636      5144   1019975   no data   no data
743.93/186.57	c  S st    74   1210525       391      1696         0     76139      5144   1030728   no data   no data
743.93/186.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
743.93/186.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
743.93/186.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
743.93/186.60	c bin-w-bin subsume rem            0 bins  time:  0.00 s
743.93/186.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
743.93/186.60	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
743.93/186.60	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
744.36/186.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
744.36/186.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
755.50/189.43	c lits-rem:       596  cl-subs:     5556  v-elim:      0  v-fix:    0  time:  2.78 s
755.50/189.43	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
755.50/189.44	c vivif2 --  cl tried    70583 cl shrink        0 lits rem          0 time: 0.01
755.90/189.51	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.06
755.90/189.51	c calculated reachability. Time: 0.00
755.90/189.51	c  N st    74   1210525       391      1696         0     70583      5144    926336   no data   no data
831.29/208.44	c  N st    75   1283407       391      1696         0     94590      5144   1394628   no data   no data
940.98/235.95	c  N st    76   1392734       391      1696         0     55206      5144    543839   no data   no data
1108.95/278.01	c  N st    77   1556720       391      1696         0     60106      5144    608728   no data   no data
1259.69/315.81	c  N st    78   1710525       391      1696         0    101481      5144   1495582   no data   no data
1259.69/315.81	c  S st    78   1710525       391      1696         0    101481      5144   1495582   no data   no data
1261.29/316.20	c  S st    78   1711027       391      1696         0    101982      5144   1506693   no data   no data
1261.29/316.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1261.29/316.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1261.29/316.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1261.29/316.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1261.29/316.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1261.29/316.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1261.29/316.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1261.29/316.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1261.69/316.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1308.35/328.08	c lits-rem:       944  cl-subs:     9241  v-elim:      0  v-fix:    0  time: 11.76 s
1308.35/328.08	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1308.75/328.10	c vivif2 --  cl tried    92741 cl shrink        0 lits rem          0 time: 0.02
1309.15/328.22	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.12
1309.15/328.22	c calculated reachability. Time: 0.00
1309.15/328.22	c  N st    78   1711027       391      1696         0     92741      5144   1321094   no data   no data
1723.60/432.15	c  N st    79   2079993       391      1696         0    104613      5144   1474450   no data   no data
1869.20/468.60	c  N st    80   2211028       391      1696         0    108248      5144   1436637   no data   no data
1869.20/468.60	c  S st    80   2211028       391      1696         0    108248      5144   1436637   no data   no data
1870.80/469.00	c  S st    80   2211530       391      1696         0    108747      5144   1446905   no data   no data
1870.80/469.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1870.80/469.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1870.80/469.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1870.80/469.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1870.80/469.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1870.80/469.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1870.80/469.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1870.80/469.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1871.20/469.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1911.92/479.38	c lits-rem:       464  cl-subs:    12021  v-elim:      0  v-fix:    0  time: 10.24 s
1911.92/479.38	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1912.27/479.41	c vivif2 --  cl tried    96726 cl shrink        0 lits rem          0 time: 0.02
1912.67/479.53	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.13
1912.67/479.54	c calculated reachability. Time: 0.00
1912.67/479.54	c  N st    80   2211530       391      1696         0     96726      5144   1245903   no data   no data
2500.25/626.84	c  N st    81   2711531       391      1696         0    121132      5144   1774038   no data   no data
2500.25/626.84	c  S st    81   2711531       391      1696         0    121132      5144   1774038   no data   no data
2501.85/627.29	c  S st    81   2712036       391      1696         0    121637      5144   1784545   no data   no data
2502.25/627.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2502.25/627.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2502.25/627.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2502.25/627.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2502.25/627.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2502.25/627.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2502.25/627.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2502.25/627.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2502.65/627.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2538.14/636.31	c lits-rem:      1410  cl-subs:     6658  v-elim:      0  v-fix:    0  time:  8.87 s
2538.14/636.31	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
2538.14/636.34	c vivif2 --  cl tried   114979 cl shrink        0 lits rem          0 time: 0.02
2538.54/636.46	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.12
2538.54/636.47	c calculated reachability. Time: 0.00
2538.54/636.47	c  N st    81   2712036       391      1696         0    114979      5144   1653349   no data   no data
3275.70/821.30	c  N st    82   3212036       391      1696         0     90083      5144    913055   no data   no data
3275.70/821.30	c  S st    82   3212036       391      1696         0     90083      5144    913055   no data   no data
3276.89/821.59	c  S st    82   3212538       391      1696         0     90584      5144    924158   no data   no data
3277.29/821.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3277.29/821.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3277.29/821.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3277.29/821.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3277.29/821.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3277.29/821.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3277.29/821.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3277.29/821.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3277.29/821.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3281.68/822.78	c lits-rem:       449  cl-subs:     4093  v-elim:      0  v-fix:    0  time:  1.09 s
3281.68/822.78	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3281.68/822.79	c vivif2 --  cl tried    86491 cl shrink        0 lits rem          0 time: 0.01
3282.08/822.87	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.08
3282.08/822.87	c calculated reachability. Time: 0.00
3282.08/822.87	c  N st    82   3212538       391      1696         0     86491      5144    862125   no data   no data
3984.93/999.06	c  N st    83   3712538       391      1696         0     97336      5144   1030458   no data   no data
3984.93/999.06	c  S st    83   3712538       391      1696         0     97336      5144   1030458   no data   no data
3986.13/999.39	c  S st    83   3713042       391      1696         0     97838      5144   1041996   no data   no data
3986.13/999.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3986.53/999.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3986.53/999.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3986.53/999.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3986.53/999.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3986.53/999.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3986.53/999.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3986.53/999.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3986.53/999.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3991.77/1000.75	c lits-rem:       219  cl-subs:     3362  v-elim:      0  v-fix:    0  time:  1.26 s
3991.77/1000.75	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3991.77/1000.77	c vivif2 --  cl tried    94476 cl shrink        0 lits rem          0 time: 0.02
3992.11/1000.86	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.09
3992.11/1000.86	c calculated reachability. Time: 0.00
3992.11/1000.86	c  N st    83   3713042       391      1696         0     94476      5144    982648   no data   no data
4044.42/1013.95	c  F st    84   3751562       391      1696         0    131479      5144   1750283   no data   no data
4044.42/1013.95	c  N st    84   3751562       391      1696         0    131479      5144   1750283   no data   no data
4055.15/1016.66	c Decided on static restart strategy
4103.81/1028.80	c  N st    94   3779865       391      1696         0    158911      5144   2321575   no data   no data
4159.26/1042.70	c  N st    96   3815857       391      1696         0    111630      5144   1279311   no data   no data
4213.90/1056.43	c  N st    97   3848249       391      1696         0    142800      5144   1920035   no data   no data
4292.48/1076.19	c  N st    98   3896837       391      1696         0    106727      5144   1179143   no data   no data
4421.37/1108.41	c  N st    99   3969720       391      1696         0     93175      5144    889861   no data   no data
4594.06/1151.75	c  N st   100   4079044       391      1696         0    114285      5144   1352938   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-3366615-1305410672/watcher-3366615-1305410672 -o /tmp/evaluation-result-3366615-1305410672/solver-3366615-1305410672 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366615-1305410672.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 3.47 4.21 5.66 3/345 21907
/proc/meminfo: memFree=24135368/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 410 0 0 0 1 0 0 0 23 0 4 0 652663878 52396032 351 33554432000 4194304 4580107 140736194857376 18446744073709551615 47112092231193 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 12792 351 302 95 0 7774 0
[pid=21907/tid=21908] ppid=21905 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 4 0 0 0 0 0 0 0 24 0 4 0 652663878 52396032 351 33554432000 4194304 4580107 140736194857376 18446744073709551615 47112092231193 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 652663878 52396032 351 33554432000 4194304 4580107 140736194857376 18446744073709551615 47112092231596 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652663878 52396032 351 33554432000 4194304 4580107 140736194857376 18446744073709551615 47112092231193 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0720729 s]
/proc/loadavg: 3.47 4.21 5.66 3/345 21907
/proc/meminfo: memFree=24135368/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=284784 CPUtime=3.23 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 4618 0 0 0 322 1 0 0 19 0 4 0 652663878 291618816 2331 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293728 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 71196 2331 377 95 0 66178 0
[pid=21907/tid=21908] ppid=21905 vsize=284784 CPUtime=0.8 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1100 0 0 0 80 0 0 0 19 0 4 0 652663878 291618816 2331 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=284784 CPUtime=0.79 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1022 0 0 0 79 0 0 0 19 0 4 0 652663878 291618816 2331 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=284784 CPUtime=0.8 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1040 0 0 0 80 0 0 0 18 0 4 0 652663878 291618816 2331 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 284784

[startup+0.914244 s]
/proc/loadavg: 3.47 4.21 5.66 3/345 21907
/proc/meminfo: memFree=24135368/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=284784 CPUtime=3.62 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 4820 0 0 0 361 1 0 0 19 0 4 0 652663878 291618816 2533 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 71196 2534 377 95 0 66178 0
[pid=21907/tid=21908] ppid=21905 vsize=284784 CPUtime=0.9 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1159 0 0 0 90 0 0 0 19 0 4 0 652663878 291618816 2534 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=284784 CPUtime=0.89 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1068 0 0 0 89 0 0 0 19 0 4 0 652663878 291618816 2534 33554432000 4194304 4580107 140736194857376 18446744073709551615 4316629 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=284784 CPUtime=0.9 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1085 0 0 0 90 0 0 0 19 0 4 0 652663878 291618816 2534 33554432000 4194304 4580107 140736194857376 18446744073709551615 254500353057 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.62
Current children cumulated vsize (KiB) 284784

[startup+1.00023 s]
/proc/loadavg: 3.47 4.21 5.66 3/345 21907
/proc/meminfo: memFree=24135368/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=285016 CPUtime=3.97 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 5078 0 0 0 396 1 0 0 19 0 4 0 652663878 291856384 2791 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293691 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 71254 2791 377 95 0 66236 0
[pid=21907/tid=21908] ppid=21905 vsize=285016 CPUtime=0.99 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1223 0 0 0 99 0 0 0 19 0 4 0 652663878 291856384 2791 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=285016 CPUtime=0.98 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1124 0 0 0 98 0 0 0 19 0 4 0 652663878 291856384 2791 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=285016 CPUtime=0.99 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1143 0 0 0 99 0 0 0 19 0 4 0 652663878 291856384 2791 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285016

[startup+1.10021 s]
/proc/loadavg: 3.47 4.21 5.66 3/345 21907
/proc/meminfo: memFree=24135368/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=285324 CPUtime=4.37 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 5722 0 0 0 436 1 0 0 19 0 4 0 652663878 292171776 2571 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293680 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 71331 2571 378 95 0 66313 0
[pid=21907/tid=21908] ppid=21905 vsize=285324 CPUtime=1.09 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1415 0 0 0 109 0 0 0 19 0 4 0 652663878 292171776 2571 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=285324 CPUtime=1.08 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1192 0 0 0 108 0 0 0 19 0 4 0 652663878 292171776 2571 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=285324 CPUtime=1.09 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1353 0 0 0 109 0 0 0 19 0 4 0 652663878 292171776 2571 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285324

[startup+1.50113 s]
/proc/loadavg: 3.47 4.21 5.66 3/345 21907
/proc/meminfo: memFree=24135368/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=290468 CPUtime=5.97 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 7853 0 0 0 596 1 0 0 20 0 4 0 652663878 297439232 4425 33554432000 4194304 4580107 140736194857376 18446744073709551615 4318675 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 72617 4425 379 95 0 67599 0
[pid=21907/tid=21908] ppid=21905 vsize=290468 CPUtime=1.49 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1610 0 0 0 149 0 0 0 19 0 4 0 652663878 297439232 4425 33554432000 4194304 4580107 140736194857376 18446744073709551615 4318421 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=290468 CPUtime=1.48 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1526 0 0 0 148 0 0 0 20 0 4 0 652663878 297439232 4425 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=290468 CPUtime=1.49 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 1552 0 0 0 149 0 0 0 20 0 4 0 652663878 297439232 4425 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290468

[startup+3.10081 s]
/proc/loadavg: 3.83 4.28 5.68 9/357 21920
/proc/meminfo: memFree=24064556/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=291056 CPUtime=12.34 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 15809 0 0 0 1232 2 0 0 25 0 4 0 652663878 298041344 8272 33554432000 4194304 4580107 140736194857376 18446744073709551615 4321131 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 72764 8272 379 95 0 67746 0
[pid=21907/tid=21908] ppid=21905 vsize=291056 CPUtime=3.08 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 3662 0 0 0 308 0 0 0 25 0 4 0 652663878 298041344 8272 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=291056 CPUtime=3.05 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 4021 0 0 0 305 0 0 0 25 0 4 0 652663878 298041344 8272 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=291056 CPUtime=3.08 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 3922 0 0 0 308 0 0 0 25 0 4 0 652663878 298041344 8272 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 291056

[startup+6.31317 s]
/proc/loadavg: 3.83 4.28 5.68 11/358 21922
/proc/meminfo: memFree=24034804/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=292652 CPUtime=25.15 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 24939 0 0 0 2511 4 0 0 25 0 4 0 652663878 299675648 10906 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 73163 10906 379 95 0 68145 0
[pid=21907/tid=21908] ppid=21905 vsize=292652 CPUtime=6.3 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 6571 0 0 0 629 1 0 0 25 0 4 0 652663878 299675648 10906 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=292652 CPUtime=6.23 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 6833 0 0 0 622 1 0 0 25 0 4 0 652663878 299675648 10906 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=292652 CPUtime=6.3 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 5619 0 0 0 629 1 0 0 25 0 4 0 652663878 299675648 10906 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 292652

[startup+12.7009 s]
/proc/loadavg: 4.33 4.37 5.70 10/358 21922
/proc/meminfo: memFree=23982632/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=302632 CPUtime=50.64 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 39991 0 0 0 5057 7 0 0 25 0 4 0 652663878 309895168 15792 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 75658 15792 379 95 0 70640 0
[pid=21907/tid=21908] ppid=21905 vsize=302632 CPUtime=12.69 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 10288 0 0 0 1267 2 0 0 25 0 4 0 652663878 309895168 15792 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=302632 CPUtime=12.55 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 9344 0 0 0 1254 1 0 0 25 0 4 0 652663878 309895168 15792 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=302632 CPUtime=12.68 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 9879 0 0 0 1267 1 0 0 25 0 4 0 652663878 309895168 15792 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.64
Current children cumulated vsize (KiB) 302632

[startup+25.5004 s]
/proc/loadavg: 5.43 4.61 5.76 9/358 21922
/proc/meminfo: memFree=23942012/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=317892 CPUtime=101.7 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 61184 0 0 0 10159 11 0 0 25 0 4 0 652663878 325521408 21593 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 79473 21593 379 95 0 74455 0
[pid=21907/tid=21908] ppid=21905 vsize=317892 CPUtime=25.49 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 16094 0 0 0 2546 3 0 0 25 0 4 0 652663878 325521408 21593 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=317892 CPUtime=25.22 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 14826 0 0 0 2519 3 0 0 25 0 4 0 652663878 325521408 21593 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=317892 CPUtime=25.48 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 14544 0 0 0 2546 2 0 0 25 0 4 0 652663878 325521408 21593 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.7
Current children cumulated vsize (KiB) 317892

[startup+51.1003 s]
/proc/loadavg: 6.30 4.88 5.81 9/357 21923
/proc/meminfo: memFree=23894196/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=319168 CPUtime=203.82 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 92511 0 0 0 20363 19 0 0 25 0 4 0 652663878 326828032 26847 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294380 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 79792 26847 379 95 0 74774 0
[pid=21907/tid=21908] ppid=21905 vsize=319168 CPUtime=51.09 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 25257 0 0 0 5104 5 0 0 25 0 4 0 652663878 326828032 26847 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=319168 CPUtime=50.54 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 22557 0 0 0 5050 4 0 0 25 0 4 0 652663878 326828032 26847 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=319168 CPUtime=51.08 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 21671 0 0 0 5104 4 0 0 25 0 4 0 652663878 326828032 26847 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.82
Current children cumulated vsize (KiB) 319168

[startup+102.301 s]
/proc/loadavg: 7.31 5.38 5.93 9/357 21925
/proc/meminfo: memFree=23845832/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=320924 CPUtime=408.06 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 140779 0 0 0 40772 34 0 0 25 0 4 0 652663878 328626176 32130 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 80231 32130 379 95 0 75213 0
[pid=21907/tid=21908] ppid=21905 vsize=320924 CPUtime=102.28 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 37612 0 0 0 10220 8 0 0 25 0 4 0 652663878 328626176 32130 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=320924 CPUtime=101.17 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 33353 0 0 0 10110 7 0 0 25 0 4 0 652663878 328626176 32130 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=320924 CPUtime=102.27 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 34825 0 0 0 10219 8 0 0 25 0 4 0 652663878 328626176 32130 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.06
Current children cumulated vsize (KiB) 320924

[startup+162.301 s]

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

[pid=21907] ppid=21905 vsize=495860 CPUtime=2562.06 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 416624 0 0 0 256073 133 0 0 25 0 4 0 652663878 507760640 82399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 123965 82399 379 95 0 118947 0
[pid=21907/tid=21908] ppid=21905 vsize=495860 CPUtime=642.29 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 111407 0 0 0 64193 36 0 0 25 0 4 0 652663878 507760640 82399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=495860 CPUtime=635.24 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 108528 0 0 0 63491 33 0 0 25 0 4 0 652663878 507760640 82399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294400 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=495860 CPUtime=642.19 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 102809 0 0 0 64188 31 0 0 25 0 4 0 652663878 507760640 82399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2562.06
Current children cumulated vsize (KiB) 495860

[startup+702.301 s]
/proc/loadavg: 8.16 7.78 6.96 9/357 21947
/proc/meminfo: memFree=23443000/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=495812 CPUtime=2801.41 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 431461 0 0 0 280001 140 0 0 25 0 4 0 652663878 507711488 84306 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 123953 84306 379 95 0 118935 0
[pid=21907/tid=21908] ppid=21905 vsize=495812 CPUtime=702.29 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 116820 0 0 0 70190 39 0 0 25 0 4 0 652663878 507711488 84306 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=495812 CPUtime=694.58 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 112020 0 0 0 69424 34 0 0 25 0 4 0 652663878 507711488 84306 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=495812 CPUtime=702.19 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 106145 0 0 0 70187 32 0 0 25 0 4 0 652663878 507711488 84306 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.41
Current children cumulated vsize (KiB) 495812

[startup+762.301 s]
/proc/loadavg: 8.13 7.83 7.03 9/357 21950
/proc/meminfo: memFree=23419556/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=573864 CPUtime=3040.74 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 451122 0 0 0 303926 148 0 0 25 0 4 0 652663878 587636736 85651 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 143466 85651 379 95 0 138448 0
[pid=21907/tid=21908] ppid=21905 vsize=573864 CPUtime=762.3 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 122721 0 0 0 76188 42 0 0 25 0 4 0 652663878 587636736 85651 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=573864 CPUtime=753.92 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 114699 0 0 0 75357 35 0 0 25 0 4 0 652663878 587636736 85651 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=573864 CPUtime=762.18 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 110474 0 0 0 76185 33 0 0 25 0 4 0 652663878 587636736 85652 33554432000 4194304 4580107 140736194857376 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.74
Current children cumulated vsize (KiB) 573864

[startup+822.301 s]
/proc/loadavg: 8.16 7.89 7.10 9/357 21951
/proc/meminfo: memFree=23375136/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=610876 CPUtime=3280.08 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 470837 0 0 0 327852 156 0 0 25 0 4 0 652663878 625537024 96173 33554432000 4194304 4580107 140736194857376 18446744073709551615 4406408 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 152719 96173 379 95 0 147701 0
[pid=21907/tid=21908] ppid=21905 vsize=610876 CPUtime=822.29 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 130656 0 0 0 82185 44 0 0 25 0 4 0 652663878 625537024 96173 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=610876 CPUtime=813.27 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 119794 0 0 0 81290 37 0 0 25 0 4 0 652663878 625537024 96173 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=610876 CPUtime=822.17 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 113393 0 0 0 82183 34 0 0 25 0 4 0 652663878 625537024 96173 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.08
Current children cumulated vsize (KiB) 610876

[startup+882.301 s]
/proc/loadavg: 8.16 7.94 7.16 9/357 21953
/proc/meminfo: memFree=23330236/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=599060 CPUtime=3519.43 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 487017 0 0 0 351781 162 0 0 25 0 4 0 652663878 613437440 97945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 149765 97945 379 95 0 144747 0
[pid=21907/tid=21908] ppid=21905 vsize=599060 CPUtime=882.29 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 136355 0 0 0 88183 46 0 0 25 0 4 0 652663878 613437440 97945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=599060 CPUtime=872.61 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 126979 0 0 0 87221 40 0 0 25 0 4 0 652663878 613437440 97945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=599060 CPUtime=882.16 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 116453 0 0 0 88181 35 0 0 25 0 4 0 652663878 613437440 97945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.43
Current children cumulated vsize (KiB) 599060

[startup+942.301 s]
/proc/loadavg: 8.19 7.98 7.22 9/357 21956
/proc/meminfo: memFree=23341632/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=562188 CPUtime=3758.8 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 501603 0 0 0 375712 168 0 0 25 0 4 0 652663878 575680512 95945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 140547 95945 379 95 0 135529 0
[pid=21907/tid=21908] ppid=21905 vsize=562188 CPUtime=942.31 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 137792 0 0 0 94184 47 0 0 25 0 4 0 652663878 575680512 95945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=562188 CPUtime=931.97 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 132377 0 0 0 93155 42 0 0 25 0 4 0 652663878 575680512 95945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=562188 CPUtime=942.16 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 119394 0 0 0 94180 36 0 0 25 0 4 0 652663878 575680512 95945 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.8
Current children cumulated vsize (KiB) 562188

[startup+1002.3 s]
/proc/loadavg: 8.15 8.01 7.28 9/357 21957
/proc/meminfo: memFree=23363940/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=587632 CPUtime=3998.1 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 517288 0 0 0 399634 176 0 0 25 0 4 0 652663878 601735168 93399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 146908 93399 379 95 0 141890 0
[pid=21907/tid=21908] ppid=21905 vsize=587632 CPUtime=1002.29 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 140509 0 0 0 100181 48 0 0 25 0 4 0 652663878 601735168 93399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=587632 CPUtime=991.3 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 137385 0 0 0 99085 45 0 0 25 0 4 0 652663878 601735168 93399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=587632 CPUtime=1002.14 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 122076 0 0 0 100177 37 0 0 25 0 4 0 652663878 601735168 93399 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.1
Current children cumulated vsize (KiB) 587632

[startup+1062.31 s]
/proc/loadavg: 8.13 8.03 7.33 9/357 21960
/proc/meminfo: memFree=23344444/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=587940 CPUtime=4237.49 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 534333 0 0 0 423565 184 0 0 25 0 4 0 652663878 602050560 94464 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 146985 94464 379 95 0 141967 0
[pid=21907/tid=21908] ppid=21905 vsize=587940 CPUtime=1062.31 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 146147 0 0 0 106181 50 0 0 25 0 4 0 652663878 602050560 94464 33554432000 4194304 4580107 140736194857376 18446744073709551615 4322895 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=587940 CPUtime=1050.66 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 142168 0 0 0 105019 47 0 0 25 0 4 0 652663878 602050560 94464 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=587940 CPUtime=1062.15 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 124691 0 0 0 106176 39 0 0 25 0 4 0 652663878 602050560 94464 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.49
Current children cumulated vsize (KiB) 587940

[startup+1122.3 s]
/proc/loadavg: 8.17 8.05 7.38 9/357 21961
/proc/meminfo: memFree=23305488/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=613640 CPUtime=4476.78 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 553158 0 0 0 447487 191 0 0 25 0 4 0 652663878 628367360 98746 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 153410 98746 379 95 0 148392 0
[pid=21907/tid=21908] ppid=21905 vsize=613640 CPUtime=1122.3 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 151630 0 0 0 112178 52 0 0 25 0 4 0 652663878 628367360 98747 33554432000 4194304 4580107 140736194857376 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=613640 CPUtime=1109.99 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 147637 0 0 0 110950 49 0 0 25 0 4 0 652663878 628367360 98747 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=613640 CPUtime=1122.12 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 127381 0 0 0 112172 40 0 0 25 0 4 0 652663878 628367360 98747 33554432000 4194304 4580107 140736194857376 18446744073709551615 4318592 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.78
Current children cumulated vsize (KiB) 613640

[startup+1182.3 s]
/proc/loadavg: 8.06 8.04 7.42 10/357 21964
/proc/meminfo: memFree=23312420/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=601444 CPUtime=4716.12 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 563679 0 0 0 471416 196 0 0 25 0 4 0 652663878 615878656 100538 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 150361 100538 379 95 0 145343 0
[pid=21907/tid=21908] ppid=21905 vsize=601444 CPUtime=1182.29 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 155840 0 0 0 118176 53 0 0 25 0 4 0 652663878 615878656 100538 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=601444 CPUtime=1169.33 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 148447 0 0 0 116883 50 0 0 25 0 4 0 652663878 615878656 100538 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=601444 CPUtime=1182.12 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 131607 0 0 0 118170 42 0 0 25 0 4 0 652663878 615878656 100538 33554432000 4194304 4580107 140736194857376 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.12
Current children cumulated vsize (KiB) 601444



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.10 8.05 7.44 9/357 21965
/proc/meminfo: memFree=23277080/32950928 swapFree=45937192/67111528
[pid=21907] ppid=21905 vsize=601444 CPUtime=4800.31 cores=0,2,4,6
/proc/21907/stat : 21907 (strangenight2-m) R 21905 21907 21516 0 -1 4202496 571347 0 0 0 479834 197 0 0 25 0 4 0 652663878 615878656 108199 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/21907/statm: 150361 108199 379 95 0 145343 0
[pid=21907/tid=21908] ppid=21905 vsize=601444 CPUtime=1203.41 cores=0,2,4,6
/proc/21907/task/21908/stat : 21908 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 160101 0 0 0 120287 54 0 0 25 0 4 0 652663878 615878656 108199 33554432000 4194304 4580107 140736194857376 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21907/tid=21909] ppid=21905 vsize=601444 CPUtime=1190.19 cores=0,2,4,6
/proc/21907/task/21909/stat : 21909 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 148472 0 0 0 118969 50 0 0 25 0 4 0 652663878 615878656 108199 33554432000 4194304 4580107 140736194857376 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=21907/tid=21910] ppid=21905 vsize=601444 CPUtime=1203.23 cores=0,2,4,6
/proc/21907/task/21910/stat : 21910 (strangenight2-m) R 21905 21907 21516 0 -1 4202560 134989 0 0 0 120281 42 0 0 25 0 4 0 652663878 615878656 108199 33554432000 4194304 4580107 140736194857376 18446744073709551615 4406334 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.31
Current children cumulated vsize (KiB) 601444

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.44
CPU time (s): 4800.37
CPU user time (s): 4798.37
CPU system time (s): 1.9937
CPU usage (%): 398.886
Max. virtual memory (cumulated for all children) (KiB): 613640

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.37
system time used= 1.9937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 571347
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= 361
involuntary context switches= 35225

runsolver used 3.70444 second user time and 9.57654 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-15 00:04:32
IDJOB=3366615
IDBENCH=83024
IDSOLVER=1844
FILE ID=node149/3366615-1305410672
RUNJOBID= node149-1305410672-21892
PBS_JOBID= 13324509
Free space on /tmp= 73572 MiB

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

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

MD5SUM BENCH= 5f2e312544271c81369da327dc351a86
RANDOM SEED=1247879777

node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24135640 kB
Buffers:        310604 kB
Cached:        3872720 kB
SwapCached:      19984 kB
Active:        6310420 kB
Inactive:      2209924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24135640 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:           10980 kB
Writeback:           0 kB
AnonPages:     4329804 kB
Mapped:          13600 kB
Slab:           157316 kB
PageTables:      71584 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80187452 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= 73560 MiB
End job on node149 at 2011-05-15 00:24:37