Trace number 3174147

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.12 1201.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1300400916-048.SATISFIABLE.cnf
MD5SUM2d20051b8a7a248788d1c2610fe5ea54
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.007998
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.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-3174147-1304104016.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	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
3.18/0.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.18/0.85	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.85	c calculated reachability. Time: 0.00
3.18/0.85	c Calc default polars -  time:   0.00 s pos:      63 undec:       1 neg:      61
3.18/0.85	c =========================================================================================
3.18/0.85	c types(t): F = full restart, N = normal restart
3.18/0.85	c types(t): S = simplification begin/end, E = solution found
3.18/0.85	c restart types(rt): st = static, dy = dynamic
3.18/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.85	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
3.18/0.85	c Decided on static restart strategy
3.18/0.85	c  N st     8      4918       125      2662         0      4675     13310    123063   no data   no data
3.18/0.85	c  N st    10     11302       125      2662         0      4319     13310     88221   no data   no data
3.18/0.85	c  N st    11     17046       125      2662         0      9735     13310    227774   no data   no data
3.58/0.95	c  F st    12     25000       125      2662         0     11907     13310    280420   no data   no data
3.58/0.95	c  N st    12     25000       125      2662         0     11907     13310    280420   no data   no data
4.39/1.15	c Decided on static restart strategy
4.39/1.15	c  N st    18     30001       125      2662         0     10199     13310    228217   no data   no data
4.39/1.15	c  S st    18     30001       125      2662         0     10199     13310    228217   no data   no data
4.39/1.15	c  S st    18     30508       125      2662         0     10695     13310    241212   no data   no data
4.39/1.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.15	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.35	c lits-rem:       238  cl-subs:     1516  v-elim:      0  v-fix:    0  time:  0.18 s
5.57/1.45	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.57/1.45	c calculated reachability. Time: 0.00
5.57/1.45	c  N st    18     30508       125      2662         0      9179     13310    199056   no data   no data
6.37/1.69	c  N st    20     37621       125      2662         0      8484     13310    166428   no data   no data
7.96/2.02	c  N st    21     44020       125      2662         0     14523     13310    326373   no data   no data
8.39/2.13	c  S st    22     45764       125      2662         0     16164     13310    368018   no data   no data
8.39/2.17	c  S st    22     46267       125      2662         0     16653     13310    380753   no data   no data
8.39/2.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.39/2.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.39/2.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.39/2.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.39/2.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.39/2.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.39/2.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.39/2.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.39/2.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.62	c lits-rem:       345  cl-subs:     1686  v-elim:      0  v-fix:    0  time:  0.42 s
10.36/2.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.36/2.62	c vivif2 --  cl tried    14967 cl shrink        0 lits rem          0 time: 0.00
10.36/2.68	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.36/2.68	c calculated reachability. Time: 0.00
10.36/2.68	c  N st    22     46267       125      2662         0     14967     13310    332849   no data   no data
13.96/3.50	c  N st    23     60665       125      2662         0     10727     13310    191464   no data   no data
15.56/4.00	c  N st    24     69401       125      2662         0     18923     13310    400907   no data   no data
15.56/4.00	c  S st    24     69401       125      2662         0     18923     13310    400907   no data   no data
15.96/4.05	c  S st    24     69904       125      2662         0     19411     13310    413644   no data   no data
15.96/4.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.96/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.96/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.96/4.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.35/4.62	c lits-rem:       623  cl-subs:     1963  v-elim:      0  v-fix:    0  time:  0.55 s
18.35/4.62	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.35/4.62	c vivif2 --  cl tried    17448 cl shrink        0 lits rem          0 time: 0.00
18.35/4.69	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
18.35/4.69	c calculated reachability. Time: 0.00
18.35/4.69	c  N st    24     69904       125      2662         0     17448     13310    362664   no data   no data
22.74/5.73	c  F st    25     87500       125      2662         0     12514     13310    218503   no data   no data
22.74/5.73	c  N st    25     87500       125      2662         0     12514     13310    218503   no data   no data
23.94/6.01	c Decided on static restart strategy
24.35/6.18	c  N st    32     95537       125      2662         0     20093     13310    414703   no data   no data
26.74/6.74	c  N st    34    104858       125      2662         0     16645     13310    322604   no data   no data
26.74/6.74	c  S st    34    104858       125      2662         0     16645     13310    322604   no data   no data
26.74/6.78	c  S st    34    105360       125      2662         0     17134     13310    335380   no data   no data
26.74/6.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.74/6.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.74/6.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.14/6.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.02	c lits-rem:       347  cl-subs:     1082  v-elim:      0  v-fix:    0  time:  0.22 s
27.94/7.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.94/7.03	c vivif2 --  cl tried    16052 cl shrink        0 lits rem          0 time: 0.00
27.94/7.09	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.07
27.94/7.09	c calculated reachability. Time: 0.00
27.94/7.09	c  N st    34    105360       125      2662         0     16052     13310    305894   no data   no data
31.13/7.80	c  N st    35    114959       125      2662         0     25086     13310    539551   no data   no data
34.75/8.78	c  N st    36    129359       125      2662         0     25398     13310    530558   no data   no data
41.13/10.36	c  N st    37    150955       125      2662         0     16631     13310    271509   no data   no data
43.13/10.83	c  S st    38    158042       125      2662         0     23275     13310    445177   no data   no data
43.13/10.89	c  S st    38    158547       125      2662         0     23763     13310    458091   no data   no data
43.13/10.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.13/10.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.13/10.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.13/10.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.13/10.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.13/10.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.13/10.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.54/10.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.54/10.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.52/11.41	c lits-rem:       437  cl-subs:     1710  v-elim:      0  v-fix:    0  time:  0.50 s
45.52/11.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.52/11.42	c vivif2 --  cl tried    22053 cl shrink        0 lits rem          0 time: 0.00
45.92/11.50	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.09
45.92/11.51	c calculated reachability. Time: 0.00
45.92/11.51	c  N st    38    158547       125      2662         0     22053     13310    410508   no data   no data
62.69/15.70	c  N st    39    207135       125      2662         0     34690     13310    703835   no data   no data
73.88/18.54	c  N st    40    237821       125      2662         0     27005     13310    488545   no data   no data
73.88/18.54	c  S st    40    237821       125      2662         0     27005     13310    488545   no data   no data
74.30/18.61	c  S st    40    238324       125      2662         0     27497     13310    501508   no data   no data
74.30/18.61	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
74.30/18.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
74.30/18.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74.30/18.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
74.30/18.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.30/18.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
74.30/18.62	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
74.30/18.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
74.30/18.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.09/19.35	c lits-rem:       514  cl-subs:     2142  v-elim:      0  v-fix:    0  time:  0.71 s
77.09/19.35	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.09/19.35	c vivif2 --  cl tried    25355 cl shrink        0 lits rem          0 time: 0.00
77.49/19.46	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.49/19.46	c calculated reachability. Time: 0.00
77.49/19.46	c  N st    40    238324       125      2662         0     25355     13310    448102   no data   no data
104.25/26.19	c  F st    41    306251       125      2662         0     27161     13310    449972   no data   no data
104.25/26.19	c  N st    41    306251       125      2662         0     27161     13310    449972   no data   no data
106.24/26.65	c Decided on static restart strategy
117.03/29.34	c  N st    51    334556       125      2662         0     31326     13310    541990   no data   no data
127.04/31.85	c  N st    53    357487       125      2662         0     29404     13310    479471   no data   no data
127.04/31.85	c  S st    53    357487       125      2662         0     29404     13310    479471   no data   no data
127.44/31.92	c  S st    53    357994       125      2662         0     29897     13310    492452   no data   no data
127.44/31.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
127.44/31.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
127.44/31.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
127.44/31.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
127.44/31.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
127.44/31.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
127.44/31.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
127.44/31.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
127.44/31.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
129.01/32.37	c lits-rem:       277  cl-subs:     1286  v-elim:      0  v-fix:    0  time:  0.42 s
129.01/32.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
129.01/32.38	c vivif2 --  cl tried    28611 cl shrink        0 lits rem          0 time: 0.01
129.81/32.50	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.12
129.81/32.50	c calculated reachability. Time: 0.00
129.81/32.50	c  N st    53    357994       125      2662         0     28611     13310    456909   no data   no data
143.39/35.93	c  N st    54    390388       125      2662         0     34617     13310    599902   no data   no data
170.16/42.61	c  N st    55    438976       125      2662         0     28575     13310    414779   no data   no data
205.32/51.40	c  N st    56    511858       125      2662         0     41621     13310    735443   no data   no data
219.32/54.92	c  N st    57    536993       125      2662         0     36142     13310    572772   no data   no data
219.32/54.92	c  S st    57    536993       125      2662         0     36142     13310    572772   no data   no data
219.72/55.01	c  S st    57    537494       125      2662         0     36628     13310    585528   no data   no data
219.72/55.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
219.72/55.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
219.72/55.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
219.72/55.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
219.72/55.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
219.72/55.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
219.72/55.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
219.72/55.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
219.72/55.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.50/55.71	c lits-rem:       481  cl-subs:     1568  v-elim:      0  v-fix:    0  time:  0.67 s
222.50/55.71	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
222.50/55.72	c vivif2 --  cl tried    35060 cl shrink        0 lits rem          0 time: 0.01
222.90/55.86	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
222.90/55.87	c calculated reachability. Time: 0.00
222.90/55.87	c  N st    57    537494       125      2662         0     35060     13310    543554   no data   no data
311.19/77.93	c  N st    58    701478       125      2662         0     62801     13310   1220434   no data   no data
370.71/92.81	c  N st    59    806241       125      2662         0     57491     13310   1048776   no data   no data
370.71/92.81	c  S st    59    806241       125      2662         0     57491     13310   1048776   no data   no data
371.11/92.97	c  S st    59    806745       125      2662         0     57982     13310   1061332   no data   no data
371.11/92.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
371.51/93.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
371.51/93.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
371.51/93.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
371.51/93.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
371.51/93.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
371.51/93.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
371.51/93.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
371.51/93.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
388.69/97.34	c lits-rem:      1350  cl-subs:     4459  v-elim:      0  v-fix:    0  time:  4.30 s
388.69/97.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
388.69/97.35	c vivif2 --  cl tried    53523 cl shrink        0 lits rem          0 time: 0.01
389.89/97.62	c asymm  cl-useful: 0/2610/2662 lits-rem:0 time: 0.27
389.89/97.62	c calculated reachability. Time: 0.00
389.89/97.62	c  N st    59    806745       125      2662         0     53523     13310    945855   no data   no data
558.08/139.75	c  F st    60   1071876       125      2662         0     68388     13310   1240757   no data   no data
558.08/139.75	c  N st    60   1071876       125      2662         0     68388     13310   1240757   no data   no data
562.48/140.83	c Decided on static restart strategy
581.24/145.54	c  N st    70   1100180       125      2662         0     53066     13310    816427   no data   no data
607.60/152.17	c  N st    72   1136173       125      2662         0     43805     13310    550001   no data   no data
628.00/157.27	c  N st    73   1168566       125      2662         0     74266     13310   1339032   no data   no data
659.16/165.08	c  N st    74   1210117       125      2662         0     69082     13310   1186638   no data   no data
659.16/165.08	c  S st    74   1210117       125      2662         0     69082     13310   1186638   no data   no data
660.34/165.31	c  S st    74   1210625       125      2662         0     69567     13310   1199519   no data   no data
660.34/165.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
660.34/165.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
660.34/165.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
660.34/165.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
660.34/165.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
660.34/165.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
660.34/165.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
660.34/165.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
660.74/165.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
716.28/179.31	c lits-rem:      1399  cl-subs:     5388  v-elim:      0  v-fix:    0  time: 13.91 s
716.28/179.31	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
716.28/179.33	c vivif2 --  cl tried    64179 cl shrink        0 lits rem          0 time: 0.02
718.26/179.89	c asymm  cl-useful: 0/2084/2662 lits-rem:0 time: 0.55
718.26/179.89	c calculated reachability. Time: 0.00
718.26/179.89	c  N st    74   1210625       125      2662         0     64179     13310   1062939   no data   no data
785.77/196.76	c  N st    75   1283508       125      2662         0     87456     13310   1685768   no data   no data
885.64/221.75	c  N st    76   1392831       125      2662         0     49313     13310    617124   no data   no data
1026.24/256.92	c  N st    77   1556816       125      2662         0     53719     13310    692491   no data   no data
1157.67/289.83	c  N st    78   1710627       125      2662         0     93646     13310   1689380   no data   no data
1157.67/289.83	c  S st    78   1710627       125      2662         0     93646     13310   1689380   no data   no data
1158.87/290.13	c  S st    78   1711128       125      2662         0     94134     13310   1702275   no data   no data
1158.87/290.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1158.87/290.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1158.87/290.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1158.87/290.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1158.87/290.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1158.87/290.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1158.87/290.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1159.27/290.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1159.27/290.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1279.11/320.20	c lits-rem:      3186  cl-subs:    10397  v-elim:      0  v-fix:    0  time: 29.94 s
1279.11/320.20	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1279.11/320.23	c vivif2 --  cl tried    83737 cl shrink        0 lits rem          0 time: 0.03
1279.91/320.46	c asymm  cl-useful: 0/578/2662 lits-rem:0 time: 0.23
1279.91/320.46	c calculated reachability. Time: 0.00
1279.91/320.46	c  N st    78   1711128       125      2662         0     83737     13310   1452765   no data   no data
1647.45/412.46	c  N st    79   2080092       125      2662         0     95357     13310   1639739   no data   no data
1778.06/445.20	c  N st    80   2211128       125      2662         0     99466     13310   1744100   no data   no data
1778.06/445.20	c  S st    80   2211128       125      2662         0     99466     13310   1744100   no data   no data
1779.67/445.51	c  S st    80   2211631       125      2662         0     99950     13310   1757524   no data   no data
1779.67/445.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1779.67/445.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1779.67/445.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1779.67/445.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1779.67/445.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1779.67/445.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1779.67/445.57	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1780.05/445.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1780.05/445.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1854.38/464.23	c lits-rem:      2009  cl-subs:    10334  v-elim:      0  v-fix:    0  time: 18.59 s
1854.38/464.23	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1854.38/464.26	c vivif2 --  cl tried    89616 cl shrink        0 lits rem          0 time: 0.02
1855.95/464.60	c asymm  cl-useful: 0/1532/2662 lits-rem:0 time: 0.34
1855.95/464.60	c calculated reachability. Time: 0.00
1855.95/464.60	c  N st    80   2211631       125      2662         0     89616     13310   1501292   no data   no data
2439.57/610.75	c  N st    81   2711631       125      2662         0    112617     13310   1965903   no data   no data
2439.57/610.75	c  S st    81   2711631       125      2662         0    112617     13310   1965903   no data   no data
2441.17/611.11	c  S st    81   2712134       125      2662         0    113111     13310   1979037   no data   no data
2441.17/611.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2441.17/611.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2441.17/611.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2441.17/611.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2441.17/611.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2441.17/611.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2441.17/611.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2441.57/611.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2441.57/611.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2539.87/635.87	c lits-rem:      2332  cl-subs:    12839  v-elim:      0  v-fix:    0  time: 24.61 s
2539.87/635.87	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2539.87/635.89	c vivif2 --  cl tried   100272 cl shrink        0 lits rem          0 time: 0.02
2541.45/636.22	c asymm  cl-useful: 0/1130/2662 lits-rem:0 time: 0.33
2541.45/636.22	c calculated reachability. Time: 0.00
2541.45/636.22	c  N st    81   2712134       125      2662         0    100272     13310   1696116   no data   no data
3192.58/799.24	c  N st    82   3212134       125      2662         0     77761     13310    975254   no data   no data
3192.58/799.24	c  S st    82   3212134       125      2662         0     77761     13310    975254   no data   no data
3193.38/799.48	c  S st    82   3212636       125      2662         0     78251     13310    988857   no data   no data
3193.38/799.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3193.78/799.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3193.78/799.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3193.78/799.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3193.78/799.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3193.78/799.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3193.78/799.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3193.78/799.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3193.78/799.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3197.78/800.57	c lits-rem:       374  cl-subs:     1426  v-elim:      0  v-fix:    0  time:  1.00 s
3197.78/800.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3197.78/800.58	c vivif2 --  cl tried    76825 cl shrink        0 lits rem          0 time: 0.01
3199.00/800.89	c asymm  cl-useful: 0/1864/2662 lits-rem:0 time: 0.30
3199.00/800.89	c calculated reachability. Time: 0.00
3199.00/800.89	c  N st    82   3212636       125      2662         0     76825     13310    957021   no data   no data
3831.36/959.19	c  N st    83   3712637       125      2662         0     86968     13310   1136584   no data   no data
3831.36/959.19	c  S st    83   3712637       125      2662         0     86968     13310   1136584   no data   no data
3832.54/959.46	c  S st    83   3713139       125      2662         0     87456     13310   1149347   no data   no data
3832.54/959.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3832.94/959.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3832.94/959.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3832.94/959.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3832.94/959.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3832.94/959.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3832.94/959.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3832.94/959.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3832.94/959.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3840.92/961.50	c lits-rem:       560  cl-subs:     2224  v-elim:      0  v-fix:    0  time:  1.94 s
3840.92/961.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3840.92/961.52	c vivif2 --  cl tried    85232 cl shrink        0 lits rem          0 time: 0.02
3841.72/961.71	c asymm  cl-useful: 0/798/2662 lits-rem:0 time: 0.18
3841.72/961.71	c calculated reachability. Time: 0.00
3841.72/961.71	c  N st    83   3713139       125      2662         0     85232     13310   1096263   no data   no data
3881.68/971.74	c  F st    84   3751562       125      2662         0    121101     13310   2044025   no data   no data
3881.68/971.74	c  N st    84   3751562       125      2662         0    121101     13310   2044025   no data   no data
3890.46/973.94	c Decided on static restart strategy
3928.43/983.45	c  N st    94   3779861       125      2662         0    147631     13310   2747687   no data   no data
3981.54/996.79	c  N st    96   3815854       125      2662         0    102292     13310   1534866   no data   no data
4028.68/1008.53	c  N st    97   3848246       125      2662         0    132441     13310   2315942   no data   no data
4093.40/1024.73	c  N st    98   3896836       125      2662         0     97757     13310   1368545   no data   no data
4210.44/1054.05	c  N st    99   3969719       125      2662         0     84506     13310   1020597   no data   no data
4355.45/1090.39	c  N st   100   4079042       125      2662         0    104534     13310   1555731   no data   no data
4540.80/1136.70	c  N st   101   4213139       125      2662         0    146574     13310   2625158   no data   no data
4540.80/1136.70	c  S st   101   4213139       125      2662         0    146574     13310   2625158   no data   no data
4542.80/1137.21	c  S st   101   4213644       125      2662         0    147068     13310   2638542   no data   no data
4542.80/1137.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4542.80/1137.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4542.80/1137.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4542.80/1137.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4542.80/1137.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4542.80/1137.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4542.80/1137.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4543.21/1137.34	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4543.62/1137.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4774.49/1195.21	c lits-rem:      4209  cl-subs:    15460  v-elim:      0  v-fix:    0  time: 57.79 s
4774.49/1195.21	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4774.49/1195.26	c vivif2 --  cl tried   131608 cl shrink        0 lits rem          0 time: 0.04
4776.88/1195.88	c asymm  cl-useful: 0/1103/2662 lits-rem:0 time: 0.62
4776.88/1195.88	c calculated reachability. Time: 0.00
4776.88/1195.88	c  N st   101   4213644       125      2662         0    131608     13310   2252413   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-3174147-1304104016/watcher-3174147-1304104016 -o /tmp/evaluation-result-3174147-1304104016/solver-3174147-1304104016 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174147-1304104016.cnf 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 6.85 7.77 7.45 7/180 27548
/proc/meminfo: memFree=30909036/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 521998679 52441088 352 33554432000 4194304 4627427 140734149830976 18446744073709551615 239476694971 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 12803 352 303 106 0 7774 0
[pid=27548/tid=27549] ppid=27546 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521998679 52441088 352 33554432000 4194304 4627427 140734149830976 18446744073709551615 47720337127340 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 521998679 52441088 352 33554432000 4194304 4627427 140734149830976 18446744073709551615 47720337127346 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 521998680 52441088 352 33554432000 4194304 4627427 140734149830976 18446744073709551615 239471742038 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.0788409 s]
/proc/loadavg: 6.85 7.77 7.45 7/180 27548
/proc/meminfo: memFree=30909036/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=282444 CPUtime=0.29 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 1744 0 0 0 29 0 0 0 18 0 4 0 521998679 289222656 1608 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 70611 1608 383 106 0 65582 0
[pid=27548/tid=27549] ppid=27546 vsize=282444 CPUtime=0.07 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 374 0 0 0 7 0 0 0 18 0 4 0 521998679 289222656 1615 33554432000 4194304 4627427 140734149830976 18446744073709551615 239476392121 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=282444 CPUtime=0.07 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 381 0 0 0 7 0 0 0 25 0 4 0 521998679 289222656 1615 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=282444 CPUtime=0.07 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 234 0 0 0 7 0 0 0 18 0 4 0 521998680 289222656 1615 33554432000 4194304 4627427 140734149830976 18446744073709551615 4333279 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 282444

[startup+0.100835 s]
/proc/loadavg: 6.85 7.77 7.45 7/180 27548
/proc/meminfo: memFree=30909036/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=282444 CPUtime=0.38 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 1872 0 0 0 38 0 0 0 18 0 4 0 521998679 289222656 1736 33554432000 4194304 4627427 140734149830976 18446744073709551615 4330330 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 70611 1736 383 106 0 65582 0
[pid=27548/tid=27549] ppid=27546 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 411 0 0 0 9 0 0 0 18 0 4 0 521998679 289222656 1736 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 407 0 0 0 9 0 0 0 25 0 4 0 521998679 289222656 1736 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=282444 CPUtime=0.09 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 266 0 0 0 9 0 0 0 18 0 4 0 521998680 289222656 1736 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 282444

[startup+0.300798 s]
/proc/loadavg: 6.85 7.77 7.45 7/180 27548
/proc/meminfo: memFree=30909036/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=284040 CPUtime=1.18 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 3112 0 0 0 118 0 0 0 18 0 4 0 521998679 290856960 2353 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 71010 2353 384 106 0 65981 0
[pid=27548/tid=27549] ppid=27546 vsize=284040 CPUtime=0.29 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 725 0 0 0 29 0 0 0 18 0 4 0 521998679 290856960 2353 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=284040 CPUtime=0.29 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 732 0 0 0 29 0 0 0 25 0 4 0 521998679 290856960 2353 33554432000 4194304 4627427 140734149830976 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=284040 CPUtime=0.29 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 569 0 0 0 29 0 0 0 18 0 4 0 521998680 290856960 2353 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284040

[startup+0.700721 s]
/proc/loadavg: 6.85 7.77 7.45 7/180 27548
/proc/meminfo: memFree=30909036/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=285828 CPUtime=2.78 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 5559 0 0 0 278 0 0 0 18 0 4 0 521998679 292687872 2620 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 71457 2620 384 106 0 66428 0
[pid=27548/tid=27549] ppid=27546 vsize=285828 CPUtime=0.69 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 1315 0 0 0 69 0 0 0 18 0 4 0 521998679 292687872 2620 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=285828 CPUtime=0.69 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 1359 0 0 0 69 0 0 0 25 0 4 0 521998679 292687872 2620 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=285828 CPUtime=0.69 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 1178 0 0 0 69 0 0 0 18 0 4 0 521998680 292687872 2620 33554432000 4194304 4627427 140734149830976 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285828

[startup+1.50057 s]
/proc/loadavg: 7.26 7.84 7.47 9/184 27552
/proc/meminfo: memFree=30888296/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=286884 CPUtime=5.97 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 11637 0 0 0 596 1 0 0 20 0 4 0 521998679 293769216 5849 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 71721 5849 388 106 0 66692 0
[pid=27548/tid=27549] ppid=27546 vsize=286884 CPUtime=1.49 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 3429 0 0 0 149 0 0 0 20 0 4 0 521998679 293769216 5849 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420130 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=286884 CPUtime=1.48 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 2325 0 0 0 148 0 0 0 25 0 4 0 521998679 293769216 5849 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=286884 CPUtime=1.49 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 2098 0 0 0 149 0 0 0 20 0 4 0 521998680 293769216 5849 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286884

[startup+3.10026 s]
/proc/loadavg: 7.26 7.84 7.47 9/184 27552
/proc/meminfo: memFree=30840184/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=287632 CPUtime=12.36 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 21100 0 0 0 1233 3 0 0 25 0 4 0 521998679 294535168 11069 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 71908 11069 388 106 0 66879 0
[pid=27548/tid=27549] ppid=27546 vsize=287632 CPUtime=3.09 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 4687 0 0 0 309 0 0 0 25 0 4 0 521998679 294535168 11069 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=287632 CPUtime=3.07 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 5542 0 0 0 307 0 0 0 25 0 4 0 521998679 294535168 11069 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=287632 CPUtime=3.09 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 5124 0 0 0 308 1 0 0 25 0 4 0 521998680 294535168 11069 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 287632

[startup+6.30065 s]
/proc/loadavg: 7.26 7.84 7.47 9/184 27552
/proc/meminfo: memFree=30793068/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=292916 CPUtime=25.15 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 32471 0 0 0 2510 5 0 0 25 0 4 0 521998679 299945984 14588 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 73229 14588 388 106 0 68200 0
[pid=27548/tid=27549] ppid=27546 vsize=292916 CPUtime=6.28 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 8061 0 0 0 628 0 0 0 25 0 4 0 521998679 299945984 14588 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=292916 CPUtime=6.26 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 8410 0 0 0 625 1 0 0 25 0 4 0 521998679 299945984 14588 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=292916 CPUtime=6.28 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 7593 0 0 0 627 1 0 0 25 0 4 0 521998680 299945984 14588 33554432000 4194304 4627427 140734149830976 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 292916

[startup+12.7004 s]
/proc/loadavg: 7.37 7.85 7.48 9/184 27552
/proc/meminfo: memFree=30759256/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=303248 CPUtime=50.71 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 49147 0 0 0 5064 7 0 0 25 0 4 0 521998679 310525952 19224 33554432000 4194304 4627427 140734149830976 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 75812 19224 388 106 0 70783 0
[pid=27548/tid=27549] ppid=27546 vsize=303248 CPUtime=12.69 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 12761 0 0 0 1268 1 0 0 25 0 4 0 521998679 310525952 19224 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=303248 CPUtime=12.62 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 12136 0 0 0 1261 1 0 0 25 0 4 0 521998679 310525952 19224 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=303248 CPUtime=12.68 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 11495 0 0 0 1267 1 0 0 25 0 4 0 521998680 310525952 19224 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 303248

[startup+25.501 s]
/proc/loadavg: 7.47 7.85 7.48 9/184 27553
/proc/meminfo: memFree=30700028/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=301368 CPUtime=101.85 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 75308 0 0 0 10173 12 0 0 25 0 4 0 521998679 308600832 26989 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 75342 26989 388 106 0 70313 0
[pid=27548/tid=27549] ppid=27546 vsize=301368 CPUtime=25.49 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 20261 0 0 0 2547 2 0 0 25 0 4 0 521998679 308600832 26989 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=301368 CPUtime=25.37 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 18968 0 0 0 2534 3 0 0 25 0 4 0 521998679 308600832 26989 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=301368 CPUtime=25.48 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 17397 0 0 0 2545 3 0 0 25 0 4 0 521998680 308600832 26989 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 301368

[startup+51.1011 s]
/proc/loadavg: 7.65 7.86 7.49 9/184 27553
/proc/meminfo: memFree=30657468/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=316776 CPUtime=204.12 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 112496 0 0 0 20390 22 0 0 25 0 4 0 521998679 324378624 31245 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309100 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 79194 31245 388 106 0 74165 0
[pid=27548/tid=27549] ppid=27546 vsize=316776 CPUtime=51.09 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 29591 0 0 0 5105 4 0 0 25 0 4 0 521998679 324378624 31245 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=316776 CPUtime=50.82 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 28668 0 0 0 5077 5 0 0 25 0 4 0 521998679 324378624 31245 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=316776 CPUtime=51.08 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 26509 0 0 0 5103 5 0 0 25 0 4 0 521998680 324378624 31245 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 316776

[startup+102.306 s]
/proc/loadavg: 7.86 7.88 7.52 9/184 27555
/proc/meminfo: memFree=30586740/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=331640 CPUtime=408.68 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 179064 0 0 0 40827 41 0 0 25 0 4 0 521998679 339599360 40784 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 82910 40784 388 106 0 77881 0
[pid=27548/tid=27549] ppid=27546 vsize=331640 CPUtime=102.3 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 46641 0 0 0 10221 9 0 0 25 0 4 0 521998679 339599360 40784 33554432000 4194304 4627427 140734149830976 18446744073709551615 4332706 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=331640 CPUtime=101.77 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 45394 0 0 0 10167 10 0 0 25 0 4 0 521998679 339599360 40784 33554432000 4194304 4627427 140734149830976 18446744073709551615 4427421 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=331640 CPUtime=102.29 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 42172 0 0 0 10220 9 0 0 25 0 4 0 521998680 339599360 40784 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 331640

[startup+162.301 s]

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

[pid=27548] ppid=27546 vsize=629764 CPUtime=2565.83 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 497405 0 0 0 256415 168 0 0 25 0 4 0 521998679 644878336 102653 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 157441 102653 388 106 0 152412 0
[pid=27548/tid=27549] ppid=27546 vsize=629764 CPUtime=640.18 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 126252 0 0 0 63977 41 0 0 25 0 4 0 521998679 644878336 102653 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=629764 CPUtime=641 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 115385 0 0 0 64057 43 0 0 25 0 4 0 521998679 644878336 102653 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=629764 CPUtime=642.31 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 125538 0 0 0 64190 41 0 0 25 0 4 0 521998680 644878336 102654 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2565.83
Current children cumulated vsize (KiB) 629764

[startup+702.3 s]
/proc/loadavg: 8.08 8.07 7.79 9/184 27571
/proc/meminfo: memFree=30053528/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=630012 CPUtime=2805.49 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 520145 0 0 0 280366 183 0 0 25 0 4 0 521998679 645132288 112992 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 157503 112992 388 106 0 152474 0
[pid=27548/tid=27549] ppid=27546 vsize=630012 CPUtime=699.84 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 129756 0 0 0 69942 42 0 0 25 0 4 0 521998679 645132288 112992 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=630012 CPUtime=701 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 121672 0 0 0 70052 48 0 0 25 0 4 0 521998679 645132288 112992 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=630012 CPUtime=702.31 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 132157 0 0 0 70186 45 0 0 25 0 4 0 521998680 645132288 112992 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420191 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2805.49
Current children cumulated vsize (KiB) 630012

[startup+762.307 s]
/proc/loadavg: 8.07 8.07 7.80 9/184 27572
/proc/meminfo: memFree=30037508/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=564880 CPUtime=3045.2 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 549238 0 0 0 304325 195 0 0 25 0 4 0 521998679 578437120 103194 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 141220 103194 388 106 0 136191 0
[pid=27548/tid=27549] ppid=27546 vsize=564880 CPUtime=759.54 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 138457 0 0 0 75908 46 0 0 25 0 4 0 521998679 578437120 103194 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=564880 CPUtime=761 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 129810 0 0 0 76049 51 0 0 25 0 4 0 521998679 578437120 103194 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=564880 CPUtime=762.31 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 135889 0 0 0 76185 46 0 0 25 0 4 0 521998680 578437120 103194 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3045.2
Current children cumulated vsize (KiB) 564880

[startup+822.3 s]
/proc/loadavg: 8.13 8.08 7.82 9/184 27574
/proc/meminfo: memFree=30018016/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=631076 CPUtime=3284.85 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 573404 0 0 0 328277 208 0 0 25 0 4 0 521998679 646221824 111759 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 157769 111759 388 106 0 152740 0
[pid=27548/tid=27549] ppid=27546 vsize=631076 CPUtime=819.21 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 146211 0 0 0 81871 50 0 0 25 0 4 0 521998679 646221824 111759 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=631076 CPUtime=821 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 137195 0 0 0 82044 56 0 0 25 0 4 0 521998679 646221824 111759 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420194 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=631076 CPUtime=822.3 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 140829 0 0 0 82182 48 0 0 25 0 4 0 521998680 646221824 111759 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3284.85
Current children cumulated vsize (KiB) 631076

[startup+882.301 s]
/proc/loadavg: 8.15 8.10 7.84 9/184 27575
/proc/meminfo: memFree=30019968/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=579128 CPUtime=3524.54 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 596599 0 0 0 352235 219 0 0 25 0 4 0 521998679 593027072 105701 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 144782 105701 388 106 0 139753 0
[pid=27548/tid=27549] ppid=27546 vsize=579128 CPUtime=878.87 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 154358 0 0 0 87833 54 0 0 25 0 4 0 521998679 593027072 105701 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=579128 CPUtime=881 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 140439 0 0 0 88043 57 0 0 25 0 4 0 521998679 593027072 105701 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=579128 CPUtime=882.31 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 147726 0 0 0 88179 52 0 0 25 0 4 0 521998680 593027072 105701 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3524.54
Current children cumulated vsize (KiB) 579128

[startup+942.3 s]
/proc/loadavg: 8.14 8.10 7.86 9/184 27577
/proc/meminfo: memFree=29996748/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=631324 CPUtime=3764.23 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 618468 0 0 0 376193 230 0 0 25 0 4 0 521998679 646475776 111166 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 157831 111166 388 106 0 152802 0
[pid=27548/tid=27549] ppid=27546 vsize=631324 CPUtime=938.56 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 162040 0 0 0 93797 59 0 0 25 0 4 0 521998679 646475776 111166 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=631324 CPUtime=941.01 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 148327 0 0 0 94040 61 0 0 25 0 4 0 521998679 646475776 111166 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=631324 CPUtime=942.31 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 152086 0 0 0 94177 54 0 0 25 0 4 0 521998680 646475776 111166 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3764.23
Current children cumulated vsize (KiB) 631324

[startup+1002.3 s]
/proc/loadavg: 8.08 8.10 7.87 9/184 27579
/proc/meminfo: memFree=29983688/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=645164 CPUtime=4003.91 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 640213 0 0 0 400151 240 0 0 25 0 4 0 521998679 660647936 111967 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 161291 111967 388 106 0 156262 0
[pid=27548/tid=27549] ppid=27546 vsize=645164 CPUtime=998.23 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 169633 0 0 0 99760 63 0 0 25 0 4 0 521998679 660647936 111967 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=645164 CPUtime=1001.01 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 151457 0 0 0 100038 63 0 0 25 0 4 0 521998679 660647936 111967 33554432000 4194304 4627427 140734149830976 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=645164 CPUtime=1002.32 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 156992 0 0 0 100176 56 0 0 25 0 4 0 521998680 660647936 111967 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4003.91
Current children cumulated vsize (KiB) 645164

[startup+1062.3 s]
/proc/loadavg: 8.03 8.08 7.87 9/184 27580
/proc/meminfo: memFree=29962320/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=700060 CPUtime=4243.6 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 663561 0 0 0 424109 251 0 0 25 0 4 0 521998679 716861440 113747 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 175015 113747 388 106 0 169986 0
[pid=27548/tid=27549] ppid=27546 vsize=700060 CPUtime=1057.91 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 176410 0 0 0 105725 66 0 0 25 0 4 0 521998679 716861440 113747 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=700060 CPUtime=1061.01 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 155087 0 0 0 106037 64 0 0 25 0 4 0 521998679 716861440 113747 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=700060 CPUtime=1062.32 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 163143 0 0 0 106173 59 0 0 25 0 4 0 521998680 716861440 113747 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4243.6
Current children cumulated vsize (KiB) 700060

[startup+1122.3 s]
/proc/loadavg: 8.17 8.11 7.90 9/184 27582
/proc/meminfo: memFree=29949504/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=647564 CPUtime=4483.27 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 689472 0 0 0 448065 262 0 0 25 0 4 0 521998679 663105536 114225 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 161891 114225 388 106 0 156862 0
[pid=27548/tid=27549] ppid=27546 vsize=647564 CPUtime=1117.58 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 180046 0 0 0 111690 68 0 0 25 0 4 0 521998679 663105536 114225 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=647564 CPUtime=1121.01 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 163103 0 0 0 112033 68 0 0 25 0 4 0 521998679 663105536 114225 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=647564 CPUtime=1122.32 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 170077 0 0 0 112170 62 0 0 25 0 4 0 521998680 663105536 114225 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4483.27
Current children cumulated vsize (KiB) 647564

[startup+1182.3 s]
/proc/loadavg: 8.18 8.12 7.91 9/184 27583
/proc/meminfo: memFree=29827456/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=725192 CPUtime=4722.95 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 713516 0 0 0 472020 275 0 0 25 0 4 0 521998679 742596608 134278 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420146 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 181298 134278 388 106 0 176269 0
[pid=27548/tid=27549] ppid=27546 vsize=725192 CPUtime=1177.26 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 184692 0 0 0 117655 71 0 0 25 0 4 0 521998679 742596608 134278 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=725192 CPUtime=1181.01 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 169925 0 0 0 118030 71 0 0 25 0 4 0 521998679 742596608 134278 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=725192 CPUtime=1182.33 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 175887 0 0 0 118166 67 0 0 25 0 4 0 521998680 742596608 134278 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4722.95
Current children cumulated vsize (KiB) 725192



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 8.13 8.11 7.91 9/184 27584
/proc/meminfo: memFree=29820992/32950928 swapFree=67086612/67111528
[pid=27548] ppid=27546 vsize=725192 CPUtime=4800.07 cores=1,3,5,7
/proc/27548/stat : 27548 (strangenight2-m) R 27546 27548 27507 0 -1 4202496 714748 0 0 0 479730 277 0 0 25 0 4 0 521998679 742596608 134982 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309065 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27548/statm: 181298 134982 388 106 0 176269 0
[pid=27548/tid=27549] ppid=27546 vsize=725192 CPUtime=1196.45 cores=1,3,5,7
/proc/27548/task/27549/stat : 27549 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 184692 0 0 0 119574 71 0 0 25 0 4 0 521998679 742596608 134982 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420156 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=27548/tid=27550] ppid=27546 vsize=725192 CPUtime=1200.32 cores=1,3,5,7
/proc/27548/task/27550/stat : 27550 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 169925 0 0 0 119961 71 0 0 25 0 4 0 521998679 742596608 134982 33554432000 4194304 4627427 140734149830976 18446744073709551615 4420235 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27548/tid=27551] ppid=27546 vsize=725192 CPUtime=1201.63 cores=1,3,5,7
/proc/27548/task/27551/stat : 27551 (strangenight2-m) R 27546 27548 27507 0 -1 4202560 176855 0 0 0 120095 68 0 0 25 0 4 0 521998680 742596608 134982 33554432000 4194304 4627427 140734149830976 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 4800.07
Current children cumulated vsize (KiB) 725192

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.64
CPU time (s): 4800.12
CPU user time (s): 4797.32
CPU system time (s): 2.79757
CPU usage (%): 399.466
Max. virtual memory (cumulated for all children) (KiB): 768804

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.32
system time used= 2.79757
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 714749
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= 523
involuntary context switches= 31672

runsolver used 1.80773 second user time and 4.70728 second system time

The end

Launcher Data 

Begin job on node148 at 2011-04-29 21:06:56
IDJOB=3174147
IDBENCH=82965
IDSOLVER=1586
FILE ID=node148/3174147-1304104016
RUNJOBID= node148-1304104016-27526
PBS_JOBID= 13170644
Free space on /tmp= 71428 MiB

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

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

MD5SUM BENCH= 2d20051b8a7a248788d1c2610fe5ea54
RANDOM SEED=1242051223

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30909812 kB
Buffers:        696780 kB
Cached:         934376 kB
SwapCached:       3696 kB
Active:         119920 kB
Inactive:      1555256 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30909812 kB
SwapTotal:    67111528 kB
SwapFree:     67086612 kB
Dirty:           11792 kB
Writeback:           0 kB
AnonPages:       42688 kB
Mapped:          14480 kB
Slab:           300232 kB
PageTables:       4664 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   273148 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= 71424 MiB
End job on node148 at 2011-04-29 21:27:00