Trace number 3174212

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-v450-c1917-S16302531-099.UNKNOWN.cnf
MD5SUM262b86a16f9a75cfd5f5af81be0602bc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark155.885
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-3174212-1304115271.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.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
2.38/0.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
2.38/0.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.38/0.68	c lits-rem:         0  cl-subs:        0  v-elim:      6  v-fix:    0  time:  0.00 s
2.38/0.68	c Finding binary XORs  T:     0.00 s  found:       0
2.38/0.68	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.38/0.68	c calculated reachability. Time: 0.00
2.38/0.68	c Calc default polars -  time:   0.00 s pos:     205 undec:      54 neg:     191
2.38/0.68	c =========================================================================================
2.38/0.68	c types(t): F = full restart, N = normal restart
2.38/0.68	c types(t): S = simplification begin/end, E = solution found
2.38/0.68	c restart types(rt): st = static, dy = dynamic
2.38/0.68	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.38/0.68	c  B st     0         0       444      1912         0         0      5769         0   no data   no data
2.38/0.68	c Decided on static restart strategy
2.38/0.68	c  N st     8      4919       444      1912         0      4841      5769    106688   no data   no data
3.18/0.80	c  N st    10     11304       444      1912         0      4475      5769     70318   no data   no data
3.18/0.80	c  N st    11     17050       444      1912         0     10134      5769    201356   no data   no data
4.00/1.10	c  F st    12     25000       444      1912         0     12381      5769    236785   no data   no data
4.00/1.10	c  N st    12     25000       444      1912         0     12381      5769    236785   no data   no data
5.18/1.30	c Decided on static restart strategy
5.18/1.30	c  N st    18     30000       444      1912         0     10670      5769    186741   no data   no data
5.18/1.30	c  S st    18     30000       444      1912         0     10670      5769    186741   no data   no data
5.57/1.40	c  S st    18     30506       444      1912         0     11173      5769    197333   no data   no data
5.57/1.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.40	c blocked clauses removed:       14 vars:      2 tried:         444 T: 0.00 s
5.57/1.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
5.57/1.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.57/1.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       249  cl-subs:      500  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.40	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30506       442      1898         0     10673      5727    185357   no data   no data
6.77/1.78	c  N st    20     37616       442      1898         0      9908      5727    150539   no data   no data
8.39/2.18	c  N st    21     44015       442      1898         0     16116      5727    272802   no data   no data
9.17/2.31	c  S st    22     45760       442      1898         0      9117      5727    119640   no data   no data
9.17/2.34	c  S st    22     46262       442      1898         0      9618      5727    129968   no data   no data
9.17/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.17/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.17/2.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.17/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.17/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
9.17/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.17/2.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.17/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.17/2.36	c lits-rem:        33  cl-subs:      168  v-elim:      0  v-fix:    0  time:  0.01 s
9.17/2.36	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
9.17/2.36	c vivif2 --  cl tried     9450 cl shrink        0 lits rem          0 time: 0.00
9.17/2.37	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
9.17/2.37	c calculated reachability. Time: 0.00
9.17/2.37	c  N st    22     46262       442      1898         0      9450      5727    126938   no data   no data
12.78/3.23	c  N st    23     60660       442      1898         0     13736      5727    199580   no data   no data
15.17/3.85	c  N st    24     69393       442      1898         0     11551      5727    148966   no data   no data
15.17/3.85	c  S st    24     69393       442      1898         0     11551      5727    148966   no data   no data
15.17/3.89	c  S st    24     69893       442      1898         0     12049      5727    159223   no data   no data
15.17/3.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.17/3.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.17/3.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.17/3.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.17/3.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.17/3.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
15.17/3.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.17/3.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.57/3.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.57/3.92	c lits-rem:        43  cl-subs:      177  v-elim:      0  v-fix:    0  time:  0.02 s
15.57/3.92	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
15.57/3.92	c vivif2 --  cl tried    11872 cl shrink        0 lits rem          0 time: 0.00
15.57/3.92	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
15.57/3.92	c calculated reachability. Time: 0.00
15.57/3.92	c  N st    24     69893       442      1898         0     11872      5727    155872   no data   no data
20.35/5.10	c  F st    25     87502       442      1898         0     17302      5727    258582   no data   no data
20.35/5.10	c  N st    25     87502       442      1898         0     17302      5727    258582   no data   no data
21.98/5.51	c Decided on static restart strategy
22.76/5.71	c  N st    32     95544       442      1898         0     25155      5727    416854   no data   no data
25.15/6.37	c  N st    34    104839       442      1898         0     21560      5727    345609   no data   no data
25.15/6.37	c  S st    34    104839       442      1898         0     21560      5727    345609   no data   no data
25.55/6.42	c  S st    34    105348       442      1898         0     22067      5727    356593   no data   no data
25.55/6.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.55/6.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.55/6.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
25.55/6.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.55/6.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.55/6.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.37/6.63	c lits-rem:       164  cl-subs:     1100  v-elim:      0  v-fix:    0  time:  0.18 s
26.37/6.63	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
26.37/6.63	c vivif2 --  cl tried    20967 cl shrink        0 lits rem          0 time: 0.00
26.37/6.64	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.01
26.37/6.64	c calculated reachability. Time: 0.00
26.37/6.64	c  N st    34    105348       442      1898         0     20967      5727    331928   no data   no data
29.55/7.44	c  N st    35    114946       442      1898         0     16648      5727    210520   no data   no data
34.34/8.61	c  N st    36    129346       442      1898         0     16095      5727    189691   no data   no data
41.53/10.41	c  N st    37    150941       442      1898         0     21512      5727    289213   no data   no data
43.95/11.06	c  S st    38    158022       442      1898         0     28365      5727    422165   no data   no data
44.33/11.13	c  S st    38    158526       442      1898         0     28868      5727    433248   no data   no data
44.33/11.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.33/11.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
44.33/11.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.33/11.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.33/11.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.33/11.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
44.33/11.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.33/11.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.33/11.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.32/11.62	c lits-rem:       169  cl-subs:     2586  v-elim:      0  v-fix:    0  time:  0.46 s
46.32/11.62	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
46.32/11.63	c vivif2 --  cl tried    26282 cl shrink        0 lits rem          0 time: 0.00
46.32/11.64	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
46.32/11.64	c calculated reachability. Time: 0.00
46.32/11.64	c  N st    38    158526       442      1898         0     26282      5727    387179   no data   no data
65.52/16.49	c  N st    39    207116       442      1898         0     21132      5727    258498   no data   no data
77.49/19.49	c  N st    40    237790       442      1898         0     31499      5727    467125   no data   no data
77.49/19.49	c  S st    40    237790       442      1898         0     31499      5727    467125   no data   no data
77.89/19.57	c  S st    40    238292       442      1898         0     32000      5727    477364   no data   no data
77.89/19.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
77.89/19.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
77.89/19.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
77.89/19.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
77.89/19.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.89/19.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
77.89/19.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
77.89/19.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
78.29/19.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.88/20.04	c lits-rem:       226  cl-subs:     1865  v-elim:      0  v-fix:    0  time:  0.44 s
79.88/20.04	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
79.88/20.05	c vivif2 --  cl tried    30135 cl shrink        0 lits rem          0 time: 0.01
79.88/20.07	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
79.88/20.07	c calculated reachability. Time: 0.00
79.88/20.07	c  N st    40    238292       442      1898         0     30135      5727    439242   no data   no data
110.23/27.60	c  F st    41    306250       442      1898         0     32001      5727    436076   no data   no data
110.23/27.60	c  N st    41    306250       442      1898         0     32001      5727    436076   no data   no data
112.64/28.22	c Decided on static restart strategy
123.05/30.87	c  N st    51    334560       442      1898         0     36304      5727    511599   no data   no data
134.61/33.78	c  N st    53    357439       442      1898         0     34242      5727    449272   no data   no data
134.61/33.78	c  S st    53    357439       442      1898         0     34242      5727    449272   no data   no data
135.01/33.87	c  S st    53    357943       442      1898         0     34745      5727    459925   no data   no data
135.01/33.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
135.01/33.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
135.01/33.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
135.01/33.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
135.01/33.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
135.01/33.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
135.01/33.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
135.01/33.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
135.41/33.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.23/34.19	c lits-rem:       103  cl-subs:     1686  v-elim:      0  v-fix:    0  time:  0.29 s
136.23/34.19	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
136.61/34.20	c vivif2 --  cl tried    33059 cl shrink        0 lits rem          0 time: 0.01
136.61/34.22	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
136.61/34.22	c calculated reachability. Time: 0.00
136.61/34.22	c  N st    53    357943       442      1898         0     33059      5727    428645   no data   no data
151.39/37.96	c  N st    54    390338       442      1898         0     39329      5727    579586   no data   no data
179.35/44.96	c  N st    55    438928       442      1898         0     33027      5727    389309   no data   no data
220.49/55.21	c  N st    56    511810       442      1898         0     46615      5727    687787   no data   no data
234.87/58.85	c  N st    57    536915       442      1898         0     40856      5727    527992   no data   no data
234.87/58.85	c  S st    57    536915       442      1898         0     40856      5727    527992   no data   no data
235.27/58.96	c  S st    57    537423       442      1898         0     41363      5727    538469   no data   no data
235.27/58.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
235.27/58.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
235.27/58.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
235.27/58.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
235.27/58.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
235.27/58.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
235.27/58.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
235.27/58.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
235.68/59.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
236.89/59.36	c lits-rem:       318  cl-subs:     1457  v-elim:      0  v-fix:    0  time:  0.36 s
236.89/59.36	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
236.89/59.37	c vivif2 --  cl tried    39906 cl shrink        0 lits rem          0 time: 0.01
236.89/59.39	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.02
236.89/59.39	c calculated reachability. Time: 0.00
236.89/59.39	c  N st    57    537423       442      1898         0     39906      5727    508794   no data   no data
329.57/82.55	c  N st    58    701409       442      1898         0     68865      5727   1062200   no data   no data
394.28/98.78	c  N st    59    806134       442      1898         0     62815      5727    928121   no data   no data
394.28/98.78	c  S st    59    806134       442      1898         0     62815      5727    928121   no data   no data
395.09/98.97	c  S st    59    806637       442      1898         0     63317      5727    939477   no data   no data
395.09/98.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
395.09/99.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
395.49/99.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
395.49/99.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
395.49/99.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
395.49/99.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
395.49/99.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
395.49/99.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
395.49/99.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
404.66/101.33	c lits-rem:       543  cl-subs:     4434  v-elim:      0  v-fix:    0  time:  2.28 s
404.66/101.33	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
404.66/101.35	c vivif2 --  cl tried    58883 cl shrink        0 lits rem          0 time: 0.01
404.66/101.39	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.05
404.66/101.40	c calculated reachability. Time: 0.00
404.66/101.40	c  N st    59    806637       442      1898         0     58883      5727    849739   no data   no data
609.59/152.67	c  F st    60   1071876       442      1898         0     74286      5727   1056939   no data   no data
609.59/152.67	c  N st    60   1071876       442      1898         0     74286      5727   1056939   no data   no data
615.58/154.10	c Decided on static restart strategy
634.75/158.95	c  N st    70   1100184       442      1898         0     58321      5727    699176   no data   no data
666.70/166.98	c  N st    72   1136176       442      1898         0     48784      5727    502858   no data   no data
693.90/173.72	c  N st    73   1168568       442      1898         0     80105      5727   1176930   no data   no data
730.62/182.95	c  N st    74   1209955       442      1898         0     74641      5727   1056655   no data   no data
730.62/182.95	c  S st    74   1209955       442      1898         0     74641      5727   1056655   no data   no data
731.42/183.17	c  S st    74   1210458       442      1898         0     75139      5727   1068240   no data   no data
731.42/183.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
731.82/183.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
731.82/183.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
731.82/183.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
731.82/183.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
731.82/183.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
731.82/183.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
731.82/183.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
731.82/183.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
749.00/187.54	c lits-rem:       505  cl-subs:     5404  v-elim:      0  v-fix:    0  time:  4.28 s
749.00/187.54	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
749.00/187.55	c vivif2 --  cl tried    69735 cl shrink        0 lits rem          0 time: 0.01
749.40/187.63	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.08
749.40/187.64	c calculated reachability. Time: 0.00
749.40/187.64	c  N st    74   1210458       442      1898         0     69735      5727    958817   no data   no data
823.30/206.16	c  N st    75   1283341       442      1898         0     93944      5727   1439055   no data   no data
927.56/232.29	c  N st    76   1392665       442      1898         0     54457      5727    546433   no data   no data
1066.17/266.98	c  N st    77   1556649       442      1898         0     59352      5727    613456   no data   no data
1205.98/301.97	c  N st    78   1710461       442      1898         0    101235      5727   1511946   no data   no data
1205.98/301.97	c  S st    78   1710461       442      1898         0    101235      5727   1511946   no data   no data
1207.58/302.31	c  S st    78   1710963       442      1898         0    101735      5727   1522711   no data   no data
1207.58/302.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1207.58/302.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1207.58/302.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1207.58/302.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1207.58/302.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1207.58/302.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
1207.58/302.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1207.58/302.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1208.00/302.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1234.76/309.11	c lits-rem:       881  cl-subs:     6851  v-elim:      0  v-fix:    0  time:  6.67 s
1234.76/309.11	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
1234.76/309.13	c vivif2 --  cl tried    94884 cl shrink        0 lits rem          0 time: 0.02
1235.14/309.22	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.09
1235.14/309.22	c calculated reachability. Time: 0.00
1235.14/309.22	c  N st    78   1710963       442      1898         0     94884      5727   1395563   no data   no data
1601.84/401.03	c  N st    79   2079929       442      1898         0    105908      5727   1465515   no data   no data
1744.47/436.79	c  N st    80   2210963       442      1898         0    109873      5727   1572013   no data   no data
1744.47/436.79	c  S st    80   2210963       442      1898         0    109873      5727   1572013   no data   no data
1746.05/437.16	c  S st    80   2211463       442      1898         0    110372      5727   1583241   no data   no data
1746.05/437.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1746.45/437.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1746.45/437.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1746.45/437.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1746.45/437.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1746.45/437.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
1746.45/437.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1746.45/437.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1746.45/437.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1781.60/446.07	c lits-rem:       664  cl-subs:    11915  v-elim:      0  v-fix:    0  time:  8.77 s
1781.60/446.07	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
1781.60/446.09	c vivif2 --  cl tried    98457 cl shrink        0 lits rem          0 time: 0.02
1782.00/446.19	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.10
1782.00/446.19	c calculated reachability. Time: 0.00
1782.00/446.19	c  N st    80   2211463       442      1898         0     98457      5727   1367767   no data   no data
2354.84/589.57	c  N st    81   2711464       442      1898         0    121919      5727   1672934   no data   no data
2354.84/589.57	c  S st    81   2711464       442      1898         0    121919      5727   1672934   no data   no data
2356.82/590.00	c  S st    81   2711970       442      1898         0    122423      5727   1683658   no data   no data
2356.82/590.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2356.82/590.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2356.82/590.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2356.82/590.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2356.82/590.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2356.82/590.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
2356.82/590.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2356.82/590.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2357.22/590.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2402.76/601.60	c lits-rem:      1388  cl-subs:    14588  v-elim:      0  v-fix:    0  time: 11.45 s
2402.76/601.60	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
2403.18/601.62	c vivif2 --  cl tried   107835 cl shrink        0 lits rem          0 time: 0.02
2403.58/601.73	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.11
2403.58/601.74	c calculated reachability. Time: 0.00
2403.58/601.74	c  N st    81   2711970       442      1898         0    107835      5727   1439840   no data   no data
3035.50/759.96	c  N st    82   3211970       442      1898         0     84310      5727    861574   no data   no data
3035.50/759.96	c  S st    82   3211970       442      1898         0     84310      5727    861574   no data   no data
3037.10/760.39	c  S st    82   3212479       442      1898         0     84814      5727    873335   no data   no data
3037.50/760.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3037.50/760.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.06
3037.50/760.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3037.50/760.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3037.50/760.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3037.50/760.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
3037.50/760.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3037.90/760.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3037.90/760.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3042.29/761.61	c lits-rem:        60  cl-subs:     2180  v-elim:      0  v-fix:    0  time:  1.07 s
3042.29/761.61	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
3042.29/761.62	c vivif2 --  cl tried    82634 cl shrink        0 lits rem          0 time: 0.02
3042.69/761.74	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.11
3042.69/761.74	c calculated reachability. Time: 0.00
3042.69/761.74	c  N st    82   3212479       442      1898         0     82634      5727    834276   no data   no data
3742.54/936.93	c  N st    83   3712479       442      1898         0     93130      5727    969464   no data   no data
3742.54/936.93	c  S st    83   3712479       442      1898         0     93130      5727    969464   no data   no data
3744.13/937.31	c  S st    83   3712983       442      1898         0     93633      5727    980808   no data   no data
3744.13/937.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3744.13/937.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.05
3744.13/937.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3744.13/937.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3744.13/937.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3744.13/937.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
3744.13/937.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3744.13/937.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3744.53/937.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3749.32/938.63	c lits-rem:       110  cl-subs:     2972  v-elim:      0  v-fix:    0  time:  1.20 s
3749.32/938.63	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
3749.32/938.65	c vivif2 --  cl tried    90661 cl shrink        0 lits rem          0 time: 0.02
3749.73/938.75	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.11
3749.73/938.76	c calculated reachability. Time: 0.00
3749.73/938.76	c  N st    83   3712983       442      1898         0     90661      5727    930586   no data   no data
3808.45/953.46	c  F st    84   3751564       442      1898         0    127756      5727   1732016   no data   no data
3808.45/953.46	c  N st    84   3751564       442      1898         0    127756      5727   1732016   no data   no data
3820.83/956.53	c Decided on static restart strategy
3856.79/965.50	c  N st    94   3779868       442      1898         0    155122      5727   2308133   no data   no data
3902.72/977.00	c  N st    96   3815861       442      1898         0    108055      5727   1300360   no data   no data
3948.66/988.51	c  N st    97   3848254       442      1898         0    139278      5727   1940257   no data   no data
4013.37/1004.76	c  N st    98   3896843       442      1898         0    103336      5727   1204401   no data   no data
4125.64/1032.85	c  N st    99   3969725       442      1898         0     89794      5727    864088   no data   no data
4260.23/1066.57	c  N st   100   4079051       442      1898         0    110831      5727   1366074   no data   no data
4454.77/1115.30	c  N st   101   4212983       442      1898         0    154635      5727   2323279   no data   no data
4454.77/1115.30	c  S st   101   4212983       442      1898         0    154635      5727   2323279   no data   no data
4457.17/1115.88	c  S st   101   4213486       442      1898         0    155134      5727   2333996   no data   no data
4457.17/1115.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4457.57/1115.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4457.57/1115.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4457.57/1115.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4457.57/1115.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4457.57/1115.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    442 time:  0.00 s
4457.57/1115.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4457.97/1116.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4457.97/1116.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4523.48/1132.45	c lits-rem:       538  cl-subs:    10215  v-elim:      0  v-fix:    0  time: 16.37 s
4523.48/1132.46	c vivif2 --  cl tried     1898 cl shrink        0 lits rem          0 time: 0.00
4523.48/1132.49	c vivif2 --  cl tried   144919 cl shrink        0 lits rem          0 time: 0.03
4524.28/1132.65	c asymm  cl-useful: 0/1898/1898 lits-rem:0 time: 0.16
4524.28/1132.65	c calculated reachability. Time: 0.00
4524.28/1132.65	c  N st   101   4213486       442      1898         0    144919      5727   2142545   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174212-1304115271/watcher-3174212-1304115271 -o /tmp/evaluation-result-3174212-1304115271/solver-3174212-1304115271 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174212-1304115271.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: 6.94 7.82 7.00 1/172 17423
/proc/meminfo: memFree=23080308/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 523127543 52441088 347 33554432000 4194304 4627427 140734729783232 18446744073709551615 47041167669170 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 12803 347 299 106 0 7774 0
[pid=17423/tid=17424] ppid=17421 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523127543 52441088 347 33554432000 4194304 4627427 140734729783232 18446744073709551615 47041167669170 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523127543 52441088 347 33554432000 4194304 4627427 140734729783232 18446744073709551615 47041167669174 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523127543 52441088 347 33554432000 4194304 4627427 140734729783232 18446744073709551615 244447001585 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0564679 s]
/proc/loadavg: 6.94 7.82 7.00 1/172 17423
/proc/meminfo: memFree=23080308/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=281868 CPUtime=0.2 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 1374 0 0 0 20 0 0 0 18 0 4 0 523127543 288632832 1276 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 70467 1276 384 106 0 65438 0
[pid=17423/tid=17424] ppid=17421 vsize=281868 CPUtime=0.05 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 250 0 0 0 5 0 0 0 18 0 4 0 523127543 288632832 1277 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=281868 CPUtime=0.05 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 266 0 0 0 5 0 0 0 18 0 4 0 523127543 288632832 1277 33554432000 4194304 4627427 140734729783232 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=281868 CPUtime=0.04 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 195 0 0 0 4 0 0 0 25 0 4 0 523127543 288632832 1277 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 281868

[startup+0.156449 s]
/proc/loadavg: 6.94 7.82 7.00 1/172 17423
/proc/meminfo: memFree=23080308/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=291140 CPUtime=0.6 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 1966 0 0 0 60 0 0 0 18 0 4 0 523127543 298127360 1613 33554432000 4194304 4627427 140734729783232 18446744073709551615 4333617 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 72785 1617 385 106 0 67756 0
[pid=17423/tid=17424] ppid=17421 vsize=291140 CPUtime=0.15 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 389 0 0 0 15 0 0 0 18 0 4 0 523127543 298127360 1621 33554432000 4194304 4627427 140734729783232 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=291140 CPUtime=0.15 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 441 0 0 0 15 0 0 0 18 0 4 0 523127543 298127360 1625 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=291140 CPUtime=0.14 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 366 0 0 0 14 0 0 0 25 0 4 0 523127543 298127360 1630 33554432000 4194304 4627427 140734729783232 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 291140

[startup+0.300423 s]
/proc/loadavg: 6.94 7.82 7.00 1/172 17423
/proc/meminfo: memFree=23080308/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=283348 CPUtime=1.18 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 2591 0 0 0 118 0 0 0 18 0 4 0 523127543 290148352 1978 33554432000 4194304 4627427 140734729783232 18446744073709551615 4310580 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 70837 1978 385 106 0 65808 0
[pid=17423/tid=17424] ppid=17421 vsize=283348 CPUtime=0.29 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 541 0 0 0 29 0 0 0 18 0 4 0 523127543 290148352 1978 33554432000 4194304 4627427 140734729783232 18446744073709551615 4327592 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=283348 CPUtime=0.29 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 581 0 0 0 29 0 0 0 18 0 4 0 523127543 290148352 1978 33554432000 4194304 4627427 140734729783232 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=283348 CPUtime=0.29 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 491 0 0 0 29 0 0 0 25 0 4 0 523127543 290148352 1978 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283348

[startup+0.700349 s]
/proc/loadavg: 6.94 7.82 7.00 1/172 17423
/proc/meminfo: memFree=23080308/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=284788 CPUtime=2.77 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 4535 0 0 0 277 0 0 0 18 0 4 0 523127543 291622912 2159 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 71197 2159 385 106 0 66168 0
[pid=17423/tid=17424] ppid=17421 vsize=284788 CPUtime=0.69 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 1013 0 0 0 69 0 0 0 18 0 4 0 523127543 291622912 2159 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=284788 CPUtime=0.69 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 1073 0 0 0 69 0 0 0 18 0 4 0 523127543 291622912 2159 33554432000 4194304 4627427 140734729783232 18446744073709551615 4333195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=284788 CPUtime=0.69 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 964 0 0 0 69 0 0 0 25 0 4 0 523127543 291622912 2159 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284788

[startup+1.5002 s]
/proc/loadavg: 7.18 7.85 7.02 9/184 17438
/proc/meminfo: memFree=23050284/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=285392 CPUtime=5.97 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 8132 0 0 0 596 1 0 0 20 0 4 0 523127543 292241408 4327 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 71348 4327 389 106 0 66319 0
[pid=17423/tid=17424] ppid=17421 vsize=285392 CPUtime=1.49 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 1611 0 0 0 149 0 0 0 19 0 4 0 523127543 292241408 4327 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=285392 CPUtime=1.49 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 1666 0 0 0 149 0 0 0 19 0 4 0 523127543 292241408 4327 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=285392 CPUtime=1.48 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 1520 0 0 0 148 0 0 0 25 0 4 0 523127543 292241408 4327 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285392

[startup+3.1009 s]
/proc/loadavg: 7.18 7.85 7.02 9/184 17438
/proc/meminfo: memFree=23021020/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=292788 CPUtime=12.37 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 16745 0 0 0 1235 2 0 0 25 0 4 0 523127543 299814912 8433 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 73197 8433 389 106 0 68168 0
[pid=17423/tid=17424] ppid=17421 vsize=292788 CPUtime=3.09 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 3705 0 0 0 309 0 0 0 25 0 4 0 523127543 299814912 8433 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=292788 CPUtime=3.09 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 4321 0 0 0 309 0 0 0 25 0 4 0 523127543 299814912 8433 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=292788 CPUtime=3.07 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 4135 0 0 0 307 0 0 0 25 0 4 0 523127543 299814912 8433 33554432000 4194304 4627427 140734729783232 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 292788

[startup+6.3003 s]
/proc/loadavg: 7.18 7.85 7.02 9/184 17438
/proc/meminfo: memFree=22985700/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=293604 CPUtime=25.15 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 25995 0 0 0 2511 4 0 0 25 0 4 0 523127543 300650496 11033 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 73401 11033 389 106 0 68372 0
[pid=17423/tid=17424] ppid=17421 vsize=293604 CPUtime=6.29 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 6569 0 0 0 628 1 0 0 25 0 4 0 523127543 300650496 11033 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=293604 CPUtime=6.28 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 7205 0 0 0 628 0 0 0 25 0 4 0 523127543 300650496 11033 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=293604 CPUtime=6.26 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 5695 0 0 0 626 0 0 0 25 0 4 0 523127543 300650496 11033 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293604

[startup+12.7011 s]
/proc/loadavg: 7.38 7.87 7.03 9/184 17439
/proc/meminfo: memFree=22946680/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=300964 CPUtime=50.73 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 41716 0 0 0 5066 7 0 0 25 0 4 0 523127543 308187136 16182 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 75241 16182 389 106 0 70212 0
[pid=17423/tid=17424] ppid=17421 vsize=300964 CPUtime=12.69 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 10390 0 0 0 1267 2 0 0 25 0 4 0 523127543 308187136 16182 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=300964 CPUtime=12.69 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 10043 0 0 0 1268 1 0 0 25 0 4 0 523127543 308187136 16182 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=300964 CPUtime=12.63 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 9920 0 0 0 1262 1 0 0 25 0 4 0 523127543 308187136 16182 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 300964

[startup+25.5007 s]
/proc/loadavg: 7.48 7.88 7.04 9/184 17439
/proc/meminfo: memFree=22905480/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=302020 CPUtime=101.85 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 64424 0 0 0 10172 13 0 0 25 0 4 0 523127543 309268480 21334 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 75505 21334 389 106 0 70476 0
[pid=17423/tid=17424] ppid=17421 vsize=302020 CPUtime=25.49 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 17162 0 0 0 2546 3 0 0 25 0 4 0 523127543 309268480 21334 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=302020 CPUtime=25.48 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 15963 0 0 0 2546 2 0 0 25 0 4 0 523127543 309268480 21334 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=302020 CPUtime=25.35 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 14478 0 0 0 2533 2 0 0 25 0 4 0 523127543 309268480 21334 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 302020

[startup+51.1009 s]
/proc/loadavg: 7.65 7.89 7.07 9/184 17440
/proc/meminfo: memFree=22866448/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=305344 CPUtime=204.12 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 97368 0 0 0 20392 20 0 0 25 0 4 0 523127543 312672256 26203 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 76336 26203 389 106 0 71307 0
[pid=17423/tid=17424] ppid=17421 vsize=305344 CPUtime=51.08 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 26555 0 0 0 5103 5 0 0 25 0 4 0 523127543 312672256 26203 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=305344 CPUtime=51.09 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 24463 0 0 0 5105 4 0 0 25 0 4 0 523127543 312672256 26203 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=305344 CPUtime=50.82 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 21530 0 0 0 5078 4 0 0 25 0 4 0 523127543 312672256 26203 33554432000 4194304 4627427 140734729783232 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 305344

[startup+102.306 s]
/proc/loadavg: 7.90 7.92 7.12 9/184 17441
/proc/meminfo: memFree=22801096/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=318684 CPUtime=408.67 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 152022 0 0 0 40832 35 0 0 25 0 4 0 523127543 326332416 37863 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 79671 37863 389 106 0 74642 0
[pid=17423/tid=17424] ppid=17421 vsize=318684 CPUtime=102.29 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 38271 0 0 0 10221 8 0 0 25 0 4 0 523127543 326332416 37863 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=318684 CPUtime=102.3 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 36562 0 0 0 10222 8 0 0 25 0 4 0 523127543 326332416 37863 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=318684 CPUtime=101.76 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 35709 0 0 0 10168 8 0 0 25 0 4 0 523127543 326332416 37863 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.67
Current children cumulated vsize (KiB) 318684

[startup+162.301 s]

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

[pid=17423] ppid=17421 vsize=553716 CPUtime=2805.41 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 473888 0 0 0 280389 152 0 0 25 0 4 0 523127543 567005184 76744 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309192 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 138429 76744 389 106 0 133400 0
[pid=17423/tid=17424] ppid=17421 vsize=553716 CPUtime=702.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 114902 0 0 0 70195 36 0 0 25 0 4 0 523127543 567005184 76744 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=553716 CPUtime=702.31 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 122617 0 0 0 70191 40 0 0 25 0 4 0 523127543 567005184 76744 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=553716 CPUtime=698.46 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 106373 0 0 0 69814 32 0 0 25 0 4 0 523127543 567005184 76744 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 553716

[startup+762.307 s]
/proc/loadavg: 8.01 8.04 7.59 9/184 17459
/proc/meminfo: memFree=22420756/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=562060 CPUtime=3045.11 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 499976 0 0 0 304349 162 0 0 25 0 4 0 523127543 575549440 83609 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 140515 83609 389 106 0 135486 0
[pid=17423/tid=17424] ppid=17421 vsize=562060 CPUtime=762.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 119872 0 0 0 76194 37 0 0 25 0 4 0 523127543 575549440 83609 33554432000 4194304 4627427 140734729783232 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=562060 CPUtime=762.31 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 128536 0 0 0 76189 42 0 0 25 0 4 0 523127543 575549440 83609 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=562060 CPUtime=758.13 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 114520 0 0 0 75779 34 0 0 25 0 4 0 523127543 575549440 83609 33554432000 4194304 4627427 140734729783232 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.11
Current children cumulated vsize (KiB) 562060

[startup+822.301 s]
/proc/loadavg: 8.00 8.03 7.61 9/184 17460
/proc/meminfo: memFree=22416528/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=562380 CPUtime=3284.77 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 521864 0 0 0 328306 171 0 0 25 0 4 0 523127543 575877120 85038 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 140595 85038 389 106 0 135566 0
[pid=17423/tid=17424] ppid=17421 vsize=562380 CPUtime=822.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 122107 0 0 0 82192 39 0 0 25 0 4 0 523127543 575877120 85038 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=562380 CPUtime=822.3 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 136265 0 0 0 82186 44 0 0 25 0 4 0 523127543 575877120 85038 33554432000 4194304 4627427 140734729783232 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=562380 CPUtime=817.8 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 120603 0 0 0 81743 37 0 0 25 0 4 0 523127543 575877120 85038 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 562380

[startup+882.301 s]
/proc/loadavg: 8.04 8.03 7.64 9/184 17462
/proc/meminfo: memFree=22388864/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=562700 CPUtime=3524.44 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 544890 0 0 0 352264 180 0 0 25 0 4 0 523127543 576204800 83439 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 140675 83439 389 106 0 135646 0
[pid=17423/tid=17424] ppid=17421 vsize=562700 CPUtime=882.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 126669 0 0 0 88191 40 0 0 25 0 4 0 523127543 576204800 83439 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=562700 CPUtime=882.31 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 142467 0 0 0 88184 47 0 0 25 0 4 0 523127543 576204800 83439 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=562700 CPUtime=877.47 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 126688 0 0 0 87708 39 0 0 25 0 4 0 523127543 576204800 83439 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 562700

[startup+942.301 s]
/proc/loadavg: 8.01 8.03 7.66 9/184 17464
/proc/meminfo: memFree=22366532/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=569840 CPUtime=3764.11 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 569676 0 0 0 376222 189 0 0 25 0 4 0 523127543 583516160 89701 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 142460 89701 389 106 0 137431 0
[pid=17423/tid=17424] ppid=17421 vsize=569840 CPUtime=942.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 131603 0 0 0 94189 42 0 0 25 0 4 0 523127543 583516160 89701 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=569840 CPUtime=942.31 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 148713 0 0 0 94181 50 0 0 25 0 4 0 523127543 583516160 89701 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=569840 CPUtime=937.13 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 133957 0 0 0 93672 41 0 0 25 0 4 0 523127543 583516160 89701 33554432000 4194304 4627427 140734729783232 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 569840

[startup+1002.3 s]
/proc/loadavg: 8.04 8.03 7.68 9/184 17465
/proc/meminfo: memFree=22414252/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=570756 CPUtime=4003.78 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 587908 0 0 0 400180 198 0 0 25 0 4 0 523127543 584454144 87369 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 142689 87369 389 106 0 137660 0
[pid=17423/tid=17424] ppid=17421 vsize=570756 CPUtime=1002.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 133349 0 0 0 100188 43 0 0 25 0 4 0 523127543 584454144 87369 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309138 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=570756 CPUtime=1002.31 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 153501 0 0 0 100179 52 0 0 25 0 4 0 523127543 584454144 87369 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=570756 CPUtime=996.81 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 139734 0 0 0 99637 44 0 0 25 0 4 0 523127543 584454144 87369 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.78
Current children cumulated vsize (KiB) 570756

[startup+1062.3 s]
/proc/loadavg: 8.12 8.05 7.71 9/184 17467
/proc/meminfo: memFree=22340960/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=571056 CPUtime=4243.46 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 612239 0 0 0 424137 209 0 0 25 0 4 0 523127543 584761344 94697 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 142764 94697 389 106 0 137735 0
[pid=17423/tid=17424] ppid=17421 vsize=571056 CPUtime=1062.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 138768 0 0 0 106185 46 0 0 25 0 4 0 523127543 584761344 94697 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=571056 CPUtime=1062.32 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 160816 0 0 0 106177 55 0 0 25 0 4 0 523127543 584761344 94697 33554432000 4194304 4627427 140734729783232 18446744073709551615 4329723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=571056 CPUtime=1056.48 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 144836 0 0 0 105601 47 0 0 25 0 4 0 523127543 584761344 94697 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 571056

[startup+1122.3 s]
/proc/loadavg: 8.12 8.06 7.73 9/184 17468
/proc/meminfo: memFree=22327548/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=558268 CPUtime=4483.14 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 635302 0 0 0 448094 220 0 0 25 0 4 0 523127543 571666432 99132 33554432000 4194304 4627427 140734729783232 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 139567 99132 389 106 0 134538 0
[pid=17423/tid=17424] ppid=17421 vsize=558268 CPUtime=1122.31 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 141302 0 0 0 112184 47 0 0 25 0 4 0 523127543 571666432 99132 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=558268 CPUtime=1122.32 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 166415 0 0 0 112174 58 0 0 25 0 4 0 523127543 571666432 99132 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=558268 CPUtime=1116.14 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 150482 0 0 0 111564 50 0 0 25 0 4 0 523127543 571666432 99132 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 558268

[startup+1182.3 s]
/proc/loadavg: 8.12 8.06 7.75 9/184 17470
/proc/meminfo: memFree=22303740/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=558404 CPUtime=4722.82 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 653047 0 0 0 472054 228 0 0 25 0 4 0 523127543 571805696 105856 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 139601 105856 389 106 0 134572 0
[pid=17423/tid=17424] ppid=17421 vsize=558404 CPUtime=1182.32 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 145445 0 0 0 118182 50 0 0 25 0 4 0 523127543 571805696 105856 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=558404 CPUtime=1182.31 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 170673 0 0 0 118172 59 0 0 25 0 4 0 523127543 571805696 105856 33554432000 4194304 4627427 140734729783232 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=558404 CPUtime=1175.81 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 156177 0 0 0 117529 52 0 0 25 0 4 0 523127543 571805696 105856 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.82
Current children cumulated vsize (KiB) 558404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.06 7.75 9/184 17470
/proc/meminfo: memFree=22371308/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=558452 CPUtime=4800.32 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 656782 0 0 0 479802 230 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 139613 94742 389 106 0 134584 0
[pid=17423/tid=17424] ppid=17421 vsize=558452 CPUtime=1201.73 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 145748 0 0 0 120123 50 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=558452 CPUtime=1201.72 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 170676 0 0 0 120113 59 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=558452 CPUtime=1195.1 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 157379 0 0 0 119457 53 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 558452

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.09 8.06 7.75 9/184 17470
/proc/meminfo: memFree=22371308/32951124 swapFree=67111524/67111528
[pid=17423] ppid=17421 vsize=558452 CPUtime=4800.32 cores=0,2,4,6
/proc/17423/stat : 17423 (strangenight2-m) R 17421 17423 17393 0 -1 4202496 656782 0 0 0 479802 230 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/17423/statm: 139613 94742 389 106 0 134584 0
[pid=17423/tid=17424] ppid=17421 vsize=558452 CPUtime=1201.73 cores=0,2,4,6
/proc/17423/task/17424/stat : 17424 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 145748 0 0 0 120123 50 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=17423/tid=17425] ppid=17421 vsize=558452 CPUtime=1201.72 cores=0,2,4,6
/proc/17423/task/17425/stat : 17425 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 170676 0 0 0 120113 59 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=17423/tid=17426] ppid=17421 vsize=558452 CPUtime=1195.1 cores=0,2,4,6
/proc/17423/task/17426/stat : 17426 (strangenight2-m) R 17421 17423 17393 0 -1 4202560 157379 0 0 0 119457 53 0 0 25 0 4 0 523127543 571854848 94742 33554432000 4194304 4627427 140734729783232 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.32
Current children cumulated vsize (KiB) 558452

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.05
system time used= 2.32265
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 656782
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= 192
involuntary context switches= 22530

runsolver used 1.93571 second user time and 4.5863 second system time

The end

Launcher Data 

Begin job on node105 at 2011-04-30 00:14:31
IDJOB=3174212
IDBENCH=83030
IDSOLVER=1586
FILE ID=node105/3174212-1304115271
RUNJOBID= node105-1304115271-17411
PBS_JOBID= 13170708
Free space on /tmp= 71940 MiB

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

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

MD5SUM BENCH= 262b86a16f9a75cfd5f5af81be0602bc
RANDOM SEED=1387261992

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23080720 kB
Buffers:       2159048 kB
Cached:        7098804 kB
SwapCached:          4 kB
Active:         571196 kB
Inactive:      8749612 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23080720 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            6000 kB
Writeback:           0 kB
AnonPages:       63552 kB
Mapped:          14044 kB
Slab:           483660 kB
PageTables:       4496 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   186212 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= 71928 MiB
End job on node105 at 2011-04-30 00:34:35