Trace number 3366563

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.2 1202.84

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S1617626827-069.SATISFIABLE.cnf
MD5SUM181d327d4cfd49957ee63dfb74a0e12a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005998
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-3366563-1305408277.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.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.40/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.40/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.40/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.40/0.10	c calculated reachability. Time: 0.00
0.40/0.10	c Calc default polars -  time:   0.00 s pos:     221 undec:      43 neg:     186
0.40/0.10	c =========================================================================================
0.40/0.10	c types(t): F = full restart, N = normal restart
0.40/0.10	c types(t): S = simplification begin/end, E = solution found
0.40/0.10	c restart types(rt): st = static, dy = dynamic
0.40/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.40/0.10	c  B st     0         0       441      1908         0         0      5791         0   no data   no data
0.40/0.10	c Decided on static restart strategy
3.16/0.80	c  N st     8      4913       441      1908         0      4790      5791    101962   no data   no data
3.16/0.80	c  N st    10     11296       441      1908         0      4439      5791     71504   no data   no data
3.16/0.80	c  N st    11     17039       441      1908         0     10023      5791    192033   no data   no data
3.96/1.09	c  F st    12     25000       441      1908         0     12251      5791    237428   no data   no data
3.96/1.09	c  N st    12     25000       441      1908         0     12251      5791    237428   no data   no data
5.16/1.35	c Decided on static restart strategy
5.16/1.35	c  N st    18     30000       441      1908         0     10580      5791    187435   no data   no data
5.16/1.35	c  S st    18     30000       441      1908         0     10580      5791    187435   no data   no data
5.16/1.38	c  S st    18     30501       441      1908         0     11079      5791    197890   no data   no data
5.16/1.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.16/1.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.16/1.38	c blocked clauses removed:        8 vars:      1 tried:         441 T: 0.00 s
5.16/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.16/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
5.16/1.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.16/1.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.16/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.45	c lits-rem:       163  cl-subs:      809  v-elim:      0  v-fix:    0  time:  0.06 s
5.56/1.46	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.01
5.56/1.46	c calculated reachability. Time: 0.00
5.56/1.46	c  N st    18     30501       440      1900         0     10270      5767    180244   no data   no data
7.16/1.86	c  N st    20     37612       440      1900         0      9527      5767    150620   no data   no data
8.77/2.23	c  N st    21     44012       440      1900         0     15751      5767    288304   no data   no data
9.19/2.33	c  S st    22     45752       440      1900         0     17420      5767    324575   no data   no data
9.19/2.37	c  S st    22     46253       440      1900         0      9246      5767    126820   no data   no data
9.19/2.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.19/2.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.19/2.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.19/2.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.19/2.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
9.19/2.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.19/2.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.19/2.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.19/2.39	c lits-rem:        22  cl-subs:       55  v-elim:      0  v-fix:    0  time:  0.01 s
9.19/2.39	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c vivif2 --  cl tried     9191 cl shrink        0 lits rem          0 time: 0.00
9.19/2.39	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.01
9.19/2.39	c calculated reachability. Time: 0.00
9.19/2.39	c  N st    22     46253       440      1900         0      9191      5767    125493   no data   no data
12.75/3.28	c  N st    23     60652       440      1900         0     13522      5767    213825   no data   no data
15.14/3.87	c  N st    24     69379       440      1900         0     11337      5767    158620   no data   no data
15.14/3.87	c  S st    24     69379       440      1900         0     11337      5767    158620   no data   no data
15.54/3.90	c  S st    24     69884       440      1900         0     11841      5767    169499   no data   no data
15.54/3.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.54/3.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.54/3.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.54/3.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.54/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
15.54/3.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.54/3.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.54/3.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.54/3.93	c lits-rem:        23  cl-subs:      144  v-elim:      0  v-fix:    0  time:  0.02 s
15.54/3.93	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
15.54/3.93	c vivif2 --  cl tried    11697 cl shrink        0 lits rem          0 time: 0.00
15.54/3.94	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.01
15.54/3.94	c calculated reachability. Time: 0.00
15.54/3.94	c  N st    24     69884       440      1900         0     11697      5767    166117   no data   no data
20.33/5.19	c  F st    25     87501       440      1900         0     17126      5767    278362   no data   no data
20.33/5.19	c  N st    25     87501       440      1900         0     17126      5767    278362   no data   no data
21.95/5.56	c Decided on static restart strategy
23.12/5.80	c  N st    32     95540       440      1900         0     25026      5767    451887   no data   no data
25.52/6.49	c  N st    34    104826       440      1900         0     21426      5767    350368   no data   no data
25.52/6.49	c  S st    34    104826       440      1900         0     21426      5767    350368   no data   no data
25.91/6.55	c  S st    34    105329       440      1900         0     21929      5767    361154   no data   no data
25.91/6.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.91/6.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
25.91/6.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.91/6.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.91/6.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.91/6.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
25.91/6.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.91/6.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
25.91/6.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.75/6.72	c lits-rem:       241  cl-subs:      993  v-elim:      0  v-fix:    0  time:  0.15 s
26.75/6.72	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
26.75/6.72	c vivif2 --  cl tried    20936 cl shrink        0 lits rem          0 time: 0.00
26.75/6.74	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.01
26.75/6.74	c calculated reachability. Time: 0.00
26.75/6.74	c  N st    34    105329       440      1900         0     20936      5767    339418   no data   no data
29.91/7.52	c  N st    35    114928       440      1900         0     16655      5767    232230   no data   no data
35.12/8.82	c  N st    36    129326       440      1900         0     16068      5767    203913   no data   no data
42.67/10.78	c  N st    37    150921       440      1900         0     21576      5767    311777   no data   no data
45.47/11.44	c  S st    38    157995       440      1900         0     28503      5767    473518   no data   no data
45.87/11.51	c  S st    38    158495       440      1900         0     29002      5767    484315   no data   no data
45.87/11.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.87/11.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
45.87/11.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.87/11.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.87/11.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.87/11.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
45.87/11.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.87/11.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.87/11.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.07/11.83	c lits-rem:       157  cl-subs:     1247  v-elim:      0  v-fix:    0  time:  0.29 s
47.07/11.83	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
47.07/11.84	c vivif2 --  cl tried    27755 cl shrink        0 lits rem          0 time: 0.01
47.07/11.85	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.02
47.07/11.86	c calculated reachability. Time: 0.00
47.07/11.86	c  N st    38    158495       440      1900         0     27755      5767    456776   no data   no data
67.42/16.93	c  N st    39    207083       440      1900         0     22260      5767    288469   no data   no data
80.19/20.17	c  N st    40    237742       440      1900         0     32670      5767    514284   no data   no data
80.19/20.17	c  S st    40    237742       440      1900         0     32670      5767    514284   no data   no data
80.59/20.26	c  S st    40    238243       440      1900         0     33170      5767    525105   no data   no data
80.59/20.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
80.59/20.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
80.59/20.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
80.59/20.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
80.59/20.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
80.59/20.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
80.59/20.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.59/20.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.59/20.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.59/20.78	c lits-rem:       614  cl-subs:     1684  v-elim:      0  v-fix:    0  time:  0.48 s
82.59/20.78	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
82.59/20.78	c vivif2 --  cl tried    31486 cl shrink        0 lits rem          0 time: 0.01
82.99/20.80	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.02
82.99/20.80	c calculated reachability. Time: 0.00
82.99/20.80	c  N st    40    238243       440      1900         0     31486      5767    488733   no data   no data
113.72/28.50	c  F st    41    306252       440      1900         0     33488      5767    486391   no data   no data
113.72/28.50	c  N st    41    306252       440      1900         0     33488      5767    486391   no data   no data
115.71/29.08	c Decided on static restart strategy
126.49/31.78	c  N st    51    334559       440      1900         0     37779      5767    568799   no data   no data
137.26/34.41	c  N st    53    357364       440      1900         0     35643      5767    517588   no data   no data
137.26/34.41	c  S st    53    357364       440      1900         0     35643      5767    517588   no data   no data
137.66/34.51	c  S st    53    357866       440      1900         0     36144      5767    528731   no data   no data
137.66/34.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.66/34.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
137.66/34.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
137.66/34.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
137.66/34.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.66/34.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
137.66/34.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
137.66/34.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.66/34.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.86/34.85	c lits-rem:       165  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.30 s
138.86/34.85	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
138.86/34.86	c vivif2 --  cl tried    34820 cl shrink        0 lits rem          0 time: 0.01
138.86/34.88	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.02
138.86/34.88	c calculated reachability. Time: 0.00
138.86/34.88	c  N st    53    357866       440      1900         0     34820      5767    499064   no data   no data
155.22/38.90	c  N st    54    390258       440      1900         0     40955      5767    601950   no data   no data
183.55/46.08	c  N st    55    438847       440      1900         0     34567      5767    435299   no data   no data
223.46/56.09	c  N st    56    511730       440      1900         0     48288      5767    752421   no data   no data
239.02/59.96	c  N st    57    536799       440      1900         0     42451      5767    578198   no data   no data
239.02/59.96	c  S st    57    536799       440      1900         0     42451      5767    578198   no data   no data
239.42/60.08	c  S st    57    537302       440      1900         0     42953      5767    589331   no data   no data
239.42/60.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
239.42/60.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
239.42/60.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
239.42/60.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
239.42/60.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
239.42/60.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
239.42/60.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
239.82/60.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
239.82/60.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
241.85/60.62	c lits-rem:       172  cl-subs:     1913  v-elim:      0  v-fix:    0  time:  0.50 s
241.85/60.62	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
241.85/60.63	c vivif2 --  cl tried    41040 cl shrink        0 lits rem          0 time: 0.01
241.85/60.66	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.03
241.85/60.66	c calculated reachability. Time: 0.00
241.85/60.66	c  N st    57    537302       440      1900         0     41040      5767    551113   no data   no data
348.37/87.31	c  N st    58    701290       440      1900         0     35269      5767    345847   no data   no data
424.99/106.51	c  N st    59    805953       440      1900         0     64011      5767    997854   no data   no data
424.99/106.51	c  S st    59    805953       440      1900         0     64011      5767    997854   no data   no data
425.81/106.72	c  S st    59    806456       440      1900         0     64512      5767   1008860   no data   no data
425.81/106.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
425.81/106.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
425.81/106.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
425.81/106.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
425.81/106.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
425.81/106.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
425.81/106.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
425.81/106.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
425.81/106.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
437.77/109.73	c lits-rem:       390  cl-subs:     4887  v-elim:      0  v-fix:    0  time:  2.94 s
437.77/109.73	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
437.77/109.75	c vivif2 --  cl tried    59625 cl shrink        0 lits rem          0 time: 0.01
437.77/109.79	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.05
437.77/109.79	c calculated reachability. Time: 0.00
437.77/109.79	c  N st    59    806456       440      1900         0     59625      5767    900708   no data   no data
646.08/161.98	c  F st    60   1071875       440      1900         0     75598      5767   1193765   no data   no data
646.08/161.98	c  N st    60   1071875       440      1900         0     75598      5767   1193765   no data   no data
652.87/163.61	c Decided on static restart strategy
672.42/168.59	c  N st    70   1100181       440      1900         0     59481      5767    776127   no data   no data
706.35/177.10	c  N st    72   1136173       440      1900         0     49897      5767    541517   no data   no data
733.88/183.92	c  N st    73   1168565       440      1900         0     81318      5767   1291614   no data   no data
773.38/193.88	c  N st    74   1209684       440      1900         0     75553      5767   1094112   no data   no data
773.38/193.88	c  S st    74   1209684       440      1900         0     75553      5767   1094112   no data   no data
774.58/194.16	c  S st    74   1210188       440      1900         0     76054      5767   1104495   no data   no data
774.58/194.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
774.58/194.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
774.58/194.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
774.58/194.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
774.98/194.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
774.98/194.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
774.98/194.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
774.98/194.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
774.98/194.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
793.34/198.83	c lits-rem:       387  cl-subs:     5140  v-elim:      0  v-fix:    0  time:  4.59 s
793.34/198.83	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
793.34/198.85	c vivif2 --  cl tried    70914 cl shrink        0 lits rem          0 time: 0.01
793.75/198.92	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.07
793.75/198.92	c calculated reachability. Time: 0.00
793.75/198.92	c  N st    74   1210188       440      1900         0     70914      5767    995832   no data   no data
871.16/218.36	c  N st    75   1283070       440      1900         0     94994      5767   1514718   no data   no data
975.32/244.48	c  N st    76   1392393       440      1900         0     55608      5767    592288   no data   no data
1124.98/281.98	c  N st    77   1556377       440      1900         0     60709      5767    666962   no data   no data
1273.05/319.09	c  N st    78   1710188       440      1900         0    102085      5767   1618509   no data   no data
1273.05/319.09	c  S st    78   1710188       440      1900         0    102085      5767   1618509   no data   no data
1274.63/319.45	c  S st    78   1710694       440      1900         0    102589      5767   1630252   no data   no data
1274.63/319.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1275.03/319.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1275.03/319.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1275.03/319.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1275.03/319.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1275.03/319.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1275.03/319.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1275.03/319.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1275.03/319.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1315.74/329.74	c lits-rem:       991  cl-subs:     9131  v-elim:      0  v-fix:    0  time: 10.16 s
1315.74/329.74	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
1315.74/329.76	c vivif2 --  cl tried    93458 cl shrink        0 lits rem          0 time: 0.02
1316.14/329.85	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.09
1316.14/329.85	c calculated reachability. Time: 0.00
1316.14/329.86	c  N st    78   1710694       440      1900         0     93458      5767   1435056   no data   no data
1720.01/431.09	c  N st    79   2079658       440      1900         0    104838      5767   1529908   no data   no data
1874.06/469.67	c  N st    80   2210694       440      1900         0    109526      5767   1703577   no data   no data
1874.06/469.67	c  S st    80   2210694       440      1900         0    109526      5767   1703577   no data   no data
1875.65/470.05	c  S st    80   2211196       440      1900         0    110028      5767   1714751   no data   no data
1875.65/470.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1876.05/470.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1876.05/470.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1876.05/470.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1876.05/470.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1876.05/470.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1876.05/470.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1876.05/470.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1876.05/470.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1906.37/477.78	c lits-rem:       580  cl-subs:     6127  v-elim:      0  v-fix:    0  time:  7.59 s
1906.37/477.78	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
1906.77/477.80	c vivif2 --  cl tried   103901 cl shrink        0 lits rem          0 time: 0.02
1907.18/477.91	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.10
1907.18/477.91	c calculated reachability. Time: 0.00
1907.18/477.91	c  N st    80   2211196       440      1900         0    103901      5767   1579373   no data   no data
2504.60/627.66	c  N st    81   2711197       440      1900         0    126685      5767   1900076   no data   no data
2504.60/627.66	c  S st    81   2711197       440      1900         0    126685      5767   1900076   no data   no data
2506.20/628.08	c  S st    81   2711705       440      1900         0    127193      5767   1912548   no data   no data
2506.20/628.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2506.62/628.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2506.62/628.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2506.62/628.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2506.62/628.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2506.62/628.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
2506.62/628.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2506.62/628.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2507.04/628.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2567.66/643.50	c lits-rem:      1022  cl-subs:    12832  v-elim:      0  v-fix:    0  time: 15.25 s
2567.66/643.50	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
2568.08/643.52	c vivif2 --  cl tried   114361 cl shrink        0 lits rem          0 time: 0.02
2568.49/643.64	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.12
2568.49/643.64	c calculated reachability. Time: 0.00
2568.49/643.64	c  N st    81   2711705       440      1900         0    114361      5767   1665739   no data   no data
3250.08/814.49	c  N st    82   3211706       440      1900         0     90636      5767   1030925   no data   no data
3250.08/814.49	c  S st    82   3211706       440      1900         0     90636      5767   1030925   no data   no data
3251.28/814.79	c  S st    82   3212208       440      1900         0     91137      5767   1042299   no data   no data
3251.68/814.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3251.68/814.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3251.68/814.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3251.68/814.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3251.68/814.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3251.68/814.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
3251.68/814.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3251.68/814.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3251.68/814.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3256.47/816.03	c lits-rem:       195  cl-subs:     2684  v-elim:      0  v-fix:    0  time:  1.14 s
3256.47/816.03	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
3256.47/816.05	c vivif2 --  cl tried    88453 cl shrink        0 lits rem          0 time: 0.02
3256.87/816.12	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.08
3256.87/816.13	c calculated reachability. Time: 0.00
3256.87/816.13	c  N st    82   3212208       440      1900         0     88453      5767    988631   no data   no data
4015.53/1006.29	c  N st    83   3712208       440      1900         0     99030      5767   1101157   no data   no data
4015.53/1006.29	c  S st    83   3712208       440      1900         0     99030      5767   1101157   no data   no data
4017.16/1006.61	c  S st    83   3712711       440      1900         0     99531      5767   1112515   no data   no data
4017.16/1006.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4017.16/1006.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4017.16/1006.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4017.16/1006.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4017.16/1006.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4017.16/1006.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
4017.16/1006.66	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4017.16/1006.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4017.52/1006.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4024.71/1008.52	c lits-rem:       193  cl-subs:     4812  v-elim:      0  v-fix:    0  time:  1.81 s
4024.71/1008.53	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
4024.71/1008.54	c vivif2 --  cl tried    94719 cl shrink        0 lits rem          0 time: 0.02
4025.11/1008.64	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.09
4025.11/1008.64	c calculated reachability. Time: 0.00
4025.11/1008.64	c  N st    83   3712711       440      1900         0     94719      5767   1026006   no data   no data
4092.14/1025.44	c  F st    84   3751562       440      1900         0    132400      5767   1876334   no data   no data
4092.14/1025.44	c  N st    84   3751562       440      1900         0    132400      5767   1876334   no data   no data
4100.15/1027.50	c Decided on static restart strategy
4140.83/1037.61	c  N st    94   3779864       440      1900         0    159906      5767   2525338   no data   no data
4192.34/1050.60	c  N st    96   3815857       440      1900         0    112679      5767   1435853   no data   no data
4248.19/1064.57	c  N st    97   3848249       440      1900         0    144140      5767   2161074   no data   no data
4328.42/1084.61	c  N st    98   3896837       440      1900         0    107792      5767   1324612   no data   no data
4444.54/1113.77	c  N st    99   3969719       440      1900         0     94008      5767    972228   no data   no data
4608.96/1154.97	c  N st   100   4079042       440      1900         0    114289      5767   1366685   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366563-1305408277/watcher-3366563-1305408277 -o /tmp/evaluation-result-3366563-1305408277/solver-3366563-1305408277 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366563-1305408277.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.60 8.04 8.06 1/288 5356
/proc/meminfo: memFree=16813616/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 411 0 0 0 0 0 0 0 19 0 4 0 652430480 52396032 351 33554432000 4194304 4580107 140734948139792 18446744073709551615 218370957243 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 12792 351 302 95 0 7774 0
[pid=5356/tid=5357] ppid=5354 vsize=282224 CPUtime=0 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 150 0 0 0 0 0 0 0 18 0 4 0 652430481 288997376 853 33554432000 4194304 4580107 140734948139792 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=282224 CPUtime=0 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) D 5354 5356 5130 0 -1 4202560 173 0 0 0 0 0 0 0 18 0 4 0 652430481 288997376 860 33554432000 4194304 4580107 140734948139792 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=282224 CPUtime=0 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 68 0 0 0 0 0 0 0 20 0 4 0 652430481 288997376 873 33554432000 4194304 4580107 140734948139792 18446744073709551615 218371062254 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.107354 s]
/proc/loadavg: 7.60 8.04 8.06 1/288 5356
/proc/meminfo: memFree=16813616/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=282624 CPUtime=0.4 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 1628 0 0 0 40 0 0 0 18 0 4 0 652430480 289406976 1544 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 70656 1552 377 95 0 65638 0
[pid=5356/tid=5357] ppid=5354 vsize=282624 CPUtime=0.1 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 320 0 0 0 10 0 0 0 18 0 4 0 652430481 289406976 1552 33554432000 4194304 4580107 140734948139792 18446744073709551615 218370654408 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=282624 CPUtime=0.1 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 375 0 0 0 10 0 0 0 18 0 4 0 652430481 289406976 1552 33554432000 4194304 4580107 140734948139792 18446744073709551615 4322672 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=282624 CPUtime=0.09 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 210 0 0 0 9 0 0 0 21 0 4 0 652430481 289406976 1552 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 282624

[startup+0.200337 s]
/proc/loadavg: 7.60 8.04 8.06 1/288 5356
/proc/meminfo: memFree=16813616/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=284040 CPUtime=0.77 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 2231 0 0 0 77 0 0 0 18 0 4 0 652430480 290856960 1627 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 71010 1627 377 95 0 65992 0
[pid=5356/tid=5357] ppid=5354 vsize=284040 CPUtime=0.19 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 469 0 0 0 19 0 0 0 18 0 4 0 652430481 290856960 1627 33554432000 4194304 4580107 140734948139792 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=284040 CPUtime=0.19 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 523 0 0 0 19 0 0 0 18 0 4 0 652430481 290856960 1627 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=284040 CPUtime=0.18 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 358 0 0 0 18 0 0 0 21 0 4 0 652430481 290856960 1627 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 284040

[startup+0.30032 s]
/proc/loadavg: 7.60 8.04 8.06 1/288 5356
/proc/meminfo: memFree=16813616/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=284344 CPUtime=1.17 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 2603 0 0 0 117 0 0 0 18 0 4 0 652430480 291168256 1999 33554432000 4194304 4580107 140734948139792 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 71086 1999 377 95 0 66068 0
[pid=5356/tid=5357] ppid=5354 vsize=284344 CPUtime=0.29 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 550 0 0 0 29 0 0 0 18 0 4 0 652430481 291168256 2000 33554432000 4194304 4580107 140734948139792 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=284344 CPUtime=0.29 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 618 0 0 0 29 0 0 0 18 0 4 0 652430481 291168256 2000 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=284344 CPUtime=0.28 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 464 0 0 0 28 0 0 0 21 0 4 0 652430481 291168256 2000 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284344

[startup+0.700249 s]
/proc/loadavg: 7.60 8.04 8.06 1/288 5356
/proc/meminfo: memFree=16813616/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=285284 CPUtime=2.77 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 4096 0 0 0 277 0 0 0 18 0 4 0 652430480 292130816 2690 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 71321 2690 377 95 0 66303 0
[pid=5356/tid=5357] ppid=5354 vsize=285284 CPUtime=0.69 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 922 0 0 0 69 0 0 0 18 0 4 0 652430481 292130816 2690 33554432000 4194304 4580107 140734948139792 18446744073709551615 4321814 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=285284 CPUtime=0.69 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 985 0 0 0 69 0 0 0 18 0 4 0 652430481 292130816 2690 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=285284 CPUtime=0.68 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 836 0 0 0 68 0 0 0 22 0 4 0 652430481 292130816 2690 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285284

[startup+1.50111 s]
/proc/loadavg: 7.60 8.04 8.06 10/298 5375
/proc/meminfo: memFree=16792224/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=287112 CPUtime=5.96 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 8160 0 0 0 595 1 0 0 20 0 4 0 652430480 294002688 4301 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 71778 4301 379 95 0 66760 0
[pid=5356/tid=5357] ppid=5354 vsize=287112 CPUtime=1.49 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 1617 0 0 0 149 0 0 0 20 0 4 0 652430481 294002688 4301 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=287112 CPUtime=1.49 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 1734 0 0 0 149 0 0 0 19 0 4 0 652430481 294002688 4301 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=287112 CPUtime=1.47 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 1561 0 0 0 147 0 0 0 25 0 4 0 652430481 294002688 4301 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287112

[startup+3.10082 s]
/proc/loadavg: 7.60 8.04 8.06 9/298 5375
/proc/meminfo: memFree=16758164/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=300740 CPUtime=12.35 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 16903 0 0 0 1233 2 0 0 25 0 4 0 652430480 307957760 8147 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293235 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 75185 8148 379 95 0 70167 0
[pid=5356/tid=5357] ppid=5354 vsize=300740 CPUtime=3.09 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 3828 0 0 0 309 0 0 0 25 0 4 0 652430481 307957760 8148 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=300740 CPUtime=3.08 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 4668 0 0 0 308 0 0 0 25 0 4 0 652430481 307957760 8148 33554432000 4194304 4580107 140734948139792 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=300740 CPUtime=3.06 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 3867 0 0 0 306 0 0 0 25 0 4 0 652430481 307957760 8148 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293198 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 300740

[startup+6.30025 s]
/proc/loadavg: 7.63 8.04 8.06 9/298 5405
/proc/meminfo: memFree=16756912/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=298164 CPUtime=25.12 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 26962 0 0 0 2508 4 0 0 25 0 4 0 652430480 305319936 11732 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 74541 11732 379 95 0 69523 0
[pid=5356/tid=5357] ppid=5354 vsize=298164 CPUtime=6.29 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 6968 0 0 0 628 1 0 0 25 0 4 0 652430481 305319936 11732 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=298164 CPUtime=6.29 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 7790 0 0 0 628 1 0 0 25 0 4 0 652430481 305319936 11732 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=298164 CPUtime=6.23 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 5647 0 0 0 622 1 0 0 25 0 4 0 652430481 305319936 11732 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 298164

[startup+12.7011 s]
/proc/loadavg: 7.66 8.04 8.06 9/298 5405
/proc/meminfo: memFree=16694656/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=315252 CPUtime=50.66 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 41953 0 0 0 5059 7 0 0 25 0 4 0 652430480 322818048 17228 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 78813 17228 379 95 0 73795 0
[pid=5356/tid=5357] ppid=5354 vsize=315252 CPUtime=12.69 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 10958 0 0 0 1267 2 0 0 25 0 4 0 652430481 322818048 17228 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=315252 CPUtime=12.69 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 10521 0 0 0 1267 2 0 0 25 0 4 0 652430481 322818048 17228 33554432000 4194304 4580107 140734948139792 18446744073709551615 4320911 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=315252 CPUtime=12.57 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 9262 0 0 0 1256 1 0 0 25 0 4 0 652430481 322818048 17228 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 315252

[startup+25.5008 s]
/proc/loadavg: 7.74 8.04 8.05 9/298 5435
/proc/meminfo: memFree=16677356/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=322128 CPUtime=101.74 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 64163 0 0 0 10162 12 0 0 25 0 4 0 652430480 329859072 22237 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 80532 22237 379 95 0 75514 0
[pid=5356/tid=5357] ppid=5354 vsize=322128 CPUtime=25.49 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 17369 0 0 0 2546 3 0 0 25 0 4 0 652430481 329859072 22237 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=322128 CPUtime=25.48 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 16464 0 0 0 2545 3 0 0 25 0 4 0 652430481 329859072 22237 33554432000 4194304 4580107 140734948139792 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=322128 CPUtime=25.25 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 13494 0 0 0 2523 2 0 0 25 0 4 0 652430481 329859072 22237 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 322128

[startup+51.1013 s]
/proc/loadavg: 7.90 8.05 8.06 9/298 5436
/proc/meminfo: memFree=16586432/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=322496 CPUtime=203.91 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 98036 0 0 0 20368 23 0 0 25 0 4 0 652430480 330235904 28962 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 80624 28962 379 95 0 75606 0
[pid=5356/tid=5357] ppid=5354 vsize=322496 CPUtime=51.09 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 26822 0 0 0 5103 6 0 0 25 0 4 0 652430481 330235904 28962 33554432000 4194304 4580107 140734948139792 18446744073709551615 4304887 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=322496 CPUtime=51.08 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 24940 0 0 0 5103 5 0 0 25 0 4 0 652430481 330235904 28962 33554432000 4194304 4580107 140734948139792 18446744073709551615 4305219 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=322496 CPUtime=50.62 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 21267 0 0 0 5057 5 0 0 25 0 4 0 652430481 330235904 28962 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.91
Current children cumulated vsize (KiB) 322496

[startup+102.301 s]
/proc/loadavg: 7.95 8.04 8.05 9/298 5438
/proc/meminfo: memFree=16542832/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=346712 CPUtime=408.25 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 151609 0 0 0 40785 40 0 0 25 0 4 0 652430480 355033088 34355 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 86678 34355 379 95 0 81660 0
[pid=5356/tid=5357] ppid=5354 vsize=346712 CPUtime=102.29 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 40514 0 0 0 10219 10 0 0 25 0 4 0 652430481 355033088 34358 33554432000 4194304 4580107 140734948139792 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=346712 CPUtime=102.3 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 37778 0 0 0 10220 10 0 0 25 0 4 0 652430481 355033088 34358 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=346712 CPUtime=101.36 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 34782 0 0 0 10127 9 0 0 25 0 4 0 652430481 355033088 34358 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.25
Current children cumulated vsize (KiB) 346712

[startup+162.3 s]

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

[pid=5356] ppid=5354 vsize=584756 CPUtime=2802.72 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 444072 0 0 0 280108 164 0 0 25 0 4 0 652430480 598790144 91993 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 146189 91993 379 95 0 141171 0
[pid=5356/tid=5357] ppid=5354 vsize=584756 CPUtime=702.3 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 120339 0 0 0 70186 44 0 0 25 0 4 0 652430481 598790144 91993 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=584756 CPUtime=702.3 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 109511 0 0 0 70189 41 0 0 25 0 4 0 652430481 598790144 91993 33554432000 4194304 4580107 140734948139792 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=584756 CPUtime=695.92 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 88691 0 0 0 69560 32 0 0 25 0 4 0 652430481 598790144 91993 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2802.72
Current children cumulated vsize (KiB) 584756

[startup+762.301 s]
/proc/loadavg: 8.07 8.06 8.04 9/298 5455
/proc/meminfo: memFree=16182068/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=549096 CPUtime=3042.19 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 461204 0 0 0 304045 174 0 0 25 0 4 0 652430480 562274304 81547 33554432000 4194304 4580107 140734948139792 18446744073709551615 4295702 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 137274 81547 379 95 0 132256 0
[pid=5356/tid=5357] ppid=5354 vsize=549096 CPUtime=762.31 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 126713 0 0 0 76182 49 0 0 25 0 4 0 652430481 562274304 81549 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=549096 CPUtime=762.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 112905 0 0 0 76189 42 0 0 25 0 4 0 652430481 562274304 81549 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=549096 CPUtime=755.38 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 89073 0 0 0 75506 32 0 0 25 0 4 0 652430481 562274304 81549 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3042.19
Current children cumulated vsize (KiB) 549096

[startup+822.301 s]
/proc/loadavg: 8.08 8.06 8.04 9/298 5457
/proc/meminfo: memFree=16148584/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=574032 CPUtime=3281.61 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 484942 0 0 0 327975 186 0 0 25 0 4 0 652430480 587808768 89588 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 143508 89588 379 95 0 138490 0
[pid=5356/tid=5357] ppid=5354 vsize=574032 CPUtime=822.3 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 135493 0 0 0 82177 53 0 0 25 0 4 0 652430481 587808768 89588 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=574032 CPUtime=822.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 116490 0 0 0 82187 44 0 0 25 0 4 0 652430481 587808768 89588 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=574032 CPUtime=814.83 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 94397 0 0 0 81448 35 0 0 25 0 4 0 652430481 587808768 89588 33554432000 4194304 4580107 140734948139792 18446744073709551615 4305975 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3281.61
Current children cumulated vsize (KiB) 574032

[startup+882.311 s]
/proc/loadavg: 8.08 8.06 8.03 9/298 5458
/proc/meminfo: memFree=16099464/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=602284 CPUtime=3521.1 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 505034 0 0 0 351914 196 0 0 25 0 4 0 652430480 616738816 91204 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 150571 91204 379 95 0 145553 0
[pid=5356/tid=5357] ppid=5354 vsize=602284 CPUtime=882.32 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 141545 0 0 0 88176 56 0 0 25 0 4 0 652430481 616738816 91204 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=602284 CPUtime=882.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 122599 0 0 0 88185 46 0 0 25 0 4 0 652430481 616738816 91204 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=602284 CPUtime=874.29 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 96262 0 0 0 87393 36 0 0 25 0 4 0 652430481 616738816 91204 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3521.1
Current children cumulated vsize (KiB) 602284

[startup+942.3 s]
/proc/loadavg: 8.07 8.06 8.03 9/298 5460
/proc/meminfo: memFree=16084340/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=602408 CPUtime=3760.52 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 525769 0 0 0 375844 208 0 0 25 0 4 0 652430480 616865792 93878 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 150602 93878 379 95 0 145584 0
[pid=5356/tid=5357] ppid=5354 vsize=602408 CPUtime=942.31 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 147632 0 0 0 94172 59 0 0 25 0 4 0 652430481 616865792 93878 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=602408 CPUtime=942.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 126923 0 0 0 94183 48 0 0 25 0 4 0 652430481 616865792 93878 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=602408 CPUtime=933.75 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 102173 0 0 0 93335 40 0 0 25 0 4 0 652430481 616865792 93878 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3760.52
Current children cumulated vsize (KiB) 602408

[startup+1002.3 s]
/proc/loadavg: 8.02 8.05 8.03 9/298 5462
/proc/meminfo: memFree=16030648/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=627952 CPUtime=3999.96 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 544346 0 0 0 399780 216 0 0 25 0 4 0 652430480 643022848 105842 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 156988 105842 379 95 0 151970 0
[pid=5356/tid=5357] ppid=5354 vsize=627952 CPUtime=1002.31 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 154479 0 0 0 100169 62 0 0 25 0 4 0 652430481 643022848 105842 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=627952 CPUtime=1002.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 129937 0 0 0 100182 49 0 0 25 0 4 0 652430481 643022848 105842 33554432000 4194304 4580107 140734948139792 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=627952 CPUtime=993.19 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 106448 0 0 0 99277 42 0 0 25 0 4 0 652430481 643022848 105842 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3999.96
Current children cumulated vsize (KiB) 627952

[startup+1062.3 s]
/proc/loadavg: 8.08 8.05 8.03 9/298 5463
/proc/meminfo: memFree=16015860/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=628160 CPUtime=4239.41 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 555770 0 0 0 423718 223 0 0 25 0 4 0 652430480 643235840 107027 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 157040 107027 379 95 0 152022 0
[pid=5356/tid=5357] ppid=5354 vsize=628160 CPUtime=1062.31 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 159914 0 0 0 106165 66 0 0 25 0 4 0 652430481 643235840 107027 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=628160 CPUtime=1062.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 132871 0 0 0 106180 51 0 0 25 0 4 0 652430481 643235840 107027 33554432000 4194304 4580107 140734948139792 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=628160 CPUtime=1052.66 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 106816 0 0 0 105223 43 0 0 25 0 4 0 652430481 643235840 107027 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4239.41
Current children cumulated vsize (KiB) 628160

[startup+1122.3 s]
/proc/loadavg: 8.10 8.06 8.03 9/298 5465
/proc/meminfo: memFree=15998108/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=641584 CPUtime=4478.86 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 572903 0 0 0 447653 233 0 0 25 0 4 0 652430480 656982016 108139 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 160396 108139 379 95 0 155378 0
[pid=5356/tid=5357] ppid=5354 vsize=641584 CPUtime=1122.31 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 165737 0 0 0 112162 69 0 0 25 0 4 0 652430481 656982016 108139 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=641584 CPUtime=1122.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 138712 0 0 0 112177 54 0 0 25 0 4 0 652430481 656982016 108139 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=641584 CPUtime=1112.11 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 108848 0 0 0 111168 43 0 0 25 0 4 0 652430481 656982016 108139 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4478.86
Current children cumulated vsize (KiB) 641584

[startup+1182.3 s]
/proc/loadavg: 8.10 8.06 8.03 9/298 5466
/proc/meminfo: memFree=15981468/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=641568 CPUtime=4718.31 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 586836 0 0 0 471591 240 0 0 25 0 4 0 652430480 656965632 115434 33554432000 4194304 4580107 140734948139792 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 160392 115434 379 95 0 155374 0
[pid=5356/tid=5357] ppid=5354 vsize=641568 CPUtime=1182.31 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 170665 0 0 0 118160 71 0 0 25 0 4 0 652430481 656965632 115434 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=641568 CPUtime=1182.31 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 140124 0 0 0 118176 55 0 0 25 0 4 0 652430481 656965632 115434 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=641568 CPUtime=1171.57 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 113302 0 0 0 117111 46 0 0 25 0 4 0 652430481 656965632 115434 33554432000 4194304 4580107 140734948139792 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4718.31
Current children cumulated vsize (KiB) 641568



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.07 8.06 8.02 9/298 5467
/proc/meminfo: memFree=15997592/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=641612 CPUtime=4800.13 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 589799 0 0 0 479772 241 0 0 25 0 4 0 652430480 657010688 111637 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 160403 111637 379 95 0 155385 0
[pid=5356/tid=5357] ppid=5354 vsize=641612 CPUtime=1202.82 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 173350 0 0 0 120210 72 0 0 25 0 4 0 652430481 657010688 111638 33554432000 4194304 4580107 140734948139792 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=641612 CPUtime=1202.82 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 140124 0 0 0 120227 55 0 0 25 0 4 0 652430481 657010688 111638 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=641612 CPUtime=1191.88 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 113581 0 0 0 119142 46 0 0 25 0 4 0 652430481 657010688 111638 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 641612

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

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

[startup+1202.8 s]
/proc/loadavg: 8.07 8.06 8.02 9/298 5467
/proc/meminfo: memFree=15997592/32951124 swapFree=52307768/67111528
[pid=5356] ppid=5354 vsize=641612 CPUtime=4800.13 cores=1,3,5,7
/proc/5356/stat : 5356 (strangenight2-m) R 5354 5356 5130 0 -1 4202496 589799 0 0 0 479772 241 0 0 25 0 4 0 652430480 657010688 111637 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/5356/statm: 160403 111637 379 95 0 155385 0
[pid=5356/tid=5357] ppid=5354 vsize=641612 CPUtime=1202.82 cores=1,3,5,7
/proc/5356/task/5357/stat : 5357 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 173350 0 0 0 120210 72 0 0 25 0 4 0 652430481 657010688 111638 33554432000 4194304 4580107 140734948139792 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=5356/tid=5358] ppid=5354 vsize=641612 CPUtime=1202.82 cores=1,3,5,7
/proc/5356/task/5358/stat : 5358 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 140124 0 0 0 120227 55 0 0 25 0 4 0 652430481 657010688 111638 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=5356/tid=5359] ppid=5354 vsize=641612 CPUtime=1191.88 cores=1,3,5,7
/proc/5356/task/5359/stat : 5359 (strangenight2-m) R 5354 5356 5130 0 -1 4202560 113581 0 0 0 119142 46 0 0 25 0 4 0 652430481 657010688 111638 33554432000 4194304 4580107 140734948139792 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 641612

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.2
CPU user time (s): 4797.76
CPU system time (s): 2.43763
CPU usage (%): 399.073
Max. virtual memory (cumulated for all children) (KiB): 693860

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.76
system time used= 2.43763
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 589800
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= 343
involuntary context switches= 35714

runsolver used 3.06253 second user time and 7.8978 second system time

The end

Launcher Data 

Begin job on node101 at 2011-05-14 23:24:37
IDJOB=3366563
IDBENCH=82972
IDSOLVER=1844
FILE ID=node101/3366563-1305408277
RUNJOBID= node101-1305405867-5149
PBS_JOBID= 13324502
Free space on /tmp= 73732 MiB

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

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

MD5SUM BENCH= 181d327d4cfd49957ee63dfb74a0e12a
RANDOM SEED=883210172

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.83
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.841
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.841
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.83
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.841
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.841
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:      16813788 kB
Buffers:        323100 kB
Cached:        5885172 kB
SwapCached:      14848 kB
Active:       10835444 kB
Inactive:      5027404 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      16813788 kB
SwapTotal:    67111528 kB
SwapFree:     52307768 kB
Dirty:            5484 kB
Writeback:           0 kB
AnonPages:     9651040 kB
Mapped:          14524 kB
Slab:           149452 kB
PageTables:      61744 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 41977464 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= 73728 MiB
End job on node101 at 2011-05-14 23:44:42