Trace number 3174206

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.37 1201.73

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.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-3174206-1304115188.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1704/1704 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     177 undec:      52 neg:     171
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       391      1696         0         0      5144         0   no data   no data
0.00/0.05	c Decided on static restart strategy
0.00/0.14	c  N st     8      4917       391      1696         0      4822      5144    100480   no data   no data
0.00/0.37	c  N st    10     11301       391      1696         0      4452      5144     67428   no data   no data
0.00/0.61	c  N st    11     17044       391      1696         0     10022      5144    179784   no data   no data
3.60/0.99	c  F st    12     25001       391      1696         0     12276      5144    234996   no data   no data
3.60/0.99	c  N st    12     25001       391      1696         0     12276      5144    234996   no data   no data
4.78/1.23	c Decided on static restart strategy
4.78/1.23	c  N st    18     30000       391      1696         0     10598      5144    177669   no data   no data
4.78/1.23	c  S st    18     30000       391      1696         0     10598      5144    177669   no data   no data
4.78/1.26	c  S st    18     30507       391      1696         0     11104      5144    187313   no data   no data
4.78/1.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.78/1.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.78/1.26	c blocked clauses removed:        0 vars:      0 tried:         391 T: 0.00 s
4.78/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.78/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.78/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4.78/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.78/1.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.78/1.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.32	c lits-rem:       161  cl-subs:      700  v-elim:      0  v-fix:    0  time:  0.05 s
5.18/1.33	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.00
5.18/1.33	c calculated reachability. Time: 0.00
5.18/1.33	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.37/2.10	c  N st    21     44017       391      1696         0     15890      5144    269828   no data   no data
8.77/2.24	c  S st    22     45760       391      1696         0      8872      5144    111043   no data   no data
8.77/2.27	c  S st    22     46261       391      1696         0      9371      5144    120666   no data   no data
8.77/2.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.77/2.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.77/2.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.77/2.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.77/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
8.77/2.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.77/2.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.77/2.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.77/2.28	c lits-rem:        10  cl-subs:       86  v-elim:      0  v-fix:    0  time:  0.01 s
8.77/2.28	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
8.77/2.28	c vivif2 --  cl tried     9285 cl shrink        0 lits rem          0 time: 0.00
8.77/2.29	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.00
8.77/2.29	c calculated reachability. Time: 0.00
8.77/2.29	c  N st    22     46261       391      1696         0      9285      5144    118986   no data   no data
12.36/3.12	c  N st    23     60658       391      1696         0     13551      5144    193090   no data   no data
14.76/3.78	c  N st    24     69391       391      1696         0     11367      5144    143678   no data   no data
14.76/3.78	c  S st    24     69391       391      1696         0     11367      5144    143678   no data   no data
15.16/3.81	c  S st    24     69899       391      1696         0     11873      5144    153125   no data   no data
15.16/3.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.16/3.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
15.16/3.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.84	c lits-rem:        41  cl-subs:      187  v-elim:      0  v-fix:    0  time:  0.01 s
15.16/3.84	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
15.16/3.84	c vivif2 --  cl tried    11686 cl shrink        0 lits rem          0 time: 0.00
15.16/3.84	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.01
15.16/3.85	c calculated reachability. Time: 0.00
15.16/3.85	c  N st    24     69899       391      1696         0     11686      5144    149663   no data   no data
19.96/5.05	c  F st    25     87501       391      1696         0     17141      5144    249535   no data   no data
19.96/5.05	c  N st    25     87501       391      1696         0     17141      5144    249535   no data   no data
21.56/5.44	c Decided on static restart strategy
22.75/5.70	c  N st    32     95543       391      1696         0     24974      5144    404637   no data   no data
25.17/6.38	c  N st    34    104848       391      1696         0     21406      5144    323019   no data   no data
25.17/6.38	c  S st    34    104848       391      1696         0     21406      5144    323019   no data   no data
25.54/6.44	c  S st    34    105353       391      1696         0     21909      5144    333184   no data   no data
25.54/6.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.54/6.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.54/6.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.54/6.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
25.54/6.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.54/6.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.54/6.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.35/6.60	c lits-rem:       120  cl-subs:     1051  v-elim:      0  v-fix:    0  time:  0.14 s
26.35/6.60	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
26.35/6.60	c vivif2 --  cl tried    20858 cl shrink        0 lits rem          0 time: 0.00
26.35/6.61	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.01
26.35/6.61	c calculated reachability. Time: 0.00
26.35/6.61	c  N st    34    105353       391      1696         0     20858      5144    311536   no data   no data
29.16/7.39	c  N st    35    114951       391      1696         0     16530      5144    209837   no data   no data
34.33/8.66	c  N st    36    129348       391      1696         0     15956      5144    182229   no data   no data
41.93/10.55	c  N st    37    150947       391      1696         0     21390      5144    281981   no data   no data
44.32/11.11	c  S st    38    158029       391      1696         0     28257      5144    422528   no data   no data
44.32/11.18	c  S st    38    158531       391      1696         0     28754      5144    432646   no data   no data
44.32/11.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.32/11.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.32/11.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.32/11.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.32/11.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.32/11.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
44.32/11.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.72/11.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.72/11.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.92/11.57	c lits-rem:       229  cl-subs:     1990  v-elim:      0  v-fix:    0  time:  0.35 s
45.92/11.57	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
45.92/11.57	c vivif2 --  cl tried    26764 cl shrink        0 lits rem          0 time: 0.00
45.92/11.59	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.02
45.92/11.59	c calculated reachability. Time: 0.00
45.92/11.59	c  N st    38    158531       391      1696         0     26764      5144    394027   no data   no data
63.90/16.01	c  N st    39    207119       391      1696         0     21503      5144    254428   no data   no data
75.88/19.01	c  N st    40    237800       391      1696         0     31913      5144    458594   no data   no data
75.88/19.01	c  S st    40    237800       391      1696         0     31913      5144    458594   no data   no data
75.88/19.09	c  S st    40    238307       391      1696         0     32420      5144    468760   no data   no data
75.88/19.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.28/19.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.28/19.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.28/19.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.28/19.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.28/19.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
76.28/19.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.28/19.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.28/19.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.50/19.46	c lits-rem:       231  cl-subs:     1560  v-elim:      0  v-fix:    0  time:  0.34 s
77.50/19.46	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
77.50/19.47	c vivif2 --  cl tried    30860 cl shrink        0 lits rem          0 time: 0.00
77.50/19.49	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.02
77.50/19.49	c calculated reachability. Time: 0.00
77.50/19.49	c  N st    40    238307       391      1696         0     30860      5144    440151   no data   no data
105.84/26.51	c  F st    41    306250       391      1696         0     32931      5144    449687   no data   no data
105.84/26.51	c  N st    41    306250       391      1696         0     32931      5144    449687   no data   no data
108.26/27.15	c Decided on static restart strategy
119.82/30.06	c  N st    51    334558       391      1696         0     37093      5144    506390   no data   no data
131.00/32.87	c  N st    53    357461       391      1696         0     35037      5144    465959   no data   no data
131.00/32.87	c  S st    53    357461       391      1696         0     35037      5144    465959   no data   no data
131.40/32.97	c  S st    53    357965       391      1696         0     35540      5144    476123   no data   no data
131.40/32.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
131.40/32.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
131.40/32.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
131.40/32.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
131.40/32.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.40/32.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
131.40/32.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
131.40/32.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
131.80/33.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
132.60/33.29	c lits-rem:       169  cl-subs:     1431  v-elim:      0  v-fix:    0  time:  0.29 s
132.60/33.29	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
132.60/33.30	c vivif2 --  cl tried    34109 cl shrink        0 lits rem          0 time: 0.01
133.01/33.32	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.02
133.01/33.32	c calculated reachability. Time: 0.00
133.01/33.32	c  N st    53    357965       391      1696         0     34109      5144    446005   no data   no data
149.78/37.57	c  N st    54    390360       391      1696         0     40261      5144    541637   no data   no data
176.14/44.13	c  N st    55    438950       391      1696         0     33985      5144    391402   no data   no data
215.29/53.99	c  N st    56    511835       391      1696         0     47397      5144    650923   no data   no data
230.07/57.67	c  N st    57    536948       391      1696         0     41732      5144    528052   no data   no data
230.07/57.67	c  S st    57    536948       391      1696         0     41732      5144    528052   no data   no data
230.47/57.79	c  S st    57    537450       391      1696         0     42231      5144    538372   no data   no data
230.47/57.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
230.87/57.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
230.87/57.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
230.87/57.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
230.87/57.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
230.87/57.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
230.87/57.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
230.87/57.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
230.87/57.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
232.47/58.23	c lits-rem:       152  cl-subs:     1661  v-elim:      0  v-fix:    0  time:  0.41 s
232.47/58.24	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
232.47/58.24	c vivif2 --  cl tried    40570 cl shrink        0 lits rem          0 time: 0.01
232.47/58.27	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.03
232.47/58.27	c calculated reachability. Time: 0.00
232.47/58.27	c  N st    57    537450       391      1696         0     40570      5144    506625   no data   no data
338.32/84.71	c  N st    58    701436       391      1696         0     69686      5144   1063669   no data   no data
409.43/102.52	c  N st    59    806177       391      1696         0     63777      5144    882294   no data   no data
409.43/102.52	c  S st    59    806177       391      1696         0     63777      5144    882294   no data   no data
410.23/102.70	c  S st    59    806679       391      1696         0     64279      5144    892953   no data   no data
410.23/102.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
410.23/102.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
410.23/102.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
410.23/102.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
410.23/102.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
410.23/102.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
410.23/102.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
410.23/102.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
410.23/102.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
416.61/104.35	c lits-rem:       620  cl-subs:     4361  v-elim:      0  v-fix:    0  time:  1.58 s
416.61/104.35	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
416.61/104.36	c vivif2 --  cl tried    59918 cl shrink        0 lits rem          0 time: 0.01
417.01/104.41	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.05
417.01/104.41	c calculated reachability. Time: 0.00
417.01/104.41	c  N st    59    806679       391      1696         0     59918      5144    816586   no data   no data
617.15/154.54	c  F st    60   1071877       391      1696         0     75489      5144   1081302   no data   no data
617.15/154.54	c  N st    60   1071877       391      1696         0     75489      5144   1081302   no data   no data
622.75/155.99	c Decided on static restart strategy
642.71/160.98	c  N st    70   1100180       391      1696         0     59374      5144    723183   no data   no data
677.47/169.60	c  N st    72   1136174       391      1696         0     49674      5144    496190   no data   no data
705.84/176.77	c  N st    73   1168566       391      1696         0     81090      5144   1163464   no data   no data
741.40/185.68	c  N st    74   1210019       391      1696         0     75636      5144   1019975   no data   no data
741.40/185.68	c  S st    74   1210019       391      1696         0     75636      5144   1019975   no data   no data
742.58/185.93	c  S st    74   1210525       391      1696         0     76139      5144   1030728   no data   no data
742.58/185.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
742.58/185.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
742.58/185.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
742.58/185.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
742.58/185.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
742.58/185.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
742.58/185.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
742.58/185.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
742.98/186.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
753.76/188.78	c lits-rem:       596  cl-subs:     5556  v-elim:      0  v-fix:    0  time:  2.77 s
753.76/188.78	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
753.76/188.79	c vivif2 --  cl tried    70583 cl shrink        0 lits rem          0 time: 0.01
754.18/188.86	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.06
754.18/188.86	c calculated reachability. Time: 0.00
754.18/188.86	c  N st    74   1210525       391      1696         0     70583      5144    926336   no data   no data
830.05/207.80	c  N st    75   1283407       391      1696         0     94590      5144   1394628   no data   no data
939.90/235.38	c  N st    76   1392734       391      1696         0     55206      5144    543839   no data   no data
1108.08/277.40	c  N st    77   1556720       391      1696         0     60106      5144    608728   no data   no data
1259.08/315.20	c  N st    78   1710525       391      1696         0    101481      5144   1495582   no data   no data
1259.08/315.20	c  S st    78   1710525       391      1696         0    101481      5144   1495582   no data   no data
1260.27/315.59	c  S st    78   1711027       391      1696         0    101982      5144   1506693   no data   no data
1260.27/315.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1260.67/315.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1260.67/315.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1260.67/315.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1260.67/315.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1260.67/315.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1260.67/315.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1260.67/315.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1261.07/315.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1301.82/325.99	c lits-rem:       944  cl-subs:     9241  v-elim:      0  v-fix:    0  time: 10.28 s
1301.82/325.99	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1302.22/326.01	c vivif2 --  cl tried    92741 cl shrink        0 lits rem          0 time: 0.02
1302.62/326.13	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.11
1302.62/326.13	c calculated reachability. Time: 0.00
1302.62/326.13	c  N st    78   1711027       391      1696         0     92741      5144   1321094   no data   no data
1718.46/430.24	c  N st    79   2079993       391      1696         0    104613      5144   1474450   no data   no data
1864.27/466.77	c  N st    80   2211028       391      1696         0    108248      5144   1436637   no data   no data
1864.27/466.77	c  S st    80   2211028       391      1696         0    108248      5144   1436637   no data   no data
1865.89/467.15	c  S st    80   2211530       391      1696         0    108747      5144   1446905   no data   no data
1865.89/467.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1866.29/467.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1866.29/467.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1866.29/467.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1866.29/467.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1866.29/467.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
1866.29/467.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1866.29/467.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1866.29/467.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1901.82/476.10	c lits-rem:       464  cl-subs:    12021  v-elim:      0  v-fix:    0  time:  8.82 s
1901.82/476.10	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
1901.82/476.12	c vivif2 --  cl tried    96726 cl shrink        0 lits rem          0 time: 0.02
1902.22/476.25	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.13
1902.22/476.25	c calculated reachability. Time: 0.00
1902.22/476.25	c  N st    80   2211530       391      1696         0     96726      5144   1245903   no data   no data
2491.82/623.80	c  N st    81   2711531       391      1696         0    121132      5144   1774038   no data   no data
2491.82/623.80	c  S st    81   2711531       391      1696         0    121132      5144   1774038   no data   no data
2493.42/624.25	c  S st    81   2712036       391      1696         0    121637      5144   1784545   no data   no data
2493.42/624.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2493.82/624.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2493.82/624.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2493.82/624.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2493.82/624.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2493.82/624.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
2493.82/624.32	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2493.82/624.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2494.23/624.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2530.16/633.43	c lits-rem:      1410  cl-subs:     6658  v-elim:      0  v-fix:    0  time:  9.03 s
2530.16/633.43	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
2530.16/633.46	c vivif2 --  cl tried   114979 cl shrink        0 lits rem          0 time: 0.03
2530.56/633.58	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.12
2530.56/633.58	c calculated reachability. Time: 0.00
2530.56/633.58	c  N st    81   2712036       391      1696         0    114979      5144   1653349   no data   no data
3269.17/818.44	c  N st    82   3212036       391      1696         0     90083      5144    913055   no data   no data
3269.17/818.44	c  S st    82   3212036       391      1696         0     90083      5144    913055   no data   no data
3270.37/818.74	c  S st    82   3212538       391      1696         0     90584      5144    924158   no data   no data
3270.37/818.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3270.37/818.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3270.37/818.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3270.37/818.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3270.37/818.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3270.37/818.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3270.37/818.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3270.77/818.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3270.77/818.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3275.16/819.93	c lits-rem:       449  cl-subs:     4093  v-elim:      0  v-fix:    0  time:  1.10 s
3275.16/819.93	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3275.16/819.95	c vivif2 --  cl tried    86491 cl shrink        0 lits rem          0 time: 0.01
3275.57/820.03	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.08
3275.57/820.03	c calculated reachability. Time: 0.00
3275.57/820.03	c  N st    82   3212538       391      1696         0     86491      5144    862125   no data   no data
3977.82/995.83	c  N st    83   3712538       391      1696         0     97336      5144   1030458   no data   no data
3977.82/995.83	c  S st    83   3712538       391      1696         0     97336      5144   1030458   no data   no data
3979.02/996.16	c  S st    83   3713042       391      1696         0     97838      5144   1041996   no data   no data
3979.02/996.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3979.43/996.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3979.43/996.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3979.43/996.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3979.43/996.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3979.43/996.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
3979.43/996.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3979.43/996.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3979.43/996.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3984.61/997.52	c lits-rem:       219  cl-subs:     3362  v-elim:      0  v-fix:    0  time:  1.26 s
3984.61/997.52	c vivif2 --  cl tried     1696 cl shrink        0 lits rem          0 time: 0.00
3984.61/997.54	c vivif2 --  cl tried    94476 cl shrink        0 lits rem          0 time: 0.02
3985.01/997.63	c asymm  cl-useful: 0/1696/1696 lits-rem:0 time: 0.09
3985.01/997.63	c calculated reachability. Time: 0.00
3985.01/997.63	c  N st    83   3713042       391      1696         0     94476      5144    982648   no data   no data
4037.33/1010.70	c  F st    84   3751562       391      1696         0    131479      5144   1750283   no data   no data
4037.33/1010.70	c  N st    84   3751562       391      1696         0    131479      5144   1750283   no data   no data
4048.12/1013.42	c Decided on static restart strategy
4096.46/1025.58	c  N st    94   3779865       391      1696         0    158911      5144   2321575   no data   no data
4151.58/1039.37	c  N st    96   3815857       391      1696         0    111630      5144   1279311   no data   no data
4206.71/1053.13	c  N st    97   3848249       391      1696         0    142800      5144   1920035   no data   no data
4285.40/1072.88	c  N st    98   3896837       391      1696         0    106727      5144   1179143   no data   no data
4414.45/1105.13	c  N st    99   3969720       391      1696         0     93175      5144    889861   no data   no data
4587.39/1148.43	c  N st   100   4079044       391      1696         0    114285      5144   1352938   no data   no data
4787.94/1198.70	c  N st   101   4213042       391      1696         0    157625      5144   2267781   no data   no data
4787.94/1198.70	c  S st   101   4213042       391      1696         0    157625      5144   2267781   no data   no data
4791.91/1199.64	c  S st   101   4213544       391      1696         0    158124      5144   2278724   no data   no data
4791.91/1199.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
4792.33/1199.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.12
4792.33/1199.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4792.33/1199.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4792.33/1199.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4792.33/1199.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    391 time:  0.00 s
4792.33/1199.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4792.73/1199.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4793.10/1199.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174206-1304115188/watcher-3174206-1304115188 -o /tmp/evaluation-result-3174206-1304115188/solver-3174206-1304115188 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174206-1304115188.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: 6.85 7.80 7.92 5/180 5770
/proc/meminfo: memFree=31057612/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 413 0 0 0 0 0 0 0 22 0 4 0 255710117 52441088 352 33554432000 4194304 4627427 140736846198624 18446744073709551615 46953825753010 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 12803 352 303 106 0 7774 0
[pid=5770/tid=5771] ppid=5768 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 5 0 0 0 0 0 0 0 23 0 4 0 255710117 52441088 352 33554432000 4194304 4627427 140736846198624 18446744073709551615 268660662203 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 255710117 52441088 352 33554432000 4194304 4627427 140736846198624 18446744073709551615 46953825753010 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 255710117 52441088 352 33554432000 4194304 4627427 140736846198624 18446744073709551615 268655709270 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.181186 s]
/proc/loadavg: 6.85 7.80 7.92 5/180 5770
/proc/meminfo: memFree=31057612/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=285352 CPUtime=3.2 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 4629 0 0 0 319 1 0 0 18 0 4 0 255710117 292200448 2346 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 71338 2346 385 106 0 66309 0
[pid=5770/tid=5771] ppid=5768 vsize=285352 CPUtime=0.79 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1107 0 0 0 79 0 0 0 19 0 4 0 255710117 292200448 2346 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=285352 CPUtime=0.79 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1068 0 0 0 79 0 0 0 19 0 4 0 255710117 292200448 2346 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=285352 CPUtime=0.79 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 971 0 0 0 79 0 0 0 25 0 4 0 255710117 292200448 2346 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285352

[startup+0.90554 s]
/proc/loadavg: 6.85 7.80 7.92 5/180 5770
/proc/meminfo: memFree=31057612/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=285352 CPUtime=3.6 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 4854 0 0 0 359 1 0 0 19 0 4 0 255710117 292200448 2571 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309149 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 71338 2571 385 106 0 66309 0
[pid=5770/tid=5771] ppid=5768 vsize=285352 CPUtime=0.89 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1169 0 0 0 89 0 0 0 19 0 4 0 255710117 292200448 2571 33554432000 4194304 4627427 140736846198624 18446744073709551615 4332060 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=285352 CPUtime=0.89 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1116 0 0 0 89 0 0 0 19 0 4 0 255710117 292200448 2571 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=285352 CPUtime=0.89 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1015 0 0 0 89 0 0 0 25 0 4 0 255710117 292200448 2571 33554432000 4194304 4627427 140736846198624 18446744073709551615 4329710 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 285352

[startup+1.00552 s]
/proc/loadavg: 6.85 7.80 7.92 5/180 5770
/proc/meminfo: memFree=31057612/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=285496 CPUtime=4 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 5129 0 0 0 399 1 0 0 19 0 4 0 255710117 292347904 2846 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 71374 2846 386 106 0 66345 0
[pid=5770/tid=5771] ppid=5768 vsize=285496 CPUtime=0.99 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1240 0 0 0 99 0 0 0 19 0 4 0 255710117 292347904 2846 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=285496 CPUtime=0.99 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1167 0 0 0 99 0 0 0 19 0 4 0 255710117 292347904 2846 33554432000 4194304 4627427 140736846198624 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=285496 CPUtime=0.99 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1079 0 0 0 99 0 0 0 25 0 4 0 255710117 292347904 2846 33554432000 4194304 4627427 140736846198624 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 285496

[startup+1.10551 s]
/proc/loadavg: 6.85 7.80 7.92 5/180 5770
/proc/meminfo: memFree=31057612/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=285856 CPUtime=4.4 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 5885 0 0 0 439 1 0 0 19 0 4 0 255710117 292716544 2461 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 71464 2461 386 106 0 66435 0
[pid=5770/tid=5771] ppid=5768 vsize=285856 CPUtime=1.09 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1419 0 0 0 109 0 0 0 19 0 4 0 255710117 292716544 2461 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=285856 CPUtime=1.09 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1356 0 0 0 109 0 0 0 19 0 4 0 255710117 292716544 2461 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=285856 CPUtime=1.09 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1275 0 0 0 109 0 0 0 25 0 4 0 255710117 292716544 2461 33554432000 4194304 4627427 140736846198624 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 285856

[startup+1.50044 s]
/proc/loadavg: 6.85 7.80 7.92 5/180 5770
/proc/meminfo: memFree=31057612/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=287736 CPUtime=5.97 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 7874 0 0 0 596 1 0 0 20 0 4 0 255710117 294641664 4450 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 71934 4450 389 106 0 66905 0
[pid=5770/tid=5771] ppid=5768 vsize=287736 CPUtime=1.49 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1604 0 0 0 149 0 0 0 19 0 4 0 255710117 294641664 4450 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=287736 CPUtime=1.49 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1555 0 0 0 149 0 0 0 20 0 4 0 255710117 294641664 4450 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=287736 CPUtime=1.48 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 1451 0 0 0 148 0 0 0 25 0 4 0 255710117 294641664 4450 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 287736

[startup+3.10116 s]
/proc/loadavg: 6.85 7.80 7.92 9/184 5774
/proc/meminfo: memFree=30984064/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=299212 CPUtime=12.36 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 15777 0 0 0 1234 2 0 0 25 0 4 0 255710117 306393088 7899 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 74803 7899 389 106 0 69774 0
[pid=5770/tid=5771] ppid=5768 vsize=299212 CPUtime=3.08 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 3655 0 0 0 308 0 0 0 25 0 4 0 255710117 306393088 7899 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=299212 CPUtime=3.08 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 4006 0 0 0 308 0 0 0 25 0 4 0 255710117 306393088 7899 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=299212 CPUtime=3.08 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 3606 0 0 0 308 0 0 0 25 0 4 0 255710117 306393088 7899 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 299212

[startup+6.30659 s]
/proc/loadavg: 7.02 7.82 7.93 9/184 5774
/proc/meminfo: memFree=30954472/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=304720 CPUtime=25.17 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 24968 0 0 0 2513 4 0 0 25 0 4 0 255710117 312033280 11116 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 76180 11116 389 106 0 71151 0
[pid=5770/tid=5771] ppid=5768 vsize=304720 CPUtime=6.29 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 6725 0 0 0 628 1 0 0 25 0 4 0 255710117 312033280 11116 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=304720 CPUtime=6.26 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 6675 0 0 0 626 0 0 0 25 0 4 0 255710117 312033280 11116 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=304720 CPUtime=6.29 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 5306 0 0 0 628 1 0 0 25 0 4 0 255710117 312033280 11116 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 304720

[startup+12.7005 s]
/proc/loadavg: 7.10 7.83 7.93 9/184 5774
/proc/meminfo: memFree=30919028/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=312192 CPUtime=50.72 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 40023 0 0 0 5065 7 0 0 25 0 4 0 255710117 319684608 15745 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308277 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 78048 15745 389 106 0 73019 0
[pid=5770/tid=5771] ppid=5768 vsize=312192 CPUtime=12.69 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 10446 0 0 0 1267 2 0 0 25 0 4 0 255710117 319684608 15745 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=312192 CPUtime=12.63 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 9171 0 0 0 1262 1 0 0 25 0 4 0 255710117 319684608 15745 33554432000 4194304 4627427 140736846198624 18446744073709551615 4335591 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=312192 CPUtime=12.68 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 9497 0 0 0 1266 2 0 0 25 0 4 0 255710117 319684608 15745 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 312192

[startup+25.5002 s]
/proc/loadavg: 7.30 7.83 7.93 9/184 5774
/proc/meminfo: memFree=30878328/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=318060 CPUtime=101.85 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 60930 0 0 0 10174 11 0 0 25 0 4 0 255710117 325693440 20408 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309253 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 79515 20408 389 106 0 74486 0
[pid=5770/tid=5771] ppid=5768 vsize=318060 CPUtime=25.49 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 16084 0 0 0 2547 2 0 0 25 0 4 0 255710117 325693440 20408 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=318060 CPUtime=25.35 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 14315 0 0 0 2534 1 0 0 25 0 4 0 255710117 325693440 20408 33554432000 4194304 4627427 140736846198624 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=318060 CPUtime=25.48 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 14080 0 0 0 2545 3 0 0 25 0 4 0 255710117 325693440 20408 33554432000 4194304 4627427 140736846198624 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 318060

[startup+51.1007 s]
/proc/loadavg: 7.60 7.86 7.93 9/184 5775
/proc/meminfo: memFree=30838112/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=327184 CPUtime=204.11 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 93046 0 0 0 20390 21 0 0 25 0 4 0 255710117 335036416 26164 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 81796 26164 389 106 0 76767 0
[pid=5770/tid=5771] ppid=5768 vsize=327184 CPUtime=51.09 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 25205 0 0 0 5104 5 0 0 25 0 4 0 255710117 335036416 26164 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=327184 CPUtime=50.82 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 21988 0 0 0 5078 4 0 0 25 0 4 0 255710117 335036416 26164 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=327184 CPUtime=51.09 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 21334 0 0 0 5103 6 0 0 25 0 4 0 255710117 335036416 26164 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 327184

[startup+102.301 s]
/proc/loadavg: 7.86 7.89 7.94 10/184 5776
/proc/meminfo: memFree=30765292/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=339656 CPUtime=408.63 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 140988 0 0 0 40828 35 0 0 25 0 4 0 255710117 347807744 32697 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 84914 32697 389 106 0 79885 0
[pid=5770/tid=5771] ppid=5768 vsize=339656 CPUtime=102.29 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 37532 0 0 0 10220 9 0 0 25 0 4 0 255710117 347807744 32697 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=339656 CPUtime=101.74 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 32442 0 0 0 10167 7 0 0 25 0 4 0 255710117 347807744 32697 33554432000 4194304 4627427 140736846198624 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=339656 CPUtime=102.28 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 34226 0 0 0 10219 9 0 0 25 0 4 0 255710117 347807744 32697 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 339656

[startup+162.3 s]

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

[pid=5770] ppid=5768 vsize=506060 CPUtime=2805.4 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 443948 0 0 0 280370 170 0 0 25 0 4 0 255710117 518205440 83749 33554432000 4194304 4627427 140736846198624 18446744073709551615 4324341 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 126515 83749 389 106 0 121486 0
[pid=5770/tid=5771] ppid=5768 vsize=506060 CPUtime=702.3 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 113880 0 0 0 70185 45 0 0 25 0 4 0 255710117 518205440 83749 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=506060 CPUtime=698.48 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 102327 0 0 0 69808 40 0 0 25 0 4 0 255710117 518205440 83749 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=506060 CPUtime=702.29 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 108845 0 0 0 70190 39 0 0 25 0 4 0 255710117 518205440 83749 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 506060

[startup+762.301 s]
/proc/loadavg: 8.05 8.04 7.98 9/184 5794
/proc/meminfo: memFree=30255352/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=518400 CPUtime=3045.08 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 462215 0 0 0 304328 180 0 0 25 0 4 0 255710117 530841600 89141 33554432000 4194304 4627427 140736846198624 18446744073709551615 4310136 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 129600 89141 389 106 0 124571 0
[pid=5770/tid=5771] ppid=5768 vsize=518400 CPUtime=762.31 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 119656 0 0 0 76182 49 0 0 25 0 4 0 255710117 530841600 89141 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=518400 CPUtime=758.15 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 107264 0 0 0 75772 43 0 0 25 0 4 0 255710117 530841600 89141 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=518400 CPUtime=762.29 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 113962 0 0 0 76188 41 0 0 25 0 4 0 255710117 530841600 89141 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 518400

[startup+822.301 s]
/proc/loadavg: 8.02 8.03 7.98 9/184 5796
/proc/meminfo: memFree=30249108/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=527408 CPUtime=3284.76 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 480262 0 0 0 328288 188 0 0 25 0 4 0 255710117 540065792 86972 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 131852 86972 389 106 0 126823 0
[pid=5770/tid=5771] ppid=5768 vsize=527408 CPUtime=822.31 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 126372 0 0 0 82179 52 0 0 25 0 4 0 255710117 540065792 86972 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=527408 CPUtime=817.83 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 112618 0 0 0 81738 45 0 0 25 0 4 0 255710117 540065792 86972 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=527408 CPUtime=822.29 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 116854 0 0 0 82187 42 0 0 25 0 4 0 255710117 540065792 86972 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3284.76
Current children cumulated vsize (KiB) 527408

[startup+882.301 s]
/proc/loadavg: 8.05 8.04 7.99 9/184 5797
/proc/meminfo: memFree=30175784/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=518412 CPUtime=3524.44 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 495606 0 0 0 352249 195 0 0 25 0 4 0 255710117 530853888 91704 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 129603 91704 389 106 0 124574 0
[pid=5770/tid=5771] ppid=5768 vsize=518412 CPUtime=882.3 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 130632 0 0 0 88176 54 0 0 25 0 4 0 255710117 530853888 91704 33554432000 4194304 4627427 140736846198624 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=518412 CPUtime=877.5 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 113183 0 0 0 87704 46 0 0 25 0 4 0 255710117 530853888 91704 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=518412 CPUtime=882.29 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 122978 0 0 0 88184 45 0 0 25 0 4 0 255710117 530853888 91704 33554432000 4194304 4627427 140736846198624 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 518412

[startup+942.301 s]
/proc/loadavg: 8.13 8.06 8.00 9/184 5799
/proc/meminfo: memFree=30214548/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=556072 CPUtime=3764.12 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 510853 0 0 0 376211 201 0 0 25 0 4 0 255710117 569417728 92621 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309138 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 139018 92621 389 106 0 133989 0
[pid=5770/tid=5771] ppid=5768 vsize=556072 CPUtime=942.31 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 134419 0 0 0 94175 56 0 0 25 0 4 0 255710117 569417728 92621 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=556072 CPUtime=937.18 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 115824 0 0 0 93671 47 0 0 25 0 4 0 255710117 569417728 92621 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=556072 CPUtime=942.3 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 128646 0 0 0 94183 47 0 0 25 0 4 0 255710117 569417728 92621 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3764.12
Current children cumulated vsize (KiB) 556072

[startup+1002.3 s]
/proc/loadavg: 8.15 8.08 8.00 9/184 5800
/proc/meminfo: memFree=30182988/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=621776 CPUtime=4003.79 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 529541 0 0 0 400169 210 0 0 25 0 4 0 255710117 636698624 99558 33554432000 4194304 4627427 140736846198624 18446744073709551615 4299712 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 155444 99558 389 106 0 150415 0
[pid=5770/tid=5771] ppid=5768 vsize=621776 CPUtime=1002.31 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 140711 0 0 0 100172 59 0 0 25 0 4 0 255710117 636698624 99558 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=621776 CPUtime=996.85 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 116104 0 0 0 99638 47 0 0 25 0 4 0 255710117 636698624 99558 33554432000 4194304 4627427 140736846198624 18446744073709551615 4299536 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=621776 CPUtime=1002.3 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 134262 0 0 0 100180 50 0 0 25 0 4 0 255710117 636698624 99558 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 621776

[startup+1062.31 s]
/proc/loadavg: 8.15 8.09 8.01 9/184 5802
/proc/meminfo: memFree=30140776/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=621984 CPUtime=4243.48 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 541996 0 0 0 424131 217 0 0 25 0 4 0 255710117 636911616 95761 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 155496 95761 389 106 0 150467 0
[pid=5770/tid=5771] ppid=5768 vsize=621984 CPUtime=1062.32 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 146194 0 0 0 106170 62 0 0 25 0 4 0 255710117 636911616 95761 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=621984 CPUtime=1056.53 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 116333 0 0 0 105606 47 0 0 25 0 4 0 255710117 636911616 95761 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=621984 CPUtime=1062.3 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 139703 0 0 0 106177 53 0 0 25 0 4 0 255710117 636911616 95761 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4243.48
Current children cumulated vsize (KiB) 621984

[startup+1122.3 s]
/proc/loadavg: 8.14 8.10 8.01 9/184 5804
/proc/meminfo: memFree=30166540/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=623036 CPUtime=4483.14 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 562712 0 0 0 448088 226 0 0 25 0 4 0 255710117 637988864 95927 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 155759 95927 389 106 0 150730 0
[pid=5770/tid=5771] ppid=5768 vsize=623036 CPUtime=1122.32 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 151694 0 0 0 112168 64 0 0 25 0 4 0 255710117 637988864 95927 33554432000 4194304 4627427 140736846198624 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=623036 CPUtime=1116.2 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 121755 0 0 0 111571 49 0 0 25 0 4 0 255710117 637988864 95927 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=623036 CPUtime=1122.29 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 144475 0 0 0 112174 55 0 0 25 0 4 0 255710117 637988864 95927 33554432000 4194304 4627427 140736846198624 18446744073709551615 4324270 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 623036

[startup+1182.3 s]
/proc/loadavg: 8.21 8.12 8.02 9/184 5805
/proc/meminfo: memFree=30136016/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=585224 CPUtime=4722.81 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 584299 0 0 0 472040 241 0 0 25 0 4 0 255710117 599269376 94017 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 146306 94017 389 106 0 141277 0
[pid=5770/tid=5771] ppid=5768 vsize=585224 CPUtime=1182.32 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 156089 0 0 0 118165 67 0 0 25 0 4 0 255710117 599269376 94017 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=585224 CPUtime=1175.86 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 127428 0 0 0 117534 52 0 0 25 0 4 0 255710117 599269376 94017 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=585224 CPUtime=1182.3 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 149935 0 0 0 118171 59 0 0 25 0 4 0 255710117 599269376 94017 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 585224



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.15 8.12 8.02 9/184 5806
/proc/meminfo: memFree=30077340/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=590416 CPUtime=4800.32 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 595570 0 0 0 479786 246 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 147604 102235 389 106 0 142575 0
[pid=5770/tid=5771] ppid=5768 vsize=590416 CPUtime=1201.72 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 162304 0 0 0 120104 68 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=590416 CPUtime=1195.16 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 129293 0 0 0 119462 54 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=590416 CPUtime=1201.7 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 150789 0 0 0 120111 59 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 590416

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

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

[startup+1201.7 s]
/proc/loadavg: 8.15 8.12 8.02 9/184 5806
/proc/meminfo: memFree=30077340/32951124 swapFree=67111524/67111528
[pid=5770] ppid=5768 vsize=590416 CPUtime=4800.32 cores=1,3,5,7
/proc/5770/stat : 5770 (strangenight2-m) R 5768 5770 4889 0 -1 4202496 595570 0 0 0 479786 246 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5770/statm: 147604 102235 389 106 0 142575 0
[pid=5770/tid=5771] ppid=5768 vsize=590416 CPUtime=1201.72 cores=1,3,5,7
/proc/5770/task/5771/stat : 5771 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 162304 0 0 0 120104 68 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5770/tid=5772] ppid=5768 vsize=590416 CPUtime=1195.16 cores=1,3,5,7
/proc/5770/task/5772/stat : 5772 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 129293 0 0 0 119462 54 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=5770/tid=5773] ppid=5768 vsize=590416 CPUtime=1201.7 cores=1,3,5,7
/proc/5770/task/5773/stat : 5773 (strangenight2-m) R 5768 5770 4889 0 -1 4202560 150789 0 0 0 120111 59 0 0 25 0 4 0 255710117 604585984 102235 33554432000 4194304 4627427 140736846198624 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 590416

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.37
CPU user time (s): 4797.89
CPU system time (s): 2.48462
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 635896

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.89
system time used= 2.48462
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 595570
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= 400
involuntary context switches= 19407

runsolver used 1.79573 second user time and 4.78227 second system time

The end

Launcher Data 

Begin job on node107 at 2011-04-30 00:13:09
IDJOB=3174206
IDBENCH=83024
IDSOLVER=1586
FILE ID=node107/3174206-1304115188
RUNJOBID= node107-1304115188-5748
PBS_JOBID= 13170667
Free space on /tmp= 71800 MiB

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

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

MD5SUM BENCH= 5f2e312544271c81369da327dc351a86
RANDOM SEED=1930605089

node107.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.829
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.65
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.829
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.75
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.829
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.67
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.829
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.82
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.829
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.74
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.829
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	: 5359.47
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.829
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.829
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:      31058148 kB
Buffers:        346624 kB
Cached:        1135028 kB
SwapCached:          4 kB
Active:         102604 kB
Inactive:      1442184 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31058148 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11456 kB
Writeback:           0 kB
AnonPages:       63320 kB
Mapped:          15264 kB
Slab:           284744 kB
PageTables:       4320 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   224208 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= 71792 MiB
End job on node107 at 2011-04-30 00:33:12