Trace number 3174145

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v450-c1917-S222128792-011.SATISFIABLE.cnf
MD5SUMafacdefc4a366ba0b827e7e74ce8af4c
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
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-3174145-1304103143.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
2.77/0.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2.77/0.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2.77/0.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2.77/0.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    450 time:  0.00 s
2.77/0.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2.77/0.71	c lits-rem:         0  cl-subs:        0  v-elim:     11  v-fix:    0  time:  0.00 s
2.77/0.71	c Finding binary XORs  T:     0.00 s  found:       0
2.77/0.71	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
2.77/0.71	c calculated reachability. Time: 0.00
2.77/0.71	c Calc default polars -  time:   0.00 s pos:     198 undec:      49 neg:     203
2.77/0.71	c =========================================================================================
2.77/0.71	c types(t): F = full restart, N = normal restart
2.77/0.71	c types(t): S = simplification begin/end, E = solution found
2.77/0.71	c restart types(rt): st = static, dy = dynamic
2.77/0.71	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
2.77/0.71	c  B st     0         0       439      1908         0         0      5799         0   no data   no data
2.77/0.71	c Decided on static restart strategy
2.77/0.71	c  N st     8      4919       439      1908         0      4812      5799    103178   no data   no data
2.77/0.71	c  N st    10     11302       439      1908         0      4458      5799     69621   no data   no data
2.77/0.71	c  N st    11     17045       439      1908         0     10050      5799    194775   no data   no data
3.99/1.07	c  F st    12     25002       439      1908         0     12281      5799    246124   no data   no data
3.99/1.07	c  N st    12     25002       439      1908         0     12281      5799    246124   no data   no data
5.18/1.32	c Decided on static restart strategy
5.18/1.32	c  N st    18     30001       439      1908         0     10622      5799    188280   no data   no data
5.18/1.32	c  S st    18     30001       439      1908         0     10622      5799    188280   no data   no data
5.18/1.35	c  S st    18     30502       439      1908         0     11122      5799    198963   no data   no data
5.18/1.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.18/1.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.18/1.35	c blocked clauses removed:       13 vars:      2 tried:         439 T: 0.00 s
5.18/1.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.18/1.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
5.18/1.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.18/1.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.18/1.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.41	c lits-rem:       255  cl-subs:      595  v-elim:      0  v-fix:    0  time:  0.05 s
5.57/1.42	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.01
5.57/1.42	c calculated reachability. Time: 0.00
5.57/1.42	c  N st    18     30502       437      1895         0     10527      5760    184650   no data   no data
6.77/1.79	c  N st    20     37613       437      1895         0      9792      5760    145663   no data   no data
8.39/2.15	c  N st    21     44014       437      1895         0     16019      5760    272879   no data   no data
8.79/2.28	c  S st    22     45753       437      1895         0      9020      5760    118712   no data   no data
9.16/2.31	c  S st    22     46253       437      1895         0      9519      5760    129567   no data   no data
9.16/2.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.16/2.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.16/2.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.16/2.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.16/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
9.16/2.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.16/2.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.16/2.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.16/2.32	c lits-rem:        31  cl-subs:      112  v-elim:      0  v-fix:    0  time:  0.01 s
9.16/2.32	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
9.16/2.33	c vivif2 --  cl tried     9407 cl shrink        0 lits rem          0 time: 0.00
9.16/2.33	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.01
9.16/2.33	c calculated reachability. Time: 0.00
9.16/2.33	c  N st    22     46253       437      1895         0      9407      5760    127418   no data   no data
12.78/3.23	c  N st    23     60651       437      1895         0     13640      5760    207599   no data   no data
15.16/3.84	c  N st    24     69379       437      1895         0     11483      5760    155474   no data   no data
15.16/3.84	c  S st    24     69379       437      1895         0     11483      5760    155474   no data   no data
15.16/3.88	c  S st    24     69882       437      1895         0     11985      5760    166354   no data   no data
15.16/3.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.16/3.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
15.16/3.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.16/3.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.16/3.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.16/3.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
15.16/3.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.16/3.88	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.16/3.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.56/3.91	c lits-rem:        39  cl-subs:      184  v-elim:      0  v-fix:    0  time:  0.02 s
15.56/3.91	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
15.56/3.91	c vivif2 --  cl tried    11801 cl shrink        0 lits rem          0 time: 0.00
15.56/3.92	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.01
15.56/3.92	c calculated reachability. Time: 0.00
15.56/3.92	c  N st    24     69882       437      1895         0     11801      5760    162731   no data   no data
20.75/5.23	c  F st    25     87500       437      1895         0     17294      5760    271551   no data   no data
20.75/5.23	c  N st    25     87500       437      1895         0     17294      5760    271551   no data   no data
22.34/5.67	c Decided on static restart strategy
23.54/5.92	c  N st    32     95537       437      1895         0     25133      5760    439200   no data   no data
26.36/6.60	c  N st    34    104823       437      1895         0     21567      5760    346191   no data   no data
26.36/6.60	c  S st    34    104823       437      1895         0     21567      5760    346191   no data   no data
26.36/6.66	c  S st    34    105326       437      1895         0     22068      5760    356649   no data   no data
26.36/6.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.36/6.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
26.36/6.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.36/6.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.36/6.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.36/6.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
26.36/6.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.36/6.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.36/6.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.14/6.84	c lits-rem:        96  cl-subs:     1012  v-elim:      0  v-fix:    0  time:  0.16 s
27.14/6.84	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
27.14/6.84	c vivif2 --  cl tried    21056 cl shrink        0 lits rem          0 time: 0.00
27.14/6.85	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.01
27.14/6.85	c calculated reachability. Time: 0.00
27.14/6.85	c  N st    34    105326       437      1895         0     21056      5760    334520   no data   no data
30.36/7.66	c  N st    35    114925       437      1895         0     16736      5760    223153   no data   no data
35.53/8.99	c  N st    36    129322       437      1895         0     16149      5760    195731   no data   no data
43.53/10.96	c  N st    37    150918       437      1895         0     21581      5760    305089   no data   no data
46.32/11.63	c  S st    38    157990       437      1895         0     28532      5760    461178   no data   no data
46.72/11.70	c  S st    38    158495       437      1895         0     29036      5760    472100   no data   no data
46.72/11.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
46.72/11.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
46.72/11.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
46.72/11.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
46.72/11.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.72/11.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
46.72/11.71	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
46.72/11.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
46.72/11.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.93/12.08	c lits-rem:       288  cl-subs:     1801  v-elim:      0  v-fix:    0  time:  0.35 s
47.93/12.08	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
47.93/12.08	c vivif2 --  cl tried    27235 cl shrink        0 lits rem          0 time: 0.01
47.93/12.10	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.02
47.93/12.10	c calculated reachability. Time: 0.00
47.93/12.10	c  N st    38    158495       437      1895         0     27235      5760    433345   no data   no data
67.09/16.86	c  N st    39    207083       437      1895         0     21878      5760    276939   no data   no data
78.69/19.79	c  N st    40    237743       437      1895         0     32342      5760    515111   no data   no data
78.69/19.79	c  S st    40    237743       437      1895         0     32342      5760    515111   no data   no data
79.09/19.87	c  S st    40    238245       437      1895         0     32842      5760    526041   no data   no data
79.09/19.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.09/19.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.09/19.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.09/19.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.09/19.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.09/19.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
79.09/19.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
79.09/19.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
79.47/19.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.07/20.36	c lits-rem:       279  cl-subs:     1771  v-elim:      0  v-fix:    0  time:  0.46 s
81.07/20.37	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
81.07/20.37	c vivif2 --  cl tried    31071 cl shrink        0 lits rem          0 time: 0.01
81.07/20.39	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.02
81.07/20.39	c calculated reachability. Time: 0.00
81.07/20.39	c  N st    40    238245       437      1895         0     31071      5760    485898   no data   no data
113.03/28.33	c  F st    41    306251       437      1895         0     32994      5760    475625   no data   no data
113.03/28.33	c  N st    41    306251       437      1895         0     32994      5760    475625   no data   no data
115.82/29.00	c Decided on static restart strategy
127.43/31.93	c  N st    51    334551       437      1895         0     37181      5760    551219   no data   no data
138.59/34.74	c  N st    53    357368       437      1895         0     35088      5760    496960   no data   no data
138.59/34.74	c  S st    53    357368       437      1895         0     35088      5760    496960   no data   no data
138.99/34.83	c  S st    53    357868       437      1895         0     35588      5760    508422   no data   no data
138.99/34.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.99/34.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
138.99/34.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.99/34.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.99/34.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.99/34.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
138.99/34.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
138.99/34.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
138.99/34.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
140.21/35.20	c lits-rem:       245  cl-subs:     1453  v-elim:      0  v-fix:    0  time:  0.34 s
140.61/35.20	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
140.61/35.21	c vivif2 --  cl tried    34135 cl shrink        0 lits rem          0 time: 0.01
140.61/35.23	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.02
140.61/35.23	c calculated reachability. Time: 0.00
140.61/35.23	c  N st    53    357868       437      1895         0     34135      5760    476511   no data   no data
158.18/39.66	c  N st    54    390260       437      1895         0     40440      5760    607808   no data   no data
188.54/47.28	c  N st    55    438850       437      1895         0     34146      5760    416065   no data   no data
233.65/58.58	c  N st    56    511733       437      1895         0     47591      5760    669365   no data   no data
249.24/62.41	c  N st    57    536802       437      1895         0     41874      5760    559403   no data   no data
249.24/62.41	c  S st    57    536802       437      1895         0     41874      5760    559403   no data   no data
249.64/62.52	c  S st    57    537307       437      1895         0     42378      5760    570721   no data   no data
249.64/62.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
249.64/62.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
249.64/62.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
249.64/62.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
249.64/62.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
249.64/62.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
249.64/62.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
249.64/62.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
249.64/62.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
251.23/62.94	c lits-rem:       256  cl-subs:     1334  v-elim:      0  v-fix:    0  time:  0.37 s
251.23/62.94	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
251.23/62.95	c vivif2 --  cl tried    41044 cl shrink        0 lits rem          0 time: 0.01
251.23/62.97	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.03
251.23/62.97	c calculated reachability. Time: 0.00
251.23/62.98	c  N st    57    537307       437      1895         0     41044      5760    541131   no data   no data
353.49/88.58	c  N st    58    701291       437      1895         0     34991      5760    332753   no data   no data
430.21/107.79	c  N st    59    805961       437      1895         0     63869      5760    963888   no data   no data
430.21/107.79	c  S st    59    805961       437      1895         0     63869      5760    963888   no data   no data
430.98/107.97	c  S st    59    806466       437      1895         0     64373      5760    975432   no data   no data
430.98/107.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
431.38/108.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
431.38/108.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
431.38/108.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
431.38/108.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
431.38/108.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
431.38/108.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
431.38/108.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
431.38/108.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
440.97/110.42	c lits-rem:       530  cl-subs:     4715  v-elim:      0  v-fix:    0  time:  2.38 s
440.97/110.42	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
440.97/110.44	c vivif2 --  cl tried    59658 cl shrink        0 lits rem          0 time: 0.01
440.97/110.49	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.05
440.97/110.49	c calculated reachability. Time: 0.00
440.97/110.49	c  N st    59    806466       437      1895         0     59658      5760    877066   no data   no data
650.31/162.83	c  F st    60   1071876       437      1895         0     76006      5760   1212224   no data   no data
650.31/162.83	c  N st    60   1071876       437      1895         0     76006      5760   1212224   no data   no data
656.28/164.35	c Decided on static restart strategy
677.05/169.53	c  N st    70   1100176       437      1895         0     59831      5760    762790   no data   no data
712.60/178.42	c  N st    72   1136170       437      1895         0     50028      5760    521713   no data   no data
738.18/184.88	c  N st    73   1168562       437      1895         0     81420      5760   1218317   no data   no data
778.11/194.88	c  N st    74   1209699       437      1895         0     75623      5760   1093215   no data   no data
778.11/194.88	c  S st    74   1209699       437      1895         0     75623      5760   1093215   no data   no data
779.31/195.12	c  S st    74   1210200       437      1895         0     76121      5760   1105139   no data   no data
779.31/195.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
779.31/195.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
779.31/195.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
779.31/195.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
779.31/195.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
779.31/195.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
779.31/195.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
779.31/195.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
779.70/195.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
792.09/198.30	c lits-rem:       504  cl-subs:     5038  v-elim:      0  v-fix:    0  time:  3.09 s
792.09/198.30	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
792.09/198.32	c vivif2 --  cl tried    71083 cl shrink        0 lits rem          0 time: 0.02
792.09/198.38	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.06
792.09/198.38	c calculated reachability. Time: 0.00
792.09/198.38	c  N st    74   1210200       437      1895         0     71083      5760   1000872   no data   no data
864.39/216.40	c  N st    75   1283083       437      1895         0     47839      5760    434936   no data   no data
979.03/245.11	c  N st    76   1392407       437      1895         0     55768      5760    574951   no data   no data
1145.20/286.73	c  N st    77   1556391       437      1895         0     60749      5760    647602   no data   no data
1316.17/329.55	c  N st    78   1710200       437      1895         0    101779      5760   1485262   no data   no data
1316.17/329.55	c  S st    78   1710200       437      1895         0    101779      5760   1485262   no data   no data
1317.37/329.89	c  S st    78   1710703       437      1895         0    102282      5760   1496423   no data   no data
1317.37/329.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1317.79/329.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1317.79/329.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1317.79/329.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1317.79/329.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1317.79/329.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1317.79/329.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1317.79/329.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1318.19/330.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1354.51/339.19	c lits-rem:       713  cl-subs:    11955  v-elim:      0  v-fix:    0  time:  9.17 s
1354.51/339.19	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
1354.91/339.21	c vivif2 --  cl tried    90327 cl shrink        0 lits rem          0 time: 0.02
1354.91/339.29	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.09
1355.31/339.30	c calculated reachability. Time: 0.00
1355.31/339.30	c  N st    78   1710703       437      1895         0     90327      5760   1268715   no data   no data
1736.39/434.77	c  N st    79   2079667       437      1895         0    102820      5760   1521265   no data   no data
1879.00/470.40	c  N st    80   2210704       437      1895         0    106765      5760   1561531   no data   no data
1879.00/470.40	c  S st    80   2210704       437      1895         0    106765      5760   1561531   no data   no data
1880.22/470.77	c  S st    80   2211212       437      1895         0    107272      5760   1572762   no data   no data
1880.22/470.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1880.62/470.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1880.62/470.82	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1880.62/470.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1880.62/470.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1880.62/470.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
1880.62/470.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1880.62/470.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1880.99/470.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1906.58/477.35	c lits-rem:       910  cl-subs:     6353  v-elim:      0  v-fix:    0  time:  6.45 s
1906.58/477.35	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
1906.58/477.37	c vivif2 --  cl tried   100919 cl shrink        0 lits rem          0 time: 0.02
1906.98/477.47	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.10
1906.98/477.47	c calculated reachability. Time: 0.00
1906.98/477.47	c  N st    80   2211212       437      1895         0    100919      5760   1441677   no data   no data
2512.94/629.14	c  N st    81   2711213       437      1895         0    124125      5760   1890549   no data   no data
2512.94/629.14	c  S st    81   2711213       437      1895         0    124125      5760   1890549   no data   no data
2514.91/629.65	c  S st    81   2711717       437      1895         0    124629      5760   1901784   no data   no data
2514.91/629.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2515.31/629.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.07
2515.31/629.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2515.31/629.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2515.31/629.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2515.31/629.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
2515.31/629.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2515.31/629.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2515.71/629.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2571.63/643.84	c lits-rem:      1842  cl-subs:    10886  v-elim:      0  v-fix:    0  time: 14.03 s
2571.63/643.84	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
2571.63/643.87	c vivif2 --  cl tried   113743 cl shrink        0 lits rem          0 time: 0.02
2572.03/643.99	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.12
2572.03/643.99	c calculated reachability. Time: 0.00
2572.03/643.99	c  N st    81   2711717       437      1895         0    113743      5760   1672130   no data   no data
3257.09/815.49	c  N st    82   3211717       437      1895         0     89852      5760    999409   no data   no data
3257.09/815.49	c  S st    82   3211717       437      1895         0     89852      5760    999409   no data   no data
3258.29/815.76	c  S st    82   3212224       437      1895         0     90358      5760   1010956   no data   no data
3258.29/815.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3258.69/815.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3258.69/815.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3258.69/815.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3258.69/815.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3258.69/815.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
3258.69/815.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3258.69/815.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3258.69/815.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3264.30/817.29	c lits-rem:       195  cl-subs:     2605  v-elim:      0  v-fix:    0  time:  1.43 s
3264.30/817.29	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
3264.70/817.31	c vivif2 --  cl tried    87753 cl shrink        0 lits rem          0 time: 0.02
3265.08/817.42	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.11
3265.08/817.42	c calculated reachability. Time: 0.00
3265.08/817.42	c  N st    82   3212224       437      1895         0     87753      5760    958619   no data   no data
4033.25/1009.73	c  N st    83   3712224       437      1895         0     98179      5760   1078507   no data   no data
4033.25/1009.73	c  S st    83   3712224       437      1895         0     98179      5760   1078507   no data   no data
4034.43/1010.06	c  S st    83   3712732       437      1895         0     98686      5760   1090195   no data   no data
4034.43/1010.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4034.83/1010.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
4034.83/1010.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4034.83/1010.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4034.83/1010.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4034.83/1010.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    437 time:  0.00 s
4034.83/1010.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4034.83/1010.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4034.83/1010.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4041.22/1011.75	c lits-rem:       335  cl-subs:     4182  v-elim:      0  v-fix:    0  time:  1.57 s
4041.22/1011.75	c vivif2 --  cl tried     1895 cl shrink        0 lits rem          0 time: 0.00
4041.22/1011.77	c vivif2 --  cl tried    94504 cl shrink        0 lits rem          0 time: 0.02
4041.62/1011.86	c asymm  cl-useful: 0/1895/1895 lits-rem:0 time: 0.09
4041.62/1011.86	c calculated reachability. Time: 0.00
4041.62/1011.86	c  N st    83   3712732       437      1895         0     94504      5760   1012569   no data   no data
4099.17/1026.25	c  F st    84   3751562       437      1895         0    132167      5760   1920505   no data   no data
4099.17/1026.26	c  N st    84   3751562       437      1895         0    132167      5760   1920505   no data   no data
4112.35/1029.60	c Decided on static restart strategy
4161.45/1041.89	c  N st    94   3779869       437      1895         0    159593      5760   2533061   no data   no data
4214.58/1055.16	c  N st    96   3815861       437      1895         0    112287      5760   1384204   no data   no data
4276.10/1070.53	c  N st    97   3848255       437      1895         0    143806      5760   2081101   no data   no data
4360.78/1091.77	c  N st    98   3896843       437      1895         0    107480      5760   1242214   no data   no data
4479.43/1121.40	c  N st    99   3969725       437      1895         0     93876      5760    947358   no data   no data
4655.59/1165.59	c  N st   100   4079048       437      1895         0    114312      5760   1419701   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-3174145-1304103143/watcher-3174145-1304103143 -o /tmp/evaluation-result-3174145-1304103143/solver-3174145-1304103143 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174145-1304103143.cnf 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.62 8.11 7.78 3/178 24131
/proc/meminfo: memFree=25374092/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=191464 CPUtime=0 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 578 0 0 0 0 0 0 0 20 0 4 0 521912444 196059136 499 33554432000 4194304 4627427 140734457524848 18446744073709551615 232335553221 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 47866 506 338 106 0 42837 0
[pid=24131/tid=24134] ppid=24128 vsize=191596 CPUtime=0 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) D 24128 24131 23437 0 -1 4202560 69 0 0 0 0 0 0 0 21 0 4 0 521912445 196194304 514 33554432000 4194304 4627427 140734457524848 18446744073709551615 4314181 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=199800 CPUtime=0 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 55 0 0 0 0 0 0 0 21 0 4 0 521912445 204595200 523 33554432000 4194304 4627427 140734457524848 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=199800 CPUtime=0 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) D 24128 24131 23437 0 -1 4202560 19 0 0 0 0 0 0 0 21 0 4 0 521912445 204595200 536 33554432000 4194304 4627427 140734457524848 18446744073709551615 232335935578 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0621221 s]
/proc/loadavg: 7.62 8.11 7.78 3/178 24131
/proc/meminfo: memFree=25374092/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=282184 CPUtime=0.22 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 1424 0 0 0 22 0 0 0 18 0 4 0 521912444 288956416 1300 33554432000 4194304 4627427 140734457524848 18446744073709551615 4327897 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 70546 1300 384 106 0 65517 0
[pid=24131/tid=24134] ppid=24128 vsize=282184 CPUtime=0.05 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 296 0 0 0 5 0 0 0 18 0 4 0 521912445 288956416 1300 33554432000 4194304 4627427 140734457524848 18446744073709551615 4330943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=282184 CPUtime=0.05 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 258 0 0 0 5 0 0 0 18 0 4 0 521912445 288956416 1300 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=282184 CPUtime=0.05 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 195 0 0 0 5 0 0 0 21 0 4 0 521912445 288956416 1300 33554432000 4194304 4627427 140734457524848 18446744073709551615 4327640 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 282184

[startup+0.101115 s]
/proc/loadavg: 7.62 8.11 7.78 3/178 24131
/proc/meminfo: memFree=25374092/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=282184 CPUtime=0.38 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 1640 0 0 0 38 0 0 0 18 0 4 0 521912444 288956416 1516 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308606 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 70546 1516 384 106 0 65517 0
[pid=24131/tid=24134] ppid=24128 vsize=282184 CPUtime=0.09 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 350 0 0 0 9 0 0 0 18 0 4 0 521912445 288956416 1516 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=282184 CPUtime=0.09 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 305 0 0 0 9 0 0 0 18 0 4 0 521912445 288956416 1516 33554432000 4194304 4627427 140734457524848 18446744073709551615 4327897 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=282184 CPUtime=0.09 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 256 0 0 0 9 0 0 0 21 0 4 0 521912445 288956416 1516 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282184

[startup+0.30108 s]
/proc/loadavg: 7.62 8.11 7.78 3/178 24131
/proc/meminfo: memFree=25374092/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=283600 CPUtime=1.18 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 2632 0 0 0 118 0 0 0 18 0 4 0 521912444 290406400 1982 33554432000 4194304 4627427 140734457524848 18446744073709551615 4332551 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 70900 1982 385 106 0 65871 0
[pid=24131/tid=24134] ppid=24128 vsize=283600 CPUtime=0.29 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 601 0 0 0 29 0 0 0 18 0 4 0 521912445 290406400 1982 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=283600 CPUtime=0.29 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 552 0 0 0 29 0 0 0 18 0 4 0 521912445 290406400 1982 33554432000 4194304 4627427 140734457524848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=283600 CPUtime=0.29 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 503 0 0 0 29 0 0 0 21 0 4 0 521912445 290406400 1982 33554432000 4194304 4627427 140734457524848 18446744073709551615 4324761 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 283600

[startup+0.70101 s]
/proc/loadavg: 7.62 8.11 7.78 3/178 24131
/proc/meminfo: memFree=25374092/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=284644 CPUtime=2.77 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 4217 0 0 0 277 0 0 0 18 0 4 0 521912444 291475456 2531 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 71161 2531 385 106 0 66132 0
[pid=24131/tid=24134] ppid=24128 vsize=284644 CPUtime=0.69 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 1092 0 0 0 69 0 0 0 18 0 4 0 521912445 291475456 2531 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=284644 CPUtime=0.69 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 907 0 0 0 69 0 0 0 18 0 4 0 521912445 291475456 2531 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=284644 CPUtime=0.69 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 873 0 0 0 69 0 0 0 22 0 4 0 521912445 291475456 2531 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284644

[startup+1.50087 s]
/proc/loadavg: 7.62 8.11 7.78 9/188 24141
/proc/meminfo: memFree=25353800/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=290828 CPUtime=5.97 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 8162 0 0 0 596 1 0 0 20 0 4 0 521912444 297807872 4493 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 72707 4493 389 106 0 67678 0
[pid=24131/tid=24134] ppid=24128 vsize=290828 CPUtime=1.49 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 1690 0 0 0 149 0 0 0 20 0 4 0 521912445 297807872 4493 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=290828 CPUtime=1.49 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 1619 0 0 0 149 0 0 0 20 0 4 0 521912445 297807872 4493 33554432000 4194304 4627427 140734457524848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=290828 CPUtime=1.48 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 1573 0 0 0 148 0 0 0 25 0 4 0 521912445 297807872 4493 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 290828

[startup+3.10058 s]
/proc/loadavg: 7.65 8.11 7.78 9/188 24141
/proc/meminfo: memFree=25331284/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=282452 CPUtime=12.36 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 16264 0 0 0 1234 2 0 0 25 0 4 0 521912444 289230848 8818 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 70613 8818 389 106 0 65584 0
[pid=24131/tid=24134] ppid=24128 vsize=282452 CPUtime=3.08 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 3825 0 0 0 308 0 0 0 25 0 4 0 521912445 289230848 8818 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=282452 CPUtime=3.09 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 4477 0 0 0 308 1 0 0 25 0 4 0 521912445 289230848 8818 33554432000 4194304 4627427 140734457524848 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=282452 CPUtime=3.07 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 3611 0 0 0 307 0 0 0 25 0 4 0 521912445 289230848 8818 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 282452

[startup+6.30102 s]
/proc/loadavg: 7.65 8.11 7.78 10/188 24141
/proc/meminfo: memFree=25289880/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=293856 CPUtime=25.14 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 25435 0 0 0 2510 4 0 0 25 0 4 0 521912444 300908544 11851 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 73464 11852 389 106 0 68435 0
[pid=24131/tid=24134] ppid=24128 vsize=293856 CPUtime=6.29 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 6976 0 0 0 628 1 0 0 25 0 4 0 521912445 300908544 11852 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=293856 CPUtime=6.28 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 7437 0 0 0 627 1 0 0 25 0 4 0 521912445 300908544 11852 33554432000 4194304 4627427 140734457524848 18446744073709551615 232335553569 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=293856 CPUtime=6.25 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 4791 0 0 0 625 0 0 0 25 0 4 0 521912445 300908544 11852 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 293856

[startup+12.7009 s]
/proc/loadavg: 7.78 8.12 7.79 9/188 24141
/proc/meminfo: memFree=25226168/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=298272 CPUtime=50.71 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 40280 0 0 0 5063 8 0 0 25 0 4 0 521912444 305430528 20089 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 74568 20089 389 106 0 69539 0
[pid=24131/tid=24134] ppid=24128 vsize=298272 CPUtime=12.69 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 10847 0 0 0 1267 2 0 0 25 0 4 0 521912445 305430528 20089 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=298272 CPUtime=12.69 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 10030 0 0 0 1267 2 0 0 25 0 4 0 521912445 305430528 20090 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308280 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=298272 CPUtime=12.62 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 9137 0 0 0 1261 1 0 0 25 0 4 0 521912445 305430528 20090 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 298272

[startup+25.5006 s]
/proc/loadavg: 7.97 8.15 7.80 9/188 24142
/proc/meminfo: memFree=25178804/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=323364 CPUtime=101.84 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 58241 0 0 0 10173 11 0 0 25 0 4 0 521912444 331124736 28145 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 80841 28145 389 106 0 75812 0
[pid=24131/tid=24134] ppid=24128 vsize=323364 CPUtime=25.48 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 15646 0 0 0 2546 2 0 0 25 0 4 0 521912445 331124736 28145 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=323364 CPUtime=25.49 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 14878 0 0 0 2546 3 0 0 25 0 4 0 521912445 331124736 28145 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=323364 CPUtime=25.35 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 13706 0 0 0 2533 2 0 0 25 0 4 0 521912445 331124736 28145 33554432000 4194304 4627427 140734457524848 18446744073709551615 4327399 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 323364

[startup+51.1011 s]
/proc/loadavg: 8.04 8.15 7.81 10/188 24142
/proc/meminfo: memFree=25134688/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=301200 CPUtime=204.09 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 85328 0 0 0 20393 16 0 0 25 0 4 0 521912444 308428800 31726 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 75300 31726 389 106 0 70271 0
[pid=24131/tid=24134] ppid=24128 vsize=301200 CPUtime=51.09 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 22659 0 0 0 5105 4 0 0 25 0 4 0 521912445 308428800 31726 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=301200 CPUtime=51.09 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 23124 0 0 0 5104 5 0 0 25 0 4 0 521912445 308428800 31726 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=301200 CPUtime=50.81 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 21979 0 0 0 5077 4 0 0 25 0 4 0 521912445 308428800 31726 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 301200

[startup+102.307 s]
/proc/loadavg: 8.02 8.13 7.82 9/188 24144
/proc/meminfo: memFree=25082468/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=343528 CPUtime=408.64 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 127587 0 0 0 40837 27 0 0 25 0 4 0 521912444 351772672 39521 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 85882 39521 389 106 0 80853 0
[pid=24131/tid=24134] ppid=24128 vsize=343528 CPUtime=102.29 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 34225 0 0 0 10222 7 0 0 25 0 4 0 521912445 351772672 39521 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=343528 CPUtime=102.29 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 32426 0 0 0 10223 6 0 0 25 0 4 0 521912445 351772672 39521 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=343528 CPUtime=101.73 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 36248 0 0 0 10166 7 0 0 25 0 4 0 521912445 351772672 39521 33554432000 4194304 4627427 140734457524848 18446744073709551615 4321729 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 343528

[startup+162.3 s]

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

[pid=24131] ppid=24128 vsize=531860 CPUtime=2805.31 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 420248 0 0 0 280395 136 0 0 25 0 4 0 521912444 544624640 84458 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 132965 84458 389 106 0 127936 0
[pid=24131/tid=24134] ppid=24128 vsize=531860 CPUtime=702.22 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 114546 0 0 0 70187 35 0 0 25 0 4 0 521912445 544624640 84458 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=531860 CPUtime=702.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 101171 0 0 0 70198 32 0 0 25 0 4 0 521912445 544624640 84458 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=531860 CPUtime=698.47 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 123116 0 0 0 69808 39 0 0 25 0 4 0 521912445 544624640 84458 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309364 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.31
Current children cumulated vsize (KiB) 531860

[startup+762.307 s]
/proc/loadavg: 8.25 8.18 7.99 9/188 24173
/proc/meminfo: memFree=24624256/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=537400 CPUtime=3045.01 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 440697 0 0 0 304356 145 0 0 25 0 4 0 521912444 550297600 93448 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 134350 93448 389 106 0 129321 0
[pid=24131/tid=24134] ppid=24128 vsize=537400 CPUtime=762.22 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 120397 0 0 0 76185 37 0 0 25 0 4 0 521912445 550297600 93448 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=537400 CPUtime=762.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 107045 0 0 0 76196 34 0 0 25 0 4 0 521912445 550297600 93448 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=537400 CPUtime=758.15 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 130210 0 0 0 75773 42 0 0 25 0 4 0 521912445 550297600 93448 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 537400

[startup+822.301 s]
/proc/loadavg: 8.13 8.16 8.00 9/188 24175
/proc/meminfo: memFree=24599028/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=603676 CPUtime=3284.66 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 463077 0 0 0 328312 154 0 0 25 0 4 0 521912444 618164224 98058 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 150919 98058 389 106 0 145890 0
[pid=24131/tid=24134] ppid=24128 vsize=603676 CPUtime=822.21 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 129123 0 0 0 82181 40 0 0 25 0 4 0 521912445 618164224 98058 33554432000 4194304 4627427 140734457524848 18446744073709551615 4420154 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=603676 CPUtime=822.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 109895 0 0 0 82193 37 0 0 25 0 4 0 521912445 618164224 98058 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=603676 CPUtime=817.82 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 141013 0 0 0 81736 46 0 0 25 0 4 0 521912445 618164224 98058 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.66
Current children cumulated vsize (KiB) 603676

[startup+882.301 s]
/proc/loadavg: 8.08 8.14 8.00 9/188 24177
/proc/meminfo: memFree=24594780/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=603824 CPUtime=3524.33 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 480576 0 0 0 352272 161 0 0 25 0 4 0 521912444 618315776 96527 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 150956 96527 389 106 0 145927 0
[pid=24131/tid=24134] ppid=24128 vsize=603824 CPUtime=882.21 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 134533 0 0 0 88179 42 0 0 25 0 4 0 521912445 618315776 96527 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=603824 CPUtime=882.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 114965 0 0 0 88191 39 0 0 25 0 4 0 521912445 618315776 96527 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=603824 CPUtime=877.49 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 147797 0 0 0 87700 49 0 0 25 0 4 0 521912445 618315776 96527 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.33
Current children cumulated vsize (KiB) 603824

[startup+942.301 s]
/proc/loadavg: 8.22 8.18 8.02 9/188 24178
/proc/meminfo: memFree=24566108/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=604436 CPUtime=3764 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 497945 0 0 0 376233 167 0 0 25 0 4 0 521912444 618942464 102084 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 151109 102084 389 106 0 146080 0
[pid=24131/tid=24134] ppid=24128 vsize=604436 CPUtime=942.2 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 139904 0 0 0 94176 44 0 0 25 0 4 0 521912445 618942464 102084 33554432000 4194304 4627427 140734457524848 18446744073709551615 4308654 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=604436 CPUtime=942.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 120457 0 0 0 94190 40 0 0 25 0 4 0 521912445 618942464 102084 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=604436 CPUtime=937.17 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 154257 0 0 0 93665 52 0 0 25 0 4 0 521912445 618942464 102084 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764
Current children cumulated vsize (KiB) 604436

[startup+1002.3 s]
/proc/loadavg: 8.28 8.20 8.03 9/188 24180
/proc/meminfo: memFree=24544620/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=604592 CPUtime=4003.67 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 513064 0 0 0 400194 173 0 0 25 0 4 0 521912444 619102208 103756 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 151148 103756 389 106 0 146119 0
[pid=24131/tid=24134] ppid=24128 vsize=604592 CPUtime=1002.19 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 144340 0 0 0 100173 46 0 0 25 0 4 0 521912445 619102208 103756 33554432000 4194304 4627427 140734457524848 18446744073709551615 4324294 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=604592 CPUtime=1002.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 122861 0 0 0 100189 41 0 0 25 0 4 0 521912445 619102208 103756 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=604592 CPUtime=996.85 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 162536 0 0 0 99630 55 0 0 25 0 4 0 521912445 619102208 103756 33554432000 4194304 4627427 140734457524848 18446744073709551615 4330094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.67
Current children cumulated vsize (KiB) 604592

[startup+1062.3 s]
/proc/loadavg: 8.38 8.23 8.05 9/188 24181
/proc/meminfo: memFree=24497728/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=593164 CPUtime=4243.35 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 529798 0 0 0 424155 180 0 0 25 0 4 0 521912444 607399936 110130 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 148291 110130 389 106 0 143262 0
[pid=24131/tid=24134] ppid=24128 vsize=593164 CPUtime=1062.18 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 151963 0 0 0 106170 48 0 0 25 0 4 0 521912445 607399936 110130 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=593164 CPUtime=1062.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 127033 0 0 0 106186 44 0 0 25 0 4 0 521912445 607399936 110130 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=593164 CPUtime=1056.53 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 166978 0 0 0 105596 57 0 0 25 0 4 0 521912445 607399936 110130 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.35
Current children cumulated vsize (KiB) 593164

[startup+1122.3 s]
/proc/loadavg: 8.43 8.25 8.06 10/188 24183
/proc/meminfo: memFree=24534144/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=608064 CPUtime=4483.02 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 541953 0 0 0 448116 186 0 0 25 0 4 0 521912444 622657536 106490 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 152016 106490 389 106 0 146987 0
[pid=24131/tid=24134] ppid=24128 vsize=608064 CPUtime=1122.18 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 156231 0 0 0 112168 50 0 0 25 0 4 0 521912445 622657536 106490 33554432000 4194304 4627427 140734457524848 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=608064 CPUtime=1122.3 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 129078 0 0 0 112186 44 0 0 25 0 4 0 521912445 622657536 106490 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=608064 CPUtime=1116.2 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 172819 0 0 0 111560 60 0 0 25 0 4 0 521912445 622657536 106490 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.02
Current children cumulated vsize (KiB) 608064

[startup+1182.3 s]
/proc/loadavg: 8.29 8.23 8.07 9/188 24185
/proc/meminfo: memFree=24497408/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=608212 CPUtime=4722.69 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 556935 0 0 0 472076 193 0 0 25 0 4 0 521912444 622809088 111978 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 152053 111978 389 106 0 147024 0
[pid=24131/tid=24134] ppid=24128 vsize=608212 CPUtime=1182.17 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 161940 0 0 0 118164 53 0 0 25 0 4 0 521912445 622809088 111978 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=608212 CPUtime=1182.31 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 133415 0 0 0 118184 47 0 0 25 0 4 0 521912445 622809088 111978 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=608212 CPUtime=1175.88 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 177301 0 0 0 117526 62 0 0 25 0 4 0 521912445 622809088 111978 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.69
Current children cumulated vsize (KiB) 608212



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.19 8.21 8.07 9/188 24185
/proc/meminfo: memFree=24529000/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=608268 CPUtime=4800.2 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 561000 0 0 0 479825 195 0 0 25 0 4 0 521912444 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 152067 106066 389 106 0 147038 0
[pid=24131/tid=24134] ppid=24128 vsize=608268 CPUtime=1201.58 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 162776 0 0 0 120105 53 0 0 25 0 4 0 521912445 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=608268 CPUtime=1201.71 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 133670 0 0 0 120124 47 0 0 25 0 4 0 521912445 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=608268 CPUtime=1195.17 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 180231 0 0 0 119454 63 0 0 25 0 4 0 521912445 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 608268

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.19 8.21 8.07 9/188 24185
/proc/meminfo: memFree=24529000/32951124 swapFree=67111524/67111528
[pid=24131] ppid=24128 vsize=608268 CPUtime=4800.2 cores=0,2,4,6
/proc/24131/stat : 24131 (strangenight2-m) R 24128 24131 23437 0 -1 4202496 561000 0 0 0 479825 195 0 0 25 0 4 0 521912444 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/24131/statm: 152067 106066 389 106 0 147038 0
[pid=24131/tid=24134] ppid=24128 vsize=608268 CPUtime=1201.58 cores=0,2,4,6
/proc/24131/task/24134/stat : 24134 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 162776 0 0 0 120105 53 0 0 25 0 4 0 521912445 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24131/tid=24135] ppid=24128 vsize=608268 CPUtime=1201.71 cores=0,2,4,6
/proc/24131/task/24135/stat : 24135 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 133670 0 0 0 120124 47 0 0 25 0 4 0 521912445 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=24131/tid=24136] ppid=24128 vsize=608268 CPUtime=1195.17 cores=0,2,4,6
/proc/24131/task/24136/stat : 24136 (strangenight2-m) R 24128 24131 23437 0 -1 4202560 180231 0 0 0 119454 63 0 0 25 0 4 0 521912445 622866432 106066 33554432000 4194304 4627427 140734457524848 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 608268

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.25
CPU user time (s): 4798.28
CPU system time (s): 1.9727
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 659944

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.28
system time used= 1.9727
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 561000
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= 178
involuntary context switches= 76884

runsolver used 1.83572 second user time and 4.73128 second system time

The end

Launcher Data 

Begin job on node132 at 2011-04-29 20:52:23
IDJOB=3174145
IDBENCH=82963
IDSOLVER=1586
FILE ID=node132/3174145-1304103143
RUNJOBID= node132-1304103143-24114
PBS_JOBID= 13170598
Free space on /tmp= 71872 MiB

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

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

MD5SUM BENCH= afacdefc4a366ba0b827e7e74ce8af4c
RANDOM SEED=458296773

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25374520 kB
Buffers:        774880 kB
Cached:        6240140 kB
SwapCached:          4 kB
Active:        2093920 kB
Inactive:      4985148 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25374520 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11352 kB
Writeback:           0 kB
AnonPages:       63976 kB
Mapped:          14508 kB
Slab:           435940 kB
PageTables:       4604 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188784 kB
VmallocTotal: 34359738367 kB
VmallocUsed:     33868 kB
VmallocChunk: 34359703231 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 71864 MiB
End job on node132 at 2011-04-29 21:12:27