Trace number 3174002

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.24 1201.53

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf
MD5SUM6f66bb3f92a8c8e75d9af481af0c129f
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.003999
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of clauses1917
Sum of the clauses size5751
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31917
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-3174002-1304075860.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 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.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	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:    450 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:      5  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:     196 undec:      53 neg:     201
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       445      1912         0         0      5773         0   no data   no data
0.05/0.06	c Decided on static restart strategy
0.38/0.14	c  N st     8      4917       445      1912         0      4821      5773    105897   no data   no data
1.17/0.38	c  N st    10     11299       445      1912         0      4487      5773     72124   no data   no data
2.38/0.63	c  N st    11     17044       445      1912         0     10101      5773    201922   no data   no data
3.99/1.02	c  F st    12     25000       445      1912         0     12382      5773    243413   no data   no data
3.99/1.02	c  N st    12     25000       445      1912         0     12382      5773    243413   no data   no data
4.77/1.26	c  N dy    18     30001       445      1912         0     10654      5773    189036   no data   no data
4.77/1.26	c  S st    18     30001       445      1912         0     10654      5773    189036   no data   no data
4.77/1.29	c  S st    18     30506       445      1912         0     11158      5773    200017   no data   no data
4.77/1.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.77/1.29	c blocked clauses removed:        6 vars:      1 tried:         445 T: 0.00 s
4.77/1.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
4.77/1.29	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.34	c lits-rem:       135  cl-subs:      467  v-elim:      0  v-fix:    0  time:  0.04 s
5.17/1.35	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.00
5.17/1.35	c calculated reachability. Time: 0.00
5.17/1.35	c  N dy    18     30506       444      1906         0     10691      5755    189193   no data   no data
6.37/1.62	c  N dy    30     35408       444      1906         0     15538      5755    295548     15.04     15.94
7.17/1.82	c  N dy    44     39413       444      1906         0     11699      5755    177490     14.96     15.79
8.79/2.22	c  N dy    58     45759       444      1906         0      9116      5755    101223     14.59     14.43
8.79/2.22	c  S st    58     45759       444      1906         0      9116      5755    101223     14.59     14.43
8.79/2.25	c  S st    58     46261       444      1906         0      9615      5755    112464     14.59   no data
8.79/2.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.79/2.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.79/2.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.79/2.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.79/2.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
8.79/2.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.79/2.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.79/2.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.79/2.27	c lits-rem:         4  cl-subs:       22  v-elim:      0  v-fix:    0  time:  0.01 s
8.79/2.27	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
8.79/2.27	c vivif2 --  cl tried     9593 cl shrink        0 lits rem          0 time: 0.00
8.79/2.27	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.00
8.79/2.27	c calculated reachability. Time: 0.00
8.79/2.27	c  N dy    58     46261       444      1906         0      9593      5755    111935     14.59   no data
9.56/2.49	c  N dy    77     50279       444      1906         0     13545      5755    194924     14.64     17.83
10.77/2.76	c  N dy    97     54357       444      1906         0     17575      5755    280305     14.70     16.62
12.36/3.18	c  N dy   106     60724       444      1906         0     13995      5755    182555     14.38     15.16
13.56/3.45	c  N dy   117     64835       444      1906         0     18053      5755    266641     14.31     15.44
14.75/3.79	c  N dy   145     69144       444      1906         0     11481      5755    117515     14.43     15.21
15.15/3.80	c  S st   148     69392       444      1906         0     11725      5755    123283     14.46   no data
15.15/3.83	c  S st   148     69896       444      1906         0     12226      5755    133591     14.46   no data
15.15/3.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.15/3.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.15/3.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.15/3.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.15/3.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
15.15/3.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.15/3.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.15/3.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.15/3.86	c lits-rem:        14  cl-subs:       40  v-elim:      0  v-fix:    0  time:  0.01 s
15.15/3.86	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
15.15/3.86	c vivif2 --  cl tried    12186 cl shrink        0 lits rem          0 time: 0.00
15.15/3.86	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.01
15.15/3.86	c calculated reachability. Time: 0.00
15.15/3.86	c  N dy   148     69896       444      1906         0     12186      5755    132502     14.46   no data
16.35/4.15	c  N dy   177     74440       444      1906         0     16655      5755    227934     14.53     15.46
17.95/4.51	c  N dy   187     79215       444      1906         0     21344      5755    326458     14.48     15.39
19.15/4.89	c  N dy   212     84395       444      1906         0     14639      5755    165922     14.51     15.32
20.35/5.10	c  F st   220     87500       444      1906         0     17700      5755    229098     14.48     12.99
21.15/5.35	c  N st   225     90795       444      1906         0     20929      5755    296234     14.48   no data
21.97/5.51	c Decided on static restart strategy
23.95/6.04	c  N st   228     99802       444      1906         0     16948      5755    276463     14.48   no data
25.54/6.44	c  S st   229    104845       444      1906         0     21846      5755    379004     14.48   no data
25.54/6.49	c  S st   229    105348       444      1906         0     22347      5755    390302     14.48   no data
25.54/6.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.54/6.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.54/6.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.96/6.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.96/6.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.96/6.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
25.96/6.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.96/6.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.96/6.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.15/6.84	c lits-rem:       204  cl-subs:     2107  v-elim:      0  v-fix:    0  time:  0.32 s
27.15/6.84	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
27.15/6.84	c vivif2 --  cl tried    20240 cl shrink        0 lits rem          0 time: 0.00
27.15/6.86	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.01
27.15/6.86	c calculated reachability. Time: 0.00
27.15/6.86	c  N st   229    105348       444      1906         0     20240      5755    347488     14.48   no data
30.36/7.65	c  N st   230    114946       444      1906         0     15906      5755    217231     14.48   no data
35.16/8.86	c  N st   231    129344       444      1906         0     15420      5755    208278     14.48   no data
42.72/10.70	c  N st   232    150941       444      1906         0     20966      5755    308100     14.48   no data
45.13/11.32	c  S st   233    158024       444      1906         0     27938      5755    471416     14.48   no data
45.13/11.39	c  S st   233    158528       444      1906         0     28442      5755    481834     14.48   no data
45.13/11.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.53/11.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
45.53/11.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.53/11.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.53/11.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.53/11.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
45.53/11.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.53/11.41	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.53/11.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.68	c lits-rem:       153  cl-subs:     1242  v-elim:      0  v-fix:    0  time:  0.26 s
46.32/11.68	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
46.32/11.69	c vivif2 --  cl tried    27200 cl shrink        0 lits rem          0 time: 0.01
46.72/11.71	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.01
46.72/11.71	c calculated reachability. Time: 0.00
46.72/11.71	c  N st   233    158528       444      1906         0     27200      5755    455019     14.48   no data
65.10/16.39	c  N st   234    207116       444      1906         0     21905      5755    298940     14.48   no data
78.28/19.61	c  N st   235    237794       444      1906         0     32251      5755    494957     14.48   no data
78.28/19.61	c  S st   235    237794       444      1906         0     32251      5755    494957     14.48   no data
78.28/19.68	c  S st   235    238296       444      1906         0     32752      5755    505558     14.48   no data
78.28/19.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
78.28/19.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
78.28/19.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
78.28/19.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
78.28/19.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.28/19.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
78.28/19.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
78.70/19.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.70/19.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.68/20.28	c lits-rem:       220  cl-subs:     2359  v-elim:      0  v-fix:    0  time:  0.56 s
80.68/20.28	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
80.68/20.29	c vivif2 --  cl tried    30393 cl shrink        0 lits rem          0 time: 0.01
81.08/20.30	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.02
81.08/20.31	c calculated reachability. Time: 0.00
81.08/20.31	c  N st   235    238296       444      1906         0     30393      5755    456964     14.48   no data
110.65/27.72	c  F st   236    306251       444      1906         0     32197      5755    467376     14.48   no data
110.65/27.72	c  N st   236    306251       444      1906         0     32197      5755    467376     14.48   no data
113.04/28.35	c Decided on static restart strategy
123.42/30.97	c  N st   246    334554       444      1906         0     36488      5755    554137     14.48   no data
134.21/33.65	c  N st   248    357445       444      1906         0     34485      5755    488375     14.48   no data
134.21/33.65	c  S st   248    357445       444      1906         0     34485      5755    488375     14.48   no data
134.61/33.73	c  S st   248    357949       444      1906         0     34988      5755    499629     14.48   no data
134.61/33.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
134.61/33.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
134.61/33.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
134.61/33.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
134.61/33.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
134.61/33.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
134.61/33.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
134.61/33.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
134.61/33.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.83/34.05	c lits-rem:        98  cl-subs:     1182  v-elim:      0  v-fix:    0  time:  0.28 s
135.83/34.05	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
135.83/34.06	c vivif2 --  cl tried    33806 cl shrink        0 lits rem          0 time: 0.01
135.83/34.08	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.02
135.83/34.08	c calculated reachability. Time: 0.00
135.83/34.08	c  N st   248    357949       444      1906         0     33806      5755    473096     14.48   no data
153.00/38.37	c  N st   249    390342       444      1906         0     40072      5755    609267     14.48   no data
180.56/45.26	c  N st   250    438931       444      1906         0     33732      5755    419327     14.48   no data
220.91/55.38	c  N st   251    511813       444      1906         0     47346      5755    734967     14.48   no data
234.89/58.88	c  N st   252    536925       444      1906         0     41656      5755    585257     14.48   no data
234.89/58.88	c  S st   252    536925       444      1906         0     41656      5755    585257     14.48   no data
235.30/58.99	c  S st   252    537428       444      1906         0     42158      5755    596238     14.48   no data
235.30/58.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
235.70/59.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
235.70/59.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
235.70/59.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
235.70/59.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.70/59.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
235.70/59.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
235.70/59.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
235.70/59.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.32/59.50	c lits-rem:       217  cl-subs:     1415  v-elim:      0  v-fix:    0  time:  0.46 s
237.32/59.50	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
237.69/59.50	c vivif2 --  cl tried    40743 cl shrink        0 lits rem          0 time: 0.01
237.69/59.53	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.03
237.69/59.53	c calculated reachability. Time: 0.00
237.69/59.53	c  N st   252    537428       444      1906         0     40743      5755    561573     14.48   no data
341.58/85.54	c  N st   253    701412       444      1906         0     69709      5755   1184745     14.48   no data
413.12/103.42	c  N st   254    806142       444      1906         0     63448      5755    943269     14.48   no data
413.12/103.42	c  S st   254    806142       444      1906         0     63448      5755    943269     14.48   no data
413.89/103.61	c  S st   254    806646       444      1906         0     63950      5755    955512     14.48   no data
413.89/103.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
413.89/103.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
413.89/103.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
413.89/103.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
413.89/103.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
413.89/103.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
413.89/103.64	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
413.89/103.66	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
413.89/103.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
424.69/106.33	c lits-rem:       565  cl-subs:     5697  v-elim:      0  v-fix:    0  time:  2.65 s
424.69/106.33	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
424.69/106.34	c vivif2 --  cl tried    58253 cl shrink        0 lits rem          0 time: 0.01
424.69/106.39	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.05
424.69/106.39	c calculated reachability. Time: 0.00
424.69/106.39	c  N st   254    806646       444      1906         0     58253      5755    842777     14.48   no data
631.64/158.12	c  F st   255   1071875       444      1906         0     74233      5755   1094009     14.48   no data
631.64/158.12	c  N st   255   1071875       444      1906         0     74233      5755   1094009     14.48   no data
636.43/159.39	c Decided on static restart strategy
655.60/164.13	c  N st   265   1100181       444      1906         0     58123      5755    725442     14.48   no data
687.17/172.01	c  N st   267   1136174       444      1906         0     48592      5755    509450     14.48   no data
713.93/178.72	c  N st   268   1168566       444      1906         0     80111      5755   1253100     14.48   no data
756.28/189.37	c  N st   269   1209970       444      1906         0     74674      5755   1102467     14.48   no data
756.28/189.37	c  S st   269   1209970       444      1906         0     74674      5755   1102467     14.48   no data
757.48/189.65	c  S st   269   1210475       444      1906         0     75178      5755   1113617     14.48   no data
757.48/189.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
757.88/189.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
757.88/189.70	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
757.88/189.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
757.88/189.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
757.88/189.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
757.88/189.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
757.88/189.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
757.88/189.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
770.26/192.89	c lits-rem:       830  cl-subs:     4456  v-elim:      0  v-fix:    0  time:  3.13 s
770.26/192.89	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
770.66/192.90	c vivif2 --  cl tried    70722 cl shrink        0 lits rem          0 time: 0.01
770.66/192.96	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.06
770.66/192.96	c calculated reachability. Time: 0.00
770.66/192.96	c  N st   269   1210475       444      1906         0     70722      5755   1010967     14.48   no data
838.57/209.92	c  N st   270   1283357       444      1906         0     94612      5755   1499659     14.48   no data
950.04/237.87	c  N st   271   1392680       444      1906         0     55123      5755    575761     14.48   no data
1099.06/275.12	c  N st   272   1556664       444      1906         0     60117      5755    639487     14.48   no data
1244.50/311.56	c  N st   273   1710475       444      1906         0    101317      5755   1520162     14.48   no data
1244.50/311.56	c  S st   273   1710475       444      1906         0    101317      5755   1520162     14.48   no data
1246.10/311.93	c  S st   273   1710981       444      1906         0    101822      5755   1532358     14.48   no data
1246.10/311.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1246.10/311.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1246.10/311.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1246.10/311.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1246.10/311.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1246.10/311.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
1246.10/311.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1246.50/312.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1246.50/312.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1280.05/320.41	c lits-rem:       804  cl-subs:     9621  v-elim:      0  v-fix:    0  time:  8.35 s
1280.05/320.41	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
1280.05/320.43	c vivif2 --  cl tried    92201 cl shrink        0 lits rem          0 time: 0.02
1280.45/320.52	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.09
1280.45/320.52	c calculated reachability. Time: 0.00
1280.45/320.52	c  N st   273   1710981       444      1906         0     92201      5755   1352099     14.48   no data
1631.22/408.38	c  N st   274   2079945       444      1906         0    104232      5755   1537142     14.48   no data
1776.65/444.76	c  N st   275   2210983       444      1906         0    107694      5755   1502809     14.48   no data
1776.65/444.76	c  S st   275   2210983       444      1906         0    107694      5755   1502809     14.48   no data
1777.86/445.09	c  S st   275   2211485       444      1906         0    108195      5755   1514343     14.48   no data
1778.26/445.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1778.26/445.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1778.26/445.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1778.26/445.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1778.26/445.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1778.26/445.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
1778.26/445.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1778.26/445.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1778.66/445.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1811.00/453.35	c lits-rem:       394  cl-subs:    12919  v-elim:      0  v-fix:    0  time:  8.12 s
1811.00/453.35	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
1811.00/453.37	c vivif2 --  cl tried    95276 cl shrink        0 lits rem          0 time: 0.02
1811.40/453.46	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.09
1811.40/453.46	c calculated reachability. Time: 0.00
1811.40/453.46	c  N st   275   2211485       444      1906         0     95276      5755   1278814     14.48   no data
2391.52/598.61	c  N st   276   2711485       444      1906         0    119367      5755   1885123     14.48   no data
2391.52/598.61	c  S st   276   2711485       444      1906         0    119367      5755   1885123     14.48   no data
2393.12/599.01	c  S st   276   2711988       444      1906         0    119869      5755   1896922     14.48   no data
2393.12/599.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2393.12/599.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2393.12/599.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2393.12/599.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2393.12/599.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2393.12/599.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
2393.12/599.07	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2393.52/599.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2393.52/599.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2445.85/612.28	c lits-rem:       593  cl-subs:     9428  v-elim:      0  v-fix:    0  time: 13.12 s
2445.85/612.28	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
2446.25/612.31	c vivif2 --  cl tried   110441 cl shrink        0 lits rem          0 time: 0.02
2446.65/612.42	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.11
2446.65/612.42	c calculated reachability. Time: 0.00
2446.65/612.42	c  N st   276   2711988       444      1906         0    110441      5755   1681912     14.48   no data
3048.72/763.17	c  N st   277   3211989       444      1906         0     86593      5755    923273     14.48   no data
3048.72/763.17	c  S st   277   3211989       444      1906         0     86593      5755    923273     14.48   no data
3049.94/763.44	c  S st   277   3212495       444      1906         0     87097      5755    935493     14.48   no data
3049.94/763.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3049.94/763.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3049.94/763.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3049.94/763.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3049.94/763.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3049.94/763.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
3049.94/763.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3050.32/763.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3050.32/763.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3053.12/764.25	c lits-rem:        70  cl-subs:     1983  v-elim:      0  v-fix:    0  time:  0.71 s
3053.12/764.25	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
3053.12/764.27	c vivif2 --  cl tried    85114 cl shrink        0 lits rem          0 time: 0.01
3053.52/764.34	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.07
3053.52/764.34	c calculated reachability. Time: 0.00
3053.52/764.34	c  N st   277   3212495       444      1906         0     85114      5755    897165     14.48   no data
3700.72/926.31	c  N st   278   3712495       444      1906         0     95855      5755   1031239     14.48   no data
3700.72/926.31	c  S st   278   3712495       444      1906         0     95855      5755   1031239     14.48   no data
3701.92/926.60	c  S st   278   3712995       444      1906         0     96355      5755   1042987     14.48   no data
3701.92/926.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3701.92/926.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3701.92/926.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3701.92/926.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3701.92/926.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3701.92/926.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
3701.92/926.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3701.92/926.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3702.32/926.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3707.11/927.91	c lits-rem:       124  cl-subs:     3407  v-elim:      0  v-fix:    0  time:  1.20 s
3707.11/927.91	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
3707.11/927.92	c vivif2 --  cl tried    92948 cl shrink        0 lits rem          0 time: 0.02
3707.51/928.01	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.08
3707.51/928.01	c calculated reachability. Time: 0.00
3707.51/928.01	c  N st   278   3712995       444      1906         0     92948      5755    980127     14.48   no data
3755.86/940.13	c  F st   279   3751562       444      1906         0    130211      5755   1810096     14.48   no data
3755.86/940.13	c  N st   279   3751562       444      1906         0    130211      5755   1810096     14.48   no data
3765.86/942.61	c Decided on static restart strategy
3804.59/952.35	c  N st   289   3779870       444      1906         0    157723      5755   2438153     14.48   no data
3852.53/964.31	c  N st   291   3815863       444      1906         0    110272      5755   1365988     14.48   no data
3908.85/978.48	c  N st   292   3848256       444      1906         0    141687      5755   2092596     14.48   no data
3976.37/995.37	c  N st   293   3896844       444      1906         0    105648      5755   1270417     14.48   no data
4105.80/1027.70	c  N st   294   3969727       444      1906         0     91968      5755    917128     14.48   no data
4256.82/1065.55	c  N st   295   4079051       444      1906         0    113025      5755   1415850     14.48   no data
4455.39/1115.28	c  N st   296   4212995       444      1906         0    156239      5755   2403877     14.48   no data
4455.39/1115.28	c  S st   296   4212995       444      1906         0    156239      5755   2403877     14.48   no data
4457.78/1115.85	c  S st   296   4213497       444      1906         0    156739      5755   2415335     14.48   no data
4457.78/1115.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4458.18/1115.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4458.18/1115.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4458.18/1115.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4458.18/1115.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4458.18/1115.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    444 time:  0.00 s
4458.18/1115.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4458.18/1115.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4458.58/1116.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4539.30/1136.21	c lits-rem:      1078  cl-subs:    12815  v-elim:      0  v-fix:    0  time: 20.15 s
4539.30/1136.21	c vivif2 --  cl tried     1906 cl shrink        0 lits rem          0 time: 0.00
4539.30/1136.24	c vivif2 --  cl tried   143924 cl shrink        0 lits rem          0 time: 0.03
4540.08/1136.41	c asymm  cl-useful: 0/1906/1906 lits-rem:0 time: 0.16
4540.08/1136.41	c calculated reachability. Time: 0.00
4540.08/1136.41	c  N st   296   4213497       444      1906         0    143924      5755   2154630     14.48   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174002-1304075860/watcher-3174002-1304075860 -o /tmp/evaluation-result-3174002-1304075860/solver-3174002-1304075860 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174002-1304075860.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: 4.67 7.02 7.64 3/174 17392
/proc/meminfo: memFree=30374128/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 414 0 0 0 0 0 0 0 22 0 4 0 519186422 52441088 353 33554432000 4194304 4627427 140735157070320 18446744073709551615 253640859579 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 12803 353 303 106 0 7774 0
[pid=17392/tid=17393] ppid=17390 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 519186422 52441088 353 33554432000 4194304 4627427 140735157070320 18446744073709551615 47338499159986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 519186422 52441088 353 33554432000 4194304 4627427 140735157070320 18446744073709551615 47338499159577 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 519186422 52441088 353 33554432000 4194304 4627427 140735157070320 18446744073709551615 253635906646 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.019198 s]
/proc/loadavg: 4.67 7.02 7.64 3/174 17392
/proc/meminfo: memFree=30374128/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=282152 CPUtime=0.05 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 1201 0 0 0 5 0 0 0 23 0 4 0 519186422 288923648 1098 33554432000 4194304 4627427 140735157070320 18446744073709551615 4310378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 70538 1098 384 106 0 65509 0
[pid=17392/tid=17393] ppid=17390 vsize=282152 CPUtime=0.01 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 245 0 0 0 1 0 0 0 24 0 4 0 519186422 288923648 1098 33554432000 4194304 4627427 140735157070320 18446744073709551615 4330994 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=282152 CPUtime=0.01 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 210 0 0 0 1 0 0 0 24 0 4 0 519186422 288923648 1098 33554432000 4194304 4627427 140735157070320 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=282152 CPUtime=0.01 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 125 0 0 0 1 0 0 0 24 0 4 0 519186422 288923648 1098 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 282152

[startup+0.101143 s]
/proc/loadavg: 4.67 7.02 7.64 3/174 17392
/proc/meminfo: memFree=30374128/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=282284 CPUtime=0.38 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 1601 0 0 0 38 0 0 0 23 0 4 0 519186422 289058816 1498 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 70571 1498 384 106 0 65542 0
[pid=17392/tid=17393] ppid=17390 vsize=282284 CPUtime=0.09 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 341 0 0 0 9 0 0 0 24 0 4 0 519186422 289058816 1498 33554432000 4194304 4627427 140735157070320 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=282284 CPUtime=0.09 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 307 0 0 0 9 0 0 0 24 0 4 0 519186422 289058816 1498 33554432000 4194304 4627427 140735157070320 18446744073709551615 4322228 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=282284 CPUtime=0.09 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 237 0 0 0 9 0 0 0 24 0 4 0 519186422 289058816 1498 33554432000 4194304 4627427 140735157070320 18446744073709551615 4332200 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282284

[startup+0.301107 s]
/proc/loadavg: 4.67 7.02 7.64 3/174 17392
/proc/meminfo: memFree=30374128/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=283680 CPUtime=1.17 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 2637 0 0 0 117 0 0 0 23 0 4 0 519186422 290488320 2015 33554432000 4194304 4627427 140735157070320 18446744073709551615 4324714 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 70920 2015 385 106 0 65891 0
[pid=17392/tid=17393] ppid=17390 vsize=283680 CPUtime=0.29 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 600 0 0 0 29 0 0 0 25 0 4 0 519186422 290488320 2015 33554432000 4194304 4627427 140735157070320 18446744073709551615 4333347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=283680 CPUtime=0.29 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 562 0 0 0 29 0 0 0 25 0 4 0 519186422 290488320 2015 33554432000 4194304 4627427 140735157070320 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=283680 CPUtime=0.29 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 496 0 0 0 29 0 0 0 25 0 4 0 519186422 290488320 2015 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283680

[startup+0.701035 s]
/proc/loadavg: 4.67 7.02 7.64 3/174 17392
/proc/meminfo: memFree=30374128/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=285008 CPUtime=2.78 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 4514 0 0 0 277 1 0 0 25 0 4 0 519186422 291848192 2312 33554432000 4194304 4627427 140735157070320 18446744073709551615 4352141 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 71252 2312 385 106 0 66223 0
[pid=17392/tid=17393] ppid=17390 vsize=285008 CPUtime=0.68 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1097 0 0 0 68 0 0 0 25 0 4 0 519186422 291848192 2312 33554432000 4194304 4627427 140735157070320 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=285008 CPUtime=0.69 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 933 0 0 0 69 0 0 0 25 0 4 0 519186422 291848192 2312 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=285008 CPUtime=0.69 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1009 0 0 0 69 0 0 0 25 0 4 0 519186422 291848192 2312 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285008

[startup+1.50089 s]
/proc/loadavg: 4.67 7.02 7.64 10/184 17405
/proc/meminfo: memFree=30344784/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=291024 CPUtime=5.97 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 8298 0 0 0 596 1 0 0 25 0 4 0 519186422 298008576 4596 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 72756 4596 389 106 0 67727 0
[pid=17392/tid=17393] ppid=17390 vsize=291024 CPUtime=1.48 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1691 0 0 0 148 0 0 0 25 0 4 0 519186422 298008576 4596 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=291024 CPUtime=1.48 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1656 0 0 0 148 0 0 0 25 0 4 0 519186422 298008576 4596 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=291024 CPUtime=1.49 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 1625 0 0 0 149 0 0 0 25 0 4 0 519186422 298008576 4596 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 291024

[startup+3.1006 s]
/proc/loadavg: 4.67 7.02 7.64 9/184 17405
/proc/meminfo: memFree=30300016/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=308548 CPUtime=12.36 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 16993 0 0 0 1233 3 0 0 25 0 4 0 519186422 315953152 8879 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 77137 8879 389 106 0 72108 0
[pid=17392/tid=17393] ppid=17390 vsize=308548 CPUtime=3.09 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 3781 0 0 0 308 1 0 0 25 0 4 0 519186422 315953152 8879 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=308548 CPUtime=3.07 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 4666 0 0 0 307 0 0 0 25 0 4 0 519186422 315953152 8879 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=308548 CPUtime=3.08 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 4364 0 0 0 308 0 0 0 25 0 4 0 519186422 315953152 8879 33554432000 4194304 4627427 140735157070320 18446744073709551615 4332731 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 308548

[startup+6.30101 s]
/proc/loadavg: 4.93 7.04 7.64 9/184 17405
/proc/meminfo: memFree=30264552/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=318484 CPUtime=25.14 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 26210 0 0 0 2510 4 0 0 25 0 4 0 519186422 326127616 12897 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 79621 12897 389 106 0 74592 0
[pid=17392/tid=17393] ppid=17390 vsize=318484 CPUtime=6.29 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 6867 0 0 0 628 1 0 0 25 0 4 0 519186422 326127616 12897 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=318484 CPUtime=6.26 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 7767 0 0 0 625 1 0 0 25 0 4 0 519186422 326127616 12897 33554432000 4194304 4627427 140735157070320 18446744073709551615 4305848 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=318484 CPUtime=6.29 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 6179 0 0 0 628 1 0 0 25 0 4 0 519186422 326127616 12897 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 318484

[startup+12.7008 s]
/proc/loadavg: 5.18 7.06 7.64 9/184 17406
/proc/meminfo: memFree=30196724/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=319192 CPUtime=50.72 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 41308 0 0 0 5065 7 0 0 25 0 4 0 519186422 326852608 18829 33554432000 4194304 4627427 140735157070320 18446744073709551615 4321477 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 79798 18830 389 106 0 74769 0
[pid=17392/tid=17393] ppid=17390 vsize=319192 CPUtime=12.69 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 10924 0 0 0 1267 2 0 0 25 0 4 0 519186422 326852608 18830 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=319192 CPUtime=12.63 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 10637 0 0 0 1262 1 0 0 25 0 4 0 519186422 326852608 18830 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=319192 CPUtime=12.69 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 10520 0 0 0 1267 2 0 0 25 0 4 0 519186422 326852608 18830 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 319192

[startup+25.5005 s]
/proc/loadavg: 5.95 7.13 7.66 9/184 17406
/proc/meminfo: memFree=30144524/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=310616 CPUtime=101.85 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 63935 0 0 0 10173 12 0 0 25 0 4 0 519186422 318070784 24414 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308120 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 77654 24414 389 106 0 72625 0
[pid=17392/tid=17393] ppid=17390 vsize=310616 CPUtime=25.49 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 17024 0 0 0 2546 3 0 0 25 0 4 0 519186422 318070784 24414 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=310616 CPUtime=25.37 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 16507 0 0 0 2535 2 0 0 25 0 4 0 519186422 318070784 24414 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=310616 CPUtime=25.49 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 16296 0 0 0 2545 4 0 0 25 0 4 0 519186422 318070784 24414 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 310616

[startup+51.1008 s]
/proc/loadavg: 6.65 7.20 7.67 9/184 17407
/proc/meminfo: memFree=30098536/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=306796 CPUtime=204.13 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 93624 0 0 0 20393 20 0 0 25 0 4 0 519186422 314159104 29165 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 76699 29165 389 106 0 71670 0
[pid=17392/tid=17393] ppid=17390 vsize=306796 CPUtime=51.09 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 25699 0 0 0 5104 5 0 0 25 0 4 0 519186422 314159104 29165 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=306796 CPUtime=50.84 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 25487 0 0 0 5080 4 0 0 25 0 4 0 519186422 314159104 29165 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=306796 CPUtime=51.08 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 20840 0 0 0 5103 5 0 0 25 0 4 0 519186422 314159104 29165 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.13
Current children cumulated vsize (KiB) 306796

[startup+102.306 s]
/proc/loadavg: 7.41 7.32 7.68 9/184 17408
/proc/meminfo: memFree=30020252/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=312652 CPUtime=408.72 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 141655 0 0 0 40837 35 0 0 25 0 4 0 519186422 320155648 36370 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 78163 36370 389 106 0 73134 0
[pid=17392/tid=17393] ppid=17390 vsize=312652 CPUtime=102.29 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 40440 0 0 0 10220 9 0 0 25 0 4 0 519186422 320155648 36370 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=312652 CPUtime=101.82 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 37993 0 0 0 10174 8 0 0 25 0 4 0 519186422 320155648 36370 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=312652 CPUtime=102.3 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 28709 0 0 0 10222 8 0 0 25 0 4 0 519186422 320155648 36370 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.72
Current children cumulated vsize (KiB) 312652

[startup+162.301 s]

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

[pid=17392] ppid=17390 vsize=531584 CPUtime=2805.81 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 436996 0 0 0 280439 142 0 0 25 0 4 0 519186422 544342016 83488 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 132896 83488 389 106 0 127867 0
[pid=17392/tid=17393] ppid=17390 vsize=531584 CPUtime=702.31 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 116041 0 0 0 70195 36 0 0 25 0 4 0 519186422 544342016 83488 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=531584 CPUtime=698.89 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 120020 0 0 0 69852 37 0 0 25 0 4 0 519186422 544342016 83488 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=531584 CPUtime=702.31 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 108918 0 0 0 70194 37 0 0 25 0 4 0 519186422 544342016 83488 33554432000 4194304 4627427 140735157070320 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.81
Current children cumulated vsize (KiB) 531584

[startup+762.307 s]
/proc/loadavg: 8.18 8.03 7.89 9/184 17426
/proc/meminfo: memFree=29529064/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=532128 CPUtime=3045.55 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 465028 0 0 0 304402 153 0 0 25 0 4 0 519186422 544899072 83149 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 133032 83149 389 106 0 128003 0
[pid=17392/tid=17393] ppid=17390 vsize=532128 CPUtime=762.32 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 122399 0 0 0 76194 38 0 0 25 0 4 0 519186422 544899072 83149 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=532128 CPUtime=758.61 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 127606 0 0 0 75820 41 0 0 25 0 4 0 519186422 544899072 83149 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=532128 CPUtime=762.31 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 115711 0 0 0 76192 39 0 0 25 0 4 0 519186422 544899072 83149 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.55
Current children cumulated vsize (KiB) 532128

[startup+822.301 s]
/proc/loadavg: 8.19 8.06 7.90 9/184 17427
/proc/meminfo: memFree=29447316/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=597992 CPUtime=3285.22 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 494361 0 0 0 328359 163 0 0 25 0 4 0 519186422 612343808 89736 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 149498 89736 389 106 0 144469 0
[pid=17392/tid=17393] ppid=17390 vsize=597992 CPUtime=822.31 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 130388 0 0 0 82190 41 0 0 25 0 4 0 519186422 612343808 89736 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=597992 CPUtime=818.28 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 134192 0 0 0 81785 43 0 0 25 0 4 0 519186422 612343808 89736 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=597992 CPUtime=822.31 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 124373 0 0 0 82190 41 0 0 25 0 4 0 519186422 612343808 89736 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3285.22
Current children cumulated vsize (KiB) 597992

[startup+882.301 s]
/proc/loadavg: 8.12 8.06 7.91 9/184 17429
/proc/meminfo: memFree=29408556/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=598368 CPUtime=3524.93 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 521461 0 0 0 352322 171 0 0 25 0 4 0 519186422 612728832 97397 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 149592 97397 389 106 0 144563 0
[pid=17392/tid=17393] ppid=17390 vsize=598368 CPUtime=882.31 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 136811 0 0 0 88189 42 0 0 25 0 4 0 519186422 612728832 97397 33554432000 4194304 4627427 140735157070320 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=598368 CPUtime=877.99 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 141464 0 0 0 87754 45 0 0 25 0 4 0 519186422 612728832 97397 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=598368 CPUtime=882.31 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 130907 0 0 0 88188 43 0 0 25 0 4 0 519186422 612728832 97397 33554432000 4194304 4627427 140735157070320 18446744073709551615 4310126 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.93
Current children cumulated vsize (KiB) 598368

[startup+942.301 s]
/proc/loadavg: 8.15 8.08 7.92 9/184 17430
/proc/meminfo: memFree=29351360/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=586048 CPUtime=3764.65 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 546991 0 0 0 376283 182 0 0 25 0 4 0 519186422 600113152 98152 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 146512 98152 389 106 0 141483 0
[pid=17392/tid=17393] ppid=17390 vsize=586048 CPUtime=942.31 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 143040 0 0 0 94186 45 0 0 25 0 4 0 519186422 600113152 98152 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=586048 CPUtime=937.71 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 148087 0 0 0 93723 48 0 0 25 0 4 0 519186422 600113152 98152 33554432000 4194304 4627427 140735157070320 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=586048 CPUtime=942.31 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 137182 0 0 0 94185 46 0 0 25 0 4 0 519186422 600113152 98152 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.65
Current children cumulated vsize (KiB) 586048

[startup+1002.3 s]
/proc/loadavg: 8.15 8.09 7.93 9/184 17432
/proc/meminfo: memFree=29374208/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=650380 CPUtime=4004.33 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 572556 0 0 0 400240 193 0 0 25 0 4 0 519186422 665989120 100597 33554432000 4194304 4627427 140735157070320 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 162595 100597 389 106 0 157566 0
[pid=17392/tid=17393] ppid=17390 vsize=650380 CPUtime=1002.32 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 149761 0 0 0 100184 48 0 0 25 0 4 0 519186422 665989120 100597 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=650380 CPUtime=997.4 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 154069 0 0 0 99689 51 0 0 25 0 4 0 519186422 665989120 100597 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=650380 CPUtime=1002.31 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 144140 0 0 0 100182 49 0 0 25 0 4 0 519186422 665989120 100597 33554432000 4194304 4627427 140735157070320 18446744073709551615 4420136 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4004.33
Current children cumulated vsize (KiB) 650380

[startup+1062.3 s]
/proc/loadavg: 8.10 8.09 7.94 9/184 17434
/proc/meminfo: memFree=29395724/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=586640 CPUtime=4244.04 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 597201 0 0 0 424202 202 0 0 25 0 4 0 519186422 600719360 100472 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 146660 100472 389 106 0 141631 0
[pid=17392/tid=17393] ppid=17390 vsize=586640 CPUtime=1062.31 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 155740 0 0 0 106182 49 0 0 25 0 4 0 519186422 600719360 100472 33554432000 4194304 4627427 140735157070320 18446744073709551615 4310392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=586640 CPUtime=1057.1 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 161395 0 0 0 105657 53 0 0 25 0 4 0 519186422 600719360 100472 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=586640 CPUtime=1062.32 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 149528 0 0 0 106180 52 0 0 25 0 4 0 519186422 600719360 100472 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4244.04
Current children cumulated vsize (KiB) 586640

[startup+1122.3 s]
/proc/loadavg: 8.03 8.07 7.94 9/184 17435
/proc/meminfo: memFree=29338152/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=654856 CPUtime=4483.75 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 620923 0 0 0 448164 211 0 0 25 0 4 0 519186422 670572544 114279 33554432000 4194304 4627427 140735157070320 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 163714 114279 389 106 0 158685 0
[pid=17392/tid=17393] ppid=17390 vsize=654856 CPUtime=1122.32 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 161721 0 0 0 112180 52 0 0 25 0 4 0 519186422 670572544 114279 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=654856 CPUtime=1116.8 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 166196 0 0 0 111626 54 0 0 25 0 4 0 519186422 670572544 114279 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=654856 CPUtime=1122.31 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 154425 0 0 0 112177 54 0 0 25 0 4 0 519186422 670572544 114279 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.75
Current children cumulated vsize (KiB) 654856

[startup+1182.3 s]
/proc/loadavg: 8.05 8.07 7.94 9/184 17437
/proc/meminfo: memFree=29333644/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=602548 CPUtime=4723.46 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 639344 0 0 0 472129 217 0 0 25 0 4 0 519186422 617009152 109558 33554432000 4194304 4627427 140735157070320 18446744073709551615 4308291 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 150637 109558 389 106 0 145608 0
[pid=17392/tid=17393] ppid=17390 vsize=602548 CPUtime=1182.32 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 167615 0 0 0 118178 54 0 0 25 0 4 0 519186422 617009152 109558 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=602548 CPUtime=1176.51 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 172070 0 0 0 117595 56 0 0 25 0 4 0 519186422 617009152 109558 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=602548 CPUtime=1182.32 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 157183 0 0 0 118177 55 0 0 25 0 4 0 519186422 617009152 109558 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.46
Current children cumulated vsize (KiB) 602548



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.5 s]
/proc/loadavg: 8.03 8.06 7.94 9/184 17437
/proc/meminfo: memFree=29303124/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=602596 CPUtime=4800.19 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 645006 0 0 0 479799 220 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 150649 111917 389 106 0 145620 0
[pid=17392/tid=17393] ppid=17390 vsize=602596 CPUtime=1201.53 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 168918 0 0 0 120098 55 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=602596 CPUtime=1195.62 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 173124 0 0 0 119505 57 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=602596 CPUtime=1201.53 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 158065 0 0 0 120097 56 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 602596

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

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

[startup+1201.5 s]
/proc/loadavg: 8.03 8.06 7.94 9/184 17437
/proc/meminfo: memFree=29303124/32951124 swapFree=67111364/67111528
[pid=17392] ppid=17390 vsize=602596 CPUtime=4800.19 cores=0,2,4,6
/proc/17392/stat : 17392 (strangenight2-m) R 17390 17392 16634 0 -1 4202496 645006 0 0 0 479799 220 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/17392/statm: 150649 111917 389 106 0 145620 0
[pid=17392/tid=17393] ppid=17390 vsize=602596 CPUtime=1201.53 cores=0,2,4,6
/proc/17392/task/17393/stat : 17393 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 168918 0 0 0 120098 55 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17392/tid=17394] ppid=17390 vsize=602596 CPUtime=1195.62 cores=0,2,4,6
/proc/17392/task/17394/stat : 17394 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 173124 0 0 0 119505 57 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=17392/tid=17395] ppid=17390 vsize=602596 CPUtime=1201.53 cores=0,2,4,6
/proc/17392/task/17395/stat : 17395 (strangenight2-m) R 17390 17392 16634 0 -1 4202560 158065 0 0 0 120097 56 0 0 25 0 4 0 519186422 617058304 111917 33554432000 4194304 4627427 140735157070320 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.19
Current children cumulated vsize (KiB) 602596

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.53
CPU time (s): 4800.24
CPU user time (s): 4798.01
CPU system time (s): 2.22266
CPU usage (%): 399.51
Max. virtual memory (cumulated for all children) (KiB): 706784

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.01
system time used= 2.22266
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 645006
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= 183
involuntary context switches= 18202

runsolver used 1.76273 second user time and 4.16237 second system time

The end

Launcher Data 

Begin job on node106 at 2011-04-29 13:17:40
IDJOB=3174002
IDBENCH=82820
IDSOLVER=1586
FILE ID=node106/3174002-1304075860
RUNJOBID= node106-1304075860-17378
PBS_JOBID= 13170478
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v450-c1917-S1915396418-078.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174002-1304075860/watcher-3174002-1304075860 -o /tmp/evaluation-result-3174002-1304075860/solver-3174002-1304075860 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174002-1304075860.cnf

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

MD5SUM BENCH= 6f66bb3f92a8c8e75d9af481af0c129f
RANDOM SEED=103670546

node106.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.830
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.66
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.20
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.830
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.75
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.830
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.830
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.830
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.830
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.830
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:      30374408 kB
Buffers:        240232 kB
Cached:        2061824 kB
SwapCached:         88 kB
Active:         774636 kB
Inactive:      1590960 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30374408 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5836 kB
Writeback:           0 kB
AnonPages:       63424 kB
Mapped:          14512 kB
Slab:           146016 kB
PageTables:       4616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188944 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= 72148 MiB
End job on node106 at 2011-04-29 13:37:44