Trace number 3174154

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.41 1201.73

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-3174154-1304105799.cnf'
0.00/0.00	c -- header says num vars:            450
0.00/0.00	c -- header says num clauses:        1917
0.00/0.00	c -- clauses added:            0 learnts,         1917 normals,            0 xors
0.00/0.00	c -- vars added        450
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       450      1917         0         0      5751         0   no data   no data
0.00/0.00	c asymm  cl-useful: 0/1917/1917 lits-rem:0 time: 0.00
0.00/0.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
0.00/0.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.01	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
0.00/0.01	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.01	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.01	c calculated reachability. Time: 0.00
0.00/0.01	c Calc default polars -  time:   0.00 s pos:     221 undec:      43 neg:     186
0.00/0.01	c =========================================================================================
0.00/0.01	c types(t): F = full restart, N = normal restart
0.00/0.01	c types(t): S = simplification begin/end, E = solution found
0.00/0.01	c restart types(rt): st = static, dy = dynamic
0.00/0.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.01	c  B st     0         0       441      1908         0         0      5791         0   no data   no data
0.20/0.05	c Decided on static restart strategy
0.20/0.14	c  N st     8      4913       441      1908         0      4790      5791    101962   no data   no data
1.18/0.39	c  N st    10     11296       441      1908         0      4439      5791     71504   no data   no data
2.38/0.64	c  N st    11     17039       441      1908         0     10023      5791    192033   no data   no data
3.98/1.07	c  F st    12     25000       441      1908         0     12251      5791    237428   no data   no data
3.98/1.08	c  N st    12     25000       441      1908         0     12251      5791    237428   no data   no data
5.17/1.33	c Decided on static restart strategy
5.17/1.33	c  N st    18     30000       441      1908         0     10580      5791    187435   no data   no data
5.17/1.33	c  S st    18     30000       441      1908         0     10580      5791    187435   no data   no data
5.17/1.36	c  S st    18     30501       441      1908         0     11079      5791    197890   no data   no data
5.17/1.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.17/1.36	c blocked clauses removed:        8 vars:      1 tried:         441 T: 0.00 s
5.17/1.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
5.17/1.36	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.17/1.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.17/1.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.44	c lits-rem:       163  cl-subs:      809  v-elim:      0  v-fix:    0  time:  0.06 s
5.57/1.44	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.00
5.57/1.44	c calculated reachability. Time: 0.00
5.57/1.44	c  N st    18     30501       440      1900         0     10270      5767    180244   no data   no data
7.17/1.84	c  N st    20     37612       440      1900         0      9527      5767    150620   no data   no data
8.38/2.20	c  N st    21     44012       440      1900         0     15751      5767    288304   no data   no data
9.16/2.30	c  S st    22     45752       440      1900         0     17420      5767    324575   no data   no data
9.16/2.34	c  S st    22     46253       440      1900         0      9246      5767    126820   no data   no data
9.16/2.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
9.16/2.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.36	c lits-rem:        22  cl-subs:       55  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.36	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
9.16/2.36	c vivif2 --  cl tried     9191 cl shrink        0 lits rem          0 time: 0.00
9.16/2.37	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.00
9.16/2.37	c calculated reachability. Time: 0.00
9.16/2.37	c  N st    22     46253       440      1900         0      9191      5767    125493   no data   no data
12.77/3.24	c  N st    23     60652       440      1900         0     13522      5767    213825   no data   no data
15.16/3.82	c  N st    24     69379       440      1900         0     11337      5767    158620   no data   no data
15.16/3.82	c  S st    24     69379       440      1900         0     11337      5767    158620   no data   no data
15.16/3.86	c  S st    24     69884       440      1900         0     11841      5767    169499   no data   no data
15.16/3.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.16/3.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
15.16/3.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.88	c lits-rem:        23  cl-subs:      144  v-elim:      0  v-fix:    0  time:  0.02 s
15.16/3.88	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
15.16/3.89	c vivif2 --  cl tried    11697 cl shrink        0 lits rem          0 time: 0.00
15.16/3.89	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.01
15.16/3.89	c calculated reachability. Time: 0.00
15.16/3.89	c  N st    24     69884       440      1900         0     11697      5767    166117   no data   no data
20.35/5.13	c  F st    25     87501       440      1900         0     17126      5767    278362   no data   no data
20.35/5.14	c  N st    25     87501       440      1900         0     17126      5767    278362   no data   no data
21.57/5.50	c Decided on static restart strategy
22.75/5.74	c  N st    32     95540       440      1900         0     25026      5767    451887   no data   no data
25.55/6.42	c  N st    34    104826       440      1900         0     21426      5767    350368   no data   no data
25.55/6.42	c  S st    34    104826       440      1900         0     21426      5767    350368   no data   no data
25.55/6.48	c  S st    34    105329       440      1900         0     21929      5767    361154   no data   no data
25.55/6.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
25.55/6.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
25.55/6.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
25.55/6.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
25.55/6.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.55/6.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
25.55/6.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
25.55/6.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
25.55/6.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.65	c lits-rem:       241  cl-subs:      993  v-elim:      0  v-fix:    0  time:  0.15 s
26.36/6.65	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
26.36/6.66	c vivif2 --  cl tried    20936 cl shrink        0 lits rem          0 time: 0.00
26.36/6.67	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.01
26.36/6.67	c calculated reachability. Time: 0.00
26.36/6.67	c  N st    34    105329       440      1900         0     20936      5767    339418   no data   no data
29.54/7.45	c  N st    35    114928       440      1900         0     16655      5767    232230   no data   no data
34.75/8.74	c  N st    36    129326       440      1900         0     16068      5767    203913   no data   no data
42.32/10.68	c  N st    37    150921       440      1900         0     21576      5767    311777   no data   no data
45.11/11.33	c  S st    38    157995       440      1900         0     28503      5767    473518   no data   no data
45.51/11.40	c  S st    38    158495       440      1900         0     29002      5767    484315   no data   no data
45.51/11.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.51/11.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
45.51/11.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.51/11.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.51/11.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.51/11.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
45.51/11.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.51/11.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
45.51/11.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.73	c lits-rem:       157  cl-subs:     1247  v-elim:      0  v-fix:    0  time:  0.29 s
46.72/11.73	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
46.72/11.73	c vivif2 --  cl tried    27755 cl shrink        0 lits rem          0 time: 0.01
46.72/11.75	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.02
46.72/11.75	c calculated reachability. Time: 0.00
46.72/11.75	c  N st    38    158495       440      1900         0     27755      5767    456776   no data   no data
66.69/16.79	c  N st    39    207083       440      1900         0     22260      5767    288469   no data   no data
79.87/20.00	c  N st    40    237742       440      1900         0     32670      5767    514284   no data   no data
79.87/20.00	c  S st    40    237742       440      1900         0     32670      5767    514284   no data   no data
79.87/20.08	c  S st    40    238243       440      1900         0     33170      5767    525105   no data   no data
79.87/20.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.87/20.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.87/20.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.87/20.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.87/20.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.87/20.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
79.87/20.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
80.27/20.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.27/20.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.28/20.60	c lits-rem:       614  cl-subs:     1684  v-elim:      0  v-fix:    0  time:  0.49 s
82.28/20.60	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
82.28/20.61	c vivif2 --  cl tried    31486 cl shrink        0 lits rem          0 time: 0.01
82.28/20.63	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.02
82.28/20.63	c calculated reachability. Time: 0.00
82.28/20.63	c  N st    40    238243       440      1900         0     31486      5767    488733   no data   no data
112.63/28.26	c  F st    41    306252       440      1900         0     33488      5767    486391   no data   no data
112.63/28.26	c  N st    41    306252       440      1900         0     33488      5767    486391   no data   no data
115.03/28.84	c Decided on static restart strategy
125.81/31.52	c  N st    51    334559       440      1900         0     37779      5767    568799   no data   no data
136.22/34.12	c  N st    53    357364       440      1900         0     35643      5767    517588   no data   no data
136.22/34.12	c  S st    53    357364       440      1900         0     35643      5767    517588   no data   no data
136.60/34.21	c  S st    53    357866       440      1900         0     36144      5767    528731   no data   no data
136.60/34.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.60/34.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
136.60/34.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.60/34.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.60/34.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.60/34.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
136.60/34.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
136.60/34.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
136.60/34.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
137.80/34.55	c lits-rem:       165  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.31 s
137.80/34.55	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
137.80/34.56	c vivif2 --  cl tried    34820 cl shrink        0 lits rem          0 time: 0.01
137.80/34.58	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.02
137.80/34.58	c calculated reachability. Time: 0.00
137.80/34.58	c  N st    53    357866       440      1900         0     34820      5767    499064   no data   no data
153.80/38.55	c  N st    54    390258       440      1900         0     40955      5767    601950   no data   no data
182.13/45.67	c  N st    55    438847       440      1900         0     34567      5767    435299   no data   no data
222.08/55.61	c  N st    56    511730       440      1900         0     48288      5767    752421   no data   no data
237.28/59.45	c  N st    57    536799       440      1900         0     42451      5767    578198   no data   no data
237.28/59.45	c  S st    57    536799       440      1900         0     42451      5767    578198   no data   no data
237.66/59.56	c  S st    57    537302       440      1900         0     42953      5767    589331   no data   no data
237.66/59.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
237.66/59.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
237.66/59.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
237.66/59.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
237.66/59.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
237.66/59.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
237.66/59.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
237.66/59.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
238.06/59.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
240.06/60.11	c lits-rem:       172  cl-subs:     1913  v-elim:      0  v-fix:    0  time:  0.50 s
240.06/60.11	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
240.06/60.12	c vivif2 --  cl tried    41040 cl shrink        0 lits rem          0 time: 0.01
240.06/60.15	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.02
240.06/60.15	c calculated reachability. Time: 0.00
240.06/60.15	c  N st    57    537302       440      1900         0     41040      5767    551113   no data   no data
345.92/86.66	c  N st    58    701290       440      1900         0     35269      5767    345847   no data   no data
422.21/105.70	c  N st    59    805953       440      1900         0     64011      5767    997854   no data   no data
422.21/105.70	c  S st    59    805953       440      1900         0     64011      5767    997854   no data   no data
423.01/105.91	c  S st    59    806456       440      1900         0     64512      5767   1008860   no data   no data
423.01/105.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
423.01/105.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
423.01/105.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
423.01/105.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
423.01/105.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
423.01/105.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
423.01/105.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
423.01/105.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
423.01/105.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
435.02/108.94	c lits-rem:       390  cl-subs:     4887  v-elim:      0  v-fix:    0  time:  2.95 s
435.02/108.94	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
435.02/108.96	c vivif2 --  cl tried    59625 cl shrink        0 lits rem          0 time: 0.01
435.39/109.01	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.05
435.39/109.01	c calculated reachability. Time: 0.00
435.39/109.01	c  N st    59    806456       440      1900         0     59625      5767    900708   no data   no data
642.72/160.95	c  F st    60   1071875       440      1900         0     75598      5767   1193765   no data   no data
642.72/160.95	c  N st    60   1071875       440      1900         0     75598      5767   1193765   no data   no data
649.11/162.58	c Decided on static restart strategy
669.08/167.56	c  N st    70   1100181       440      1900         0     59481      5767    776127   no data   no data
703.06/176.05	c  N st    72   1136173       440      1900         0     49897      5767    541517   no data   no data
729.80/182.78	c  N st    73   1168565       440      1900         0     81318      5767   1291614   no data   no data
769.75/192.77	c  N st    74   1209684       440      1900         0     75553      5767   1094112   no data   no data
769.75/192.77	c  S st    74   1209684       440      1900         0     75553      5767   1094112   no data   no data
770.95/193.07	c  S st    74   1210188       440      1900         0     76054      5767   1104495   no data   no data
770.95/193.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
771.35/193.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
771.35/193.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
771.35/193.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
771.35/193.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
771.35/193.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
771.35/193.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
771.35/193.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
771.35/193.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
789.32/197.69	c lits-rem:       387  cl-subs:     5140  v-elim:      0  v-fix:    0  time:  4.52 s
789.32/197.69	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
789.72/197.71	c vivif2 --  cl tried    70914 cl shrink        0 lits rem          0 time: 0.02
789.72/197.78	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.07
789.72/197.79	c calculated reachability. Time: 0.00
789.72/197.79	c  N st    74   1210188       440      1900         0     70914      5767    995832   no data   no data
866.41/216.94	c  N st    75   1283070       440      1900         0     94994      5767   1514718   no data   no data
970.28/242.94	c  N st    76   1392393       440      1900         0     55608      5767    592288   no data   no data
1119.28/280.20	c  N st    77   1556377       440      1900         0     60709      5767    666962   no data   no data
1266.28/317.08	c  N st    78   1710188       440      1900         0    102085      5767   1618509   no data   no data
1266.28/317.08	c  S st    78   1710188       440      1900         0    102085      5767   1618509   no data   no data
1267.88/317.44	c  S st    78   1710694       440      1900         0    102589      5767   1630252   no data   no data
1267.88/317.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1267.88/317.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1267.88/317.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1267.88/317.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1267.88/317.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1267.88/317.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1268.28/317.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1268.28/317.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1268.28/317.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1309.45/327.82	c lits-rem:       991  cl-subs:     9131  v-elim:      0  v-fix:    0  time: 10.25 s
1309.45/327.82	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
1309.45/327.85	c vivif2 --  cl tried    93458 cl shrink        0 lits rem          0 time: 0.02
1309.82/327.94	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.09
1309.82/327.94	c calculated reachability. Time: 0.00
1309.82/327.94	c  N st    78   1710694       440      1900         0     93458      5767   1435056   no data   no data
1712.49/428.70	c  N st    79   2079658       440      1900         0    104838      5767   1529908   no data   no data
1865.88/467.17	c  N st    80   2210694       440      1900         0    109526      5767   1703577   no data   no data
1865.88/467.17	c  S st    80   2210694       440      1900         0    109526      5767   1703577   no data   no data
1867.49/467.55	c  S st    80   2211196       440      1900         0    110028      5767   1714751   no data   no data
1867.49/467.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1867.87/467.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1867.87/467.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1867.87/467.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1867.87/467.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1867.87/467.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
1867.87/467.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1867.87/467.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1867.87/467.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1898.63/475.38	c lits-rem:       580  cl-subs:     6127  v-elim:      0  v-fix:    0  time:  7.68 s
1898.63/475.38	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
1899.03/475.40	c vivif2 --  cl tried   103901 cl shrink        0 lits rem          0 time: 0.02
1899.43/475.51	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.10
1899.43/475.51	c calculated reachability. Time: 0.00
1899.43/475.51	c  N st    80   2211196       440      1900         0    103901      5767   1579373   no data   no data
2495.04/624.69	c  N st    81   2711197       440      1900         0    126685      5767   1900076   no data   no data
2495.04/624.69	c  S st    81   2711197       440      1900         0    126685      5767   1900076   no data   no data
2497.03/625.11	c  S st    81   2711705       440      1900         0    127193      5767   1912548   no data   no data
2497.03/625.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2497.03/625.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2497.03/625.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2497.03/625.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2497.03/625.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2497.03/625.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
2497.03/625.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2497.43/625.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2497.43/625.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2558.95/640.69	c lits-rem:      1022  cl-subs:    12832  v-elim:      0  v-fix:    0  time: 15.41 s
2558.95/640.69	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
2559.35/640.71	c vivif2 --  cl tried   114361 cl shrink        0 lits rem          0 time: 0.02
2559.75/640.83	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.12
2559.75/640.83	c calculated reachability. Time: 0.00
2559.75/640.83	c  N st    81   2711705       440      1900         0    114361      5767   1665739   no data   no data
3240.44/811.28	c  N st    82   3211706       440      1900         0     90636      5767   1030925   no data   no data
3240.44/811.28	c  S st    82   3211706       440      1900         0     90636      5767   1030925   no data   no data
3241.64/811.58	c  S st    82   3212208       440      1900         0     91137      5767   1042299   no data   no data
3241.64/811.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3242.04/811.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3242.04/811.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3242.04/811.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3242.04/811.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3242.04/811.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
3242.04/811.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3242.04/811.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3242.04/811.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3246.84/812.84	c lits-rem:       195  cl-subs:     2684  v-elim:      0  v-fix:    0  time:  1.15 s
3246.84/812.84	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
3246.84/812.85	c vivif2 --  cl tried    88453 cl shrink        0 lits rem          0 time: 0.02
3247.25/812.93	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.08
3247.25/812.94	c calculated reachability. Time: 0.00
3247.25/812.94	c  N st    82   3212208       440      1900         0     88453      5767    988631   no data   no data
4005.40/1002.79	c  N st    83   3712208       440      1900         0     99030      5767   1101157   no data   no data
4005.40/1002.79	c  S st    83   3712208       440      1900         0     99030      5767   1101157   no data   no data
4007.01/1003.10	c  S st    83   3712711       440      1900         0     99531      5767   1112515   no data   no data
4007.01/1003.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4007.01/1003.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
4007.01/1003.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4007.01/1003.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4007.01/1003.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4007.01/1003.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    440 time:  0.00 s
4007.01/1003.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4007.01/1003.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4007.42/1003.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4014.60/1005.05	c lits-rem:       193  cl-subs:     4812  v-elim:      0  v-fix:    0  time:  1.83 s
4014.60/1005.05	c vivif2 --  cl tried     1900 cl shrink        0 lits rem          0 time: 0.00
4014.60/1005.06	c vivif2 --  cl tried    94719 cl shrink        0 lits rem          0 time: 0.02
4015.00/1005.16	c asymm  cl-useful: 0/1900/1900 lits-rem:0 time: 0.09
4015.00/1005.16	c calculated reachability. Time: 0.00
4015.00/1005.16	c  N st    83   3712711       440      1900         0     94719      5767   1026006   no data   no data
4082.13/1021.94	c  F st    84   3751562       440      1900         0    132400      5767   1876334   no data   no data
4082.13/1021.94	c  N st    84   3751562       440      1900         0    132400      5767   1876334   no data   no data
4090.10/1023.99	c Decided on static restart strategy
4130.46/1034.05	c  N st    94   3779864       440      1900         0    159906      5767   2525338   no data   no data
4182.37/1047.03	c  N st    96   3815857       440      1900         0    112679      5767   1435853   no data   no data
4237.89/1060.97	c  N st    97   3848249       440      1900         0    144140      5767   2161074   no data   no data
4317.78/1080.98	c  N st    98   3896837       440      1900         0    107792      5767   1324612   no data   no data
4434.43/1110.11	c  N st    99   3969719       440      1900         0     94008      5767    972228   no data   no data
4599.01/1151.31	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: 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-3174154-1304105799/watcher-3174154-1304105799 -o /tmp/evaluation-result-3174154-1304105799/solver-3174154-1304105799 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174154-1304105799.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: 3.68 4.73 6.34 2/172 2061
/proc/meminfo: memFree=22126648/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=40968 CPUtime=0 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 406 0 0 0 0 0 0 0 24 0 3 0 522178662 41951232 346 33554432000 4194304 4627427 140735758292608 18446744073709551615 268272745457 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 10242 346 299 106 0 5213 0
[pid=2061/tid=2062] ppid=2059 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 522178663 52441088 347 33554432000 4194304 4627427 140735758292608 18446744073709551615 47638270392242 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522178663 52441088 347 33554432000 4194304 4627427 140735758292608 18446744073709551615 47638270392236 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 522178663 52441088 347 33554432000 4194304 4627427 140735758292608 18446744073709551615 268272745457 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0553021 s]
/proc/loadavg: 3.68 4.73 6.34 2/172 2061
/proc/meminfo: memFree=22126648/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=282216 CPUtime=0.2 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 1379 0 0 0 20 0 0 0 25 0 4 0 522178662 288989184 1268 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 70554 1268 384 106 0 65525 0
[pid=2061/tid=2062] ppid=2059 vsize=282216 CPUtime=0.04 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 272 0 0 0 4 0 0 0 25 0 4 0 522178663 288989184 1268 33554432000 4194304 4627427 140735758292608 18446744073709551615 4327622 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=282216 CPUtime=0.04 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 241 0 0 0 4 0 0 0 25 0 4 0 522178663 288989184 1268 33554432000 4194304 4627427 140735758292608 18446744073709551615 4324672 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=282216 CPUtime=0.04 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 196 0 0 0 4 0 0 0 25 0 4 0 522178663 288989184 1268 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 282216

[startup+0.155285 s]
/proc/loadavg: 3.68 4.73 6.34 2/172 2061
/proc/meminfo: memFree=22126648/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=283456 CPUtime=0.6 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 2086 0 0 0 60 0 0 0 25 0 4 0 522178662 290258944 1455 33554432000 4194304 4627427 140735758292608 18446744073709551615 4506952 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 70864 1455 385 106 0 65835 0
[pid=2061/tid=2062] ppid=2059 vsize=283456 CPUtime=0.14 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 451 0 0 0 14 0 0 0 25 0 4 0 522178663 290258944 1455 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=283456 CPUtime=0.14 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 416 0 0 0 14 0 0 0 25 0 4 0 522178663 290258944 1455 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308326 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=283456 CPUtime=0.14 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 374 0 0 0 14 0 0 0 25 0 4 0 522178663 290258944 1455 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 283456

[startup+0.300259 s]
/proc/loadavg: 3.68 4.73 6.34 2/172 2061
/proc/meminfo: memFree=22126648/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=283628 CPUtime=1.18 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 2636 0 0 0 118 0 0 0 25 0 4 0 522178662 290435072 2005 33554432000 4194304 4627427 140735758292608 18446744073709551615 4506933 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 70907 2005 385 106 0 65878 0
[pid=2061/tid=2062] ppid=2059 vsize=283628 CPUtime=0.29 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 589 0 0 0 29 0 0 0 25 0 4 0 522178663 290435072 2005 33554432000 4194304 4627427 140735758292608 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=283628 CPUtime=0.29 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 548 0 0 0 29 0 0 0 25 0 4 0 522178663 290435072 2005 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=283628 CPUtime=0.29 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 517 0 0 0 29 0 0 0 25 0 4 0 522178663 290435072 2005 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283628

[startup+0.70019 s]
/proc/loadavg: 3.68 4.73 6.34 2/172 2061
/proc/meminfo: memFree=22126648/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=293468 CPUtime=2.78 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 4363 0 0 0 278 0 0 0 25 0 4 0 522178662 300511232 2671 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 73367 2671 385 106 0 68338 0
[pid=2061/tid=2062] ppid=2059 vsize=293468 CPUtime=0.69 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 1085 0 0 0 69 0 0 0 25 0 4 0 522178663 300511232 2671 33554432000 4194304 4627427 140735758292608 18446744073709551615 268272732295 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=293468 CPUtime=0.69 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 1036 0 0 0 69 0 0 0 25 0 4 0 522178663 300511232 2420 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=284844 CPUtime=0.69 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 895 0 0 0 69 0 0 0 25 0 4 0 522178663 291680256 2421 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 293468

[startup+1.50105 s]
/proc/loadavg: 3.68 4.73 6.34 9/184 2074
/proc/meminfo: memFree=22106836/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=285632 CPUtime=5.97 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 8172 0 0 0 597 0 0 0 25 0 4 0 522178662 292487168 4307 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 71408 4307 389 106 0 66379 0
[pid=2061/tid=2062] ppid=2059 vsize=285632 CPUtime=1.49 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 1670 0 0 0 149 0 0 0 25 0 4 0 522178663 292487168 4307 33554432000 4194304 4627427 140735758292608 18446744073709551615 4310370 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=285632 CPUtime=1.49 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 1643 0 0 0 149 0 0 0 25 0 4 0 522178663 292487168 4307 33554432000 4194304 4627427 140735758292608 18446744073709551615 4327570 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=285632 CPUtime=1.48 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 1608 0 0 0 148 0 0 0 25 0 4 0 522178663 292487168 4307 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285632

[startup+3.10076 s]
/proc/loadavg: 4.03 4.78 6.34 9/184 2074
/proc/meminfo: memFree=22071992/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=290632 CPUtime=12.36 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 17290 0 0 0 1234 2 0 0 25 0 4 0 522178662 297607168 8249 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308265 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 72658 8249 389 106 0 67629 0
[pid=2061/tid=2062] ppid=2059 vsize=290632 CPUtime=3.08 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 3779 0 0 0 308 0 0 0 25 0 4 0 522178663 297607168 8249 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=290632 CPUtime=3.08 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 4636 0 0 0 308 0 0 0 25 0 4 0 522178663 297607168 8249 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308717 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=290632 CPUtime=3.07 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 4282 0 0 0 307 0 0 0 25 0 4 0 522178663 297607168 8249 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 290632

[startup+6.30019 s]
/proc/loadavg: 4.03 4.78 6.34 9/184 2104
/proc/meminfo: memFree=22068392/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=296616 CPUtime=25.14 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 27002 0 0 0 2510 4 0 0 25 0 4 0 522178662 303734784 11526 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 74154 11526 389 106 0 69125 0
[pid=2061/tid=2062] ppid=2059 vsize=296616 CPUtime=6.29 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 6534 0 0 0 628 1 0 0 25 0 4 0 522178663 303734784 11526 33554432000 4194304 4627427 140735758292608 18446744073709551615 4322040 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=296616 CPUtime=6.28 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 7725 0 0 0 627 1 0 0 25 0 4 0 522178663 303734784 11526 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=296616 CPUtime=6.25 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 6046 0 0 0 625 0 0 0 25 0 4 0 522178663 303734784 11526 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 296616

[startup+12.7011 s]
/proc/loadavg: 4.71 4.90 6.37 9/184 2104
/proc/meminfo: memFree=22009872/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=307116 CPUtime=50.71 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 43079 0 0 0 5063 8 0 0 25 0 4 0 522178662 314486784 17060 33554432000 4194304 4627427 140735758292608 18446744073709551615 4327647 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 76779 17060 389 106 0 71750 0
[pid=2061/tid=2062] ppid=2059 vsize=307116 CPUtime=12.68 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 9903 0 0 0 1267 1 0 0 25 0 4 0 522178663 314486784 17060 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=307116 CPUtime=12.69 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 10664 0 0 0 1267 2 0 0 25 0 4 0 522178663 314486784 17060 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=307116 CPUtime=12.63 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 10580 0 0 0 1261 2 0 0 25 0 4 0 522178663 314486784 17060 33554432000 4194304 4627427 140735758292608 18446744073709551615 4310172 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 307116

[startup+25.5008 s]
/proc/loadavg: 5.21 5.01 6.38 9/184 2134
/proc/meminfo: memFree=21986888/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=312100 CPUtime=101.84 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 65750 0 0 0 10169 15 0 0 25 0 4 0 522178662 319590400 22776 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 78025 22777 389 106 0 72996 0
[pid=2061/tid=2062] ppid=2059 vsize=312100 CPUtime=25.49 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 16038 0 0 0 2545 4 0 0 25 0 4 0 522178663 319590400 22777 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=312100 CPUtime=25.48 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 16908 0 0 0 2545 3 0 0 25 0 4 0 522178663 319590400 22777 33554432000 4194304 4627427 140735758292608 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=312100 CPUtime=25.35 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 15155 0 0 0 2532 3 0 0 25 0 4 0 522178663 319590400 22777 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 312100

[startup+51.1002 s]
/proc/loadavg: 6.16 5.25 6.43 9/184 2135
/proc/meminfo: memFree=21889236/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=341960 CPUtime=204.11 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 100273 0 0 0 20386 25 0 0 25 0 4 0 522178662 350167040 29838 33554432000 4194304 4627427 140735758292608 18446744073709551615 4322044 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 85490 29838 389 106 0 80461 0
[pid=2061/tid=2062] ppid=2059 vsize=341960 CPUtime=51.08 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 24966 0 0 0 5102 6 0 0 25 0 4 0 522178663 350167040 29838 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=341960 CPUtime=51.08 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 26054 0 0 0 5103 5 0 0 25 0 4 0 522178663 350167040 29838 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=341960 CPUtime=50.82 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 23328 0 0 0 5076 6 0 0 25 0 4 0 522178663 350167040 29838 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 341960

[startup+102.306 s]
/proc/loadavg: 7.39 5.74 6.52 9/184 2136
/proc/meminfo: memFree=21844588/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=343856 CPUtime=408.65 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 152892 0 0 0 40824 41 0 0 25 0 4 0 522178662 352108544 35880 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 85964 35880 389 106 0 80935 0
[pid=2061/tid=2062] ppid=2059 vsize=343856 CPUtime=102.29 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 37003 0 0 0 10220 9 0 0 25 0 4 0 522178663 352108544 35880 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=343856 CPUtime=102.29 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 39031 0 0 0 10219 10 0 0 25 0 4 0 522178663 352108544 35880 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=343856 CPUtime=101.74 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 37379 0 0 0 10164 10 0 0 25 0 4 0 522178663 352108544 35880 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 343856

[startup+162.3 s]

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

[pid=2061] ppid=2059 vsize=551272 CPUtime=2805.42 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 482977 0 0 0 280361 181 0 0 25 0 4 0 522178662 564502528 81971 33554432000 4194304 4627427 140735758292608 18446744073709551615 4310469 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 137818 81971 389 106 0 132789 0
[pid=2061/tid=2062] ppid=2059 vsize=551272 CPUtime=702.3 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 117042 0 0 0 70182 48 0 0 25 0 4 0 522178663 564502528 81971 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=551272 CPUtime=702.29 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 131144 0 0 0 70183 46 0 0 25 0 4 0 522178663 564502528 81971 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=551272 CPUtime=698.49 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 114665 0 0 0 69806 43 0 0 25 0 4 0 522178663 564502528 81971 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.42
Current children cumulated vsize (KiB) 551272

[startup+762.307 s]
/proc/loadavg: 8.05 7.78 7.28 9/184 2154
/proc/meminfo: memFree=21494228/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=539188 CPUtime=3045.12 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 505876 0 0 0 304320 192 0 0 25 0 4 0 522178662 552128512 82371 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 134797 82371 389 106 0 129768 0
[pid=2061/tid=2062] ppid=2059 vsize=539188 CPUtime=762.31 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 123416 0 0 0 76179 52 0 0 25 0 4 0 522178663 552128512 82371 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=539188 CPUtime=762.3 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 137598 0 0 0 76181 49 0 0 25 0 4 0 522178663 552128512 82371 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=539188 CPUtime=758.16 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 121156 0 0 0 75771 45 0 0 25 0 4 0 522178663 552128512 82371 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.12
Current children cumulated vsize (KiB) 539188

[startup+822.301 s]
/proc/loadavg: 8.06 7.84 7.33 9/184 2155
/proc/meminfo: memFree=21466932/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=568496 CPUtime=3284.77 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 537036 0 0 0 328273 204 0 0 25 0 4 0 522178662 582139904 89125 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 142124 89125 389 106 0 137095 0
[pid=2061/tid=2062] ppid=2059 vsize=568496 CPUtime=822.31 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 132544 0 0 0 82176 55 0 0 25 0 4 0 522178663 582139904 89125 33554432000 4194304 4627427 140735758292608 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=568496 CPUtime=822.3 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 143765 0 0 0 82177 53 0 0 25 0 4 0 522178663 582139904 89125 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=568496 CPUtime=817.83 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 132288 0 0 0 81735 48 0 0 25 0 4 0 522178663 582139904 89125 33554432000 4194304 4627427 140735758292608 18446744073709551615 4420161 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 568496

[startup+882.3 s]
/proc/loadavg: 8.06 7.88 7.37 9/184 2157
/proc/meminfo: memFree=21424004/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=581408 CPUtime=3524.45 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 562224 0 0 0 352229 216 0 0 25 0 4 0 522178662 595361792 91416 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 145352 91416 389 106 0 140323 0
[pid=2061/tid=2062] ppid=2059 vsize=581408 CPUtime=882.3 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 138680 0 0 0 88172 58 0 0 25 0 4 0 522178663 595361792 91416 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=581408 CPUtime=882.29 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 151821 0 0 0 88174 55 0 0 25 0 4 0 522178663 595361792 91416 33554432000 4194304 4627427 140735758292608 18446744073709551615 4504432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=581408 CPUtime=877.5 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 137957 0 0 0 87699 51 0 0 25 0 4 0 522178663 595361792 91416 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.45
Current children cumulated vsize (KiB) 581408

[startup+942.301 s]
/proc/loadavg: 8.06 7.91 7.42 9/184 2158
/proc/meminfo: memFree=21413944/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=569172 CPUtime=3764.13 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 586398 0 0 0 376185 228 0 0 25 0 4 0 522178662 582832128 94486 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 142293 94486 389 106 0 137264 0
[pid=2061/tid=2062] ppid=2059 vsize=569172 CPUtime=942.31 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 144789 0 0 0 94169 62 0 0 25 0 4 0 522178663 582832128 94486 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=569172 CPUtime=942.3 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 158074 0 0 0 94172 58 0 0 25 0 4 0 522178663 582832128 94486 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=569172 CPUtime=937.18 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 143943 0 0 0 93664 54 0 0 25 0 4 0 522178663 582832128 94486 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.13
Current children cumulated vsize (KiB) 569172

[startup+1002.3 s]
/proc/loadavg: 8.12 7.96 7.46 9/184 2160
/proc/meminfo: memFree=21392352/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=577376 CPUtime=4003.8 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 607616 0 0 0 400143 237 0 0 25 0 4 0 522178662 591233024 97791 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 144344 97791 389 106 0 139315 0
[pid=2061/tid=2062] ppid=2059 vsize=577376 CPUtime=1002.31 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 150858 0 0 0 100166 65 0 0 25 0 4 0 522178663 591233024 97791 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=577376 CPUtime=1002.3 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 163904 0 0 0 100170 60 0 0 25 0 4 0 522178663 591233024 97791 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=577376 CPUtime=996.85 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 147706 0 0 0 99629 56 0 0 25 0 4 0 522178663 591233024 97791 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 577376

[startup+1062.3 s]
/proc/loadavg: 8.11 7.98 7.50 9/184 2162
/proc/meminfo: memFree=21347696/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=577592 CPUtime=4243.49 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 628457 0 0 0 424103 246 0 0 25 0 4 0 522178662 591454208 104938 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 144398 104938 389 106 0 139369 0
[pid=2061/tid=2062] ppid=2059 vsize=577592 CPUtime=1062.31 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 156349 0 0 0 106165 66 0 0 25 0 4 0 522178663 591454208 104938 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=577592 CPUtime=1062.31 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 168586 0 0 0 106168 63 0 0 25 0 4 0 522178663 591454208 104938 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=577592 CPUtime=1056.53 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 153923 0 0 0 105595 58 0 0 25 0 4 0 522178663 591454208 104938 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 577592

[startup+1122.3 s]
/proc/loadavg: 8.07 7.99 7.53 9/184 2163
/proc/meminfo: memFree=21321636/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=643424 CPUtime=4483.16 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 651600 0 0 0 448059 257 0 0 25 0 4 0 522178662 658866176 108909 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 160856 108909 389 106 0 155827 0
[pid=2061/tid=2062] ppid=2059 vsize=643424 CPUtime=1122.31 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 161964 0 0 0 112161 70 0 0 25 0 4 0 522178663 658866176 108909 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=643424 CPUtime=1122.3 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 174488 0 0 0 112165 65 0 0 25 0 4 0 522178663 658866176 108909 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=643424 CPUtime=1116.2 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 159727 0 0 0 111559 61 0 0 25 0 4 0 522178663 658866176 108909 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 643424

[startup+1182.3 s]
/proc/loadavg: 8.06 8.01 7.56 9/184 2165
/proc/meminfo: memFree=21318888/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=630636 CPUtime=4722.85 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 670180 0 0 0 472018 267 0 0 25 0 4 0 522178662 645771264 108531 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 157659 108531 389 106 0 152630 0
[pid=2061/tid=2062] ppid=2059 vsize=630636 CPUtime=1182.31 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 166561 0 0 0 118159 72 0 0 25 0 4 0 522178663 645771264 108531 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=630636 CPUtime=1182.31 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 180532 0 0 0 118163 68 0 0 25 0 4 0 522178663 645771264 108531 33554432000 4194304 4627427 140735758292608 18446744073709551615 4504432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=630636 CPUtime=1175.88 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 162186 0 0 0 117526 62 0 0 25 0 4 0 522178663 645771264 108531 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.85
Current children cumulated vsize (KiB) 630636



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.02 7.57 9/184 2166
/proc/meminfo: memFree=21313056/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=631228 CPUtime=4800.35 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 676374 0 0 0 479766 269 0 0 25 0 4 0 522178662 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 157807 111540 389 106 0 152778 0
[pid=2061/tid=2062] ppid=2059 vsize=631228 CPUtime=1201.72 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 168875 0 0 0 120099 73 0 0 25 0 4 0 522178663 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=631228 CPUtime=1201.71 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 181829 0 0 0 120102 69 0 0 25 0 4 0 522178663 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=631228 CPUtime=1195.17 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 163495 0 0 0 119455 62 0 0 25 0 4 0 522178663 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 631228

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.10 8.02 7.57 9/184 2166
/proc/meminfo: memFree=21313056/32950928 swapFree=67111524/67111528
[pid=2061] ppid=2059 vsize=631228 CPUtime=4800.35 cores=1,3,5,7
/proc/2061/stat : 2061 (strangenight2-m) R 2059 2061 1515 0 -1 4202496 676374 0 0 0 479766 269 0 0 25 0 4 0 522178662 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2061/statm: 157807 111540 389 106 0 152778 0
[pid=2061/tid=2062] ppid=2059 vsize=631228 CPUtime=1201.72 cores=1,3,5,7
/proc/2061/task/2062/stat : 2062 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 168875 0 0 0 120099 73 0 0 25 0 4 0 522178663 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2061/tid=2063] ppid=2059 vsize=631228 CPUtime=1201.71 cores=1,3,5,7
/proc/2061/task/2063/stat : 2063 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 181829 0 0 0 120102 69 0 0 25 0 4 0 522178663 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2061/tid=2064] ppid=2059 vsize=631228 CPUtime=1195.17 cores=1,3,5,7
/proc/2061/task/2064/stat : 2064 (strangenight2-m) R 2059 2061 1515 0 -1 4202560 163495 0 0 0 119455 62 0 0 25 0 4 0 522178663 646377472 111540 33554432000 4194304 4627427 140735758292608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.35
Current children cumulated vsize (KiB) 631228

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.41
CPU user time (s): 4797.69
CPU system time (s): 2.71759
CPU usage (%): 399.457
Max. virtual memory (cumulated for all children) (KiB): 681996

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.69
system time used= 2.71759
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676376
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= 201
involuntary context switches= 17931

runsolver used 1.9457 second user time and 4.6193 second system time

The end

Launcher Data 

Begin job on node122 at 2011-04-29 21:36:39
IDJOB=3174154
IDBENCH=82972
IDSOLVER=1586
FILE ID=node122/3174154-1304105799
RUNJOBID= node122-1304105799-2047
PBS_JOBID= 13170631
Free space on /tmp= 71664 MiB

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

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

MD5SUM BENCH= 181d327d4cfd49957ee63dfb74a0e12a
RANDOM SEED=148889939

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.820
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.820
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.97
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      22126928 kB
Buffers:       1630456 kB
Cached:        8580440 kB
SwapCached:          4 kB
Active:        1125928 kB
Inactive:      9149256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      22126928 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11364 kB
Writeback:           0 kB
AnonPages:       63896 kB
Mapped:          14684 kB
Slab:           486128 kB
PageTables:       4324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   188640 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= 71652 MiB
End job on node122 at 2011-04-29 21:56:42