Trace number 3366400

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.38 1203.35

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S1894319588-015.SATISFIABLE.cnf
MD5SUMc06f05996bba25e7e26c6579a49532fc
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.013997
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
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-3366400-1305403330.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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:    650 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.02	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.05	c Calc default polars -  time:   0.00 s pos:     265 undec:      77 neg:     308
0.00/0.05	c =========================================================================================
0.00/0.05	c types(t): F = full restart, N = normal restart
0.00/0.05	c types(t): S = simplification begin/end, E = solution found
0.00/0.05	c restart types(rt): st = static, dy = dynamic
0.00/0.05	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.05	c  B st     0         0       627      2746         0         0      8379         0   no data   no data
0.42/0.12	c Decided on static restart strategy
0.42/0.18	c  N st     8      4923       627      2746         0      4853      8379    137802   no data   no data
1.57/0.46	c  N st    10     11308       627      2746         0      4499      8379     88219   no data   no data
2.77/0.76	c  N st    11     17051       627      2746         0     10164      8379    256485   no data   no data
4.39/1.20	c  F st    12     25001       627      2746         0     12448      8379    319808   no data   no data
4.39/1.20	c  N st    12     25001       627      2746         0     12448      8379    319808   no data   no data
5.56/1.49	c Decided on static restart strategy
5.56/1.49	c  N st    18     30000       627      2746         0     10710      8379    241148   no data   no data
5.56/1.49	c  S st    18     30000       627      2746         0     10710      8379    241148   no data   no data
5.96/1.52	c  S st    18     30505       627      2746         0     11215      8379    254207   no data   no data
5.96/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.52	c blocked clauses removed:        6 vars:      1 tried:         627 T: 0.00 s
5.96/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
5.96/1.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.58	c lits-rem:       110  cl-subs:      288  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.59	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
5.96/1.59	c calculated reachability. Time: 0.00
5.96/1.59	c  N st    18     30505       626      2740         0     10927      8361    244575   no data   no data
7.96/2.01	c  N st    20     37618       626      2740         0     10169      8361    199736   no data   no data
9.54/2.41	c  N st    21     44017       626      2740         0     16464      8361    380860   no data   no data
9.95/2.52	c  S st    22     45760       626      2740         0      9386      8361    155074   no data   no data
9.95/2.55	c  S st    22     46262       626      2740         0      9888      8361    167992   no data   no data
9.95/2.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
9.95/2.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.95/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.57	c lits-rem:        52  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.57	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
9.95/2.58	c vivif2 --  cl tried     9861 cl shrink        0 lits rem          0 time: 0.00
9.95/2.58	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
9.95/2.58	c calculated reachability. Time: 0.00
9.95/2.58	c  N st    22     46262       626      2740         0      9861      8361    167106   no data   no data
14.34/3.62	c  N st    23     60660       626      2740         0     14199      8361    279376   no data   no data
17.14/4.33	c  N st    24     69393       626      2740         0     11988      8361    207310   no data   no data
17.14/4.33	c  S st    24     69393       626      2740         0     11988      8361    207310   no data   no data
17.14/4.36	c  S st    24     69897       626      2740         0     12492      8361    220286   no data   no data
17.14/4.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.14/4.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.14/4.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.14/4.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.14/4.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
17.14/4.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.14/4.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.14/4.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.40	c lits-rem:        53  cl-subs:      133  v-elim:      0  v-fix:    0  time:  0.02 s
17.14/4.40	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
17.14/4.40	c vivif2 --  cl tried    12359 cl shrink        0 lits rem          0 time: 0.00
17.56/4.41	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
17.56/4.41	c calculated reachability. Time: 0.00
17.56/4.41	c  N st    24     69897       626      2740         0     12359      8361    216069   no data   no data
22.71/5.78	c  F st    25     87500       626      2740         0     17900      8361    380694   no data   no data
22.71/5.78	c  N st    25     87500       626      2740         0     17900      8361    380694   no data   no data
24.32/6.18	c Decided on static restart strategy
25.52/6.46	c  N st    32     95541       626      2740         0     13027      8361    199482   no data   no data
28.31/7.14	c  N st    34    104845       626      2740         0     22158      8361    459373   no data   no data
28.31/7.14	c  S st    34    104845       626      2740         0     22158      8361    459373   no data   no data
28.31/7.19	c  S st    34    105349       626      2740         0     22660      8361    472508   no data   no data
28.31/7.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.71/7.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.71/7.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.71/7.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.71/7.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
28.71/7.20	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.71/7.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.71/7.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.11/7.38	c lits-rem:       101  cl-subs:      700  v-elim:      0  v-fix:    0  time:  0.16 s
29.11/7.38	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
29.11/7.38	c vivif2 --  cl tried    21960 cl shrink        0 lits rem          0 time: 0.00
29.50/7.40	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
29.50/7.40	c calculated reachability. Time: 0.00
29.50/7.40	c  N st    34    105349       626      2740         0     21960      8361    450909   no data   no data
32.70/8.23	c  N st    35    114948       626      2740         0     17650      8361    307865   no data   no data
38.29/9.64	c  N st    36    129345       626      2740         0     17077      8361    271602   no data   no data
47.07/11.80	c  N st    37    150941       626      2740         0     22580      8361    409980   no data   no data
49.45/12.47	c  S st    38    158023       626      2740         0     29538      8361    617603   no data   no data
49.85/12.54	c  S st    38    158527       626      2740         0     30042      8361    630475   no data   no data
49.85/12.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.85/12.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.85/12.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.85/12.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.85/12.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.85/12.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
49.85/12.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.85/12.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.85/12.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.46/12.96	c lits-rem:       235  cl-subs:     1038  v-elim:      0  v-fix:    0  time:  0.38 s
51.46/12.96	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
51.46/12.97	c vivif2 --  cl tried    29004 cl shrink        0 lits rem          0 time: 0.01
51.46/12.99	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.02
51.46/12.99	c calculated reachability. Time: 0.00
51.46/12.99	c  N st    38    158527       626      2740         0     29004      8361    597301   no data   no data
73.00/18.33	c  N st    39    207117       626      2740         0     23678      8361    396722   no data   no data
87.79/22.08	c  N st    40    237790       626      2740         0     34147      8361    665131   no data   no data
87.79/22.08	c  S st    40    237790       626      2740         0     34147      8361    665131   no data   no data
88.21/22.16	c  S st    40    238294       626      2740         0     34651      8361    678681   no data   no data
88.21/22.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
88.21/22.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
88.21/22.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.21/22.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.21/22.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.21/22.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
88.21/22.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
88.21/22.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
88.56/22.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.56/22.73	c lits-rem:       232  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.52 s
90.56/22.73	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
90.56/22.74	c vivif2 --  cl tried    33327 cl shrink        0 lits rem          0 time: 0.01
90.56/22.76	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.02
90.56/22.76	c calculated reachability. Time: 0.00
90.56/22.76	c  N st    40    238294       626      2740         0     33327      8361    643374   no data   no data
124.08/31.12	c  F st    41    306250       626      2740         0     35189      8361    653801   no data   no data
124.08/31.12	c  N st    41    306250       626      2740         0     35189      8361    653801   no data   no data
126.47/31.76	c Decided on static restart strategy
137.64/34.54	c  N st    51    334554       626      2740         0     39477      8361    789343   no data   no data
149.65/37.59	c  N st    53    357442       626      2740         0     37383      8361    695619   no data   no data
149.65/37.59	c  S st    53    357442       626      2740         0     37383      8361    695619   no data   no data
150.01/37.69	c  S st    53    357942       626      2740         0     37882      8361    708685   no data   no data
150.01/37.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.41/37.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.41/37.71	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.41/37.71	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.41/37.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.41/37.71	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
150.41/37.71	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.41/37.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.41/37.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.40/38.20	c lits-rem:       234  cl-subs:     1077  v-elim:      0  v-fix:    0  time:  0.46 s
152.40/38.20	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
152.40/38.21	c vivif2 --  cl tried    36805 cl shrink        0 lits rem          0 time: 0.01
152.40/38.24	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.03
152.40/38.24	c calculated reachability. Time: 0.00
152.40/38.24	c  N st    53    357942       626      2740         0     36805      8361    672774   no data   no data
169.96/42.61	c  N st    54    390336       626      2740         0     43030      8361    823290   no data   no data
199.09/49.94	c  N st    55    438925       626      2740         0     36808      8361    618537   no data   no data
242.98/60.96	c  N st    56    511807       626      2740         0     50372      8361    952092   no data   no data
259.73/65.15	c  N st    57    536913       626      2740         0     44645      8361    781987   no data   no data
259.73/65.15	c  S st    57    536913       626      2740         0     44645      8361    781987   no data   no data
260.13/65.28	c  S st    57    537420       626      2740         0     45152      8361    796291   no data   no data
260.13/65.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
260.53/65.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
260.53/65.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
260.53/65.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
260.53/65.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
260.53/65.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
260.53/65.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
260.53/65.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
260.53/65.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.53/65.89	c lits-rem:       477  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  0.56 s
262.53/65.89	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
262.94/65.90	c vivif2 --  cl tried    44087 cl shrink        0 lits rem          0 time: 0.01
262.94/65.94	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.03
262.94/65.94	c calculated reachability. Time: 0.00
262.94/65.94	c  N st    57    537420       626      2740         0     44087      8361    764489   no data   no data
384.62/96.43	c  N st    58    701404       626      2740         0     38106      8361    477535   no data   no data
469.49/117.71	c  N st    59    806131       626      2740         0     67125      8361   1295907   no data   no data
469.49/117.71	c  S st    59    806131       626      2740         0     67125      8361   1295907   no data   no data
470.26/117.90	c  S st    59    806633       626      2740         0     67626      8361   1309443   no data   no data
470.26/117.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
470.26/117.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
470.26/117.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
470.26/117.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
470.26/117.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
470.26/117.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
470.26/117.94	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
470.26/117.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
470.26/117.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.30/121.74	c lits-rem:      1113  cl-subs:     3377  v-elim:      0  v-fix:    0  time:  3.75 s
485.30/121.74	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
485.30/121.76	c vivif2 --  cl tried    64249 cl shrink        0 lits rem          0 time: 0.02
485.69/121.82	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.06
485.69/121.82	c calculated reachability. Time: 0.00
485.69/121.82	c  N st    59    806633       626      2740         0     64249      8361   1209798   no data   no data
712.98/178.91	c  F st    60   1071876       626      2740         0     80389      8361   1629802   no data   no data
712.98/178.91	c  N st    60   1071876       626      2740         0     80389      8361   1629802   no data   no data
718.57/180.36	c Decided on static restart strategy
736.96/184.97	c  N st    70   1100178       626      2740         0     64062      8361   1068368   no data   no data
769.24/193.02	c  N st    72   1136174       626      2740         0     54229      8361    762549   no data   no data
799.16/200.51	c  N st    73   1168567       626      2740         0     85830      8361   1723555   no data   no data
840.26/210.83	c  N st    74   1209950       626      2740         0     80322      8361   1579887   no data   no data
840.26/210.83	c  S st    74   1209950       626      2740         0     80322      8361   1579887   no data   no data
841.46/211.13	c  S st    74   1210458       626      2740         0     80827      8361   1593974   no data   no data
841.46/211.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
841.46/211.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
841.46/211.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
841.46/211.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
841.46/211.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
841.46/211.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
841.46/211.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
841.88/211.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
841.88/211.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
871.38/218.61	c lits-rem:       720  cl-subs:     3458  v-elim:      0  v-fix:    0  time:  7.34 s
871.38/218.61	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
871.38/218.63	c vivif2 --  cl tried    77369 cl shrink        0 lits rem          0 time: 0.02
871.78/218.71	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.08
871.78/218.71	c calculated reachability. Time: 0.00
871.78/218.71	c  N st    74   1210458       626      2740         0     77369      8361   1477354   no data   no data
949.98/238.36	c  N st    75   1283343       626      2740         0     53894      8361    683123   no data   no data
1068.48/268.07	c  N st    76   1392666       626      2740         0     62109      8361    889192   no data   no data
1254.44/314.64	c  N st    77   1556651       626      2740         0     66835      8361    961008   no data   no data
1432.76/359.37	c  N st    78   1710459       626      2740         0    108789      8361   2146656   no data   no data
1432.76/359.37	c  S st    78   1710459       626      2740         0    108789      8361   2146656   no data   no data
1434.38/359.74	c  S st    78   1710966       626      2740         0    109296      8361   2160795   no data   no data
1434.38/359.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1434.38/359.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1434.38/359.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1434.38/359.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1434.38/359.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1434.38/359.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
1434.38/359.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1434.80/359.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1434.80/359.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1489.43/373.53	c lits-rem:       958  cl-subs:     6193  v-elim:      0  v-fix:    0  time: 13.64 s
1489.43/373.53	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
1489.43/373.56	c vivif2 --  cl tried   103103 cl shrink        0 lits rem          0 time: 0.03
1489.83/373.68	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.11
1489.83/373.68	c calculated reachability. Time: 0.00
1489.83/373.68	c  N st    78   1710966       626      2740         0    103103      8361   1984013   no data   no data
1913.55/479.87	c  N st    79   2079930       626      2740         0    114735      8361   2237061   no data   no data
2080.73/521.70	c  N st    80   2210969       626      2740         0    118828      8361   2250752   no data   no data
2080.73/521.70	c  S st    80   2210969       626      2740         0    118828      8361   2250752   no data   no data
2081.93/522.06	c  S st    80   2211473       626      2740         0    119330      8361   2264537   no data   no data
2081.93/522.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2082.33/522.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2082.33/522.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2082.33/522.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2082.33/522.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2082.33/522.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2082.33/522.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2082.33/522.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2082.73/522.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2146.96/538.38	c lits-rem:       769  cl-subs:     7215  v-elim:      0  v-fix:    0  time: 16.15 s
2146.96/538.39	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
2147.36/538.42	c vivif2 --  cl tried   112115 cl shrink        0 lits rem          0 time: 0.03
2147.76/538.54	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.12
2147.76/538.54	c calculated reachability. Time: 0.00
2147.76/538.54	c  N st    80   2211473       626      2740         0    112115      8361   2066271   no data   no data
2828.05/709.04	c  N st    81   2711474       626      2740         0    135270      8361   2626857   no data   no data
2828.05/709.04	c  S st    81   2711474       626      2740         0    135270      8361   2626857   no data   no data
2829.66/709.47	c  S st    81   2711977       626      2740         0    135773      8361   2641400   no data   no data
2829.66/709.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2830.07/709.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2830.07/709.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2830.07/709.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2830.07/709.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2830.07/709.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2830.07/709.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2830.07/709.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2830.49/709.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2939.79/737.02	c lits-rem:       801  cl-subs:    10810  v-elim:      0  v-fix:    0  time: 27.36 s
2939.79/737.02	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
2939.79/737.06	c vivif2 --  cl tried   124963 cl shrink        0 lits rem          0 time: 0.03
2940.56/737.20	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.14
2940.56/737.21	c calculated reachability. Time: 0.00
2940.56/737.21	c  N st    81   2711977       626      2740         0    124963      8361   2356224   no data   no data
3689.48/924.95	c  N st    82   3211978       626      2740         0    101002      8361   1488252   no data   no data
3689.48/924.95	c  S st    82   3211978       626      2740         0    101002      8361   1488252   no data   no data
3690.71/925.27	c  S st    82   3212481       626      2740         0    101505      8361   1502004   no data   no data
3690.71/925.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3691.06/925.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3691.06/925.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3691.06/925.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3691.06/925.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3691.06/925.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
3691.06/925.33	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3691.06/925.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3691.06/925.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3705.84/929.01	c lits-rem:       335  cl-subs:     3869  v-elim:      0  v-fix:    0  time:  3.61 s
3705.84/929.01	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
3705.84/929.04	c vivif2 --  cl tried    97636 cl shrink        0 lits rem          0 time: 0.02
3706.24/929.14	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.10
3706.24/929.14	c calculated reachability. Time: 0.00
3706.24/929.14	c  N st    82   3212481       626      2740         0     97636      8361   1403898   no data   no data
4485.47/1124.47	c  N st    83   3712481       626      2740         0    108525      8361   1617260   no data   no data
4485.47/1124.47	c  S st    83   3712481       626      2740         0    108525      8361   1617260   no data   no data
4487.06/1124.82	c  S st    83   3712984       626      2740         0    109028      8361   1630266   no data   no data
4487.06/1124.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4487.06/1124.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4487.06/1124.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4487.06/1124.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4487.06/1124.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4487.06/1124.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
4487.06/1124.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4487.46/1124.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4487.46/1124.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4506.22/1129.70	c lits-rem:       227  cl-subs:     3827  v-elim:      0  v-fix:    0  time:  4.74 s
4506.22/1129.70	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
4506.63/1129.73	c vivif2 --  cl tried   105201 cl shrink        0 lits rem          0 time: 0.02
4507.05/1129.84	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.11
4507.05/1129.84	c calculated reachability. Time: 0.00
4507.05/1129.84	c  N st    83   3712984       626      2740         0    105201      8361   1522742   no data   no data
4579.63/1148.09	c  F st    84   3751564       626      2740         0    142864      8361   2655196   no data   no data
4579.63/1148.09	c  N st    84   3751564       626      2740         0    142864      8361   2655196   no data   no data
4592.00/1151.16	c Decided on static restart strategy
4639.88/1163.11	c  N st    94   3779872       626      2740         0     87594      8361    959359   no data   no data
4690.97/1175.96	c  N st    96   3815869       626      2740         0    122948      8361   2010190   no data   no data
4753.99/1191.73	c  N st    97   3848261       626      2740         0    154751      8361   2994575   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-3366400-1305403330/watcher-3366400-1305403330 -o /tmp/evaluation-result-3366400-1305403330/solver-3366400-1305403330 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366400-1305403330.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.08 8.10 8.08 7/310 19076
/proc/meminfo: memFree=18232564/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 411 0 0 0 0 0 0 0 25 0 4 0 651932691 52396032 351 33554432000 4194304 4580107 140734044940096 18446744073709551615 274473967547 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 12792 351 302 95 0 7774 0
[pid=19076/tid=19077] ppid=19074 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651932691 52396032 351 33554432000 4194304 4580107 140734044940096 18446744073709551615 46920487376409 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 651932691 52396032 351 33554432000 4194304 4580107 140734044940096 18446744073709551615 46920487376808 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651932691 52396032 351 33554432000 4194304 4580107 140734044940096 18446744073709551615 46920487376409 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.111736 s]
/proc/loadavg: 8.08 8.10 8.08 7/310 19076
/proc/meminfo: memFree=18232564/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=347704 CPUtime=0.42 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 1956 0 0 0 42 0 0 0 25 0 4 0 651932691 356048896 1793 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 86926 1793 377 95 0 81908 0
[pid=19076/tid=19077] ppid=19074 vsize=347704 CPUtime=0.1 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 410 0 0 0 10 0 0 0 25 0 4 0 651932691 356048896 1793 33554432000 4194304 4580107 140734044940096 18446744073709551615 4323047 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=347704 CPUtime=0.09 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 445 0 0 0 9 0 0 0 25 0 4 0 651932691 356048896 1793 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=347704 CPUtime=0.1 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 276 0 0 0 10 0 0 0 25 0 4 0 651932691 356048896 1793 33554432000 4194304 4580107 140734044940096 18446744073709551615 4318848 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 347704

[startup+0.200721 s]
/proc/loadavg: 8.08 8.10 8.08 7/310 19076
/proc/meminfo: memFree=18232564/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=349068 CPUtime=0.77 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 2633 0 0 0 77 0 0 0 25 0 4 0 651932691 357445632 1795 33554432000 4194304 4580107 140734044940096 18446744073709551615 4295901 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 87267 1795 377 95 0 82249 0
[pid=19076/tid=19077] ppid=19074 vsize=349068 CPUtime=0.19 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 577 0 0 0 19 0 0 0 25 0 4 0 651932691 357445632 1795 33554432000 4194304 4580107 140734044940096 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=349068 CPUtime=0.18 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 621 0 0 0 18 0 0 0 25 0 4 0 651932691 357445632 1795 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=349068 CPUtime=0.19 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 449 0 0 0 19 0 0 0 25 0 4 0 651932691 357445632 1795 33554432000 4194304 4580107 140734044940096 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 349068

[startup+0.300704 s]
/proc/loadavg: 8.08 8.10 8.08 7/310 19076
/proc/meminfo: memFree=18232564/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=349200 CPUtime=1.17 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 3014 0 0 0 117 0 0 0 25 0 4 0 651932691 357580800 2176 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 87300 2183 377 95 0 82282 0
[pid=19076/tid=19077] ppid=19074 vsize=349200 CPUtime=0.29 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 669 0 0 0 29 0 0 0 25 0 4 0 651932691 357580800 2185 33554432000 4194304 4580107 140734044940096 18446744073709551615 4318708 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=349200 CPUtime=0.28 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 710 0 0 0 28 0 0 0 25 0 4 0 651932691 357580800 2185 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=349200 CPUtime=0.29 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 567 0 0 0 29 0 0 0 25 0 4 0 651932691 357580800 2185 33554432000 4194304 4580107 140734044940096 18446744073709551615 4318525 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 349200

[startup+0.700633 s]
/proc/loadavg: 8.08 8.10 8.08 7/310 19076
/proc/meminfo: memFree=18232564/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=350048 CPUtime=2.77 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 4729 0 0 0 277 0 0 0 25 0 4 0 651932691 358449152 2880 33554432000 4194304 4580107 140734044940096 18446744073709551615 4295687 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 87512 2880 377 95 0 82494 0
[pid=19076/tid=19077] ppid=19074 vsize=350048 CPUtime=0.69 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 1080 0 0 0 69 0 0 0 25 0 4 0 651932691 358449152 2880 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=350048 CPUtime=0.68 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 1153 0 0 0 68 0 0 0 25 0 4 0 651932691 358449152 2880 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=350048 CPUtime=0.69 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 989 0 0 0 69 0 0 0 25 0 4 0 651932691 358449152 2880 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 350048

[startup+1.50049 s]
/proc/loadavg: 8.07 8.10 8.08 9/314 19080
/proc/meminfo: memFree=18210248/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=351412 CPUtime=5.96 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 8155 0 0 0 595 1 0 0 25 0 4 0 651932691 359845888 3455 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 87853 3455 378 95 0 82835 0
[pid=19076/tid=19077] ppid=19074 vsize=351412 CPUtime=1.49 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 1899 0 0 0 149 0 0 0 25 0 4 0 651932691 359845888 3455 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=351412 CPUtime=1.47 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 2039 0 0 0 147 0 0 0 25 0 4 0 651932691 359845888 3455 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=351412 CPUtime=1.49 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 1835 0 0 0 149 0 0 0 25 0 4 0 651932691 359845888 3455 33554432000 4194304 4580107 140734044940096 18446744073709551615 4295888 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 351412

[startup+3.10021 s]
/proc/loadavg: 8.07 8.10 8.08 9/314 19080
/proc/meminfo: memFree=18179372/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=348580 CPUtime=12.35 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 19160 0 0 0 1232 3 0 0 25 0 4 0 651932691 356945920 10807 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 87145 10807 379 95 0 82127 0
[pid=19076/tid=19077] ppid=19074 vsize=348580 CPUtime=3.08 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 4228 0 0 0 308 0 0 0 25 0 4 0 651932691 356945920 10807 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=348580 CPUtime=3.06 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 5531 0 0 0 305 1 0 0 25 0 4 0 651932691 356945920 10807 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293781 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=348580 CPUtime=3.08 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 4198 0 0 0 308 0 0 0 25 0 4 0 651932691 356945920 10807 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294517 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 348580

[startup+6.30065 s]
/proc/loadavg: 8.06 8.10 8.08 9/314 19080
/proc/meminfo: memFree=18137956/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=350608 CPUtime=25.12 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 29051 0 0 0 2507 5 0 0 25 0 4 0 651932691 359022592 13897 33554432000 4194304 4580107 140734044940096 18446744073709551615 4321214 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 87652 13897 379 95 0 82634 0
[pid=19076/tid=19077] ppid=19074 vsize=350608 CPUtime=6.29 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 7900 0 0 0 628 1 0 0 25 0 4 0 651932691 359022592 13897 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=350608 CPUtime=6.23 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 7520 0 0 0 622 1 0 0 25 0 4 0 651932691 359022592 13897 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=350608 CPUtime=6.29 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 6123 0 0 0 628 1 0 0 25 0 4 0 651932691 359022592 13897 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 350608

[startup+12.7005 s]
/proc/loadavg: 8.06 8.09 8.08 9/314 19080
/proc/meminfo: memFree=18085216/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=361820 CPUtime=50.66 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 48848 0 0 0 5057 9 0 0 25 0 4 0 651932691 370503680 22458 33554432000 4194304 4580107 140734044940096 18446744073709551615 4451900 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 90455 22458 379 95 0 85437 0
[pid=19076/tid=19077] ppid=19074 vsize=361820 CPUtime=12.69 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 12383 0 0 0 1267 2 0 0 25 0 4 0 651932691 370503680 22458 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294924 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=361820 CPUtime=12.57 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 12375 0 0 0 1255 2 0 0 25 0 4 0 651932691 370503680 22458 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=361820 CPUtime=12.68 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 10633 0 0 0 1266 2 0 0 25 0 4 0 651932691 370503680 22458 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 361820

[startup+25.5013 s]
/proc/loadavg: 8.12 8.10 8.09 9/314 19081
/proc/meminfo: memFree=18018872/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=356052 CPUtime=101.73 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 71969 0 0 0 10160 13 0 0 25 0 4 0 651932691 364597248 30525 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 89013 30525 379 95 0 83995 0
[pid=19076/tid=19077] ppid=19074 vsize=356052 CPUtime=25.48 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 19169 0 0 0 2545 3 0 0 25 0 4 0 651932691 364597248 30525 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=356052 CPUtime=25.24 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 19004 0 0 0 2521 3 0 0 25 0 4 0 651932691 364597248 30525 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=356052 CPUtime=25.49 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 13985 0 0 0 2546 3 0 0 25 0 4 0 651932691 364597248 30525 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 356052

[startup+51.1008 s]
/proc/loadavg: 8.14 8.11 8.09 9/314 19082
/proc/meminfo: memFree=17957152/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=360348 CPUtime=203.87 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 106837 0 0 0 20365 22 0 0 25 0 4 0 651932691 368996352 35660 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 90087 35660 379 95 0 85069 0
[pid=19076/tid=19077] ppid=19074 vsize=360348 CPUtime=51.09 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 26652 0 0 0 5104 5 0 0 25 0 4 0 651932691 368996352 35660 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=360348 CPUtime=50.59 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 28450 0 0 0 5053 6 0 0 25 0 4 0 651932691 368996352 35660 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=360348 CPUtime=51.09 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 21973 0 0 0 5104 5 0 0 25 0 4 0 651932691 368996352 35660 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 360348

[startup+102.301 s]
/proc/loadavg: 8.25 8.14 8.10 9/314 19083
/proc/meminfo: memFree=17898832/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=436332 CPUtime=408.19 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 149628 0 0 0 40782 37 0 0 25 0 4 0 651932691 446803968 48711 33554432000 4194304 4580107 140734044940096 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 109083 48711 379 95 0 104065 0
[pid=19076/tid=19077] ppid=19074 vsize=436332 CPUtime=102.3 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 36129 0 0 0 10222 8 0 0 25 0 4 0 651932691 446803968 48711 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=436332 CPUtime=101.27 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 37671 0 0 0 10118 9 0 0 25 0 4 0 651932691 446803968 48711 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=436332 CPUtime=102.29 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 35203 0 0 0 10219 10 0 0 25 0 4 0 651932691 446803968 48711 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.19
Current children cumulated vsize (KiB) 436332

[startup+162.301 s]

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

[pid=19076] ppid=19074 vsize=660620 CPUtime=2561.92 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 394913 0 0 0 256064 128 0 0 25 0 4 0 651932691 676474880 113024 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 165155 113024 379 95 0 160137 0
[pid=19076/tid=19077] ppid=19074 vsize=660620 CPUtime=642.16 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 102356 0 0 0 64183 33 0 0 25 0 4 0 651932691 676474880 113024 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=660620 CPUtime=635.14 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 102042 0 0 0 63479 35 0 0 25 0 4 0 651932691 676474880 113024 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=660620 CPUtime=642.29 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 101394 0 0 0 64194 35 0 0 25 0 4 0 651932691 676474880 113024 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2561.92
Current children cumulated vsize (KiB) 660620

[startup+702.301 s]
/proc/loadavg: 8.14 8.12 8.09 9/314 19102
/proc/meminfo: memFree=17435936/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=673576 CPUtime=2801.32 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 416970 0 0 0 279993 139 0 0 25 0 4 0 651932691 689741824 114658 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 168394 114658 379 95 0 163376 0
[pid=19076/tid=19077] ppid=19074 vsize=673576 CPUtime=702.16 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 109945 0 0 0 70180 36 0 0 25 0 4 0 651932691 689741824 114658 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=673576 CPUtime=694.53 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 103700 0 0 0 69418 35 0 0 25 0 4 0 651932691 689741824 114658 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=673576 CPUtime=702.29 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 109583 0 0 0 70190 39 0 0 25 0 4 0 651932691 689741824 114658 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2801.32
Current children cumulated vsize (KiB) 673576

[startup+762.301 s]
/proc/loadavg: 8.15 8.12 8.09 9/314 19103
/proc/meminfo: memFree=17398448/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=724984 CPUtime=3040.73 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 434925 0 0 0 303926 147 0 0 25 0 4 0 651932691 742383616 118022 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 181246 118022 379 95 0 176228 0
[pid=19076/tid=19077] ppid=19074 vsize=724984 CPUtime=762.18 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 116421 0 0 0 76179 39 0 0 25 0 4 0 651932691 742383616 118023 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=724984 CPUtime=753.92 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 109526 0 0 0 75354 38 0 0 25 0 4 0 651932691 742383616 118023 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=724984 CPUtime=762.3 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 113632 0 0 0 76189 41 0 0 25 0 4 0 651932691 742383616 118023 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3040.73
Current children cumulated vsize (KiB) 724984

[startup+822.301 s]
/proc/loadavg: 8.05 8.10 8.09 9/314 19105
/proc/meminfo: memFree=17363192/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=725580 CPUtime=3280.11 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 463799 0 0 0 327854 157 0 0 25 0 4 0 651932691 742993920 128999 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 181395 128999 379 95 0 176377 0
[pid=19076/tid=19077] ppid=19074 vsize=725580 CPUtime=822.16 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 121821 0 0 0 82175 41 0 0 25 0 4 0 651932691 742993920 128999 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=725580 CPUtime=813.3 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 113635 0 0 0 81291 39 0 0 25 0 4 0 651932691 742993920 128999 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=725580 CPUtime=822.3 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 127010 0 0 0 82185 45 0 0 25 0 4 0 651932691 742993920 128999 33554432000 4194304 4580107 140734044940096 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.11
Current children cumulated vsize (KiB) 725580

[startup+882.313 s]
/proc/loadavg: 8.05 8.09 8.08 9/314 19107
/proc/meminfo: memFree=17295952/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=739608 CPUtime=3519.55 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 490927 0 0 0 351787 168 0 0 25 0 4 0 651932691 757358592 136548 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 184902 136548 379 95 0 179884 0
[pid=19076/tid=19077] ppid=19074 vsize=739608 CPUtime=882.18 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 131912 0 0 0 88174 44 0 0 25 0 4 0 651932691 757358592 136548 33554432000 4194304 4580107 140734044940096 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=739608 CPUtime=872.71 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 120528 0 0 0 87229 42 0 0 25 0 4 0 651932691 757358592 136548 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=739608 CPUtime=882.31 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 133400 0 0 0 88182 49 0 0 25 0 4 0 651932691 757358592 136548 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3519.55
Current children cumulated vsize (KiB) 739608

[startup+942.301 s]
/proc/loadavg: 8.15 8.11 8.09 9/314 19108
/proc/meminfo: memFree=17311920/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=792792 CPUtime=3758.9 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 506422 0 0 0 375714 176 0 0 25 0 4 0 651932691 811819008 136409 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294496 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 198198 136409 379 95 0 193180 0
[pid=19076/tid=19077] ppid=19074 vsize=792792 CPUtime=942.16 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 136415 0 0 0 94170 46 0 0 25 0 4 0 651932691 811819008 136409 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=792792 CPUtime=932.09 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 124392 0 0 0 93165 44 0 0 25 0 4 0 651932691 811819008 136409 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=792792 CPUtime=942.3 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 138995 0 0 0 94178 52 0 0 25 0 4 0 651932691 811819008 136409 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3758.9
Current children cumulated vsize (KiB) 792792

[startup+1002.3 s]
/proc/loadavg: 8.05 8.08 8.08 9/314 19110
/proc/meminfo: memFree=17311640/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=780712 CPUtime=3998.29 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 528136 0 0 0 399642 187 0 0 25 0 4 0 651932691 799449088 135279 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 195178 135279 379 95 0 190160 0
[pid=19076/tid=19077] ppid=19074 vsize=780712 CPUtime=1002.16 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 143593 0 0 0 100167 49 0 0 25 0 4 0 651932691 799449088 135279 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=780712 CPUtime=991.48 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 127214 0 0 0 99103 45 0 0 25 0 4 0 651932691 799449088 135279 33554432000 4194304 4580107 140734044940096 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=780712 CPUtime=1002.31 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 146532 0 0 0 100174 57 0 0 25 0 4 0 651932691 799449088 135279 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3998.29
Current children cumulated vsize (KiB) 780712

[startup+1062.3 s]
/proc/loadavg: 8.13 8.10 8.09 9/314 19111
/proc/meminfo: memFree=17276024/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=740764 CPUtime=4237.7 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 554917 0 0 0 423574 196 0 0 25 0 4 0 651932691 758542336 141602 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294630 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 185191 141602 379 95 0 180173 0
[pid=19076/tid=19077] ppid=19074 vsize=740764 CPUtime=1062.17 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 150191 0 0 0 106165 52 0 0 25 0 4 0 651932691 758542336 141602 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=740764 CPUtime=1050.88 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 131259 0 0 0 105042 46 0 0 25 0 4 0 651932691 758542336 141602 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=740764 CPUtime=1062.3 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 156173 0 0 0 106171 59 0 0 25 0 4 0 651932691 758542336 141602 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4237.7
Current children cumulated vsize (KiB) 740764

[startup+1122.3 s]
/proc/loadavg: 8.10 8.09 8.09 9/314 19113
/proc/meminfo: memFree=17240032/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=740864 CPUtime=4477.08 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 579585 0 0 0 447502 206 0 0 25 0 4 0 651932691 758644736 145718 33554432000 4194304 4580107 140734044940096 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 185216 145718 380 95 0 180198 0
[pid=19076/tid=19077] ppid=19074 vsize=740864 CPUtime=1122.17 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 158835 0 0 0 112162 55 0 0 25 0 4 0 651932691 758644736 145718 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=740864 CPUtime=1110.26 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 135523 0 0 0 110978 48 0 0 25 0 4 0 651932691 758644736 145718 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=740864 CPUtime=1122.3 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 161271 0 0 0 112168 62 0 0 25 0 4 0 651932691 758644736 145718 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4477.08
Current children cumulated vsize (KiB) 740864

[startup+1182.3 s]
/proc/loadavg: 8.13 8.10 8.09 9/314 19115
/proc/meminfo: memFree=17221268/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=741036 CPUtime=4716.48 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 599392 0 0 0 471434 214 0 0 25 0 4 0 651932691 758820864 148235 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 185259 148235 379 95 0 180241 0
[pid=19076/tid=19077] ppid=19074 vsize=741036 CPUtime=1182.17 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 163494 0 0 0 118159 58 0 0 25 0 4 0 651932691 758820864 148235 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=741036 CPUtime=1169.67 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 138898 0 0 0 116918 49 0 0 25 0 4 0 651932691 758820864 148235 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=741036 CPUtime=1182.3 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 167831 0 0 0 118165 65 0 0 25 0 4 0 651932691 758820864 148235 33554432000 4194304 4580107 140734044940096 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4716.48
Current children cumulated vsize (KiB) 741036



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.3 s]
/proc/loadavg: 8.17 8.11 8.09 5/309 19116
/proc/meminfo: memFree=17635820/32950928 swapFree=67111348/67111528
[pid=19076] ppid=19074 vsize=849180 CPUtime=4800.3 cores=0,2,4,6
/proc/19076/stat : 19076 (strangenight2-m) R 19074 19076 18635 0 -1 4202496 603493 0 0 0 479812 218 0 0 25 0 4 0 651932691 869560320 148523 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294692 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/19076/statm: 212295 148523 379 95 0 207277 0
[pid=19076/tid=19077] ppid=19074 vsize=849180 CPUtime=1203.18 cores=0,2,4,6
/proc/19076/task/19077/stat : 19077 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 163721 0 0 0 120260 58 0 0 25 0 4 0 651932691 869560320 148523 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=19076/tid=19078] ppid=19074 vsize=849180 CPUtime=1190.46 cores=0,2,4,6
/proc/19076/task/19078/stat : 19078 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 140189 0 0 0 118996 50 0 0 25 0 4 0 651932691 869560320 148523 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=19076/tid=19079] ppid=19074 vsize=849180 CPUtime=1203.31 cores=0,2,4,6
/proc/19076/task/19079/stat : 19079 (strangenight2-m) R 19074 19076 18635 0 -1 4202560 169389 0 0 0 120265 66 0 0 25 0 4 0 651932691 869560320 148523 33554432000 4194304 4580107 140734044940096 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 849180

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.35
CPU time (s): 4800.38
CPU user time (s): 4798.16
CPU system time (s): 2.21366
CPU usage (%): 398.918
Max. virtual memory (cumulated for all children) (KiB): 913384

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.16
system time used= 2.21366
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 603494
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= 509
involuntary context switches= 23887

runsolver used 3.52146 second user time and 8.50671 second system time

The end

Launcher Data 

Begin job on node125 at 2011-05-14 22:02:10
IDJOB=3366400
IDBENCH=82809
IDSOLVER=1844
FILE ID=node125/3366400-1305403330
RUNJOBID= node125-1305402125-18950
PBS_JOBID= 13324489
Free space on /tmp= 73192 MiB

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

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

MD5SUM BENCH= c06f05996bba25e7e26c6579a49532fc
RANDOM SEED=1244236631

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.828
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:      18232976 kB
Buffers:        254632 kB
Cached:        4032704 kB
SwapCached:          0 kB
Active:       11129272 kB
Inactive:      3215532 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      18232976 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:           10932 kB
Writeback:           4 kB
AnonPages:    10057428 kB
Mapped:          29220 kB
Slab:           274136 kB
PageTables:      35192 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51075748 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= 73192 MiB
End job on node125 at 2011-05-14 22:22:16