Trace number 3366354

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.15 1202.84

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf
MD5SUM6deba4513edb64b9aaebf4e8cfbaf90d
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.018997
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
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-3366354-1305402292.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.37/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.11	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.37/0.11	c calculated reachability. Time: 0.00
0.37/0.11	c Calc default polars -  time:   0.00 s pos:      62 undec:       5 neg:      58
0.37/0.11	c =========================================================================================
0.37/0.11	c types(t): F = full restart, N = normal restart
0.37/0.11	c types(t): S = simplification begin/end, E = solution found
0.37/0.11	c restart types(rt): st = static, dy = dynamic
0.37/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.11	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.37/0.11	c Decided on static restart strategy
0.77/0.21	c  N st     8      4915       125      2662         0      4635     13310    119869   no data   no data
1.17/0.33	c  N st    10     11298       125      2662         0      4284     13310     86677   no data   no data
1.97/0.52	c  N st    11     17044       125      2662         0      9696     13310    228444   no data   no data
3.18/0.84	c  F st    12     25000       125      2662         0     11938     13310    279170   no data   no data
3.18/0.84	c  N st    12     25000       125      2662         0     11938     13310    279170   no data   no data
3.99/1.05	c Decided on static restart strategy
3.99/1.05	c  N st    18     30001       125      2662         0     10247     13310    230480   no data   no data
3.99/1.05	c  S st    18     30001       125      2662         0     10247     13310    230480   no data   no data
3.99/1.08	c  S st    18     30502       125      2662         0     10735     13310    243350   no data   no data
3.99/1.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.99/1.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
3.99/1.08	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
3.99/1.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.99/1.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.99/1.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3.99/1.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.99/1.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.99/1.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.26	c lits-rem:       213  cl-subs:     1457  v-elim:      0  v-fix:    0  time:  0.17 s
5.17/1.30	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.17/1.30	c calculated reachability. Time: 0.00
5.17/1.30	c  N st    18     30502       125      2662         0      9278     13310    202205   no data   no data
6.36/1.64	c  N st    20     37612       125      2662         0      8559     13310    166434   no data   no data
7.56/1.94	c  N st    21     44013       125      2662         0     14605     13310    320305   no data   no data
7.96/2.04	c  S st    22     45754       125      2662         0     16259     13310    361462   no data   no data
7.96/2.08	c  S st    22     46257       125      2662         0     16749     13310    373925   no data   no data
7.96/2.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.96/2.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.96/2.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.96/2.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.96/2.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.96/2.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
7.96/2.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.96/2.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.96/2.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.55	c lits-rem:       281  cl-subs:     1883  v-elim:      0  v-fix:    0  time:  0.45 s
9.96/2.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.96/2.55	c vivif2 --  cl tried    14866 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.36/2.61	c calculated reachability. Time: 0.00
10.36/2.61	c  N st    22     46257       125      2662         0     14866     13310    323993   no data   no data
13.54/3.44	c  N st    23     60654       125      2662         0     10618     13310    187461   no data   no data
15.54/3.98	c  N st    24     69385       125      2662         0     18863     13310    398875   no data   no data
15.54/3.98	c  S st    24     69385       125      2662         0     18863     13310    398875   no data   no data
15.94/4.03	c  S st    24     69892       125      2662         0     19355     13310    411903   no data   no data
15.94/4.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.94/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.94/4.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.94/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.94/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.94/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.94/4.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.94/4.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.94/4.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.94/4.57	c lits-rem:       391  cl-subs:     1850  v-elim:      0  v-fix:    0  time:  0.52 s
17.94/4.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.94/4.57	c vivif2 --  cl tried    17505 cl shrink        0 lits rem          0 time: 0.00
18.33/4.64	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
18.33/4.64	c calculated reachability. Time: 0.00
18.33/4.64	c  N st    24     69892       125      2662         0     17505     13310    363767   no data   no data
22.72/5.74	c  F st    25     87501       125      2662         0     12497     13310    213303   no data   no data
22.72/5.74	c  N st    25     87501       125      2662         0     12497     13310    213303   no data   no data
23.92/6.03	c Decided on static restart strategy
24.72/6.20	c  N st    32     95539       125      2662         0     20095     13310    412063   no data   no data
27.12/6.80	c  N st    34    104839       125      2662         0     16654     13310    315257   no data   no data
27.12/6.80	c  S st    34    104839       125      2662         0     16654     13310    315257   no data   no data
27.12/6.85	c  S st    34    105341       125      2662         0     17140     13310    328080   no data   no data
27.12/6.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.12/6.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.12/6.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.12/6.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.12/6.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.12/6.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.12/6.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.12/6.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.12/6.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.92/7.06	c lits-rem:       194  cl-subs:      996  v-elim:      0  v-fix:    0  time:  0.20 s
27.92/7.06	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.92/7.07	c vivif2 --  cl tried    16144 cl shrink        0 lits rem          0 time: 0.00
28.32/7.13	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
28.32/7.13	c calculated reachability. Time: 0.00
28.32/7.13	c  N st    34    105341       125      2662         0     16144     13310    301167   no data   no data
31.10/7.83	c  N st    35    114940       125      2662         0     25081     13310    533010   no data   no data
35.14/8.86	c  N st    36    129337       125      2662         0     25399     13310    528270   no data   no data
41.48/10.45	c  N st    37    150932       125      2662         0     16653     13310    268487   no data   no data
43.50/10.95	c  S st    38    158012       125      2662         0     23357     13310    445264   no data   no data
43.92/11.01	c  S st    38    158516       125      2662         0     23848     13310    458004   no data   no data
43.92/11.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.92/11.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.92/11.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.92/11.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.92/11.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.92/11.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.92/11.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.92/11.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.92/11.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.87/11.57	c lits-rem:       427  cl-subs:     1873  v-elim:      0  v-fix:    0  time:  0.54 s
45.87/11.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.87/11.58	c vivif2 --  cl tried    21975 cl shrink        0 lits rem          0 time: 0.00
46.27/11.66	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
46.27/11.66	c calculated reachability. Time: 0.00
46.27/11.66	c  N st    38    158516       125      2662         0     21975     13310    407501   no data   no data
63.04/15.82	c  N st    39    207105       125      2662         0     34700     13310    699411   no data   no data
73.82/18.57	c  N st    40    237774       125      2662         0     26909     13310    485057   no data   no data
73.82/18.57	c  S st    40    237774       125      2662         0     26909     13310    485057   no data   no data
74.23/18.64	c  S st    40    238281       125      2662         0     27398     13310    497768   no data   no data
74.23/18.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.23/18.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.23/18.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.23/18.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.23/18.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.23/18.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.23/18.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.23/18.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.23/18.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.00/19.32	c lits-rem:       444  cl-subs:     1990  v-elim:      0  v-fix:    0  time:  0.65 s
77.00/19.32	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.00/19.32	c vivif2 --  cl tried    25408 cl shrink        0 lits rem          0 time: 0.00
77.40/19.42	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.40/19.42	c calculated reachability. Time: 0.00
77.40/19.42	c  N st    40    238281       125      2662         0     25408     13310    447851   no data   no data
102.94/25.89	c  F st    41    306252       125      2662         0     27231     13310    453150   no data   no data
102.94/25.89	c  N st    41    306252       125      2662         0     27231     13310    453150   no data   no data
104.96/26.36	c Decided on static restart strategy
114.52/28.74	c  N st    51    334555       125      2662         0     31440     13310    548103   no data   no data
124.09/31.12	c  N st    53    357422       125      2662         0     29423     13310    486552   no data   no data
124.09/31.12	c  S st    53    357422       125      2662         0     29423     13310    486552   no data   no data
124.09/31.19	c  S st    53    357926       125      2662         0     29912     13310    499139   no data   no data
124.09/31.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.49/31.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.49/31.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.49/31.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.49/31.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.49/31.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
124.49/31.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.49/31.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
124.49/31.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.10/31.65	c lits-rem:       566  cl-subs:     1248  v-elim:      0  v-fix:    0  time:  0.42 s
126.10/31.65	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
126.10/31.65	c vivif2 --  cl tried    28664 cl shrink        0 lits rem          0 time: 0.00
126.50/31.77	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
126.50/31.77	c calculated reachability. Time: 0.00
126.50/31.77	c  N st    53    357926       125      2662         0     28664     13310    462431   no data   no data
141.25/35.49	c  N st    54    390318       125      2662         0     34769     13310    597944   no data   no data
167.19/41.97	c  N st    55    438907       125      2662         0     28697     13310    419411   no data   no data
199.51/50.01	c  N st    56    511791       125      2662         0     41658     13310    726173   no data   no data
211.48/53.05	c  N st    57    536889       125      2662         0     36150     13310    571881   no data   no data
211.48/53.05	c  S st    57    536889       125      2662         0     36150     13310    571881   no data   no data
211.88/53.15	c  S st    57    537390       125      2662         0     36635     13310    584753   no data   no data
211.88/53.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.88/53.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
211.88/53.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
211.88/53.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.88/53.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.88/53.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
211.88/53.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
211.88/53.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
211.88/53.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.28/53.79	c lits-rem:       270  cl-subs:     1420  v-elim:      0  v-fix:    0  time:  0.61 s
214.28/53.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
214.28/53.80	c vivif2 --  cl tried    35215 cl shrink        0 lits rem          0 time: 0.01
215.11/53.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
215.11/53.94	c calculated reachability. Time: 0.00
215.11/53.94	c  N st    57    537390       125      2662         0     35215     13310    546027   no data   no data
300.08/75.29	c  N st    58    701375       125      2662         0     63057     13310   1217272   no data   no data
364.37/91.35	c  N st    59    806086       125      2662         0     57243     13310   1008262   no data   no data
364.37/91.35	c  S st    59    806086       125      2662         0     57243     13310   1008262   no data   no data
365.13/91.52	c  S st    59    806588       125      2662         0     57738     13310   1021115   no data   no data
365.13/91.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
365.13/91.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
365.13/91.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
365.13/91.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
365.13/91.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
365.13/91.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
365.13/91.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
365.13/91.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
365.13/91.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.09/95.59	c lits-rem:      1398  cl-subs:     5114  v-elim:      0  v-fix:    0  time:  4.00 s
381.09/95.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
381.09/95.61	c vivif2 --  cl tried    52624 cl shrink        0 lits rem          0 time: 0.01
382.29/95.87	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.27
382.29/95.87	c calculated reachability. Time: 0.00
382.29/95.87	c  N st    59    806588       125      2662         0     52624     13310    899009   no data   no data
546.31/136.99	c  F st    60   1071876       125      2662         0     67884     13310   1196816   no data   no data
546.31/136.99	c  N st    60   1071876       125      2662         0     67884     13310   1196816   no data   no data
550.71/138.09	c Decided on static restart strategy
569.06/142.68	c  N st    70   1100181       125      2662         0     52531     13310    789658   no data   no data
597.79/149.80	c  N st    72   1136173       125      2662         0     43322     13310    535205   no data   no data
618.57/155.06	c  N st    73   1168565       125      2662         0     73697     13310   1345179   no data   no data
650.47/163.07	c  N st    74   1209887       125      2662         0     68313     13310   1167674   no data   no data
650.47/163.07	c  S st    74   1209887       125      2662         0     68313     13310   1167674   no data   no data
651.27/163.28	c  S st    74   1210388       125      2662         0     68788     13310   1180246   no data   no data
651.27/163.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
651.67/163.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
651.67/163.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
651.67/163.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
651.67/163.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
651.67/163.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
651.67/163.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
651.67/163.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
651.67/163.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
689.22/172.75	c lits-rem:      1638  cl-subs:     5711  v-elim:      0  v-fix:    0  time:  9.38 s
689.22/172.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
689.22/172.76	c vivif2 --  cl tried    63077 cl shrink        0 lits rem          0 time: 0.02
690.78/173.19	c asymm  cl-useful: 0/2344/2662 lits-rem:0 time: 0.43
690.78/173.19	c calculated reachability. Time: 0.00
690.78/173.19	c  N st    74   1210388       125      2662         0     63077     13310   1039967   no data   no data
759.03/190.28	c  N st    75   1283270       125      2662         0     86498     13310   1642568   no data   no data
856.79/214.77	c  N st    76   1392595       125      2662         0     48620     13310    596073   no data   no data
988.88/247.88	c  N st    77   1556582       125      2662         0     53301     13310    677935   no data   no data
1121.77/281.16	c  N st    78   1710389       125      2662         0     93344     13310   1734502   no data   no data
1121.77/281.16	c  S st    78   1710389       125      2662         0     93344     13310   1734502   no data   no data
1122.98/281.45	c  S st    78   1710892       125      2662         0     93835     13310   1747704   no data   no data
1122.98/281.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1122.98/281.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1122.98/281.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1122.98/281.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1122.98/281.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1122.98/281.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1122.98/281.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1123.39/281.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1123.39/281.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1223.52/306.64	c lits-rem:      2572  cl-subs:     8835  v-elim:      0  v-fix:    0  time: 25.06 s
1223.52/306.64	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1223.52/306.66	c vivif2 --  cl tried    85000 cl shrink        0 lits rem          0 time: 0.02
1225.51/307.13	c asymm  cl-useful: 0/1829/2662 lits-rem:0 time: 0.47
1225.51/307.14	c calculated reachability. Time: 0.00
1225.51/307.14	c  N st    78   1710892       125      2662         0     85000     13310   1515574   no data   no data
1594.67/399.66	c  N st    79   2079857       125      2662         0     96407     13310   1715960   no data   no data
1724.39/432.11	c  N st    80   2210894       125      2662         0    100007     13310   1752784   no data   no data
1724.39/432.11	c  S st    80   2210894       125      2662         0    100007     13310   1752784   no data   no data
1725.58/432.40	c  S st    80   2211398       125      2662         0    100499     13310   1765950   no data   no data
1725.58/432.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1725.58/432.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1725.58/432.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1725.58/432.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1725.58/432.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1725.58/432.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1725.58/432.46	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1725.58/432.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1725.98/432.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1800.20/451.13	c lits-rem:      2015  cl-subs:    10953  v-elim:      0  v-fix:    0  time: 18.60 s
1800.20/451.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1800.20/451.15	c vivif2 --  cl tried    89546 cl shrink        0 lits rem          0 time: 0.02
1801.00/451.35	c asymm  cl-useful: 0/833/2662 lits-rem:0 time: 0.20
1801.00/451.35	c calculated reachability. Time: 0.00
1801.00/451.35	c  N st    80   2211398       125      2662         0     89546     13310   1501064   no data   no data
2346.95/588.15	c  N st    81   2711398       125      2662         0    112351     13310   1960712   no data   no data
2346.95/588.15	c  S st    81   2711398       125      2662         0    112351     13310   1960712   no data   no data
2348.17/588.50	c  S st    81   2711900       125      2662         0    112838     13310   1973657   no data   no data
2348.58/588.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2348.58/588.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2348.58/588.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2348.58/588.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2348.58/588.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2348.58/588.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2348.58/588.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2348.58/588.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2348.94/588.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2449.90/613.90	c lits-rem:      2620  cl-subs:    12443  v-elim:      0  v-fix:    0  time: 25.26 s
2449.90/613.90	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2449.90/613.93	c vivif2 --  cl tried   100395 cl shrink        0 lits rem          0 time: 0.03
2451.10/614.28	c asymm  cl-useful: 0/1600/2662 lits-rem:0 time: 0.35
2451.10/614.29	c calculated reachability. Time: 0.00
2451.10/614.29	c  N st    81   2711900       125      2662         0    100395     13310   1675284   no data   no data
3082.85/772.53	c  N st    82   3211900       125      2662         0     78027     13310    978899   no data   no data
3082.85/772.53	c  S st    82   3211900       125      2662         0     78027     13310    978899   no data   no data
3083.65/772.76	c  S st    82   3212402       125      2662         0     78519     13310    992046   no data   no data
3083.65/772.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3083.65/772.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3084.05/772.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3084.05/772.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3084.05/772.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3084.05/772.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3084.05/772.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3084.05/772.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3084.05/772.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3088.44/773.95	c lits-rem:       274  cl-subs:     1625  v-elim:      0  v-fix:    0  time:  1.11 s
3088.44/773.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3088.44/773.97	c vivif2 --  cl tried    76894 cl shrink        0 lits rem          0 time: 0.02
3089.24/774.17	c asymm  cl-useful: 0/1062/2662 lits-rem:0 time: 0.20
3089.24/774.17	c calculated reachability. Time: 0.00
3089.24/774.17	c  N st    82   3212402       125      2662         0     76894     13310    955281   no data   no data
3700.26/927.26	c  N st    83   3712402       125      2662         0     87292     13310   1140632   no data   no data
3700.26/927.26	c  S st    83   3712402       125      2662         0     87292     13310   1140632   no data   no data
3701.43/927.51	c  S st    83   3712906       125      2662         0     87776     13310   1153917   no data   no data
3701.43/927.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3701.43/927.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3701.43/927.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3701.43/927.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3701.43/927.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3701.43/927.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3701.43/927.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3701.43/927.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3701.83/927.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3708.62/929.37	c lits-rem:       354  cl-subs:     2143  v-elim:      0  v-fix:    0  time:  1.76 s
3708.62/929.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3708.62/929.39	c vivif2 --  cl tried    85633 cl shrink        0 lits rem          0 time: 0.02
3710.21/929.71	c asymm  cl-useful: 0/1757/2662 lits-rem:0 time: 0.32
3710.21/929.71	c calculated reachability. Time: 0.00
3710.21/929.71	c  N st    83   3712906       125      2662         0     85633     13310   1102594   no data   no data
3754.91/940.95	c  F st    84   3751564       125      2662         0    121806     13310   2081770   no data   no data
3754.91/940.95	c  N st    84   3751564       125      2662         0    121806     13310   2081770   no data   no data
3763.69/943.12	c Decided on static restart strategy
3807.99/954.28	c  N st    94   3779864       125      2662         0    148337     13310   2789515   no data   no data
3858.30/966.87	c  N st    96   3815857       125      2662         0    102770     13310   1520458   no data   no data
3910.14/979.83	c  N st    97   3848249       125      2662         0    132983     13310   2308656   no data   no data
3980.77/997.51	c  N st    98   3896839       125      2662         0     98249     13310   1394579   no data   no data
4084.13/1023.46	c  N st    99   3969721       125      2662         0     85131     13310   1031748   no data   no data
4219.82/1057.46	c  N st   100   4079044       125      2662         0    104784     13310   1537219   no data   no data
4389.04/1099.87	c  N st   101   4212906       125      2662         0    146923     13310   2665980   no data   no data
4389.04/1099.87	c  S st   101   4212906       125      2662         0    146923     13310   2665980   no data   no data
4391.03/1100.36	c  S st   101   4213413       125      2662         0    147418     13310   2679202   no data   no data
4391.03/1100.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4391.43/1100.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.9M T:  0.08
4391.43/1100.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4391.43/1100.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4391.43/1100.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4391.43/1100.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4391.43/1100.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4391.43/1100.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4391.83/1100.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4551.86/1140.69	c lits-rem:      2962  cl-subs:    13591  v-elim:      0  v-fix:    0  time: 40.13 s
4551.86/1140.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4552.28/1140.73	c vivif2 --  cl tried   133827 cl shrink        0 lits rem          0 time: 0.04
4553.44/1141.08	c asymm  cl-useful: 0/905/2662 lits-rem:0 time: 0.36
4553.44/1141.09	c calculated reachability. Time: 0.00
4553.44/1141.09	c  N st   101   4213413       125      2662         0    133827     13310   2334328   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-3366354-1305402292/watcher-3366354-1305402292 -o /tmp/evaluation-result-3366354-1305402292/solver-3366354-1305402292 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366354-1305402292.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.16 8.09 8.05 7/298 20458
/proc/meminfo: memFree=27773576/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 651827662 52396032 352 33554432000 4194304 4580107 140736679323664 18446744073709551615 47649530218007 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 12792 352 302 95 0 7774 0
[pid=20458/tid=20459] ppid=20456 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651827663 52396032 352 33554432000 4194304 4580107 140736679323664 18446744073709551615 47649530218408 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651827663 52396032 352 33554432000 4194304 4580107 140736679323664 18446744073709551615 47649530218003 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 651827663 52396032 352 33554432000 4194304 4580107 140736679323664 18446744073709551615 47649530218009 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.050113 s]
/proc/loadavg: 8.16 8.09 8.05 7/298 20458
/proc/meminfo: memFree=27773576/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=282100 CPUtime=0.17 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 1564 0 0 0 17 0 0 0 18 0 4 0 651827662 288870400 1443 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 70525 1443 375 95 0 65507 0
[pid=20458/tid=20459] ppid=20456 vsize=282100 CPUtime=0.03 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 306 0 0 0 3 0 0 0 25 0 4 0 651827663 288870400 1443 33554432000 4194304 4580107 140736679323664 18446744073709551615 4318418 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=282100 CPUtime=0.04 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 324 0 0 0 4 0 0 0 18 0 4 0 651827663 288870400 1443 33554432000 4194304 4580107 140736679323664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=282100 CPUtime=0.04 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 181 0 0 0 4 0 0 0 18 0 4 0 651827663 288870400 1443 33554432000 4194304 4580107 140736679323664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 282100

[startup+0.101104 s]
/proc/loadavg: 8.16 8.09 8.05 7/298 20458
/proc/meminfo: memFree=27773576/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=282232 CPUtime=0.37 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 1863 0 0 0 37 0 0 0 18 0 4 0 651827662 289005568 1742 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 70558 1742 376 95 0 65540 0
[pid=20458/tid=20459] ppid=20456 vsize=282232 CPUtime=0.08 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 388 0 0 0 8 0 0 0 25 0 4 0 651827663 289005568 1742 33554432000 4194304 4580107 140736679323664 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=282232 CPUtime=0.09 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 392 0 0 0 9 0 0 0 18 0 4 0 651827663 289005568 1742 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=282232 CPUtime=0.09 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 262 0 0 0 9 0 0 0 18 0 4 0 651827663 289005568 1742 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294442 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282232

[startup+0.301071 s]
/proc/loadavg: 8.16 8.09 8.05 7/298 20458
/proc/meminfo: memFree=27773576/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=284012 CPUtime=1.17 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 3076 0 0 0 117 0 0 0 18 0 4 0 651827662 290828288 2334 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294430 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 71003 2334 377 95 0 65985 0
[pid=20458/tid=20459] ppid=20456 vsize=284012 CPUtime=0.28 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 703 0 0 0 28 0 0 0 25 0 4 0 651827663 290828288 2334 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=284012 CPUtime=0.29 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 675 0 0 0 29 0 0 0 18 0 4 0 651827663 290828288 2334 33554432000 4194304 4580107 140736679323664 18446744073709551615 4321081 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=284012 CPUtime=0.29 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 556 0 0 0 29 0 0 0 18 0 4 0 651827663 290828288 2334 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294627 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) 284012

[startup+0.701005 s]
/proc/loadavg: 8.16 8.09 8.05 7/298 20458
/proc/meminfo: memFree=27773576/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=285916 CPUtime=2.78 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 5520 0 0 0 277 1 0 0 18 0 4 0 651827662 292777984 2632 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 71479 2632 377 95 0 66461 0
[pid=20458/tid=20459] ppid=20456 vsize=285916 CPUtime=0.68 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 1292 0 0 0 68 0 0 0 25 0 4 0 651827663 292777984 2632 33554432000 4194304 4580107 140736679323664 18446744073709551615 4302544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=285916 CPUtime=0.69 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 1298 0 0 0 69 0 0 0 18 0 4 0 651827663 292777984 2632 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=285916 CPUtime=0.69 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 1164 0 0 0 69 0 0 0 18 0 4 0 651827663 292777984 2632 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285916

[startup+1.50087 s]
/proc/loadavg: 8.16 8.09 8.05 10/302 20463
/proc/meminfo: memFree=27751472/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=287488 CPUtime=5.96 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 11525 0 0 0 594 2 0 0 20 0 4 0 651827662 294387712 5951 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294468 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 71872 5951 379 95 0 66854 0
[pid=20458/tid=20459] ppid=20456 vsize=287488 CPUtime=1.47 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 3353 0 0 0 146 1 0 0 25 0 4 0 651827663 294387712 5951 33554432000 4194304 4580107 140736679323664 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=287488 CPUtime=1.49 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 2228 0 0 0 149 0 0 0 20 0 4 0 651827663 294387712 5952 33554432000 4194304 4580107 140736679323664 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=287488 CPUtime=1.49 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 2103 0 0 0 149 0 0 0 20 0 4 0 651827663 294387712 5952 33554432000 4194304 4580107 140736679323664 18446744073709551615 4293222 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) 287488

[startup+3.10061 s]
/proc/loadavg: 8.14 8.09 8.05 9/302 20463
/proc/meminfo: memFree=27712196/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=287060 CPUtime=12.35 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 20569 0 0 0 1231 4 0 0 25 0 4 0 651827662 293949440 11129 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 71765 11129 379 95 0 66747 0
[pid=20458/tid=20459] ppid=20456 vsize=287060 CPUtime=3.06 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 4578 0 0 0 305 1 0 0 25 0 4 0 651827663 293949440 11129 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=287060 CPUtime=3.08 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 5174 0 0 0 308 0 0 0 25 0 4 0 651827663 293949440 11129 33554432000 4194304 4580107 140736679323664 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=287060 CPUtime=3.09 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 5079 0 0 0 308 1 0 0 25 0 4 0 651827663 293949440 11129 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294389 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) 287060

[startup+6.30107 s]
/proc/loadavg: 8.14 8.09 8.05 9/302 20463
/proc/meminfo: memFree=27676980/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=287944 CPUtime=25.12 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 32217 0 0 0 2507 5 0 0 25 0 4 0 651827662 294854656 15179 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 71986 15179 379 95 0 66968 0
[pid=20458/tid=20459] ppid=20456 vsize=287944 CPUtime=6.23 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 7943 0 0 0 622 1 0 0 25 0 4 0 651827663 294854656 15180 33554432000 4194304 4580107 140736679323664 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=287944 CPUtime=6.29 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 8657 0 0 0 628 1 0 0 25 0 4 0 651827663 294854656 15180 33554432000 4194304 4580107 140736679323664 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=287944 CPUtime=6.29 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 7401 0 0 0 628 1 0 0 25 0 4 0 651827663 294854656 15180 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294507 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) 287944

[startup+12.701 s]
/proc/loadavg: 8.12 8.09 8.05 9/302 20463
/proc/meminfo: memFree=27650716/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=305184 CPUtime=50.66 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 48391 0 0 0 5058 8 0 0 25 0 4 0 651827662 312508416 18923 33554432000 4194304 4580107 140736679323664 18446744073709551615 4320987 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 76296 18923 379 95 0 71278 0
[pid=20458/tid=20459] ppid=20456 vsize=305184 CPUtime=12.57 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 12225 0 0 0 1255 2 0 0 25 0 4 0 651827663 312508416 18923 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=305184 CPUtime=12.68 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 12073 0 0 0 1267 1 0 0 25 0 4 0 651827663 312508416 18923 33554432000 4194304 4580107 140736679323664 18446744073709551615 4321391 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=305184 CPUtime=12.69 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 11913 0 0 0 1267 2 0 0 25 0 4 0 651827663 312508416 18923 33554432000 4194304 4580107 140736679323664 18446744073709551615 4304864 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) 305184

[startup+25.5009 s]
/proc/loadavg: 8.10 8.08 8.05 9/302 20463
/proc/meminfo: memFree=27605696/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=308276 CPUtime=101.74 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 74992 0 0 0 10159 15 0 0 25 0 4 0 651827662 315674624 25160 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 77069 25160 379 95 0 72051 0
[pid=20458/tid=20459] ppid=20456 vsize=308276 CPUtime=25.25 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 19345 0 0 0 2522 3 0 0 25 0 4 0 651827663 315674624 25160 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=308276 CPUtime=25.49 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 19454 0 0 0 2546 3 0 0 25 0 4 0 651827663 315674624 25160 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=308276 CPUtime=25.49 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 17773 0 0 0 2545 4 0 0 25 0 4 0 651827663 315674624 25160 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 308276

[startup+51.1006 s]
/proc/loadavg: 8.14 8.09 8.05 9/302 20464
/proc/meminfo: memFree=27568904/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=319896 CPUtime=203.9 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 111934 0 0 0 20366 24 0 0 25 0 4 0 651827662 327573504 32022 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 79974 32022 379 95 0 74956 0
[pid=20458/tid=20459] ppid=20456 vsize=319896 CPUtime=50.62 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 28808 0 0 0 5057 5 0 0 25 0 4 0 651827663 327573504 32022 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=319896 CPUtime=51.09 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 29315 0 0 0 5103 6 0 0 25 0 4 0 651827663 327573504 32022 33554432000 4194304 4580107 140736679323664 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=319896 CPUtime=51.09 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 27261 0 0 0 5102 7 0 0 25 0 4 0 651827663 327573504 32022 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.9
Current children cumulated vsize (KiB) 319896

[startup+102.311 s]
/proc/loadavg: 8.05 8.07 8.05 9/302 20465
/proc/meminfo: memFree=27476484/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=332428 CPUtime=408.27 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 169567 0 0 0 40786 41 0 0 25 0 4 0 651827662 340406272 46636 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 83107 46636 379 95 0 78089 0
[pid=20458/tid=20459] ppid=20456 vsize=332428 CPUtime=101.36 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 41739 0 0 0 10128 8 0 0 25 0 4 0 651827663 340406272 46636 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=332428 CPUtime=102.3 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 44268 0 0 0 10219 11 0 0 25 0 4 0 651827663 340406272 46636 33554432000 4194304 4580107 140736679323664 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=332428 CPUtime=102.3 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 41920 0 0 0 10219 11 0 0 25 0 4 0 651827663 340406272 46636 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.27
Current children cumulated vsize (KiB) 332428

[startup+162.301 s]

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

[pid=20458] ppid=20456 vsize=608784 CPUtime=2563.27 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 489016 0 0 0 256166 161 0 0 25 0 4 0 651827662 623394816 99994 33554432000 4194304 4580107 140736679323664 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 152196 99994 379 95 0 147178 0
[pid=20458/tid=20459] ppid=20456 vsize=608784 CPUtime=637.66 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 115737 0 0 0 63732 34 0 0 25 0 4 0 651827663 623394816 99995 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=608784 CPUtime=642.3 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 123905 0 0 0 64186 44 0 0 25 0 4 0 651827663 623394816 99995 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=608784 CPUtime=641.04 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 114795 0 0 0 64067 37 0 0 25 0 4 0 651827663 623394816 99995 33554432000 4194304 4580107 140736679323664 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2563.27
Current children cumulated vsize (KiB) 608784

[startup+702.301 s]
/proc/loadavg: 8.14 8.08 8.04 9/302 20571
/proc/meminfo: memFree=27006640/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=621660 CPUtime=2802.69 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 509098 0 0 0 280097 172 0 0 25 0 4 0 651827662 636579840 112951 33554432000 4194304 4580107 140736679323664 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 155415 112951 379 95 0 150397 0
[pid=20458/tid=20459] ppid=20456 vsize=621660 CPUtime=697.65 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 120342 0 0 0 69729 36 0 0 25 0 4 0 651827663 636579840 112951 33554432000 4194304 4580107 140736679323664 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=621660 CPUtime=702.29 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 127791 0 0 0 70182 47 0 0 25 0 4 0 651827663 636579840 112951 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=621660 CPUtime=700.47 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 120028 0 0 0 70007 40 0 0 25 0 4 0 651827663 636579840 112951 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 2802.69
Current children cumulated vsize (KiB) 621660

[startup+762.311 s]
/proc/loadavg: 8.23 8.12 8.05 9/302 20573
/proc/meminfo: memFree=27011056/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=635808 CPUtime=3042.18 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 535695 0 0 0 304037 181 0 0 25 0 4 0 651827662 651067392 112299 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 158952 112299 379 95 0 153934 0
[pid=20458/tid=20459] ppid=20456 vsize=635808 CPUtime=757.66 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 126335 0 0 0 75728 38 0 0 25 0 4 0 651827663 651067392 112299 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=635808 CPUtime=762.31 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 136178 0 0 0 76181 50 0 0 25 0 4 0 651827663 651067392 112299 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=635808 CPUtime=759.94 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 126092 0 0 0 75951 43 0 0 25 0 4 0 651827663 651067392 112299 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3042.18
Current children cumulated vsize (KiB) 635808

[startup+822.301 s]
/proc/loadavg: 8.19 8.13 8.06 9/302 20574
/proc/meminfo: memFree=26967612/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=662528 CPUtime=3281.59 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 560362 0 0 0 327967 192 0 0 25 0 4 0 651827662 678428672 114909 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 165632 114909 379 95 0 160614 0
[pid=20458/tid=20459] ppid=20456 vsize=662528 CPUtime=817.66 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 128768 0 0 0 81727 39 0 0 25 0 4 0 651827663 678428672 114909 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=662528 CPUtime=822.3 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 143950 0 0 0 82177 53 0 0 25 0 4 0 651827663 678428672 114909 33554432000 4194304 4580107 140736679323664 18446744073709551615 4416463 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=662528 CPUtime=819.38 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 133485 0 0 0 81892 46 0 0 25 0 4 0 651827663 678428672 114909 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3281.59
Current children cumulated vsize (KiB) 662528

[startup+882.301 s]
/proc/loadavg: 8.16 8.13 8.06 9/302 20576
/proc/meminfo: memFree=26920720/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=623440 CPUtime=3521.04 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 592075 0 0 0 351900 204 0 0 25 0 4 0 651827662 638402560 115444 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 155860 115444 379 95 0 150842 0
[pid=20458/tid=20459] ppid=20456 vsize=623440 CPUtime=877.66 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 136907 0 0 0 87723 43 0 0 25 0 4 0 651827663 638402560 115444 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=623440 CPUtime=882.3 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 151400 0 0 0 88174 56 0 0 25 0 4 0 651827663 638402560 115444 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=623440 CPUtime=878.82 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 140676 0 0 0 87835 47 0 0 25 0 4 0 651827663 638402560 115444 33554432000 4194304 4580107 140736679323664 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3521.04
Current children cumulated vsize (KiB) 623440

[startup+942.301 s]
/proc/loadavg: 8.22 8.15 8.07 9/302 20578
/proc/meminfo: memFree=26923668/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=637220 CPUtime=3760.5 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 615751 0 0 0 375834 216 0 0 25 0 4 0 651827662 652513280 111970 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 159305 111970 379 95 0 154287 0
[pid=20458/tid=20459] ppid=20456 vsize=637220 CPUtime=937.66 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 141983 0 0 0 93721 45 0 0 25 0 4 0 651827663 652513280 111970 33554432000 4194304 4580107 140736679323664 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=637220 CPUtime=942.3 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 155732 0 0 0 94171 59 0 0 25 0 4 0 651827663 652513280 111970 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=637220 CPUtime=938.29 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 146593 0 0 0 93780 49 0 0 25 0 4 0 651827663 652513280 111970 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3760.5
Current children cumulated vsize (KiB) 637220

[startup+1002.3 s]
/proc/loadavg: 8.23 8.16 8.08 9/302 20588
/proc/meminfo: memFree=26881956/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=637824 CPUtime=3999.93 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 634817 0 0 0 399769 224 0 0 25 0 4 0 651827662 653131776 116079 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294589 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 159456 116079 379 95 0 154438 0
[pid=20458/tid=20459] ppid=20456 vsize=637824 CPUtime=997.64 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 146011 0 0 0 99717 47 0 0 25 0 4 0 651827663 653131776 116079 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=637824 CPUtime=1002.29 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 159532 0 0 0 100169 60 0 0 25 0 4 0 651827663 653131776 116079 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=637824 CPUtime=997.73 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 151062 0 0 0 99722 51 0 0 25 0 4 0 651827663 653131776 116079 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3999.93
Current children cumulated vsize (KiB) 637824

[startup+1062.3 s]
/proc/loadavg: 8.23 8.17 8.09 9/302 20590
/proc/meminfo: memFree=26853660/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=665724 CPUtime=4239.38 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 655107 0 0 0 423706 232 0 0 25 0 4 0 651827662 681701376 118297 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294609 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 166431 118297 379 95 0 161413 0
[pid=20458/tid=20459] ppid=20456 vsize=665724 CPUtime=1057.64 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 153094 0 0 0 105713 51 0 0 25 0 4 0 651827663 681701376 118297 33554432000 4194304 4580107 140736679323664 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=665724 CPUtime=1062.29 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 161185 0 0 0 106169 60 0 0 25 0 4 0 651827663 681701376 118297 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=665724 CPUtime=1057.2 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 154889 0 0 0 105667 53 0 0 25 0 4 0 651827663 681701376 118297 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4239.38
Current children cumulated vsize (KiB) 665724

[startup+1122.3 s]
/proc/loadavg: 8.19 8.16 8.09 9/302 20591
/proc/meminfo: memFree=26785412/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=665844 CPUtime=4478.82 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 674921 0 0 0 447643 239 0 0 25 0 4 0 651827662 681824256 130466 33554432000 4194304 4580107 140736679323664 18446744073709551615 4406340 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 166461 130466 379 95 0 161443 0
[pid=20458/tid=20459] ppid=20456 vsize=665844 CPUtime=1117.65 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 158374 0 0 0 111710 55 0 0 25 0 4 0 651827663 681824256 130466 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=665844 CPUtime=1122.29 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 163386 0 0 0 112168 61 0 0 25 0 4 0 651827663 681824256 130466 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=665844 CPUtime=1116.63 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 156810 0 0 0 111610 53 0 0 25 0 4 0 651827663 681824256 130466 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4478.82
Current children cumulated vsize (KiB) 665844

[startup+1182.3 s]
/proc/loadavg: 8.42 8.21 8.11 10/303 20596
/proc/meminfo: memFree=26774704/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=674020 CPUtime=4718.27 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 695149 0 0 0 471579 248 0 0 25 0 4 0 651827662 690196480 127992 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 168505 127992 379 95 0 163487 0
[pid=20458/tid=20459] ppid=20456 vsize=674020 CPUtime=1177.65 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 161469 0 0 0 117708 57 0 0 25 0 4 0 651827663 690196480 127992 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=674020 CPUtime=1182.29 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 169755 0 0 0 118165 64 0 0 25 0 4 0 651827663 690196480 127992 33554432000 4194304 4580107 140736679323664 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=674020 CPUtime=1176.08 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 163476 0 0 0 117553 55 0 0 25 0 4 0 651827663 690196480 127992 33554432000 4194304 4580107 140736679323664 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4718.27
Current children cumulated vsize (KiB) 674020



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.39 8.22 8.12 9/302 20597
/proc/meminfo: memFree=26745268/32951124 swapFree=63649232/67111528
[pid=20458] ppid=20456 vsize=674076 CPUtime=4800.08 cores=0,2,4,6
/proc/20458/stat : 20458 (strangenight2-m) R 20456 20458 20027 0 -1 4202496 709696 0 0 0 479756 252 0 0 25 0 4 0 651827662 690253824 138814 33554432000 4194304 4580107 140736679323664 18446744073709551615 4293232 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20458/statm: 168519 138814 379 95 0 163501 0
[pid=20458/tid=20459] ppid=20456 vsize=674076 CPUtime=1198.16 cores=0,2,4,6
/proc/20458/task/20459/stat : 20459 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 167944 0 0 0 119757 59 0 0 25 0 4 0 651827663 690253824 138815 33554432000 4194304 4580107 140736679323664 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=20458/tid=20460] ppid=20456 vsize=674076 CPUtime=1202.81 cores=0,2,4,6
/proc/20458/task/20460/stat : 20460 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 175383 0 0 0 120215 66 0 0 25 0 4 0 651827663 690253824 138815 33554432000 4194304 4580107 140736679323664 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20458/tid=20461] ppid=20456 vsize=674076 CPUtime=1196.38 cores=0,2,4,6
/proc/20458/task/20461/stat : 20461 (strangenight2-m) R 20456 20458 20027 0 -1 4202560 163476 0 0 0 119583 55 0 0 25 0 4 0 651827663 690253824 138815 33554432000 4194304 4580107 140736679323664 18446744073709551615 4451684 0 0 4096 2 0 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 674076

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): 1202.84
CPU time (s): 4800.15
CPU user time (s): 4797.6
CPU system time (s): 2.55561
CPU usage (%): 399.067
Max. virtual memory (cumulated for all children) (KiB): 802884

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.6
system time used= 2.55561
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 709697
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= 473
involuntary context switches= 19903

runsolver used 3.10953 second user time and 7.97779 second system time

The end

Launcher Data 

Begin job on node130 at 2011-05-14 21:44:52
IDJOB=3366354
IDBENCH=82763
IDSOLVER=1844
FILE ID=node130/3366354-1305402292
RUNJOBID= node130-1305401086-20341
PBS_JOBID= 13324461
Free space on /tmp= 73424 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S436871389-051.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366354-1305402292/watcher-3366354-1305402292 -o /tmp/evaluation-result-3366354-1305402292/solver-3366354-1305402292 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366354-1305402292.cnf

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

MD5SUM BENCH= 6deba4513edb64b9aaebf4e8cfbaf90d
RANDOM SEED=860006042

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27773732 kB
Buffers:        255724 kB
Cached:        3594164 kB
SwapCached:      10248 kB
Active:        1146848 kB
Inactive:      3761128 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27773732 kB
SwapTotal:    67111528 kB
SwapFree:     63649232 kB
Dirty:           10920 kB
Writeback:           0 kB
AnonPages:     1056512 kB
Mapped:          13484 kB
Slab:           182680 kB
PageTables:      24724 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 51543776 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= 73416 MiB
End job on node130 at 2011-05-14 22:04:56