Trace number 3366674

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.33 1203.44

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v550-c2343-S107514131-038.SATISFIABLE.cnf
MD5SUM82989c7f536fd5815485b15c37159486
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.005999
Satisfiable
(Un)Satisfiability was proved
Number of variables550
Number of clauses2343
Sum of the clauses size7029
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32343
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-3366674-1305411877.cnf'
0.00/0.01	c -- header says num vars:            550
0.00/0.01	c -- header says num clauses:        2343
0.00/0.01	c -- clauses added:            0 learnts,         2343 normals,            0 xors
0.00/0.01	c -- vars added        550
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       550      2343         0         0      7029         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2343/2343 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    550 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     234 undec:      69 neg:     247
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       540      2333         0         0      7049         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4914       540      2333         0      4853      7049    126528   no data   no data
0.00/0.80	c  N st    10     11302       540      2333         0      4465      7049     81197   no data   no data
0.00/0.80	c  N st    11     17045       540      2333         0     10084      7049    215665   no data   no data
4.43/1.20	c  F st    12     25001       540      2333         0     12445      7049    285991   no data   no data
4.43/1.20	c  N st    12     25001       540      2333         0     12445      7049    285991   no data   no data
5.56/1.41	c Decided on static restart strategy
5.56/1.41	c  N st    18     30000       540      2333         0     10682      7049    211830   no data   no data
5.56/1.41	c  S st    18     30000       540      2333         0     10682      7049    211830   no data   no data
5.56/1.44	c  S st    18     30503       540      2333         0     11185      7049    223755   no data   no data
5.56/1.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.44	c blocked clauses removed:        9 vars:      2 tried:         540 T: 0.00 s
5.56/1.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
5.56/1.44	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c lits-rem:       153  cl-subs:      476  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.51	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
5.96/1.51	c calculated reachability. Time: 0.00
5.96/1.51	c  N st    18     30503       538      2324         0     10709      7022    211307   no data   no data
7.59/1.92	c  N st    20     37618       538      2324         0      9953      7022    173188   no data   no data
9.14/2.35	c  N st    21     44017       538      2324         0     16187      7022    322716   no data   no data
9.54/2.48	c  S st    22     45754       538      2324         0      9137      7022    135660   no data   no data
9.94/2.51	c  S st    22     46255       538      2324         0      9638      7022    147456   no data   no data
9.94/2.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
9.94/2.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.53	c lits-rem:        14  cl-subs:       94  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.53	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
9.94/2.53	c vivif2 --  cl tried     9544 cl shrink        0 lits rem          0 time: 0.00
9.94/2.54	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
9.94/2.54	c calculated reachability. Time: 0.00
9.94/2.54	c  N st    22     46255       538      2324         0      9544      7022    145106   no data   no data
13.92/3.51	c  N st    23     60653       538      2324         0     13844      7022    237447   no data   no data
16.37/4.15	c  N st    24     69382       538      2324         0     11659      7022    172778   no data   no data
16.37/4.15	c  S st    24     69382       538      2324         0     11659      7022    172778   no data   no data
16.37/4.18	c  S st    24     69889       538      2324         0     12163      7022    184672   no data   no data
16.37/4.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.37/4.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.37/4.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.37/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.37/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.37/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
16.37/4.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.37/4.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.37/4.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.72/4.21	c lits-rem:        24  cl-subs:      174  v-elim:      0  v-fix:    0  time:  0.02 s
16.72/4.21	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
16.72/4.21	c vivif2 --  cl tried    11989 cl shrink        0 lits rem          0 time: 0.00
16.72/4.22	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
16.72/4.22	c calculated reachability. Time: 0.00
16.72/4.22	c  N st    24     69889       538      2324         0     11989      7022    180916   no data   no data
21.90/5.52	c  F st    25     87500       538      2324         0     17506      7022    313734   no data   no data
21.90/5.52	c  N st    25     87500       538      2324         0     17506      7022    313734   no data   no data
23.49/5.96	c Decided on static restart strategy
24.72/6.21	c  N st    32     95538       538      2324         0     25417      7022    527329   no data   no data
27.09/6.88	c  N st    34    104833       538      2324         0     21790      7022    408350   no data   no data
27.09/6.88	c  S st    34    104833       538      2324         0     21790      7022    408350   no data   no data
27.49/6.94	c  S st    34    105337       538      2324         0     22293      7022    420407   no data   no data
27.49/6.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.49/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.49/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.49/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.49/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
27.49/6.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.49/6.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.49/6.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.11	c lits-rem:       324  cl-subs:      684  v-elim:      0  v-fix:    0  time:  0.15 s
28.29/7.11	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
28.29/7.11	c vivif2 --  cl tried    21609 cl shrink        0 lits rem          0 time: 0.00
28.29/7.13	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.01
28.29/7.13	c calculated reachability. Time: 0.00
28.29/7.13	c  N st    34    105337       538      2324         0     21609      7022    401327   no data   no data
31.47/7.96	c  N st    35    114935       538      2324         0     17290      7022    274347   no data   no data
37.06/9.31	c  N st    36    129332       538      2324         0     16702      7022    241924   no data   no data
44.23/11.16	c  N st    37    150928       538      2324         0     22183      7022    366116   no data   no data
46.66/11.76	c  S st    38    158006       538      2324         0     29120      7022    546902   no data   no data
47.07/11.83	c  S st    38    158517       538      2324         0     29630      7022    559221   no data   no data
47.07/11.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.07/11.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.07/11.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.07/11.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.07/11.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.07/11.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
47.07/11.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.07/11.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.07/11.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.63/12.21	c lits-rem:       363  cl-subs:     1215  v-elim:      0  v-fix:    0  time:  0.34 s
48.63/12.21	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
48.63/12.21	c vivif2 --  cl tried    28415 cl shrink        0 lits rem          0 time: 0.01
48.63/12.23	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
48.63/12.23	c calculated reachability. Time: 0.00
48.63/12.23	c  N st    38    158517       538      2324         0     28415      7022    526758   no data   no data
68.19/17.10	c  N st    39    207105       538      2324         0     23145      7022    356845   no data   no data
79.35/19.98	c  N st    40    237776       538      2324         0     33659      7022    634527   no data   no data
79.35/19.98	c  S st    40    237776       538      2324         0     33659      7022    634527   no data   no data
79.75/20.06	c  S st    40    238279       538      2324         0     34162      7022    647120   no data   no data
79.75/20.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
79.75/20.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
79.75/20.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
79.75/20.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
79.75/20.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.75/20.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
79.75/20.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
79.75/20.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
80.14/20.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.77/20.58	c lits-rem:       325  cl-subs:     1157  v-elim:      0  v-fix:    0  time:  0.48 s
81.77/20.58	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
81.77/20.58	c vivif2 --  cl tried    33005 cl shrink        0 lits rem          0 time: 0.01
81.77/20.61	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
81.77/20.61	c calculated reachability. Time: 0.00
81.77/20.61	c  N st    40    238279       538      2324         0     33005      7022    615157   no data   no data
112.06/28.19	c  F st    41    306251       538      2324         0     34741      7022    611493   no data   no data
112.06/28.19	c  N st    41    306251       538      2324         0     34741      7022    611493   no data   no data
114.45/28.79	c Decided on static restart strategy
126.06/31.62	c  N st    51    334558       538      2324         0     39058      7022    696008   no data   no data
136.39/34.27	c  N st    53    357422       538      2324         0     36968      7022    616205   no data   no data
136.39/34.27	c  S st    53    357422       538      2324         0     36968      7022    616205   no data   no data
136.79/34.37	c  S st    53    357924       538      2324         0     37469      7022    628801   no data   no data
136.79/34.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
136.79/34.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
136.79/34.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
136.79/34.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
136.79/34.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
136.79/34.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
136.79/34.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
136.79/34.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
137.19/34.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138.38/34.80	c lits-rem:       334  cl-subs:     1273  v-elim:      0  v-fix:    0  time:  0.39 s
138.38/34.80	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
138.38/34.80	c vivif2 --  cl tried    36196 cl shrink        0 lits rem          0 time: 0.01
138.81/34.83	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.02
138.81/34.83	c calculated reachability. Time: 0.00
138.81/34.83	c  N st    53    357924       538      2324         0     36196      7022    593030   no data   no data
155.14/38.94	c  N st    54    390316       538      2324         0     42568      7022    745711   no data   no data
181.46/45.50	c  N st    55    438905       538      2324         0     36238      7022    546320   no data   no data
226.98/56.91	c  N st    56    511788       538      2324         0     49572      7022    862153   no data   no data
242.09/60.71	c  N st    57    536886       538      2324         0     43813      7022    679503   no data   no data
242.09/60.71	c  S st    57    536886       538      2324         0     43813      7022    679503   no data   no data
242.49/60.82	c  S st    57    537387       538      2324         0     44314      7022    692583   no data   no data
242.49/60.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
242.49/60.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
242.49/60.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
242.49/60.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
242.49/60.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
242.49/60.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
242.49/60.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
242.49/60.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
242.49/60.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
244.89/61.49	c lits-rem:       182  cl-subs:     1759  v-elim:      0  v-fix:    0  time:  0.62 s
244.89/61.49	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
244.89/61.50	c vivif2 --  cl tried    42555 cl shrink        0 lits rem          0 time: 0.01
245.29/61.53	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.03
245.29/61.53	c calculated reachability. Time: 0.00
245.29/61.53	c  N st    57    537387       538      2324         0     42555      7022    651259   no data   no data
359.78/90.24	c  N st    58    701372       538      2324         0     36809      7022    414021   no data   no data
438.36/109.92	c  N st    59    806080       538      2324         0     65677      7022   1146078   no data   no data
438.36/109.92	c  S st    59    806080       538      2324         0     65677      7022   1146078   no data   no data
439.16/110.11	c  S st    59    806585       538      2324         0     66180      7022   1159463   no data   no data
439.16/110.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
439.16/110.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
439.16/110.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
439.16/110.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
439.16/110.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
439.16/110.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
439.16/110.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
439.16/110.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
439.16/110.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
452.31/113.49	c lits-rem:       795  cl-subs:     4197  v-elim:      0  v-fix:    0  time:  3.30 s
452.31/113.49	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
452.71/113.51	c vivif2 --  cl tried    61983 cl shrink        0 lits rem          0 time: 0.02
452.71/113.57	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.05
452.71/113.57	c calculated reachability. Time: 0.00
452.71/113.57	c  N st    59    806585       538      2324         0     61983      7022   1052592   no data   no data
669.76/168.01	c  F st    60   1071876       538      2324         0     78172      7022   1491572   no data   no data
669.76/168.01	c  N st    60   1071876       538      2324         0     78172      7022   1491572   no data   no data
676.50/169.66	c Decided on static restart strategy
694.86/174.24	c  N st    70   1100177       538      2324         0     61946      7022    936912   no data   no data
729.15/182.83	c  N st    72   1136170       538      2324         0     52100      7022    633632   no data   no data
760.26/190.69	c  N st    73   1168563       538      2324         0     83734      7022   1456669   no data   no data
797.76/200.01	c  N st    74   1209877       538      2324         0     78197      7022   1310328   no data   no data
797.76/200.01	c  S st    74   1209877       538      2324         0     78197      7022   1310328   no data   no data
798.96/200.30	c  S st    74   1210381       538      2324         0     78701      7022   1322334   no data   no data
798.96/200.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
798.96/200.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
798.96/200.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
798.96/200.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
798.96/200.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
798.96/200.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
798.96/200.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
798.96/200.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
799.36/200.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
819.35/205.42	c lits-rem:       478  cl-subs:     4134  v-elim:      0  v-fix:    0  time:  5.00 s
819.35/205.42	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
819.35/205.44	c vivif2 --  cl tried    74567 cl shrink        0 lits rem          0 time: 0.02
819.70/205.51	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.07
819.70/205.51	c calculated reachability. Time: 0.00
819.70/205.51	c  N st    74   1210381       538      2324         0     74567      7022   1220744   no data   no data
898.33/225.29	c  N st    75   1283263       538      2324         0     51106      7022    564375   no data   no data
1012.40/253.81	c  N st    76   1392586       538      2324         0     58990      7022    732112   no data   no data
1187.92/297.85	c  N st    77   1556570       538      2324         0     63882      7022    798607   no data   no data
1346.64/337.65	c  N st    78   1710381       538      2324         0    105358      7022   1836859   no data   no data
1346.64/337.65	c  S st    78   1710381       538      2324         0    105358      7022   1836859   no data   no data
1347.83/337.99	c  S st    78   1710886       538      2324         0    105861      7022   1849344   no data   no data
1348.23/338.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1348.23/338.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1348.23/338.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1348.23/338.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1348.23/338.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1348.23/338.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
1348.23/338.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1348.23/338.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1348.63/338.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1403.27/351.81	c lits-rem:      1148  cl-subs:     9244  v-elim:      0  v-fix:    0  time: 13.67 s
1403.27/351.81	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
1403.27/351.83	c vivif2 --  cl tried    96617 cl shrink        0 lits rem          0 time: 0.02
1403.67/351.93	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.10
1403.67/351.94	c calculated reachability. Time: 0.00
1403.67/351.94	c  N st    78   1710886       538      2324         0     96617      7022   1637985   no data   no data
1787.01/448.09	c  N st    79   2079850       538      2324         0    108551      7022   1878323   no data   no data
1929.81/483.80	c  N st    80   2210886       538      2324         0    112607      7022   1897578   no data   no data
1929.81/483.80	c  S st    80   2210886       538      2324         0    112607      7022   1897578   no data   no data
1931.01/484.15	c  S st    80   2211393       538      2324         0    113114      7022   1911199   no data   no data
1931.01/484.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1931.41/484.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1931.41/484.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1931.41/484.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1931.41/484.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1931.41/484.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
1931.41/484.22	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1931.41/484.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1931.81/484.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1974.08/494.99	c lits-rem:       695  cl-subs:     6813  v-elim:      0  v-fix:    0  time: 10.69 s
1974.08/494.99	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
1974.49/495.02	c vivif2 --  cl tried   106301 cl shrink        0 lits rem          0 time: 0.02
1974.89/495.13	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.11
1974.89/495.14	c calculated reachability. Time: 0.00
1974.89/495.14	c  N st    80   2211393       538      2324         0    106301      7022   1750648   no data   no data
2572.43/644.90	c  N st    81   2711393       538      2324         0    129797      7022   2225596   no data   no data
2572.43/644.90	c  S st    81   2711393       538      2324         0    129797      7022   2225596   no data   no data
2574.06/645.34	c  S st    81   2711897       538      2324         0    130301      7022   2238248   no data   no data
2574.06/645.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2574.47/645.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2574.47/645.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2574.47/645.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2574.47/645.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2574.47/645.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
2574.47/645.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2574.47/645.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2574.81/645.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2652.60/665.06	c lits-rem:      1487  cl-subs:    10606  v-elim:      0  v-fix:    0  time: 19.54 s
2652.60/665.06	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
2652.60/665.09	c vivif2 --  cl tried   119695 cl shrink        0 lits rem          0 time: 0.03
2653.44/665.22	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.13
2653.44/665.22	c calculated reachability. Time: 0.00
2653.44/665.22	c  N st    81   2711897       538      2324         0    119695      7022   1991059   no data   no data
3345.87/838.87	c  N st    82   3211897       538      2324         0     95140      7022   1187446   no data   no data
3345.87/838.87	c  S st    82   3211897       538      2324         0     95140      7022   1187446   no data   no data
3347.86/839.32	c  S st    82   3212401       538      2324         0     95643      7022   1200191   no data   no data
3347.86/839.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3348.26/839.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.07
3348.26/839.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3348.26/839.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3348.26/839.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3348.26/839.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
3348.26/839.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3348.26/839.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3348.26/839.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3368.24/844.42	c lits-rem:       252  cl-subs:     3751  v-elim:      0  v-fix:    0  time:  4.93 s
3368.24/844.42	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
3368.24/844.44	c vivif2 --  cl tried    91892 cl shrink        0 lits rem          0 time: 0.02
3368.65/844.59	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.15
3369.00/844.60	c calculated reachability. Time: 0.00
3369.00/844.60	c  N st    82   3212401       538      2324         0     91892      7022   1121257   no data   no data
4051.92/1015.87	c  N st    83   3712402       538      2324         0    103837      7022   1354801   no data   no data
4051.92/1015.87	c  S st    83   3712402       538      2324         0    103837      7022   1354801   no data   no data
4053.16/1016.18	c  S st    83   3712903       538      2324         0    104336      7022   1367739   no data   no data
4053.16/1016.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4053.51/1016.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4053.51/1016.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4053.51/1016.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4053.51/1016.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4053.51/1016.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    538 time:  0.00 s
4053.51/1016.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4053.51/1016.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
4053.91/1016.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4069.46/1020.24	c lits-rem:       430  cl-subs:     2981  v-elim:      0  v-fix:    0  time:  3.93 s
4069.46/1020.24	c vivif2 --  cl tried     2324 cl shrink        0 lits rem          0 time: 0.00
4069.46/1020.26	c vivif2 --  cl tried   101355 cl shrink        0 lits rem          0 time: 0.02
4069.86/1020.40	c asymm  cl-useful: 0/2324/2324 lits-rem:0 time: 0.14
4069.86/1020.40	c calculated reachability. Time: 0.00
4069.86/1020.40	c  N st    83   3712903       538      2324         0    101355      7022   1293761   no data   no data
4133.28/1036.23	c  F st    84   3751564       538      2324         0    139003      7022   2267206   no data   no data
4133.28/1036.23	c  N st    84   3751564       538      2324         0    139003      7022   2267206   no data   no data
4144.88/1039.14	c Decided on static restart strategy
4197.11/1052.21	c  N st    94   3779868       538      2324         0     83539      7022    790997   no data   no data
4240.19/1063.00	c  N st    96   3815862       538      2324         0    118625      7022   1652555   no data   no data
4285.29/1074.33	c  N st    97   3848254       538      2324         0    150115      7022   2439228   no data   no data
4358.26/1092.66	c  N st    98   3896842       538      2324         0    113567      7022   1495641   no data   no data
4474.74/1121.88	c  N st    99   3969724       538      2324         0     99684      7022   1155707   no data   no data
4632.35/1161.39	c  N st   100   4079051       538      2324         0    120416      7022   1775144   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-3366674-1305411877/watcher-3366674-1305411877 -o /tmp/evaluation-result-3366674-1305411877/solver-3366674-1305411877 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366674-1305411877.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: 8.10 8.05 7.44 1/348 21997
/proc/meminfo: memFree=24131580/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=51168 CPUtime=0.01 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 412 0 0 0 1 0 0 0 25 0 4 0 652784436 52396032 352 33554432000 4194304 4580107 140734435626368 18446744073709551615 47014415463961 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 12792 352 302 95 0 7774 0
[pid=21997/tid=21999] ppid=21995 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652784436 52396032 352 33554432000 4194304 4580107 140734435626368 18446744073709551615 47014415463955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 652784436 52396032 352 33554432000 4194304 4580107 140734435626368 18446744073709551615 47014415463961 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652784436 52396032 352 33554432000 4194304 4580107 140734435626368 18446744073709551615 47014415464370 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.817225 s]
/proc/loadavg: 8.10 8.05 7.44 1/348 21997
/proc/meminfo: memFree=24131580/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=351332 CPUtime=3.23 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 5262 0 0 0 322 1 0 0 18 0 4 0 652784436 359763968 2437 33554432000 4194304 4580107 140734435626368 18446744073709551615 4321122 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 87833 2438 377 95 0 82815 0
[pid=21997/tid=21999] ppid=21995 vsize=351332 CPUtime=0.8 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1225 0 0 0 80 0 0 0 18 0 4 0 652784436 359763968 2438 33554432000 4194304 4580107 140734435626368 18446744073709551615 4320813 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=351332 CPUtime=0.8 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1188 0 0 0 80 0 0 0 19 0 4 0 652784436 359763968 2438 33554432000 4194304 4580107 140734435626368 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=351332 CPUtime=0.79 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1219 0 0 0 79 0 0 0 19 0 4 0 652784436 359763968 2438 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.23
Current children cumulated vsize (KiB) 351332

[startup+0.917204 s]
/proc/loadavg: 8.10 8.05 7.44 1/348 21997
/proc/meminfo: memFree=24131580/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=351332 CPUtime=3.63 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 5525 0 0 0 362 1 0 0 19 0 4 0 652784436 359763968 2700 33554432000 4194304 4580107 140734435626368 18446744073709551615 4321646 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 87833 2700 377 95 0 82815 0
[pid=21997/tid=21999] ppid=21995 vsize=351332 CPUtime=0.9 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1296 0 0 0 90 0 0 0 19 0 4 0 652784436 359763968 2700 33554432000 4194304 4580107 140734435626368 18446744073709551615 4318389 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=351332 CPUtime=0.9 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1251 0 0 0 90 0 0 0 19 0 4 0 652784436 359763968 2700 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=351332 CPUtime=0.89 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1287 0 0 0 89 0 0 0 19 0 4 0 652784436 359763968 2700 33554432000 4194304 4580107 140734435626368 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 351332

[startup+1.01718 s]
/proc/loadavg: 8.10 8.05 7.44 1/348 21997
/proc/meminfo: memFree=24131580/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=351524 CPUtime=4.03 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 5791 0 0 0 402 1 0 0 19 0 4 0 652784436 359960576 2966 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 87881 2966 377 95 0 82863 0
[pid=21997/tid=21999] ppid=21995 vsize=351524 CPUtime=1 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1357 0 0 0 100 0 0 0 19 0 4 0 652784436 359960576 2966 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=351524 CPUtime=1 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1329 0 0 0 100 0 0 0 19 0 4 0 652784436 359960576 2966 33554432000 4194304 4580107 140734435626368 18446744073709551615 4321304 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=351524 CPUtime=0.99 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1363 0 0 0 99 0 0 0 19 0 4 0 652784436 359960576 2966 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.03
Current children cumulated vsize (KiB) 351524

[startup+1.11716 s]
/proc/loadavg: 8.10 8.05 7.44 1/348 21997
/proc/meminfo: memFree=24131580/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=351524 CPUtime=4.43 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 6018 0 0 0 442 1 0 0 19 0 4 0 652784436 359960576 3193 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 87881 3193 377 95 0 82863 0
[pid=21997/tid=21999] ppid=21995 vsize=351524 CPUtime=1.1 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1404 0 0 0 110 0 0 0 19 0 4 0 652784436 359960576 3193 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=351524 CPUtime=1.1 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1390 0 0 0 110 0 0 0 19 0 4 0 652784436 359960576 3193 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=351524 CPUtime=1.09 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1423 0 0 0 109 0 0 0 19 0 4 0 652784436 359960576 3193 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4.43
Current children cumulated vsize (KiB) 351524

[startup+1.50109 s]
/proc/loadavg: 8.10 8.05 7.44 1/348 21997
/proc/meminfo: memFree=24131580/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=357788 CPUtime=5.96 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 8948 0 0 0 595 1 0 0 19 0 4 0 652784436 366374912 4677 33554432000 4194304 4580107 140734435626368 18446744073709551615 4416496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 89447 4677 380 95 0 84429 0
[pid=21997/tid=21999] ppid=21995 vsize=357788 CPUtime=1.49 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1787 0 0 0 149 0 0 0 19 0 4 0 652784436 366374912 4677 33554432000 4194304 4580107 140734435626368 18446744073709551615 4316651 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=357788 CPUtime=1.49 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1775 0 0 0 149 0 0 0 20 0 4 0 652784436 366374912 4677 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=357788 CPUtime=1.48 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 1845 0 0 0 148 0 0 0 20 0 4 0 652784436 366374912 4677 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 357788

[startup+3.10077 s]
/proc/loadavg: 8.17 8.07 7.44 9/357 22037
/proc/meminfo: memFree=24057984/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=358792 CPUtime=12.33 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 18063 0 0 0 1231 2 0 0 25 0 4 0 652784436 367403008 9839 33554432000 4194304 4580107 140734435626368 18446744073709551615 4292997 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 89698 9839 381 95 0 84680 0
[pid=21997/tid=21999] ppid=21995 vsize=358792 CPUtime=3.09 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 3987 0 0 0 309 0 0 0 25 0 4 0 652784436 367403008 9839 33554432000 4194304 4580107 140734435626368 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=358792 CPUtime=3.08 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 4845 0 0 0 308 0 0 0 25 0 4 0 652784436 367403008 9839 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=358792 CPUtime=3.05 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 4562 0 0 0 305 0 0 0 25 0 4 0 652784436 367403008 9839 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 358792

[startup+6.31314 s]
/proc/loadavg: 8.17 8.07 7.44 9/357 22037
/proc/meminfo: memFree=24035044/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=361304 CPUtime=25.13 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 29210 0 0 0 2509 4 0 0 25 0 4 0 652784436 369975296 13021 33554432000 4194304 4580107 140734435626368 18446744073709551615 4324233 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 90326 13021 379 95 0 85308 0
[pid=21997/tid=21999] ppid=21995 vsize=361304 CPUtime=6.3 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 7469 0 0 0 629 1 0 0 25 0 4 0 652784436 369975296 13021 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=361304 CPUtime=6.3 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 8178 0 0 0 629 1 0 0 25 0 4 0 652784436 369975296 13021 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=361304 CPUtime=6.22 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 6625 0 0 0 622 0 0 0 25 0 4 0 652784436 369975296 13021 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 361304

[startup+12.7009 s]
/proc/loadavg: 8.15 8.07 7.45 9/357 22037
/proc/meminfo: memFree=23991068/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=364452 CPUtime=50.63 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 45970 0 0 0 5056 7 0 0 25 0 4 0 652784436 373198848 21365 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 91113 21365 379 95 0 86095 0
[pid=21997/tid=21999] ppid=21995 vsize=364452 CPUtime=12.69 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 10952 0 0 0 1267 2 0 0 25 0 4 0 652784436 373198848 21365 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=364452 CPUtime=12.69 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 11647 0 0 0 1267 2 0 0 25 0 4 0 652784436 373198848 21365 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=364452 CPUtime=12.56 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 10938 0 0 0 1255 1 0 0 25 0 4 0 652784436 373198848 21365 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 364452

[startup+25.5003 s]
/proc/loadavg: 8.12 8.06 7.46 9/357 22037
/proc/meminfo: memFree=23951260/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=372452 CPUtime=101.68 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 65998 0 0 0 10156 12 0 0 25 0 4 0 652784436 381390848 25979 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 93113 25979 379 95 0 88095 0
[pid=21997/tid=21999] ppid=21995 vsize=372452 CPUtime=25.49 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 15620 0 0 0 2546 3 0 0 25 0 4 0 652784436 381390848 25979 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294418 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=372452 CPUtime=25.48 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 15386 0 0 0 2546 2 0 0 25 0 4 0 652784436 381390848 25979 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=372452 CPUtime=25.21 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 15549 0 0 0 2519 2 0 0 25 0 4 0 652784436 381390848 25979 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 372452

[startup+51.1002 s]
/proc/loadavg: 8.23 8.09 7.48 9/357 22038
/proc/meminfo: memFree=23896236/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=376936 CPUtime=203.8 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 97273 0 0 0 20357 23 0 0 25 0 4 0 652784436 385982464 35778 33554432000 4194304 4580107 140734435626368 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 94234 35778 379 95 0 89216 0
[pid=21997/tid=21999] ppid=21995 vsize=376936 CPUtime=51.09 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 22402 0 0 0 5104 5 0 0 25 0 4 0 652784436 385982464 35778 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=376936 CPUtime=51.08 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 23488 0 0 0 5103 5 0 0 25 0 4 0 652784436 385982464 35778 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=376936 CPUtime=50.54 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 23784 0 0 0 5050 4 0 0 25 0 4 0 652784436 385982464 35778 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 376936

[startup+102.301 s]
/proc/loadavg: 8.26 8.11 7.51 9/357 22039
/proc/meminfo: memFree=23832468/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=530860 CPUtime=408.04 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 130078 0 0 0 40772 32 0 0 25 0 4 0 652784436 543600640 48942 33554432000 4194304 4580107 140734435626368 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 132715 48942 379 95 0 127697 0
[pid=21997/tid=21999] ppid=21995 vsize=530860 CPUtime=102.29 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 32360 0 0 0 10221 8 0 0 25 0 4 0 652784436 543600640 48942 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=530860 CPUtime=102.28 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 30257 0 0 0 10221 7 0 0 25 0 4 0 652784436 543600640 48942 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=530860 CPUtime=101.17 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 35060 0 0 0 10111 6 0 0 25 0 4 0 652784436 543600640 48942 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.04
Current children cumulated vsize (KiB) 530860

[startup+162.301 s]

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

[pid=21997] ppid=21995 vsize=598104 CPUtime=2562.05 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 468521 0 0 0 256052 153 0 0 25 0 4 0 652784436 612458496 87100 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 149526 87100 379 95 0 144508 0
[pid=21997/tid=21999] ppid=21995 vsize=598104 CPUtime=642.29 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 117289 0 0 0 64193 36 0 0 25 0 4 0 652784436 612458496 87100 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=598104 CPUtime=642.3 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 116632 0 0 0 64188 42 0 0 25 0 4 0 652784436 612458496 87100 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293179 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=598104 CPUtime=635.24 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 117116 0 0 0 63490 34 0 0 25 0 4 0 652784436 612458496 87100 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2562.05
Current children cumulated vsize (KiB) 598104

[startup+702.301 s]
/proc/loadavg: 8.07 8.10 7.78 9/357 22057
/proc/meminfo: memFree=23514412/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=615644 CPUtime=2801.39 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 501232 0 0 0 279972 167 0 0 25 0 4 0 652784436 630419456 90745 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 153911 90745 379 95 0 148893 0
[pid=21997/tid=21999] ppid=21995 vsize=615644 CPUtime=702.3 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 125766 0 0 0 70190 40 0 0 25 0 4 0 652784436 630419456 90745 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294363 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=615644 CPUtime=702.31 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 125486 0 0 0 70185 46 0 0 25 0 4 0 652784436 630419456 90745 33554432000 4194304 4580107 140734435626368 18446744073709551615 4507797 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=615644 CPUtime=694.58 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 123990 0 0 0 69420 38 0 0 25 0 4 0 652784436 630419456 90745 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2801.39
Current children cumulated vsize (KiB) 615644

[startup+762.301 s]
/proc/loadavg: 8.06 8.09 7.80 9/357 22059
/proc/meminfo: memFree=23499016/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=617880 CPUtime=3040.72 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 530339 0 0 0 303892 180 0 0 25 0 4 0 652784436 632709120 91862 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 154470 91862 379 95 0 149452 0
[pid=21997/tid=21999] ppid=21995 vsize=617880 CPUtime=762.3 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 134419 0 0 0 76187 43 0 0 25 0 4 0 652784436 632709120 91862 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=617880 CPUtime=762.3 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 133103 0 0 0 76181 49 0 0 25 0 4 0 652784436 632709120 91862 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=617880 CPUtime=753.91 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 131972 0 0 0 75349 42 0 0 25 0 4 0 652784436 632709120 91862 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3040.72
Current children cumulated vsize (KiB) 617880

[startup+822.301 s]
/proc/loadavg: 8.06 8.09 7.81 9/357 22060
/proc/meminfo: memFree=23449388/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=695204 CPUtime=3280.07 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 556170 0 0 0 327816 191 0 0 25 0 4 0 652784436 711888896 101181 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 173801 101181 379 95 0 168783 0
[pid=21997/tid=21999] ppid=21995 vsize=695204 CPUtime=822.3 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 138872 0 0 0 82186 44 0 0 25 0 4 0 652784436 711888896 101181 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=695204 CPUtime=822.31 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 141610 0 0 0 82178 53 0 0 25 0 4 0 652784436 711888896 101181 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=695204 CPUtime=813.27 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 139002 0 0 0 81281 46 0 0 25 0 4 0 652784436 711888896 101181 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3280.07
Current children cumulated vsize (KiB) 695204

[startup+882.301 s]
/proc/loadavg: 8.09 8.10 7.83 9/357 22062
/proc/meminfo: memFree=23398884/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=687132 CPUtime=3519.37 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 584188 0 0 0 351735 202 0 0 25 0 4 0 652784436 703623168 105965 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 171783 105965 379 95 0 166765 0
[pid=21997/tid=21999] ppid=21995 vsize=687132 CPUtime=882.3 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 147621 0 0 0 88183 47 0 0 25 0 4 0 652784436 703623168 105965 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=687132 CPUtime=882.31 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 147980 0 0 0 88176 55 0 0 25 0 4 0 652784436 703623168 105965 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=687132 CPUtime=872.58 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 147362 0 0 0 87209 49 0 0 25 0 4 0 652784436 703623168 105965 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3519.37
Current children cumulated vsize (KiB) 687132

[startup+942.301 s]
/proc/loadavg: 8.16 8.12 7.85 9/357 22064
/proc/meminfo: memFree=23395396/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=687464 CPUtime=3758.75 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 611931 0 0 0 375662 213 0 0 25 0 4 0 652784436 703963136 112667 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 171866 112667 379 95 0 166848 0
[pid=21997/tid=21999] ppid=21995 vsize=687464 CPUtime=942.31 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 155292 0 0 0 94182 49 0 0 25 0 4 0 652784436 703963136 112667 33554432000 4194304 4580107 140734435626368 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=687464 CPUtime=942.33 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 154731 0 0 0 94175 58 0 0 25 0 4 0 652784436 703963136 112667 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=687464 CPUtime=931.93 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 154248 0 0 0 93141 52 0 0 25 0 4 0 652784436 703963136 112667 33554432000 4194304 4580107 140734435626368 18446744073709551615 4301958 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3758.75
Current children cumulated vsize (KiB) 687464

[startup+1002.3 s]
/proc/loadavg: 8.22 8.13 7.87 9/357 22065
/proc/meminfo: memFree=23422292/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=700880 CPUtime=3998.06 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 641142 0 0 0 399580 226 0 0 25 0 4 0 652784436 717701120 107299 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 175220 107299 379 95 0 170202 0
[pid=21997/tid=21999] ppid=21995 vsize=700880 CPUtime=1002.3 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 164192 0 0 0 100177 53 0 0 25 0 4 0 652784436 717701120 107299 33554432000 4194304 4580107 140734435626368 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=700880 CPUtime=1002.32 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 161279 0 0 0 100171 61 0 0 25 0 4 0 652784436 717701120 107299 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=700880 CPUtime=991.28 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 161018 0 0 0 99073 55 0 0 25 0 4 0 652784436 717701120 107299 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3998.06
Current children cumulated vsize (KiB) 700880

[startup+1062.31 s]
/proc/loadavg: 8.14 8.12 7.88 9/357 22068
/proc/meminfo: memFree=23388176/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=818868 CPUtime=4237.44 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 668907 0 0 0 423506 238 0 0 25 0 4 0 652784436 838520832 115388 33554432000 4194304 4580107 140734435626368 18446744073709551615 4295735 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 204717 115388 379 95 0 199699 0
[pid=21997/tid=21999] ppid=21995 vsize=818868 CPUtime=1062.32 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 172711 0 0 0 106176 56 0 0 25 0 4 0 652784436 838520832 115388 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=818868 CPUtime=1062.33 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 166553 0 0 0 106168 65 0 0 25 0 4 0 652784436 838520832 115388 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=818868 CPUtime=1050.63 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 169083 0 0 0 105005 58 0 0 25 0 4 0 652784436 838520832 115388 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4237.44
Current children cumulated vsize (KiB) 818868

[startup+1122.3 s]
/proc/loadavg: 8.20 8.13 7.90 9/357 22069
/proc/meminfo: memFree=23376136/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=819760 CPUtime=4476.73 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 694902 0 0 0 447425 248 0 0 25 0 4 0 652784436 839434240 116007 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 204940 116007 379 95 0 199922 0
[pid=21997/tid=21999] ppid=21995 vsize=819760 CPUtime=1122.31 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 177990 0 0 0 112173 58 0 0 25 0 4 0 652784436 839434240 116007 33554432000 4194304 4580107 140734435626368 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=819760 CPUtime=1122.32 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 174623 0 0 0 112164 68 0 0 25 0 4 0 652784436 839434240 116007 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=819760 CPUtime=1109.97 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 175587 0 0 0 110936 61 0 0 25 0 4 0 652784436 839434240 116007 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4476.73
Current children cumulated vsize (KiB) 819760

[startup+1182.3 s]
/proc/loadavg: 8.07 8.10 7.90 9/357 22071
/proc/meminfo: memFree=23380948/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=820220 CPUtime=4716.07 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 720283 0 0 0 471348 259 0 0 25 0 4 0 652784436 839905280 116099 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294513 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 205055 116099 379 95 0 200037 0
[pid=21997/tid=21999] ppid=21995 vsize=820220 CPUtime=1182.3 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 184601 0 0 0 118169 61 0 0 25 0 4 0 652784436 839905280 116099 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=820220 CPUtime=1182.32 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 181069 0 0 0 118161 71 0 0 25 0 4 0 652784436 839905280 116099 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=820220 CPUtime=1169.3 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 182235 0 0 0 116867 63 0 0 25 0 4 0 652784436 839905280 116099 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4716.07
Current children cumulated vsize (KiB) 820220



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 8.05 8.09 7.91 9/357 22072
/proc/meminfo: memFree=23364936/32950928 swapFree=45937192/67111528
[pid=21997] ppid=21995 vsize=820468 CPUtime=4800.27 cores=0,2,4,6
/proc/21997/stat : 21997 (strangenight2-m) R 21995 21997 21516 0 -1 4202496 728802 0 0 0 479765 262 0 0 25 0 4 0 652784436 840159232 117448 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/21997/statm: 205117 117448 379 95 0 200099 0
[pid=21997/tid=21999] ppid=21995 vsize=820468 CPUtime=1203.42 cores=0,2,4,6
/proc/21997/task/21999/stat : 21999 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 186989 0 0 0 120280 62 0 0 25 0 4 0 652784436 840159232 117448 33554432000 4194304 4580107 140734435626368 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=21997/tid=22000] ppid=21995 vsize=820468 CPUtime=1203.44 cores=0,2,4,6
/proc/21997/task/22000/stat : 22000 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 182817 0 0 0 120272 72 0 0 25 0 4 0 652784436 840159232 117448 33554432000 4194304 4580107 140734435626368 18446744073709551615 4294558 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=21997/tid=22001] ppid=21995 vsize=820468 CPUtime=1190.18 cores=0,2,4,6
/proc/21997/task/22001/stat : 22001 (strangenight2-m) R 21995 21997 21516 0 -1 4202560 183804 0 0 0 118954 64 0 0 25 0 4 0 652784436 840159232 117448 33554432000 4194304 4580107 140734435626368 18446744073709551615 4305156 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 820468

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.44
CPU time (s): 4800.33
CPU user time (s): 4797.68
CPU system time (s): 2.6476
CPU usage (%): 398.883
Max. virtual memory (cumulated for all children) (KiB): 873184

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.68
system time used= 2.6476
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 728803
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= 548
involuntary context switches= 34457

runsolver used 3.74943 second user time and 9.53855 second system time

The end

Launcher Data 

Begin job on node149 at 2011-05-15 00:24:37
IDJOB=3366674
IDBENCH=83083
IDSOLVER=1844
FILE ID=node149/3366674-1305411877
RUNJOBID= node149-1305410672-21892
PBS_JOBID= 13324509
Free space on /tmp= 73568 MiB

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

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

MD5SUM BENCH= 82989c7f536fd5815485b15c37159486
RANDOM SEED=1381970779

node149.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.806
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.61
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.806
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.83
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.806
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.83
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.806
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.73
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.806
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.82
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.806
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.806
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.806
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:     32950928 kB
MemFree:      24131868 kB
Buffers:        310912 kB
Cached:        3873240 kB
SwapCached:      19984 kB
Active:        6319128 kB
Inactive:      2205212 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24131868 kB
SwapTotal:    67111528 kB
SwapFree:     45937192 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:     4332892 kB
Mapped:          14200 kB
Slab:           157216 kB
PageTables:      71908 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 80223672 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= 73560 MiB
End job on node149 at 2011-05-15 00:44:43