Trace number 3173991

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.28 1201.74

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3173991-1304075251.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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
3.17/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     23  v-fix:    0  time:  0.00 s
3.17/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.17/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.17/0.80	c calculated reachability. Time: 0.00
3.17/0.80	c Calc default polars -  time:   0.00 s pos:     265 undec:      77 neg:     308
3.17/0.80	c =========================================================================================
3.17/0.80	c types(t): F = full restart, N = normal restart
3.17/0.80	c types(t): S = simplification begin/end, E = solution found
3.17/0.80	c restart types(rt): st = static, dy = dynamic
3.17/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.17/0.80	c  B st     0         0       627      2746         0         0      8379         0   no data   no data
3.17/0.80	c Decided on static restart strategy
3.17/0.80	c  N st     8      4923       627      2746         0      4853      8379    137802   no data   no data
3.17/0.80	c  N st    10     11308       627      2746         0      4499      8379     88219   no data   no data
3.17/0.80	c  N st    11     17051       627      2746         0     10164      8379    256485   no data   no data
4.38/1.20	c  F st    12     25001       627      2746         0     12448      8379    319808   no data   no data
4.38/1.20	c  N st    12     25001       627      2746         0     12448      8379    319808   no data   no data
5.57/1.47	c Decided on static restart strategy
5.57/1.47	c  N st    18     30000       627      2746         0     10710      8379    241148   no data   no data
5.57/1.47	c  S st    18     30000       627      2746         0     10710      8379    241148   no data   no data
5.97/1.51	c  S st    18     30505       627      2746         0     11215      8379    254207   no data   no data
5.97/1.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.51	c blocked clauses removed:        6 vars:      1 tried:         627 T: 0.00 s
5.97/1.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
5.97/1.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c lits-rem:       110  cl-subs:      288  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.58	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
5.97/1.58	c calculated reachability. Time: 0.00
5.97/1.58	c  N st    18     30505       626      2740         0     10927      8361    244575   no data   no data
7.56/1.99	c  N st    20     37618       626      2740         0     10169      8361    199736   no data   no data
9.56/2.40	c  N st    21     44017       626      2740         0     16464      8361    380860   no data   no data
9.96/2.51	c  S st    22     45760       626      2740         0      9386      8361    155074   no data   no data
9.96/2.54	c  S st    22     46262       626      2740         0      9888      8361    167992   no data   no data
9.96/2.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
9.96/2.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.56	c lits-rem:        52  cl-subs:       27  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.56	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
9.96/2.56	c vivif2 --  cl tried     9861 cl shrink        0 lits rem          0 time: 0.00
9.96/2.57	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
9.96/2.57	c calculated reachability. Time: 0.00
9.96/2.57	c  N st    22     46262       626      2740         0      9861      8361    167106   no data   no data
14.35/3.60	c  N st    23     60660       626      2740         0     14199      8361    279376   no data   no data
17.15/4.31	c  N st    24     69393       626      2740         0     11988      8361    207310   no data   no data
17.15/4.31	c  S st    24     69393       626      2740         0     11988      8361    207310   no data   no data
17.15/4.34	c  S st    24     69897       626      2740         0     12492      8361    220286   no data   no data
17.15/4.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.15/4.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.15/4.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.15/4.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.15/4.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
17.15/4.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.15/4.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.15/4.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.38	c lits-rem:        53  cl-subs:      133  v-elim:      0  v-fix:    0  time:  0.02 s
17.15/4.38	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
17.15/4.39	c vivif2 --  cl tried    12359 cl shrink        0 lits rem          0 time: 0.00
17.15/4.39	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
17.15/4.39	c calculated reachability. Time: 0.00
17.15/4.39	c  N st    24     69897       626      2740         0     12359      8361    216069   no data   no data
22.74/5.76	c  F st    25     87500       626      2740         0     17900      8361    380694   no data   no data
22.74/5.76	c  N st    25     87500       626      2740         0     17900      8361    380694   no data   no data
24.34/6.16	c Decided on static restart strategy
25.54/6.44	c  N st    32     95541       626      2740         0     13027      8361    199482   no data   no data
28.33/7.11	c  N st    34    104845       626      2740         0     22158      8361    459373   no data   no data
28.33/7.11	c  S st    34    104845       626      2740         0     22158      8361    459373   no data   no data
28.33/7.17	c  S st    34    105349       626      2740         0     22660      8361    472508   no data   no data
28.33/7.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.33/7.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.33/7.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
28.33/7.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.33/7.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.33/7.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.13/7.35	c lits-rem:       101  cl-subs:      700  v-elim:      0  v-fix:    0  time:  0.16 s
29.13/7.35	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
29.13/7.36	c vivif2 --  cl tried    21960 cl shrink        0 lits rem          0 time: 0.00
29.13/7.37	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.01
29.13/7.37	c calculated reachability. Time: 0.00
29.13/7.37	c  N st    34    105349       626      2740         0     21960      8361    450909   no data   no data
32.73/8.20	c  N st    35    114948       626      2740         0     17650      8361    307865   no data   no data
38.33/9.61	c  N st    36    129345       626      2740         0     17077      8361    271602   no data   no data
46.71/11.76	c  N st    37    150941       626      2740         0     22580      8361    409980   no data   no data
49.51/12.43	c  S st    38    158023       626      2740         0     29538      8361    617603   no data   no data
49.91/12.50	c  S st    38    158527       626      2740         0     30042      8361    630475   no data   no data
49.91/12.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.91/12.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.91/12.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.91/12.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.91/12.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
49.91/12.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.91/12.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.91/12.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.50/12.93	c lits-rem:       235  cl-subs:     1038  v-elim:      0  v-fix:    0  time:  0.39 s
51.50/12.93	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
51.50/12.93	c vivif2 --  cl tried    29004 cl shrink        0 lits rem          0 time: 0.01
51.50/12.95	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.02
51.50/12.96	c calculated reachability. Time: 0.00
51.50/12.96	c  N st    38    158527       626      2740         0     29004      8361    597301   no data   no data
72.68/18.27	c  N st    39    207117       626      2740         0     23678      8361    396722   no data   no data
87.87/22.00	c  N st    40    237790       626      2740         0     34147      8361    665131   no data   no data
87.87/22.00	c  S st    40    237790       626      2740         0     34147      8361    665131   no data   no data
87.87/22.09	c  S st    40    238294       626      2740         0     34651      8361    678681   no data   no data
87.87/22.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.87/22.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
87.87/22.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88.27/22.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
88.27/22.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.27/22.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
88.27/22.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
88.27/22.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
88.27/22.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
90.25/22.65	c lits-rem:       232  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.52 s
90.25/22.65	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
90.25/22.66	c vivif2 --  cl tried    33327 cl shrink        0 lits rem          0 time: 0.01
90.25/22.68	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.02
90.25/22.69	c calculated reachability. Time: 0.00
90.25/22.69	c  N st    40    238294       626      2740         0     33327      8361    643374   no data   no data
123.81/31.03	c  F st    41    306250       626      2740         0     35189      8361    653801   no data   no data
123.81/31.03	c  N st    41    306250       626      2740         0     35189      8361    653801   no data   no data
126.21/31.66	c Decided on static restart strategy
137.39/34.42	c  N st    51    334554       626      2740         0     39477      8361    789343   no data   no data
149.39/37.45	c  N st    53    357442       626      2740         0     37383      8361    695619   no data   no data
149.39/37.45	c  S st    53    357442       626      2740         0     37383      8361    695619   no data   no data
149.79/37.55	c  S st    53    357942       626      2740         0     37882      8361    708685   no data   no data
149.79/37.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.79/37.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.79/37.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.79/37.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.79/37.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.79/37.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
149.79/37.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.79/37.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.79/37.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.76/38.06	c lits-rem:       234  cl-subs:     1077  v-elim:      0  v-fix:    0  time:  0.47 s
151.76/38.06	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
151.76/38.07	c vivif2 --  cl tried    36805 cl shrink        0 lits rem          0 time: 0.01
151.76/38.09	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.03
152.16/38.10	c calculated reachability. Time: 0.00
152.16/38.10	c  N st    53    357942       626      2740         0     36805      8361    672774   no data   no data
169.34/42.44	c  N st    54    390336       626      2740         0     43030      8361    823290   no data   no data
198.49/49.72	c  N st    55    438925       626      2740         0     36808      8361    618537   no data   no data
242.44/60.70	c  N st    56    511807       626      2740         0     50372      8361    952092   no data   no data
258.82/64.87	c  N st    57    536913       626      2740         0     44645      8361    781987   no data   no data
258.82/64.87	c  S st    57    536913       626      2740         0     44645      8361    781987   no data   no data
259.23/65.00	c  S st    57    537420       626      2740         0     45152      8361    796291   no data   no data
259.23/65.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
259.63/65.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
259.63/65.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
259.63/65.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
259.63/65.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.63/65.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
259.63/65.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
259.63/65.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
259.63/65.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.01/65.62	c lits-rem:       477  cl-subs:     1065  v-elim:      0  v-fix:    0  time:  0.56 s
262.01/65.62	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
262.01/65.63	c vivif2 --  cl tried    44087 cl shrink        0 lits rem          0 time: 0.01
262.01/65.66	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.03
262.01/65.66	c calculated reachability. Time: 0.00
262.01/65.66	c  N st    57    537420       626      2740         0     44087      8361    764489   no data   no data
383.85/96.10	c  N st    58    701404       626      2740         0     38106      8361    477535   no data   no data
468.54/117.30	c  N st    59    806131       626      2740         0     67125      8361   1295907   no data   no data
468.54/117.30	c  S st    59    806131       626      2740         0     67125      8361   1295907   no data   no data
468.94/117.49	c  S st    59    806633       626      2740         0     67626      8361   1309443   no data   no data
469.34/117.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
469.34/117.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
469.34/117.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
469.34/117.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
469.34/117.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
469.34/117.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
469.34/117.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
469.34/117.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
469.34/117.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
484.51/121.37	c lits-rem:      1113  cl-subs:     3377  v-elim:      0  v-fix:    0  time:  3.78 s
484.51/121.37	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
484.51/121.38	c vivif2 --  cl tried    64249 cl shrink        0 lits rem          0 time: 0.02
484.91/121.45	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.06
484.91/121.45	c calculated reachability. Time: 0.00
484.91/121.45	c  N st    59    806633       626      2740         0     64249      8361   1209798   no data   no data
712.59/178.46	c  F st    60   1071876       626      2740         0     80389      8361   1629802   no data   no data
712.59/178.47	c  N st    60   1071876       626      2740         0     80389      8361   1629802   no data   no data
718.59/179.92	c Decided on static restart strategy
736.97/184.53	c  N st    70   1100178       626      2740         0     64062      8361   1068368   no data   no data
768.94/192.56	c  N st    72   1136174       626      2740         0     54229      8361    762549   no data   no data
798.88/200.04	c  N st    73   1168567       626      2740         0     85830      8361   1723555   no data   no data
839.24/210.10	c  N st    74   1209950       626      2740         0     80322      8361   1579887   no data   no data
839.24/210.10	c  S st    74   1209950       626      2740         0     80322      8361   1579887   no data   no data
840.03/210.33	c  S st    74   1210458       626      2740         0     80827      8361   1593974   no data   no data
840.03/210.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
840.03/210.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
840.03/210.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
840.03/210.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
840.03/210.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
840.03/210.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
840.03/210.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
840.43/210.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
840.43/210.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
868.78/217.55	c lits-rem:       720  cl-subs:     3458  v-elim:      0  v-fix:    0  time:  7.09 s
868.78/217.55	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
868.78/217.57	c vivif2 --  cl tried    77369 cl shrink        0 lits rem          0 time: 0.02
869.18/217.67	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.10
869.18/217.67	c calculated reachability. Time: 0.00
869.18/217.67	c  N st    74   1210458       626      2740         0     77369      8361   1477354   no data   no data
949.09/237.64	c  N st    75   1283343       626      2740         0     53894      8361    683123   no data   no data
1067.31/267.28	c  N st    76   1392666       626      2740         0     62109      8361    889192   no data   no data
1252.67/313.67	c  N st    77   1556651       626      2740         0     66835      8361    961008   no data   no data
1430.41/358.10	c  N st    78   1710459       626      2740         0    108789      8361   2146656   no data   no data
1430.41/358.10	c  S st    78   1710459       626      2740         0    108789      8361   2146656   no data   no data
1431.61/358.47	c  S st    78   1710966       626      2740         0    109296      8361   2160795   no data   no data
1431.61/358.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1432.01/358.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1432.01/358.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1432.01/358.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1432.01/358.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1432.01/358.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
1432.01/358.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1432.01/358.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1432.43/358.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1486.73/372.28	c lits-rem:       958  cl-subs:     6193  v-elim:      0  v-fix:    0  time: 13.65 s
1486.73/372.28	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
1487.13/372.31	c vivif2 --  cl tried   103103 cl shrink        0 lits rem          0 time: 0.03
1487.53/372.42	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.11
1487.53/372.43	c calculated reachability. Time: 0.00
1487.53/372.43	c  N st    78   1710966       626      2740         0    103103      8361   1984013   no data   no data
1910.96/478.41	c  N st    79   2079930       626      2740         0    114735      8361   2237061   no data   no data
2077.13/520.09	c  N st    80   2210969       626      2740         0    118828      8361   2250752   no data   no data
2077.13/520.09	c  S st    80   2210969       626      2740         0    118828      8361   2250752   no data   no data
2078.75/520.45	c  S st    80   2211473       626      2740         0    119330      8361   2264537   no data   no data
2078.75/520.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2079.12/520.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2079.12/520.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2079.12/520.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2079.12/520.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2079.12/520.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2079.12/520.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2079.12/520.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2079.52/520.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2145.43/537.15	c lits-rem:       769  cl-subs:     7215  v-elim:      0  v-fix:    0  time: 16.53 s
2145.43/537.15	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
2145.43/537.18	c vivif2 --  cl tried   112115 cl shrink        0 lits rem          0 time: 0.03
2146.23/537.33	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.15
2146.23/537.34	c calculated reachability. Time: 0.00
2146.23/537.34	c  N st    80   2211473       626      2740         0    112115      8361   2066271   no data   no data
2824.91/707.22	c  N st    81   2711474       626      2740         0    135270      8361   2626857   no data   no data
2824.91/707.22	c  S st    81   2711474       626      2740         0    135270      8361   2626857   no data   no data
2826.51/707.65	c  S st    81   2711977       626      2740         0    135773      8361   2641400   no data   no data
2826.51/707.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2826.91/707.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2826.91/707.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2826.91/707.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2826.91/707.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2826.91/707.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
2826.91/707.73	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2826.91/707.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2827.31/707.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2936.75/735.29	c lits-rem:       801  cl-subs:    10810  v-elim:      0  v-fix:    0  time: 27.44 s
2936.75/735.29	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
2937.15/735.32	c vivif2 --  cl tried   124963 cl shrink        0 lits rem          0 time: 0.03
2937.55/735.47	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.14
2937.55/735.47	c calculated reachability. Time: 0.00
2937.55/735.47	c  N st    81   2711977       626      2740         0    124963      8361   2356224   no data   no data
3686.13/922.87	c  N st    82   3211978       626      2740         0    101002      8361   1488252   no data   no data
3686.13/922.87	c  S st    82   3211978       626      2740         0    101002      8361   1488252   no data   no data
3687.32/923.19	c  S st    82   3212481       626      2740         0    101505      8361   1502004   no data   no data
3687.72/923.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3687.72/923.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3687.72/923.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3687.72/923.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3687.72/923.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3687.72/923.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
3687.72/923.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3687.72/923.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3688.12/923.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3702.51/926.95	c lits-rem:       335  cl-subs:     3869  v-elim:      0  v-fix:    0  time:  3.63 s
3702.51/926.95	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
3702.51/926.97	c vivif2 --  cl tried    97636 cl shrink        0 lits rem          0 time: 0.02
3702.91/927.08	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.10
3702.91/927.08	c calculated reachability. Time: 0.00
3702.91/927.08	c  N st    82   3212481       626      2740         0     97636      8361   1403898   no data   no data
4481.45/1121.93	c  N st    83   3712481       626      2740         0    108525      8361   1617260   no data   no data
4481.45/1121.93	c  S st    83   3712481       626      2740         0    108525      8361   1617260   no data   no data
4482.64/1122.28	c  S st    83   3712984       626      2740         0    109028      8361   1630266   no data   no data
4482.64/1122.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4483.04/1122.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4483.04/1122.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4483.04/1122.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4483.04/1122.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4483.04/1122.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    626 time:  0.00 s
4483.04/1122.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4483.04/1122.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4483.44/1122.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4503.01/1127.31	c lits-rem:       227  cl-subs:     3827  v-elim:      0  v-fix:    0  time:  4.88 s
4503.01/1127.31	c vivif2 --  cl tried     2740 cl shrink        0 lits rem          0 time: 0.00
4503.01/1127.33	c vivif2 --  cl tried   105201 cl shrink        0 lits rem          0 time: 0.02
4503.41/1127.47	c asymm  cl-useful: 0/2740/2740 lits-rem:0 time: 0.13
4503.41/1127.47	c calculated reachability. Time: 0.00
4503.41/1127.47	c  N st    83   3712984       626      2740         0    105201      8361   1522742   no data   no data
4576.11/1145.65	c  F st    84   3751564       626      2740         0    142864      8361   2655196   no data   no data
4576.11/1145.65	c  N st    84   3751564       626      2740         0    142864      8361   2655196   no data   no data
4588.50/1148.74	c Decided on static restart strategy
4636.06/1160.65	c  N st    94   3779872       626      2740         0     87594      8361    959359   no data   no data
4687.16/1173.40	c  N st    96   3815869       626      2740         0    122948      8361   2010190   no data   no data
4749.89/1189.14	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: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173991-1304075251/watcher-3173991-1304075251 -o /tmp/evaluation-result-3173991-1304075251/solver-3173991-1304075251 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173991-1304075251.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: 6.86 7.86 7.96 4/180 31571
/proc/meminfo: memFree=24405916/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 408 0 0 0 0 0 0 0 23 0 4 0 519122812 52441088 348 33554432000 4194304 4627427 140735508057728 18446744073709551615 47909933684652 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 12803 348 299 106 0 7774 0
[pid=31571/tid=31572] ppid=31568 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 519122813 52441088 348 33554432000 4194304 4627427 140735508057728 18446744073709551615 47909933684658 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 519122813 52441088 348 33554432000 4194304 4627427 140735508057728 18446744073709551615 47909933684662 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519122813 52441088 348 33554432000 4194304 4627427 140735508057728 18446744073709551615 212687731697 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.126404 s]
/proc/loadavg: 6.86 7.86 7.96 4/180 31571
/proc/meminfo: memFree=24405916/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=282140 CPUtime=0.47 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 1996 0 0 0 47 0 0 0 18 0 4 0 519122812 288911360 1888 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 70535 1888 384 106 0 65506 0
[pid=31571/tid=31572] ppid=31568 vsize=282140 CPUtime=0.11 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 399 0 0 0 11 0 0 0 18 0 4 0 519122813 288911360 1888 33554432000 4194304 4627427 140735508057728 18446744073709551615 4299701 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=282140 CPUtime=0.12 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 450 0 0 0 12 0 0 0 18 0 4 0 519122813 288911360 1889 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=282140 CPUtime=0.11 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 288 0 0 0 11 0 0 0 18 0 4 0 519122813 288911360 1889 33554432000 4194304 4627427 140735508057728 18446744073709551615 212687780334 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 282140

[startup+0.258486 s]
/proc/loadavg: 6.86 7.86 7.96 4/180 31571
/proc/meminfo: memFree=24405916/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=283504 CPUtime=1 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 2769 0 0 0 100 0 0 0 18 0 4 0 519122812 290308096 1986 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 70876 1986 385 106 0 65847 0
[pid=31571/tid=31572] ppid=31568 vsize=283504 CPUtime=0.25 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 595 0 0 0 25 0 0 0 18 0 4 0 519122813 290308096 1986 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=283504 CPUtime=0.25 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 645 0 0 0 25 0 0 0 18 0 4 0 519122813 290308096 1986 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308156 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=283504 CPUtime=0.24 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 489 0 0 0 24 0 0 0 18 0 4 0 519122813 290308096 1986 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 283504

[startup+0.300479 s]
/proc/loadavg: 6.86 7.86 7.96 4/180 31571
/proc/meminfo: memFree=24405916/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=283636 CPUtime=1.17 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 3018 0 0 0 117 0 0 0 18 0 4 0 519122812 290443264 2235 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 70909 2235 385 106 0 65880 0
[pid=31571/tid=31572] ppid=31568 vsize=283636 CPUtime=0.29 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 652 0 0 0 29 0 0 0 18 0 4 0 519122813 290443264 2235 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=283636 CPUtime=0.29 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 710 0 0 0 29 0 0 0 18 0 4 0 519122813 290443264 2235 33554432000 4194304 4627427 140735508057728 18446744073709551615 4332655 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=283636 CPUtime=0.28 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 559 0 0 0 28 0 0 0 18 0 4 0 519122813 290443264 2235 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283636

[startup+0.700407 s]
/proc/loadavg: 6.86 7.86 7.96 4/180 31571
/proc/meminfo: memFree=24405916/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=284468 CPUtime=2.77 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 4684 0 0 0 276 1 0 0 18 0 4 0 519122812 291295232 2890 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 71117 2890 385 106 0 66088 0
[pid=31571/tid=31572] ppid=31568 vsize=284468 CPUtime=0.69 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 1078 0 0 0 69 0 0 0 18 0 4 0 519122813 291295232 2890 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309228 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=284468 CPUtime=0.69 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 1117 0 0 0 69 0 0 0 18 0 4 0 519122813 291295232 2890 33554432000 4194304 4627427 140735508057728 18446744073709551615 4348187 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=284468 CPUtime=0.68 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 960 0 0 0 68 0 0 0 18 0 4 0 519122813 291295232 2890 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284468

[startup+1.50026 s]
/proc/loadavg: 6.86 7.86 7.96 10/184 31575
/proc/meminfo: memFree=24384436/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=286048 CPUtime=5.97 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 8143 0 0 0 595 2 0 0 20 0 4 0 519122812 292913152 3498 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309103 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 71512 3498 386 106 0 66483 0
[pid=31571/tid=31572] ppid=31568 vsize=286048 CPUtime=1.48 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 1924 0 0 0 148 0 0 0 19 0 4 0 519122813 292913152 3498 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=286048 CPUtime=1.49 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 1994 0 0 0 149 0 0 0 19 0 4 0 519122813 292913152 3498 33554432000 4194304 4627427 140735508057728 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=286048 CPUtime=1.48 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 1837 0 0 0 148 0 0 0 20 0 4 0 519122813 292913152 3499 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286048

[startup+3.10097 s]
/proc/loadavg: 6.86 7.86 7.96 9/184 31575
/proc/meminfo: memFree=24353064/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=278416 CPUtime=12.36 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 19577 0 0 0 1232 4 0 0 25 0 4 0 519122812 285097984 10763 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 69604 10763 390 106 0 64575 0
[pid=31571/tid=31572] ppid=31568 vsize=278416 CPUtime=3.08 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 4372 0 0 0 307 1 0 0 25 0 4 0 519122813 285097984 10763 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=278416 CPUtime=3.09 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 5510 0 0 0 308 1 0 0 25 0 4 0 519122813 285097984 10763 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=278416 CPUtime=3.07 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 4409 0 0 0 307 0 0 0 25 0 4 0 519122813 285097984 10763 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 278416

[startup+6.30039 s]
/proc/loadavg: 6.95 7.86 7.96 9/184 31575
/proc/meminfo: memFree=24310916/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=298488 CPUtime=25.14 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 30852 0 0 0 2508 6 0 0 25 0 4 0 519122812 305651712 15655 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 74622 15655 389 106 0 69593 0
[pid=31571/tid=31572] ppid=31568 vsize=298488 CPUtime=6.29 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 8079 0 0 0 627 2 0 0 25 0 4 0 519122813 305651712 15655 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=298488 CPUtime=6.29 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 8673 0 0 0 628 1 0 0 25 0 4 0 519122813 305651712 15655 33554432000 4194304 4627427 140735508057728 18446744073709551615 4420116 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=298488 CPUtime=6.26 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 6355 0 0 0 625 1 0 0 25 0 4 0 519122813 305651712 15655 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 298488

[startup+12.7002 s]
/proc/loadavg: 7.04 7.86 7.96 10/184 31575
/proc/meminfo: memFree=24256860/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=298924 CPUtime=50.7 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 49169 0 0 0 5060 10 0 0 25 0 4 0 519122812 306098176 23614 33554432000 4194304 4627427 140735508057728 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 74731 23614 389 106 0 69702 0
[pid=31571/tid=31572] ppid=31568 vsize=298924 CPUtime=12.68 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 12632 0 0 0 1266 2 0 0 25 0 4 0 519122813 306098176 23614 33554432000 4194304 4627427 140735508057728 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=298924 CPUtime=12.69 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 11834 0 0 0 1267 2 0 0 25 0 4 0 519122813 306098176 23614 33554432000 4194304 4627427 140735508057728 18446744073709551615 4330056 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=298924 CPUtime=12.62 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 10682 0 0 0 1260 2 0 0 25 0 4 0 519122813 306098176 23614 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 298924

[startup+25.5009 s]
/proc/loadavg: 7.33 7.88 7.96 9/184 31576
/proc/meminfo: memFree=24188028/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=300060 CPUtime=101.84 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 73105 0 0 0 10168 16 0 0 25 0 4 0 519122812 307261440 30528 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 75015 30528 389 106 0 69986 0
[pid=31571/tid=31572] ppid=31568 vsize=300060 CPUtime=25.48 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 20404 0 0 0 2545 3 0 0 25 0 4 0 519122813 307261440 30528 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=300060 CPUtime=25.48 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 18290 0 0 0 2545 3 0 0 25 0 4 0 519122813 307261440 30528 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=300060 CPUtime=25.35 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 14511 0 0 0 2532 3 0 0 25 0 4 0 519122813 307261440 30528 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 300060

[startup+51.1012 s]
/proc/loadavg: 7.56 7.89 7.96 10/184 31576
/proc/meminfo: memFree=24135372/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=320780 CPUtime=204.1 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 105319 0 0 0 20385 25 0 0 25 0 4 0 519122812 328478720 38316 33554432000 4194304 4627427 140735508057728 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 80195 38316 389 106 0 75166 0
[pid=31571/tid=31572] ppid=31568 vsize=320780 CPUtime=51.08 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 26945 0 0 0 5103 5 0 0 25 0 4 0 519122813 328478720 38316 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=320780 CPUtime=51.08 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 28314 0 0 0 5102 6 0 0 25 0 4 0 519122813 328478720 38316 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=320780 CPUtime=50.81 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 20020 0 0 0 5077 4 0 0 25 0 4 0 519122813 328478720 38316 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 320780

[startup+102.301 s]
/proc/loadavg: 7.86 7.92 7.97 9/184 31578
/proc/meminfo: memFree=24082908/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=302048 CPUtime=408.63 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 143555 0 0 0 40827 36 0 0 25 0 4 0 519122812 309297152 46165 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 75512 46165 389 106 0 70483 0
[pid=31571/tid=31572] ppid=31568 vsize=302048 CPUtime=102.28 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 31867 0 0 0 10221 7 0 0 25 0 4 0 519122813 309297152 46165 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=302048 CPUtime=102.29 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 35496 0 0 0 10221 8 0 0 25 0 4 0 519122813 309297152 46165 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=302048 CPUtime=101.74 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 34385 0 0 0 10167 7 0 0 25 0 4 0 519122813 309297152 46165 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 302048

[startup+162.301 s]

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

[pid=31571] ppid=31568 vsize=697824 CPUtime=2565.67 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 403957 0 0 0 256432 135 0 0 25 0 4 0 519122812 714571776 121014 33554432000 4194304 4627427 140735508057728 18446744073709551615 4333301 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 174456 121014 389 106 0 169427 0
[pid=31571/tid=31572] ppid=31568 vsize=697824 CPUtime=642.24 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 100458 0 0 0 64190 34 0 0 25 0 4 0 519122813 714571776 121014 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=697824 CPUtime=642.29 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 99227 0 0 0 64196 33 0 0 25 0 4 0 519122813 714571776 121014 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=697824 CPUtime=638.8 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 102856 0 0 0 63848 32 0 0 25 0 4 0 519122813 714571776 121014 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2565.67
Current children cumulated vsize (KiB) 697824

[startup+702.301 s]
/proc/loadavg: 8.06 8.06 8.01 9/184 31594
/proc/meminfo: memFree=23570948/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=699272 CPUtime=2805.33 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 428384 0 0 0 280388 145 0 0 25 0 4 0 519122812 716054528 120847 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 174818 120847 389 106 0 169789 0
[pid=31571/tid=31572] ppid=31568 vsize=699272 CPUtime=702.23 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 103636 0 0 0 70187 36 0 0 25 0 4 0 519122813 716054528 120847 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=699272 CPUtime=702.29 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 109727 0 0 0 70192 37 0 0 25 0 4 0 519122813 716054528 120847 33554432000 4194304 4627427 140735508057728 18446744073709551615 4420181 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=699272 CPUtime=698.48 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 109685 0 0 0 69813 35 0 0 25 0 4 0 519122813 716054528 120847 33554432000 4194304 4627427 140735508057728 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 699272

[startup+762.301 s]
/proc/loadavg: 8.20 8.10 8.02 9/184 31595
/proc/meminfo: memFree=23569072/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=674140 CPUtime=3045.02 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 452194 0 0 0 304345 157 0 0 25 0 4 0 519122812 690319360 119096 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 168535 119096 389 106 0 163506 0
[pid=31571/tid=31572] ppid=31568 vsize=674140 CPUtime=762.23 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 108890 0 0 0 76184 39 0 0 25 0 4 0 519122813 690319360 119096 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=674140 CPUtime=762.3 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 116962 0 0 0 76189 41 0 0 25 0 4 0 519122813 690319360 119096 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=674140 CPUtime=758.16 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 117292 0 0 0 75776 40 0 0 25 0 4 0 519122813 690319360 119096 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3045.02
Current children cumulated vsize (KiB) 674140

[startup+822.301 s]
/proc/loadavg: 8.21 8.11 8.02 9/184 31597
/proc/meminfo: memFree=23497256/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=687352 CPUtime=3284.68 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 485153 0 0 0 328298 170 0 0 25 0 4 0 519122812 703848448 123951 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 171838 123951 389 106 0 166809 0
[pid=31571/tid=31572] ppid=31568 vsize=687352 CPUtime=822.23 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 116199 0 0 0 82181 42 0 0 25 0 4 0 519122813 703848448 123951 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=687352 CPUtime=822.29 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 124427 0 0 0 82185 44 0 0 25 0 4 0 519122813 703848448 123951 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=687352 CPUtime=817.83 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 131974 0 0 0 81738 45 0 0 25 0 4 0 519122813 703848448 123951 33554432000 4194304 4627427 140735508057728 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3284.68
Current children cumulated vsize (KiB) 687352

[startup+882.307 s]
/proc/loadavg: 8.20 8.12 8.03 9/184 31598
/proc/meminfo: memFree=23490680/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=739128 CPUtime=3524.37 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 514762 0 0 0 352254 183 0 0 25 0 4 0 519122812 756867072 131072 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 184782 131072 389 106 0 179753 0
[pid=31571/tid=31572] ppid=31568 vsize=739128 CPUtime=882.23 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 128798 0 0 0 88177 46 0 0 25 0 4 0 519122813 756867072 131072 33554432000 4194304 4627427 140735508057728 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=739128 CPUtime=882.3 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 130146 0 0 0 88183 47 0 0 25 0 4 0 519122813 756867072 131072 33554432000 4194304 4627427 140735508057728 18446744073709551615 4324328 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=739128 CPUtime=877.51 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 136731 0 0 0 87704 47 0 0 25 0 4 0 519122813 756867072 131072 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 739128

[startup+942.301 s]
/proc/loadavg: 8.12 8.11 8.03 9/184 31600
/proc/meminfo: memFree=23462396/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=765780 CPUtime=3764.02 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 542391 0 0 0 376206 196 0 0 25 0 4 0 519122812 784158720 136140 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 191445 136140 389 106 0 186416 0
[pid=31571/tid=31572] ppid=31568 vsize=765780 CPUtime=942.22 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 133229 0 0 0 94173 49 0 0 25 0 4 0 519122813 784158720 136140 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=765780 CPUtime=942.3 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 138760 0 0 0 94179 51 0 0 25 0 4 0 519122813 784158720 136140 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=765780 CPUtime=937.18 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 143627 0 0 0 93667 51 0 0 25 0 4 0 519122813 784158720 136140 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 765780

[startup+1002.3 s]
/proc/loadavg: 8.09 8.10 8.03 9/184 31602
/proc/meminfo: memFree=23451104/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=753668 CPUtime=4003.69 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 570236 0 0 0 400164 205 0 0 25 0 4 0 519122812 771756032 134331 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 188417 134331 389 106 0 183388 0
[pid=31571/tid=31572] ppid=31568 vsize=753668 CPUtime=1002.22 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 140334 0 0 0 100171 51 0 0 25 0 4 0 519122813 771756032 134331 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=753668 CPUtime=1002.3 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 144538 0 0 0 100177 53 0 0 25 0 4 0 519122813 771756032 134331 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=753668 CPUtime=996.85 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 151258 0 0 0 99631 54 0 0 25 0 4 0 519122813 771756032 134331 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309448 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 753668

[startup+1062.3 s]
/proc/loadavg: 8.08 8.10 8.03 9/184 31603
/proc/meminfo: memFree=23476624/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=860260 CPUtime=4243.37 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 595213 0 0 0 424120 217 0 0 25 0 4 0 519122812 880906240 136474 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 215065 136474 389 106 0 210036 0
[pid=31571/tid=31572] ppid=31568 vsize=860260 CPUtime=1062.21 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 146925 0 0 0 106167 54 0 0 25 0 4 0 519122813 880906240 136474 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=860260 CPUtime=1062.3 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 150306 0 0 0 106173 57 0 0 25 0 4 0 519122813 880906240 136474 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=860260 CPUtime=1056.53 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 159813 0 0 0 105597 56 0 0 25 0 4 0 519122813 880906240 136474 33554432000 4194304 4627427 140735508057728 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 860260

[startup+1122.3 s]
/proc/loadavg: 8.08 8.09 8.03 9/184 31605
/proc/meminfo: memFree=23478360/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=767472 CPUtime=4483.04 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 622574 0 0 0 448076 228 0 0 25 0 4 0 519122812 785891328 135972 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 191868 135972 389 106 0 186839 0
[pid=31571/tid=31572] ppid=31568 vsize=767472 CPUtime=1122.2 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 155615 0 0 0 112164 56 0 0 25 0 4 0 519122813 785891328 135972 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=767472 CPUtime=1122.3 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 156714 0 0 0 112170 60 0 0 25 0 4 0 519122813 785891328 135972 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=767472 CPUtime=1116.2 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 165936 0 0 0 111561 59 0 0 25 0 4 0 519122813 785891328 135972 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4483.04
Current children cumulated vsize (KiB) 767472

[startup+1182.3 s]
/proc/loadavg: 8.07 8.09 8.03 10/184 31606
/proc/meminfo: memFree=23431580/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=821404 CPUtime=4722.71 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 649326 0 0 0 472033 238 0 0 25 0 4 0 519122812 841117696 144891 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 205351 144891 389 106 0 200322 0
[pid=31571/tid=31572] ppid=31568 vsize=821404 CPUtime=1182.2 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 162817 0 0 0 118161 59 0 0 25 0 4 0 519122813 841117696 144891 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=821404 CPUtime=1182.3 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 164558 0 0 0 118167 63 0 0 25 0 4 0 519122813 841117696 144891 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=821404 CPUtime=1175.88 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 171444 0 0 0 117527 61 0 0 25 0 4 0 519122813 841117696 144891 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4722.71
Current children cumulated vsize (KiB) 821404



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.13 8.10 8.03 10/184 31607
/proc/meminfo: memFree=23434316/32951124 swapFree=67111524/67111528
[pid=31571] ppid=31568 vsize=821680 CPUtime=4800.23 cores=0,2,4,6
/proc/31571/stat : 31571 (strangenight2-m) R 31568 31571 30965 0 -1 4202496 658329 0 0 0 479782 241 0 0 25 0 4 0 519122812 841400320 145213 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/31571/statm: 205420 145213 389 106 0 200391 0
[pid=31571/tid=31572] ppid=31568 vsize=821680 CPUtime=1201.61 cores=0,2,4,6
/proc/31571/task/31572/stat : 31572 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 164316 0 0 0 120101 60 0 0 25 0 4 0 519122813 841400320 145213 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=31571/tid=31573] ppid=31568 vsize=821680 CPUtime=1201.71 cores=0,2,4,6
/proc/31571/task/31573/stat : 31573 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 167014 0 0 0 120107 64 0 0 25 0 4 0 519122813 841400320 145213 33554432000 4194304 4627427 140735508057728 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=31571/tid=31574] ppid=31568 vsize=821680 CPUtime=1195.17 cores=0,2,4,6
/proc/31571/task/31574/stat : 31574 (strangenight2-m) R 31568 31571 30965 0 -1 4202560 174143 0 0 0 119455 62 0 0 25 0 4 0 519122813 841400320 145213 33554432000 4194304 4627427 140735508057728 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.23
Current children cumulated vsize (KiB) 821680

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): 1201.74
CPU time (s): 4800.28
CPU user time (s): 4797.84
CPU system time (s): 2.44163
CPU usage (%): 399.444
Max. virtual memory (cumulated for all children) (KiB): 928004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.84
system time used= 2.44163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 658332
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= 659
involuntary context switches= 21283

runsolver used 1.9807 second user time and 4.5893 second system time

The end

Launcher Data 

Begin job on node139 at 2011-04-29 13:07:31
IDJOB=3173991
IDBENCH=82809
IDSOLVER=1586
FILE ID=node139/3173991-1304075251
RUNJOBID= node139-1304075250-31548
PBS_JOBID= 13170485
Free space on /tmp= 72552 MiB

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

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

MD5SUM BENCH= c06f05996bba25e7e26c6579a49532fc
RANDOM SEED=925313694

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24406948 kB
Buffers:       2037112 kB
Cached:        5926060 kB
SwapCached:          4 kB
Active:         911544 kB
Inactive:      7115028 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24406948 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:           11780 kB
Writeback:           0 kB
AnonPages:       63576 kB
Mapped:          14888 kB
Slab:           453476 kB
PageTables:       5128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   229404 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= 72544 MiB
End job on node139 at 2011-04-29 13:27:35