Trace number 3366491

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf
MD5SUMd71042a4f58355ef8c71c53ec29199cb
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1231.65
Satisfiable
(Un)Satisfiability was proved
Number of variables500
Number of clauses2130
Sum of the clauses size6390
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32130
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366491-1305405486.cnf'
0.00/0.01	c -- header says num vars:            500
0.00/0.01	c -- header says num clauses:        2130
0.00/0.01	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.01	c -- vars added        500
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       500      2130         0         0      6390         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    500 time:  0.00 s
0.00/0.02	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:     15  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:     232 undec:      52 neg:     216
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       485      2115         0         0      6438         0   no data   no data
2.77/0.71	c Decided on static restart strategy
2.77/0.71	c  N st     8      4913       485      2115         0      4857      6438    114737   no data   no data
2.77/0.71	c  N st    10     11295       485      2115         0      4474      6438     74012   no data   no data
2.77/0.71	c  N st    11     17039       485      2115         0     10101      6438    202560   no data   no data
4.38/1.11	c  F st    12     25000       485      2115         0     12404      6438    255958   no data   no data
4.38/1.11	c  N st    12     25000       485      2115         0     12404      6438    255958   no data   no data
5.15/1.35	c Decided on static restart strategy
5.15/1.35	c  N st    18     30001       485      2115         0     10682      6438    203111   no data   no data
5.15/1.35	c  S st    18     30001       485      2115         0     10682      6438    203111   no data   no data
5.15/1.38	c  S st    18     30504       485      2115         0     11184      6438    214093   no data   no data
5.15/1.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.15/1.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.15/1.38	c blocked clauses removed:       13 vars:      3 tried:         485 T: 0.00 s
5.15/1.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.15/1.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.15/1.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
5.15/1.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
5.15/1.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.15/1.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.55/1.45	c lits-rem:       121  cl-subs:      542  v-elim:      0  v-fix:    0  time:  0.06 s
5.55/1.46	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.01
5.55/1.46	c calculated reachability. Time: 0.00
5.55/1.46	c  N st    18     30504       482      2102         0     10642      6399    200498   no data   no data
7.15/1.88	c  N st    20     37614       482      2102         0      9876      6399    161248   no data   no data
9.19/2.31	c  N st    21     44013       482      2102         0     16122      6399    306057   no data   no data
9.54/2.45	c  S st    22     45756       482      2102         0      9099      6399    128153   no data   no data
9.54/2.48	c  S st    22     46260       482      2102         0      9602      6399    140241   no data   no data
9.54/2.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.54/2.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.54/2.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.54/2.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.54/2.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.54/2.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
9.54/2.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
9.54/2.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.54/2.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.50	c lits-rem:        17  cl-subs:       68  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.50	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
9.94/2.50	c vivif2 --  cl tried     9534 cl shrink        0 lits rem          0 time: 0.00
9.94/2.50	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.01
9.94/2.50	c calculated reachability. Time: 0.00
9.94/2.50	c  N st    22     46260       482      2102         0      9534      6399    138599   no data   no data
13.58/3.46	c  N st    23     60659       482      2102         0     13809      6399    221831   no data   no data
16.33/4.11	c  N st    24     69390       482      2102         0     11593      6399    166523   no data   no data
16.33/4.11	c  S st    24     69390       482      2102         0     11593      6399    166523   no data   no data
16.33/4.14	c  S st    24     69894       482      2102         0     12097      6399    177991   no data   no data
16.33/4.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.33/4.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.33/4.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.33/4.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.33/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
16.33/4.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
16.33/4.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.33/4.18	c lits-rem:        51  cl-subs:      316  v-elim:      0  v-fix:    0  time:  0.03 s
16.33/4.18	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
16.33/4.18	c vivif2 --  cl tried    11781 cl shrink        0 lits rem          0 time: 0.00
16.33/4.19	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.01
16.33/4.19	c calculated reachability. Time: 0.00
16.33/4.19	c  N st    24     69894       482      2102         0     11781      6399    170597   no data   no data
21.52/5.49	c  F st    25     87500       482      2102         0     17265      6399    290964   no data   no data
21.52/5.49	c  N st    25     87500       482      2102         0     17265      6399    290964   no data   no data
23.50/5.92	c Decided on static restart strategy
24.30/6.19	c  N st    32     95541       482      2102         0     25123      6399    480817   no data   no data
27.10/6.88	c  N st    34    104841       482      2102         0     21547      6399    383086   no data   no data
27.10/6.88	c  S st    34    104841       482      2102         0     21547      6399    383086   no data   no data
27.50/6.93	c  S st    34    105345       482      2102         0     22049      6399    394637   no data   no data
27.50/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.50/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.50/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.50/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
27.50/6.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.50/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.50/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.30/7.15	c lits-rem:       137  cl-subs:     1027  v-elim:      0  v-fix:    0  time:  0.20 s
28.30/7.15	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
28.30/7.16	c vivif2 --  cl tried    21022 cl shrink        0 lits rem          0 time: 0.00
28.30/7.17	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.01
28.30/7.17	c calculated reachability. Time: 0.00
28.30/7.17	c  N st    34    105345       482      2102         0     21022      6399    368692   no data   no data
31.88/8.02	c  N st    35    114944       482      2102         0     16719      6399    237611   no data   no data
37.07/9.30	c  N st    36    129341       482      2102         0     16142      6399    209879   no data   no data
44.30/11.12	c  N st    37    150940       482      2102         0     21619      6399    338494   no data   no data
46.64/11.78	c  S st    38    158018       482      2102         0     28554      6399    512421   no data   no data
47.05/11.85	c  S st    38    158521       482      2102         0     29056      6399    524309   no data   no data
47.05/11.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.05/11.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.05/11.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.05/11.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.05/11.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.05/11.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
47.05/11.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
47.05/11.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.05/11.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.69/12.22	c lits-rem:       282  cl-subs:     1229  v-elim:      0  v-fix:    0  time:  0.32 s
48.69/12.22	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
48.69/12.23	c vivif2 --  cl tried    27827 cl shrink        0 lits rem          0 time: 0.01
48.69/12.24	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.02
48.69/12.24	c calculated reachability. Time: 0.00
48.69/12.24	c  N st    38    158521       482      2102         0     27827      6399    493458   no data   no data
68.59/17.24	c  N st    39    207111       482      2102         0     22466      6399    308861   no data   no data
81.35/20.45	c  N st    40    237783       482      2102         0     32882      6399    563155   no data   no data
81.35/20.45	c  S st    40    237783       482      2102         0     32882      6399    563155   no data   no data
81.75/20.53	c  S st    40    238291       482      2102         0     33389      6399    574784   no data   no data
81.75/20.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.75/20.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.75/20.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.75/20.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.75/20.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.75/20.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
81.75/20.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
81.75/20.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.75/20.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
83.78/21.05	c lits-rem:       242  cl-subs:     1392  v-elim:      0  v-fix:    0  time:  0.47 s
83.78/21.05	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
83.78/21.05	c vivif2 --  cl tried    31997 cl shrink        0 lits rem          0 time: 0.01
83.78/21.08	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.02
83.78/21.08	c calculated reachability. Time: 0.00
83.78/21.08	c  N st    40    238291       482      2102         0     31997      6399    542162   no data   no data
114.50/28.74	c  F st    41    306250       482      2102         0     34057      6399    527265   no data   no data
114.50/28.74	c  N st    41    306250       482      2102         0     34057      6399    527265   no data   no data
116.85/29.38	c Decided on static restart strategy
128.01/32.16	c  N st    51    334555       482      2102         0     38230      6399    600051   no data   no data
139.19/34.96	c  N st    53    357436       482      2102         0     36091      6399    538898   no data   no data
139.19/34.96	c  S st    53    357436       482      2102         0     36091      6399    538898   no data   no data
139.58/35.06	c  S st    53    357939       482      2102         0     36594      6399    550225   no data   no data
139.58/35.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
139.58/35.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
139.58/35.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
139.58/35.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
139.58/35.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
139.58/35.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
139.58/35.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
139.58/35.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
139.98/35.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
141.17/35.46	c lits-rem:       212  cl-subs:     1583  v-elim:      0  v-fix:    0  time:  0.35 s
141.17/35.46	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
141.17/35.46	c vivif2 --  cl tried    35011 cl shrink        0 lits rem          0 time: 0.01
141.17/35.49	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.02
141.17/35.49	c calculated reachability. Time: 0.00
141.17/35.49	c  N st    53    357939       482      2102         0     35011      6399    514485   no data   no data
158.38/39.75	c  N st    54    390331       482      2102         0     41173      6399    661189   no data   no data
184.70/46.37	c  N st    55    438920       482      2102         0     34936      6399    464068   no data   no data
226.94/56.90	c  N st    56    511802       482      2102         0     48439      6399    774292   no data   no data
242.49/60.89	c  N st    57    536908       482      2102         0     42806      6399    633075   no data   no data
242.49/60.89	c  S st    57    536908       482      2102         0     42806      6399    633075   no data   no data
243.29/61.01	c  S st    57    537409       482      2102         0     43306      6399    645279   no data   no data
243.29/61.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
243.29/61.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
243.29/61.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
243.29/61.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
243.29/61.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
243.29/61.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
243.29/61.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
243.29/61.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
243.29/61.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
245.70/61.67	c lits-rem:       414  cl-subs:     1690  v-elim:      0  v-fix:    0  time:  0.60 s
245.70/61.67	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
245.70/61.68	c vivif2 --  cl tried    41616 cl shrink        0 lits rem          0 time: 0.01
246.13/61.71	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.03
246.13/61.71	c calculated reachability. Time: 0.00
246.13/61.71	c  N st    57    537409       482      2102         0     41616      6399    603250   no data   no data
349.40/87.66	c  N st    58    701394       482      2102         0     35897      6399    369724   no data   no data
419.20/105.16	c  N st    59    806117       482      2102         0     64609      6399   1028302   no data   no data
419.20/105.16	c  S st    59    806117       482      2102         0     64609      6399   1028302   no data   no data
420.00/105.35	c  S st    59    806618       482      2102         0     65107      6399   1040315   no data   no data
420.00/105.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
420.00/105.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
420.00/105.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
420.00/105.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
420.00/105.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
420.00/105.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
420.00/105.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
420.40/105.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
420.40/105.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
430.76/108.05	c lits-rem:       458  cl-subs:     4591  v-elim:      0  v-fix:    0  time:  2.58 s
430.76/108.05	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
430.76/108.06	c vivif2 --  cl tried    60516 cl shrink        0 lits rem          0 time: 0.01
431.16/108.11	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.05
431.16/108.12	c calculated reachability. Time: 0.00
431.16/108.12	c  N st    59    806618       482      2102         0     60516      6399    942877   no data   no data
640.60/160.68	c  F st    60   1071877       482      2102         0     76244      6399   1240356   no data   no data
640.60/160.68	c  N st    60   1071877       482      2102         0     76244      6399   1240356   no data   no data
646.56/162.14	c Decided on static restart strategy
667.69/167.42	c  N st    70   1100183       482      2102         0     60208      6399    814889   no data   no data
701.20/175.83	c  N st    72   1136178       482      2102         0     50533      6399    579806   no data   no data
729.92/183.03	c  N st    73   1168572       482      2102         0     82087      6399   1352190   no data   no data
768.61/192.75	c  N st    74   1209927       482      2102         0     76394      6399   1168178   no data   no data
768.61/192.75	c  S st    74   1209927       482      2102         0     76394      6399   1168178   no data   no data
769.80/193.03	c  S st    74   1210430       482      2102         0     76897      6399   1179814   no data   no data
769.80/193.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
769.80/193.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.04
769.80/193.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
769.80/193.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
769.80/193.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
769.80/193.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
769.80/193.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
770.21/193.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
770.21/193.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
790.95/198.39	c lits-rem:       397  cl-subs:     5529  v-elim:      0  v-fix:    0  time:  5.18 s
790.95/198.39	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
791.34/198.40	c vivif2 --  cl tried    71368 cl shrink        0 lits rem          0 time: 0.02
791.34/198.47	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.07
791.34/198.47	c calculated reachability. Time: 0.00
791.34/198.47	c  N st    74   1210430       482      2102         0     71368      6399   1056237   no data   no data
867.52/217.56	c  N st    75   1283312       482      2102         0     48171      6399    472047   no data   no data
983.98/246.72	c  N st    76   1392635       482      2102         0     56478      6399    648310   no data   no data
1137.95/285.38	c  N st    77   1556619       482      2102         0     61250      6399    721293   no data   no data
1301.48/326.35	c  N st    78   1710430       482      2102         0    102540      6399   1704944   no data   no data
1301.48/326.35	c  S st    78   1710430       482      2102         0    102540      6399   1704944   no data   no data
1303.10/326.72	c  S st    78   1710934       482      2102         0    103042      6399   1716592   no data   no data
1303.10/326.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1303.10/326.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1303.10/326.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1303.10/326.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1303.10/326.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1303.10/326.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
1303.10/326.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1303.10/326.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1303.52/326.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1343.35/336.87	c lits-rem:      1020  cl-subs:     8594  v-elim:      0  v-fix:    0  time:  9.90 s
1343.35/336.87	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
1343.35/336.89	c vivif2 --  cl tried    94448 cl shrink        0 lits rem          0 time: 0.02
1343.75/336.99	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.10
1343.75/336.99	c calculated reachability. Time: 0.00
1343.75/336.99	c  N st    78   1710934       482      2102         0     94448      6399   1531874   no data   no data
1755.00/440.09	c  N st    79   2079898       482      2102         0    106019      6399   1643014   no data   no data
1909.33/478.74	c  N st    80   2210934       482      2102         0    110261      6399   1739898   no data   no data
1909.33/478.74	c  S st    80   2210934       482      2102         0    110261      6399   1739898   no data   no data
1910.93/479.13	c  S st    80   2211436       482      2102         0    110762      6399   1751840   no data   no data
1910.93/479.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1910.93/479.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1910.93/479.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1910.93/479.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1910.93/479.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1910.93/479.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
1910.93/479.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1911.33/479.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1911.33/479.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1955.61/490.31	c lits-rem:       621  cl-subs:     9109  v-elim:      0  v-fix:    0  time: 10.91 s
1955.61/490.31	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
1955.61/490.33	c vivif2 --  cl tried   101653 cl shrink        0 lits rem          0 time: 0.02
1956.01/490.44	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.11
1956.01/490.45	c calculated reachability. Time: 0.00
1956.01/490.45	c  N st    80   2211436       482      2102         0    101653      6399   1544435   no data   no data
2568.25/643.92	c  N st    81   2711438       482      2102         0    126208      6399   2097184   no data   no data
2568.25/643.92	c  S st    81   2711438       482      2102         0    126208      6399   2097184   no data   no data
2569.85/644.38	c  S st    81   2711942       482      2102         0    126711      6399   2109014   no data   no data
2569.85/644.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2570.25/644.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2570.25/644.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2570.25/644.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2570.25/644.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2570.25/644.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
2570.25/644.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2570.25/644.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2570.65/644.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2614.52/655.53	c lits-rem:      1061  cl-subs:     5758  v-elim:      0  v-fix:    0  time: 10.86 s
2614.52/655.53	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
2614.52/655.56	c vivif2 --  cl tried   120953 cl shrink        0 lits rem          0 time: 0.03
2614.94/655.71	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.13
2615.36/655.71	c calculated reachability. Time: 0.00
2615.36/655.71	c  N st    81   2711942       482      2102         0    120953      6399   1974815   no data   no data
3289.37/824.71	c  N st    82   3211942       482      2102         0     95729      6399   1141932   no data   no data
3289.37/824.71	c  S st    82   3211942       482      2102         0     95729      6399   1141932   no data   no data
3290.58/825.01	c  S st    82   3212442       482      2102         0     96228      6399   1154251   no data   no data
3290.58/825.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3290.58/825.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
3290.58/825.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3290.58/825.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3290.58/825.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3290.58/825.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
3290.58/825.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3290.58/825.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3291.00/825.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3297.34/826.78	c lits-rem:       236  cl-subs:     3911  v-elim:      0  v-fix:    0  time:  1.65 s
3297.34/826.78	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
3297.73/826.80	c vivif2 --  cl tried    92317 cl shrink        0 lits rem          0 time: 0.02
3297.73/826.89	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.09
3297.73/826.89	c calculated reachability. Time: 0.00
3297.73/826.89	c  N st    82   3212442       482      2102         0     92317      6399   1083663   no data   no data
3983.34/998.79	c  N st    83   3712442       482      2102         0    102777      6399   1257927   no data   no data
3983.34/998.79	c  S st    83   3712442       482      2102         0    102777      6399   1257927   no data   no data
3985.33/999.23	c  S st    83   3712946       482      2102         0    103280      6399   1269843   no data   no data
3985.33/999.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3985.73/999.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
3985.73/999.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3985.73/999.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3985.73/999.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3985.73/999.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    482 time:  0.00 s
3985.73/999.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3985.73/999.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3985.73/999.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3996.93/1002.17	c lits-rem:       238  cl-subs:     4008  v-elim:      0  v-fix:    0  time:  2.76 s
3996.93/1002.17	c vivif2 --  cl tried     2102 cl shrink        0 lits rem          0 time: 0.00
3996.93/1002.19	c vivif2 --  cl tried    99272 cl shrink        0 lits rem          0 time: 0.02
3997.70/1002.30	c asymm  cl-useful: 0/2102/2102 lits-rem:0 time: 0.10
3997.70/1002.30	c calculated reachability. Time: 0.00
3997.70/1002.30	c  N st    83   3712946       482      2102         0     99272      6399   1186876   no data   no data
4059.11/1017.71	c  F st    84   3751563       482      2102         0    136831      6399   2067764   no data   no data
4059.11/1017.72	c  N st    84   3751563       482      2102         0    136831      6399   2067764   no data   no data
4069.49/1020.39	c Decided on static restart strategy
4119.35/1032.88	c  N st    94   3779864       482      2102         0    164385      6399   2707762   no data   no data
4167.21/1044.87	c  N st    96   3815858       482      2102         0    116982      6399   1547258   no data   no data
4222.25/1058.64	c  N st    97   3848251       482      2102         0    148449      6399   2276792   no data   no data
4294.84/1076.80	c  N st    98   3896840       482      2102         0    112387      6399   1480430   no data   no data
4443.62/1114.14	c  N st    99   3969728       482      2102         0     98561      6399   1101904   no data   no data
4629.88/1160.88	c  N st   100   4079052       482      2102         0    118949      6399   1593215   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366491-1305405486/watcher-3366491-1305405486 -o /tmp/evaluation-result-3366491-1305405486/solver-3366491-1305405486 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366491-1305405486.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: 6.91 7.87 7.92 8/361 15231
/proc/meminfo: memFree=25232400/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 407 0 0 0 0 0 0 0 22 0 4 0 730779327 52396032 347 33554432000 4194304 4580107 140733844219232 18446744073709551615 47642474166194 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15231/statm: 12792 347 299 95 0 7774 0
[pid=15231/tid=15232] ppid=15229 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 730779327 52396032 347 33554432000 4194304 4580107 140733844219232 18446744073709551615 251367603185 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 730779327 52396032 347 33554432000 4194304 4580107 140733844219232 18446744073709551615 47642474166194 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 730779327 52396032 347 33554432000 4194304 4580107 140733844219232 18446744073709551615 47642474166194 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.115754 s]
/proc/loadavg: 6.91 7.87 7.92 8/361 15231
/proc/meminfo: memFree=25232400/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=282256 CPUtime=0.43 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 1690 0 0 0 43 0 0 0 23 0 4 0 730779327 289030144 1580 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293184 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 70564 1580 377 95 0 65546 0
[pid=15231/tid=15232] ppid=15229 vsize=282256 CPUtime=0.1 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 325 0 0 0 10 0 0 0 18 0 4 0 730779327 289030144 1580 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=282256 CPUtime=0.1 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 358 0 0 0 10 0 0 0 18 0 4 0 730779327 289030144 1580 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=282256 CPUtime=0.11 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 270 0 0 0 11 0 0 0 18 0 4 0 730779327 289030144 1580 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282256

[startup+0.200739 s]
/proc/loadavg: 6.91 7.87 7.92 8/361 15231
/proc/meminfo: memFree=25232400/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=283552 CPUtime=0.77 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 2294 0 0 0 77 0 0 0 23 0 4 0 730779327 290357248 1625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 70888 1625 377 95 0 65870 0
[pid=15231/tid=15232] ppid=15229 vsize=283552 CPUtime=0.18 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 489 0 0 0 18 0 0 0 18 0 4 0 730779327 290357248 1625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4320987 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=283552 CPUtime=0.19 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 516 0 0 0 19 0 0 0 18 0 4 0 730779327 290357248 1625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4318721 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=283552 CPUtime=0.19 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 413 0 0 0 19 0 0 0 18 0 4 0 730779327 290357248 1625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283552

[startup+0.30072 s]
/proc/loadavg: 6.91 7.87 7.92 8/361 15231
/proc/meminfo: memFree=25232400/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=283720 CPUtime=1.17 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 2687 0 0 0 117 0 0 0 23 0 4 0 730779327 290529280 2018 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 70930 2018 377 95 0 65912 0
[pid=15231/tid=15232] ppid=15229 vsize=283720 CPUtime=0.28 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 592 0 0 0 28 0 0 0 18 0 4 0 730779327 290529280 2018 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=283720 CPUtime=0.29 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 623 0 0 0 29 0 0 0 18 0 4 0 730779327 290529280 2019 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=283720 CPUtime=0.29 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 523 0 0 0 29 0 0 0 18 0 4 0 730779327 290529280 2019 33554432000 4194304 4580107 140733844219232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283720

[startup+0.700648 s]
/proc/loadavg: 6.91 7.87 7.92 8/361 15231
/proc/meminfo: memFree=25232400/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=284776 CPUtime=2.77 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 4368 0 0 0 277 0 0 0 25 0 4 0 730779327 291610624 2585 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 71194 2585 377 95 0 66176 0
[pid=15231/tid=15232] ppid=15229 vsize=284776 CPUtime=0.68 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 976 0 0 0 68 0 0 0 18 0 4 0 730779327 291610624 2585 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=284776 CPUtime=0.69 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 1043 0 0 0 69 0 0 0 18 0 4 0 730779327 291610624 2586 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=284776 CPUtime=0.69 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 1033 0 0 0 69 0 0 0 18 0 4 0 730779327 291610624 2586 33554432000 4194304 4580107 140733844219232 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284776

[startup+1.5005 s]
/proc/loadavg: 6.91 7.87 7.92 10/365 15235
/proc/meminfo: memFree=25208560/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=291508 CPUtime=5.95 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 8602 0 0 0 595 0 0 0 25 0 4 0 730779327 298504192 4690 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 72877 4690 379 95 0 67859 0
[pid=15231/tid=15232] ppid=15229 vsize=291508 CPUtime=1.48 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 1675 0 0 0 148 0 0 0 20 0 4 0 730779327 298504192 4690 33554432000 4194304 4580107 140733844219232 18446744073709551615 4323021 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=291508 CPUtime=1.49 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 1807 0 0 0 149 0 0 0 20 0 4 0 730779327 298504192 4690 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=291508 CPUtime=1.49 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 1665 0 0 0 149 0 0 0 20 0 4 0 730779327 298504192 4690 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 291508

[startup+3.10021 s]
/proc/loadavg: 6.91 7.87 7.92 9/365 15235
/proc/meminfo: memFree=25171360/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=297708 CPUtime=12.34 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 17433 0 0 0 1232 2 0 0 25 0 4 0 730779327 304852992 9072 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 74427 9072 379 95 0 69409 0
[pid=15231/tid=15232] ppid=15229 vsize=297708 CPUtime=3.08 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 3969 0 0 0 308 0 0 0 25 0 4 0 730779327 304852992 9072 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=297708 CPUtime=3.08 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 4780 0 0 0 308 0 0 0 25 0 4 0 730779327 304852992 9072 33554432000 4194304 4580107 140733844219232 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=297708 CPUtime=3.08 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 4135 0 0 0 308 0 0 0 25 0 4 0 730779327 304852992 9072 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293918 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 297708

[startup+6.30062 s]
/proc/loadavg: 7.00 7.87 7.92 9/365 15235
/proc/meminfo: memFree=25142932/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=299156 CPUtime=25.11 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 27756 0 0 0 2507 4 0 0 25 0 4 0 730779327 306335744 12128 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 74789 12128 379 95 0 69771 0
[pid=15231/tid=15232] ppid=15229 vsize=299156 CPUtime=6.28 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 7288 0 0 0 627 1 0 0 25 0 4 0 730779327 306335744 12128 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=299156 CPUtime=6.29 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 7824 0 0 0 628 1 0 0 25 0 4 0 730779327 306335744 12128 33554432000 4194304 4580107 140733844219232 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=299156 CPUtime=6.28 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 5943 0 0 0 628 0 0 0 25 0 4 0 730779327 306335744 12128 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 299156

[startup+12.7004 s]
/proc/loadavg: 7.08 7.87 7.92 9/365 15235
/proc/meminfo: memFree=25092364/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=316784 CPUtime=50.63 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 44503 0 0 0 5057 6 0 0 25 0 4 0 730779327 324386816 18822 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 79196 18822 379 95 0 74178 0
[pid=15231/tid=15232] ppid=15229 vsize=316784 CPUtime=12.68 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 11542 0 0 0 1266 2 0 0 25 0 4 0 730779327 324386816 18822 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=316784 CPUtime=12.68 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 11008 0 0 0 1267 1 0 0 25 0 4 0 730779327 324386816 18822 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=316784 CPUtime=12.69 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 10109 0 0 0 1268 1 0 0 25 0 4 0 730779327 324386816 18822 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 316784

[startup+25.5011 s]
/proc/loadavg: 7.28 7.88 7.92 9/365 15235
/proc/meminfo: memFree=25047844/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=323144 CPUtime=101.69 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 68017 0 0 0 10157 12 0 0 25 0 4 0 730779327 330899456 24810 33554432000 4194304 4580107 140733844219232 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 80786 24810 379 95 0 75768 0
[pid=15231/tid=15232] ppid=15229 vsize=323144 CPUtime=25.48 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 18247 0 0 0 2545 3 0 0 25 0 4 0 730779327 330899456 24810 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=323144 CPUtime=25.48 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 17208 0 0 0 2546 2 0 0 25 0 4 0 730779327 330899456 24810 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=323144 CPUtime=25.48 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 14458 0 0 0 2546 2 0 0 25 0 4 0 730779327 330899456 24810 33554432000 4194304 4580107 140733844219232 18446744073709551615 4317530 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 323144

[startup+51.1004 s]
/proc/loadavg: 7.60 7.90 7.93 9/365 15238
/proc/meminfo: memFree=25012560/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=330108 CPUtime=203.8 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 101007 0 0 0 20359 21 0 0 25 0 4 0 730779327 338030592 29328 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 82527 29328 379 95 0 77509 0
[pid=15231/tid=15232] ppid=15229 vsize=330108 CPUtime=51.07 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 25977 0 0 0 5102 5 0 0 25 0 4 0 730779327 338030592 29328 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=330108 CPUtime=51.09 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 25808 0 0 0 5104 5 0 0 25 0 4 0 730779327 338030592 29328 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=330108 CPUtime=51.08 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 22207 0 0 0 5104 4 0 0 25 0 4 0 730779327 338030592 29328 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 330108

[startup+102.301 s]
/proc/loadavg: 8.07 7.99 7.96 9/365 15241
/proc/meminfo: memFree=24969156/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=345872 CPUtime=408.05 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 156542 0 0 0 40767 38 0 0 25 0 4 0 730779327 354172928 36788 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 86468 36788 379 95 0 81450 0
[pid=15231/tid=15232] ppid=15229 vsize=345872 CPUtime=102.29 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 40819 0 0 0 10219 10 0 0 25 0 4 0 730779327 354172928 36792 33554432000 4194304 4580107 140733844219232 18446744073709551615 4322504 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=345872 CPUtime=102.3 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 38395 0 0 0 10221 9 0 0 25 0 4 0 730779327 354172928 36792 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=345872 CPUtime=102.29 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 36256 0 0 0 10221 8 0 0 25 0 4 0 730779327 354172928 36792 33554432000 4194304 4580107 140733844219232 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 345872

[startup+162.301 s]

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

[pid=15231] ppid=15229 vsize=559536 CPUtime=2561.88 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 445790 0 0 0 256024 164 0 0 25 0 4 0 730779327 572964864 93341 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 139884 93341 379 95 0 134866 0
[pid=15231/tid=15232] ppid=15229 vsize=559536 CPUtime=642.29 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 126596 0 0 0 64178 51 0 0 25 0 4 0 730779327 572964864 93341 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=559536 CPUtime=642.31 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 114058 0 0 0 64190 41 0 0 25 0 4 0 730779327 572964864 93341 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=559536 CPUtime=642.3 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 90247 0 0 0 64199 31 0 0 25 0 4 0 730779327 572964864 93341 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2561.88
Current children cumulated vsize (KiB) 559536

[startup+702.3 s]
/proc/loadavg: 8.11 8.09 8.01 9/365 15257
/proc/meminfo: memFree=24542324/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=505448 CPUtime=2801.18 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 470638 0 0 0 279942 176 0 0 25 0 4 0 730779327 517578752 98371 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 126362 98371 379 95 0 121344 0
[pid=15231/tid=15232] ppid=15229 vsize=505448 CPUtime=702.3 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 133594 0 0 0 70174 56 0 0 25 0 4 0 730779327 517578752 98371 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=505448 CPUtime=702.3 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 119995 0 0 0 70187 43 0 0 25 0 4 0 730779327 517578752 98371 33554432000 4194304 4580107 140733844219232 18446744073709551615 4318731 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=505448 CPUtime=702.3 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 95964 0 0 0 70196 34 0 0 25 0 4 0 730779327 517578752 98371 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2801.18
Current children cumulated vsize (KiB) 505448

[startup+762.301 s]
/proc/loadavg: 8.11 8.10 8.02 9/365 15258
/proc/meminfo: memFree=24510180/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=591716 CPUtime=3040.5 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 493261 0 0 0 303861 189 0 0 25 0 4 0 730779327 605917184 103755 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 147929 103755 379 95 0 142911 0
[pid=15231/tid=15232] ppid=15229 vsize=591716 CPUtime=762.31 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 141987 0 0 0 76172 59 0 0 25 0 4 0 730779327 605917184 103756 33554432000 4194304 4580107 140733844219232 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=591716 CPUtime=762.33 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 127092 0 0 0 76185 48 0 0 25 0 4 0 730779327 605917184 103756 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=591716 CPUtime=762.31 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 97869 0 0 0 76196 35 0 0 25 0 4 0 730779327 605917184 103756 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3040.5
Current children cumulated vsize (KiB) 591716

[startup+822.3 s]
/proc/loadavg: 8.16 8.11 8.02 9/365 15260
/proc/meminfo: memFree=24483128/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=629832 CPUtime=3279.79 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 515103 0 0 0 327779 200 0 0 25 0 4 0 730779327 644947968 106675 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 157458 106675 379 95 0 152440 0
[pid=15231/tid=15232] ppid=15229 vsize=629832 CPUtime=822.3 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 147425 0 0 0 82168 62 0 0 25 0 4 0 730779327 644947968 106675 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=629832 CPUtime=822.31 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 133185 0 0 0 82179 52 0 0 25 0 4 0 730779327 644947968 106675 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=629832 CPUtime=822.3 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 101081 0 0 0 82194 36 0 0 25 0 4 0 730779327 644947968 106675 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3279.79
Current children cumulated vsize (KiB) 629832

[startup+882.313 s]
/proc/loadavg: 8.13 8.10 8.02 9/365 15261
/proc/meminfo: memFree=24455076/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=714488 CPUtime=3519.14 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 532273 0 0 0 351705 209 0 0 25 0 4 0 730779327 731635712 111828 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293211 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 178622 111828 379 95 0 173604 0
[pid=15231/tid=15232] ppid=15229 vsize=714488 CPUtime=882.32 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 150965 0 0 0 88168 64 0 0 25 0 4 0 730779327 731635712 111828 33554432000 4194304 4580107 140733844219232 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=714488 CPUtime=882.32 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 138431 0 0 0 88178 54 0 0 25 0 4 0 730779327 731635712 111828 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=714488 CPUtime=882.32 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 106320 0 0 0 88192 40 0 0 25 0 4 0 730779327 731635712 111828 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294468 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3519.14
Current children cumulated vsize (KiB) 714488

[startup+942.301 s]
/proc/loadavg: 8.11 8.10 8.02 9/365 15263
/proc/meminfo: memFree=24466840/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=638748 CPUtime=3758.4 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 556071 0 0 0 375619 221 0 0 25 0 4 0 730779327 654077952 107955 33554432000 4194304 4580107 140733844219232 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 159687 107955 379 95 0 154669 0
[pid=15231/tid=15232] ppid=15229 vsize=638748 CPUtime=942.3 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 157515 0 0 0 94164 66 0 0 25 0 4 0 730779327 654077952 107955 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=638748 CPUtime=942.31 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 142843 0 0 0 94175 56 0 0 25 0 4 0 730779327 654077952 107955 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=638748 CPUtime=942.31 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 112810 0 0 0 94187 44 0 0 25 0 4 0 730779327 654077952 107955 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3758.4
Current children cumulated vsize (KiB) 638748

[startup+1002.3 s]
/proc/loadavg: 8.21 8.12 8.03 9/365 15265
/proc/meminfo: memFree=24452184/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=593808 CPUtime=3997.7 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 574061 0 0 0 399540 230 0 0 25 0 4 0 730779327 608059392 106625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 148452 106625 379 95 0 143434 0
[pid=15231/tid=15232] ppid=15229 vsize=593808 CPUtime=1002.3 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 162098 0 0 0 100162 68 0 0 25 0 4 0 730779327 608059392 106625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=593808 CPUtime=1002.32 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 145042 0 0 0 100174 58 0 0 25 0 4 0 730779327 608059392 106625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294440 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=593808 CPUtime=1002.31 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 116893 0 0 0 100185 46 0 0 25 0 4 0 730779327 608059392 106625 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3997.7
Current children cumulated vsize (KiB) 593808

[startup+1062.3 s]
/proc/loadavg: 8.16 8.12 8.03 9/365 15266
/proc/meminfo: memFree=24447932/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=606988 CPUtime=4237.01 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 595144 0 0 0 423462 239 0 0 25 0 4 0 730779327 621555712 107651 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 151747 107651 379 95 0 146729 0
[pid=15231/tid=15232] ppid=15229 vsize=606988 CPUtime=1062.31 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 168241 0 0 0 106160 71 0 0 25 0 4 0 730779327 621555712 107651 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=606988 CPUtime=1062.32 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 151882 0 0 0 106171 61 0 0 25 0 4 0 730779327 621555712 107651 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294513 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=606988 CPUtime=1062.31 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 120415 0 0 0 106183 48 0 0 25 0 4 0 730779327 621555712 107651 33554432000 4194304 4580107 140733844219232 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4237.01
Current children cumulated vsize (KiB) 606988

[startup+1122.3 s]
/proc/loadavg: 8.13 8.11 8.03 9/365 15268
/proc/meminfo: memFree=24444440/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=642152 CPUtime=4476.32 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 615609 0 0 0 447382 250 0 0 25 0 4 0 730779327 657563648 111352 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 160538 111352 379 95 0 155520 0
[pid=15231/tid=15232] ppid=15229 vsize=642152 CPUtime=1122.31 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 174780 0 0 0 112156 75 0 0 25 0 4 0 730779327 657563648 111352 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=642152 CPUtime=1122.32 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 157784 0 0 0 112169 63 0 0 25 0 4 0 730779327 657563648 111352 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=642152 CPUtime=1122.31 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 122850 0 0 0 112182 49 0 0 25 0 4 0 730779327 657563648 111352 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4476.32
Current children cumulated vsize (KiB) 642152

[startup+1182.3 s]
/proc/loadavg: 8.10 8.10 8.03 9/365 15269
/proc/meminfo: memFree=24462024/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=603292 CPUtime=4715.63 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 633689 0 0 0 471304 259 0 0 25 0 4 0 730779327 617771008 108171 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 150823 108171 379 95 0 145805 0
[pid=15231/tid=15232] ppid=15229 vsize=603292 CPUtime=1182.31 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 181279 0 0 0 118152 79 0 0 25 0 4 0 730779327 617771008 108171 33554432000 4194304 4580107 140733844219232 18446744073709551615 4322843 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=603292 CPUtime=1182.32 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 164738 0 0 0 118166 66 0 0 25 0 4 0 730779327 617771008 108171 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=603292 CPUtime=1182.32 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 123005 0 0 0 118183 49 0 0 25 0 4 0 730779327 617771008 108171 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4715.63
Current children cumulated vsize (KiB) 603292



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.51 s]
/proc/loadavg: 8.07 8.09 8.03 9/365 15270
/proc/meminfo: memFree=24439952/32950928 swapFree=38710892/67111528
[pid=15231] ppid=15229 vsize=616476 CPUtime=4800.24 cores=1,3,5,7
/proc/15231/stat : 15231 (strangenight2-m) R 15229 15231 14563 0 -1 4202496 641085 0 0 0 479761 263 0 0 25 0 4 0 730779327 631271424 111975 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15231/statm: 154119 111975 379 95 0 149101 0
[pid=15231/tid=15232] ppid=15229 vsize=616476 CPUtime=1203.54 cores=1,3,5,7
/proc/15231/task/15232/stat : 15232 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 182863 0 0 0 120274 80 0 0 25 0 4 0 730779327 631271424 111975 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15231/tid=15233] ppid=15229 vsize=616476 CPUtime=1203.55 cores=1,3,5,7
/proc/15231/task/15233/stat : 15233 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 166053 0 0 0 120288 67 0 0 25 0 4 0 730779327 631271424 111975 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=15231/tid=15234] ppid=15229 vsize=616476 CPUtime=1203.54 cores=1,3,5,7
/proc/15231/task/15234/stat : 15234 (strangenight2-m) R 15229 15231 14563 0 -1 4202560 124961 0 0 0 120304 50 0 0 25 0 4 0 730779327 631271424 111975 33554432000 4194304 4580107 140733844219232 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.24
Current children cumulated vsize (KiB) 616476

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.55
CPU time (s): 4800.31
CPU user time (s): 4797.66
CPU system time (s): 2.6556
CPU usage (%): 398.846
Max. virtual memory (cumulated for all children) (KiB): 723136

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.66
system time used= 2.6556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 641088
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= 326
involuntary context switches= 29185

runsolver used 3.84941 second user time and 10.1145 second system time

The end

Launcher Data 

Begin job on node113 at 2011-05-14 22:38:07
IDJOB=3366491
IDBENCH=82900
IDSOLVER=1844
FILE ID=node113/3366491-1305405486
RUNJOBID= node113-1305405486-15209
PBS_JOBID= 13324480
Free space on /tmp= 73436 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v500-c2130-S769368248-036.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366491-1305405486/watcher-3366491-1305405486 -o /tmp/evaluation-result-3366491-1305405486/solver-3366491-1305405486 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366491-1305405486.cnf

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

MD5SUM BENCH= d71042a4f58355ef8c71c53ec29199cb
RANDOM SEED=1122049454

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      25232680 kB
Buffers:        255460 kB
Cached:        2809716 kB
SwapCached:      93712 kB
Active:         756680 kB
Inactive:      6700608 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      25232680 kB
SwapTotal:    67111528 kB
SwapFree:     38710892 kB
Dirty:           11432 kB
Writeback:           0 kB
AnonPages:     4309864 kB
Mapped:          13796 kB
Slab:           105448 kB
PageTables:      91368 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 87128432 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= 73432 MiB
End job on node113 at 2011-05-14 22:58:12