Trace number 3366521

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.16 1203.64

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1194239878-049.UNKNOWN.cnf
MD5SUMac9c61f9177fd0d9da068d938bec80ff
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
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-3366521-1305406006.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.00/0.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.14	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.14	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.14	c calculated reachability. Time: 0.00
0.00/0.14	c Calc default polars -  time:   0.00 s pos:      69 undec:       4 neg:      52
0.00/0.14	c =========================================================================================
0.00/0.14	c types(t): F = full restart, N = normal restart
0.00/0.14	c types(t): S = simplification begin/end, E = solution found
0.00/0.14	c restart types(rt): st = static, dy = dynamic
0.00/0.14	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.14	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.14	c Decided on static restart strategy
0.00/0.14	c  N st     8      4914       125      2662         0      4643     13310    123831   no data   no data
3.17/0.80	c  N st    10     11298       125      2662         0      4288     13310     87403   no data   no data
3.17/0.80	c  N st    11     17041       125      2662         0      9710     13310    226629   no data   no data
3.57/0.90	c  F st    12     25000       125      2662         0     11868     13310    279294   no data   no data
3.57/0.90	c  N st    12     25000       125      2662         0     11868     13310    279294   no data   no data
4.76/1.20	c Decided on static restart strategy
4.76/1.20	c  N st    18     30000       125      2662         0     10171     13310    223770   no data   no data
4.76/1.20	c  S st    18     30000       125      2662         0     10171     13310    223770   no data   no data
4.76/1.20	c  S st    18     30501       125      2662         0     10658     13310    236267   no data   no data
4.76/1.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.76/1.20	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.76/1.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.76/1.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.76/1.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.76/1.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.40	c lits-rem:       321  cl-subs:     1516  v-elim:      0  v-fix:    0  time:  0.18 s
5.56/1.40	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
5.56/1.40	c calculated reachability. Time: 0.00
5.56/1.40	c  N st    18     30501       125      2662         0      9142     13310    195023   no data   no data
6.39/1.70	c  N st    20     37612       125      2662         0      8450     13310    162315   no data   no data
7.55/1.98	c  N st    21     44012       125      2662         0     14504     13310    323311   no data   no data
7.95/2.08	c  S st    22     45753       125      2662         0     16146     13310    367192   no data   no data
8.35/2.12	c  S st    22     46256       125      2662         0     16634     13310    379925   no data   no data
8.35/2.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.35/2.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.35/2.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.35/2.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.35/2.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.35/2.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.35/2.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.35/2.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.35/2.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.60	c lits-rem:       425  cl-subs:     1792  v-elim:      0  v-fix:    0  time:  0.46 s
10.35/2.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.35/2.61	c vivif2 --  cl tried    14842 cl shrink        0 lits rem          0 time: 0.00
10.35/2.66	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.35/2.66	c calculated reachability. Time: 0.00
10.35/2.66	c  N st    22     46256       125      2662         0     14842     13310    329391   no data   no data
13.54/3.46	c  N st    23     60654       125      2662         0     10634     13310    189783   no data   no data
15.58/3.97	c  N st    24     69385       125      2662         0     18846     13310    406051   no data   no data
15.58/3.97	c  S st    24     69385       125      2662         0     18846     13310    406051   no data   no data
15.92/4.02	c  S st    24     69890       125      2662         0     19336     13310    418689   no data   no data
15.92/4.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.92/4.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.92/4.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.92/4.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.92/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.92/4.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.92/4.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.92/4.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.92/4.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.32/4.61	c lits-rem:       519  cl-subs:     1914  v-elim:      0  v-fix:    0  time:  0.57 s
18.32/4.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.32/4.62	c vivif2 --  cl tried    17422 cl shrink        0 lits rem          0 time: 0.00
18.32/4.68	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.32/4.68	c calculated reachability. Time: 0.00
18.32/4.68	c  N st    24     69890       125      2662         0     17422     13310    365425   no data   no data
23.12/5.86	c  F st    25     87502       125      2662         0     12406     13310    216644   no data   no data
23.12/5.86	c  N st    25     87502       125      2662         0     12406     13310    216644   no data   no data
24.35/6.13	c Decided on static restart strategy
25.10/6.33	c  N st    32     95536       125      2662         0     20029     13310    412502   no data   no data
27.50/6.92	c  N st    34    104835       125      2662         0     16571     13310    319396   no data   no data
27.50/6.92	c  S st    34    104835       125      2662         0     16571     13310    319396   no data   no data
27.50/6.97	c  S st    34    105337       125      2662         0     17057     13310    331997   no data   no data
27.50/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.50/6.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.50/6.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.50/6.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.50/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.50/6.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.50/6.97	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.50/6.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.50/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.22	c lits-rem:       305  cl-subs:     1191  v-elim:      0  v-fix:    0  time:  0.23 s
28.74/7.22	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.74/7.22	c vivif2 --  cl tried    15866 cl shrink        0 lits rem          0 time: 0.00
28.74/7.28	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.74/7.28	c calculated reachability. Time: 0.00
28.74/7.28	c  N st    34    105337       125      2662         0     15866     13310    298524   no data   no data
31.49/7.96	c  N st    35    114936       125      2662         0     24905     13310    533947   no data   no data
35.88/9.02	c  N st    36    129333       125      2662         0     25334     13310    527687   no data   no data
42.25/10.60	c  N st    37    150929       125      2662         0     16450     13310    261389   no data   no data
44.25/11.10	c  S st    38    158009       125      2662         0     23031     13310    430755   no data   no data
44.25/11.16	c  S st    38    158516       125      2662         0     23524     13310    443895   no data   no data
44.25/11.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.25/11.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.25/11.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.25/11.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.25/11.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.25/11.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
44.25/11.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.25/11.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
44.25/11.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.28/11.69	c lits-rem:       493  cl-subs:     1885  v-elim:      0  v-fix:    0  time:  0.51 s
46.28/11.69	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
46.64/11.70	c vivif2 --  cl tried    21639 cl shrink        0 lits rem          0 time: 0.01
46.64/11.78	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
46.64/11.78	c calculated reachability. Time: 0.00
46.64/11.78	c  N st    38    158516       125      2662         0     21639     13310    394353   no data   no data
63.41/16.01	c  N st    39    207104       125      2662         0     34358     13310    678528   no data   no data
74.96/18.87	c  N st    40    237775       125      2662         0     26701     13310    482985   no data   no data
74.96/18.87	c  S st    40    237775       125      2662         0     26701     13310    482985   no data   no data
75.36/18.94	c  S st    40    238280       125      2662         0     27200     13310    496297   no data   no data
75.36/18.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.36/18.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.36/18.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.36/18.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.36/18.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.36/18.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
75.36/18.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.36/18.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.36/18.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
78.14/19.60	c lits-rem:       445  cl-subs:     1859  v-elim:      0  v-fix:    0  time:  0.64 s
78.14/19.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
78.14/19.61	c vivif2 --  cl tried    25341 cl shrink        0 lits rem          0 time: 0.00
78.54/19.71	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
78.54/19.71	c calculated reachability. Time: 0.00
78.54/19.71	c  N st    40    238280       125      2662         0     25341     13310    449773   no data   no data
103.32/25.92	c  F st    41    306250       125      2662         0     27163     13310    451546   no data   no data
103.32/25.92	c  N st    41    306250       125      2662         0     27163     13310    451546   no data   no data
105.27/26.43	c Decided on static restart strategy
114.45/28.77	c  N st    51    334552       125      2662         0     31338     13310    546613   no data   no data
124.01/31.18	c  N st    53    357421       125      2662         0     29212     13310    468395   no data   no data
124.01/31.18	c  S st    53    357421       125      2662         0     29212     13310    468395   no data   no data
124.41/31.26	c  S st    53    357923       125      2662         0     29699     13310    481262   no data   no data
124.41/31.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.41/31.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.41/31.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.41/31.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.41/31.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.41/31.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
124.41/31.27	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.41/31.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
124.41/31.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
126.40/31.70	c lits-rem:       273  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.42 s
126.40/31.70	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
126.40/31.71	c vivif2 --  cl tried    28411 cl shrink        0 lits rem          0 time: 0.01
126.80/31.82	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
126.80/31.82	c calculated reachability. Time: 0.00
126.80/31.82	c  N st    53    357923       125      2662         0     28411     13310    446906   no data   no data
140.76/35.38	c  N st    54    390315       125      2662         0     34527     13310    592990   no data   no data
166.28/41.77	c  N st    55    438903       125      2662         0     28576     13310    414154   no data   no data
200.58/50.36	c  N st    56    511785       125      2662         0     41551     13310    724483   no data   no data
213.34/53.58	c  N st    57    536884       125      2662         0     36034     13310    560343   no data   no data
213.34/53.58	c  S st    57    536884       125      2662         0     36034     13310    560343   no data   no data
213.74/53.68	c  S st    57    537388       125      2662         0     36523     13310    573592   no data   no data
213.74/53.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
213.74/53.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
213.74/53.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
213.74/53.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
213.74/53.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
213.74/53.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
213.74/53.69	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
214.14/53.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
214.14/53.71	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.54/54.34	c lits-rem:       338  cl-subs:     1554  v-elim:      0  v-fix:    0  time:  0.63 s
216.54/54.34	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
216.54/54.34	c vivif2 --  cl tried    34969 cl shrink        0 lits rem          0 time: 0.01
216.95/54.50	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
216.95/54.50	c calculated reachability. Time: 0.00
216.95/54.50	c  N st    57    537388       125      2662         0     34969     13310    533106   no data   no data
304.28/76.31	c  N st    58    701372       125      2662         0     63010     13310   1248761   no data   no data
364.11/91.31	c  N st    59    806084       125      2662         0     56953     13310   1026122   no data   no data
364.11/91.31	c  S st    59    806084       125      2662         0     56953     13310   1026122   no data   no data
364.51/91.49	c  S st    59    806585       125      2662         0     57443     13310   1039638   no data   no data
364.51/91.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
364.91/91.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
364.91/91.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
364.91/91.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
364.91/91.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
364.91/91.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
364.91/91.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
364.91/91.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
364.91/91.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
382.05/95.81	c lits-rem:      1328  cl-subs:     4913  v-elim:      0  v-fix:    0  time:  4.26 s
382.05/95.81	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
382.05/95.82	c vivif2 --  cl tried    52530 cl shrink        0 lits rem          0 time: 0.01
382.85/96.09	c asymm  cl-useful: 0/2652/2662 lits-rem:0 time: 0.27
382.85/96.09	c calculated reachability. Time: 0.00
382.85/96.09	c  N st    59    806585       125      2662         0     52530     13310    914868   no data   no data
552.35/138.54	c  F st    60   1071875       125      2662         0     67826     13310   1218242   no data   no data
552.35/138.54	c  N st    60   1071875       125      2662         0     67826     13310   1218242   no data   no data
557.14/139.75	c Decided on static restart strategy
575.88/144.49	c  N st    70   1100174       125      2662         0     52501     13310    796361   no data   no data
605.39/151.81	c  N st    72   1136166       125      2662         0     43306     13310    532562   no data   no data
626.53/157.15	c  N st    73   1168558       125      2662         0     73621     13310   1335643   no data   no data
660.83/165.79	c  N st    74   1209877       125      2662         0     68332     13310   1186864   no data   no data
660.83/165.79	c  S st    74   1209877       125      2662         0     68332     13310   1186864   no data   no data
662.03/166.00	c  S st    74   1210382       125      2662         0     68817     13310   1199818   no data   no data
662.03/166.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
662.03/166.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
662.03/166.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
662.03/166.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
662.03/166.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
662.03/166.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
662.03/166.03	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
662.03/166.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
662.03/166.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
685.95/172.09	c lits-rem:      1638  cl-subs:     5261  v-elim:      0  v-fix:    0  time:  6.01 s
685.95/172.09	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
685.95/172.11	c vivif2 --  cl tried    63556 cl shrink        0 lits rem          0 time: 0.01
687.54/172.43	c asymm  cl-useful: 0/2275/2662 lits-rem:0 time: 0.32
687.54/172.43	c calculated reachability. Time: 0.00
687.54/172.43	c  N st    74   1210382       125      2662         0     63556     13310   1060427   no data   no data
766.89/192.36	c  N st    75   1283264       125      2662         0     87054     13310   1641637   no data   no data
852.65/213.82	c  N st    76   1392587       125      2662         0     49030     13310    604945   no data   no data
996.62/249.99	c  N st    77   1556571       125      2662         0     53647     13310    683941   no data   no data
1124.25/281.97	c  N st    78   1710382       125      2662         0     93285     13310   1673890   no data   no data
1124.25/281.97	c  S st    78   1710382       125      2662         0     93285     13310   1673890   no data   no data
1125.49/282.23	c  S st    78   1710886       125      2662         0     93768     13310   1686778   no data   no data
1125.49/282.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1125.49/282.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1125.49/282.28	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1125.49/282.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1125.49/282.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1125.49/282.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1125.49/282.28	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1125.83/282.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1125.83/282.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1199.63/300.91	c lits-rem:      2010  cl-subs:    11150  v-elim:      0  v-fix:    0  time: 18.56 s
1199.63/300.91	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1200.06/300.94	c vivif2 --  cl tried    82618 cl shrink        0 lits rem          0 time: 0.03
1201.21/301.27	c asymm  cl-useful: 0/1739/2662 lits-rem:0 time: 0.33
1201.21/301.27	c calculated reachability. Time: 0.00
1201.21/301.27	c  N st    78   1710886       125      2662         0     82618     13310   1417240   no data   no data
1611.17/404.09	c  N st    79   2079850       125      2662         0     93810     13310   1575952   no data   no data
1737.99/435.80	c  N st    80   2210886       125      2662         0     97859     13310   1683376   no data   no data
1737.99/435.80	c  S st    80   2210886       125      2662         0     97859     13310   1683376   no data   no data
1738.79/436.09	c  S st    80   2211387       125      2662         0     98337     13310   1696384   no data   no data
1738.79/436.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1739.21/436.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1739.21/436.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1739.21/436.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1739.21/436.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1739.21/436.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1739.21/436.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1739.21/436.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1739.64/436.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1806.18/452.94	c lits-rem:      2618  cl-subs:    10279  v-elim:      0  v-fix:    0  time: 16.73 s
1806.18/452.94	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1806.18/452.96	c vivif2 --  cl tried    88058 cl shrink        0 lits rem          0 time: 0.02
1806.98/453.19	c asymm  cl-useful: 0/923/2662 lits-rem:0 time: 0.23
1806.98/453.20	c calculated reachability. Time: 0.00
1806.98/453.20	c  N st    80   2211387       125      2662         0     88058     13310   1451749   no data   no data
2366.11/593.34	c  N st    81   2711388       125      2662         0    111032     13310   1901545   no data   no data
2366.11/593.34	c  S st    81   2711388       125      2662         0    111032     13310   1901545   no data   no data
2367.30/593.67	c  S st    81   2711889       125      2662         0    111520     13310   1914612   no data   no data
2367.30/593.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2367.70/593.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2367.70/593.73	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2367.70/593.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2367.70/593.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2367.70/593.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2367.70/593.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2367.70/593.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2368.10/593.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2452.25/614.93	c lits-rem:      2318  cl-subs:    12098  v-elim:      0  v-fix:    0  time: 21.12 s
2452.25/614.94	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2452.25/614.97	c vivif2 --  cl tried    99422 cl shrink        0 lits rem          0 time: 0.03
2453.85/615.32	c asymm  cl-useful: 0/1451/2662 lits-rem:0 time: 0.35
2453.85/615.32	c calculated reachability. Time: 0.00
2453.85/615.32	c  N st    81   2711889       125      2662         0     99422     13310   1648606   no data   no data
3097.51/776.74	c  N st    82   3211889       125      2662         0     77344     13310    958861   no data   no data
3097.51/776.74	c  S st    82   3211889       125      2662         0     77344     13310    958861   no data   no data
3098.31/776.97	c  S st    82   3212393       125      2662         0     77830     13310    971583   no data   no data
3098.31/776.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3098.71/777.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3098.71/777.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3098.71/777.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3098.71/777.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3098.71/777.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3098.71/777.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3098.71/777.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3098.71/777.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3102.29/777.94	c lits-rem:       502  cl-subs:     1118  v-elim:      0  v-fix:    0  time:  0.89 s
3102.29/777.94	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3102.29/777.96	c vivif2 --  cl tried    76712 cl shrink        0 lits rem          0 time: 0.02
3103.09/778.19	c asymm  cl-useful: 0/1211/2662 lits-rem:0 time: 0.23
3103.09/778.20	c calculated reachability. Time: 0.00
3103.09/778.20	c  N st    82   3212393       125      2662         0     76712     13310    945372   no data   no data
3762.73/943.58	c  N st    83   3712394       125      2662         0     86820     13310   1119877   no data   no data
3762.73/943.58	c  S st    83   3712394       125      2662         0     86820     13310   1119877   no data   no data
3763.93/943.85	c  S st    83   3712899       125      2662         0     87307     13310   1132926   no data   no data
3763.93/943.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3763.93/943.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3763.93/943.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3763.93/943.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3763.93/943.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3763.93/943.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3763.93/943.89	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3764.33/943.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3764.33/943.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3770.75/945.58	c lits-rem:       450  cl-subs:     2239  v-elim:      0  v-fix:    0  time:  1.63 s
3770.75/945.58	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3771.10/945.60	c vivif2 --  cl tried    85068 cl shrink        0 lits rem          0 time: 0.02
3772.29/945.93	c asymm  cl-useful: 0/1638/2662 lits-rem:0 time: 0.32
3772.29/945.93	c calculated reachability. Time: 0.00
3772.29/945.93	c  N st    83   3712899       125      2662         0     85068     13310   1081986   no data   no data
3820.56/958.05	c  F st    84   3751563       125      2662         0    121195     13310   2038251   no data   no data
3820.56/958.05	c  N st    84   3751563       125      2662         0    121195     13310   2038251   no data   no data
3829.33/960.25	c Decided on static restart strategy
3867.27/969.75	c  N st    94   3779870       125      2662         0    147795     13310   2752971   no data   no data
3910.71/980.69	c  N st    96   3815866       125      2662         0    102484     13310   1538061   no data   no data
3954.17/991.57	c  N st    97   3848259       125      2662         0    132848     13310   2367080   no data   no data
4016.00/1007.11	c  N st    98   3896849       125      2662         0     98058     13310   1405195   no data   no data
4138.85/1037.83	c  N st    99   3969733       125      2662         0     84918     13310   1021615   no data   no data
4285.98/1074.73	c  N st   100   4079057       125      2662         0    104712     13310   1531691   no data   no data
4483.01/1124.10	c  N st   101   4212900       125      2662         0    145867     13310   2549840   no data   no data
4483.01/1124.10	c  S st   101   4212900       125      2662         0    145867     13310   2549840   no data   no data
4484.61/1124.56	c  S st   101   4213401       125      2662         0    146352     13310   2563132   no data   no data
4484.61/1124.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4485.01/1124.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4485.01/1124.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4485.01/1124.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4485.01/1124.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4485.01/1124.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4485.01/1124.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4485.01/1124.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4485.42/1124.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4668.85/1170.79	c lits-rem:      2193  cl-subs:    17472  v-elim:      0  v-fix:    0  time: 46.03 s
4668.85/1170.79	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4669.25/1170.82	c vivif2 --  cl tried   128880 cl shrink        0 lits rem          0 time: 0.03
4670.84/1171.22	c asymm  cl-useful: 0/1024/2662 lits-rem:0 time: 0.39
4670.84/1171.22	c calculated reachability. Time: 0.00
4670.84/1171.22	c  N st   101   4213401       125      2662         0    128880     13310   2145946   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-3366521-1305406006/watcher-3366521-1305406006 -o /tmp/evaluation-result-3366521-1305406006/solver-3366521-1305406006 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366521-1305406006.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: 7.76 7.98 8.00 5/367 7878
/proc/meminfo: memFree=30229532/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 410 0 0 0 0 0 0 0 25 0 4 0 633016857 52396032 351 33554432000 4194304 4580107 140735448170960 18446744073709551615 47645464684051 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 12792 351 302 95 0 7774 0
[pid=7878/tid=7879] ppid=7876 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 4 0 0 0 0 0 0 0 25 0 4 0 633016857 52396032 351 33554432000 4194304 4580107 140735448170960 18446744073709551615 47645464684057 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633016857 52396032 351 33554432000 4194304 4580107 140735448170960 18446744073709551615 47645464684466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 633016857 52396032 351 33554432000 4194304 4580107 140735448170960 18446744073709551615 47645464684057 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.623722 s]
/proc/loadavg: 7.76 7.98 8.00 5/367 7878
/proc/meminfo: memFree=30229532/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=284756 CPUtime=2.46 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 5215 0 0 0 246 0 0 0 18 0 4 0 633016857 291590144 2355 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 71189 2355 377 95 0 66171 0
[pid=7878/tid=7879] ppid=7876 vsize=284756 CPUtime=0.61 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1274 0 0 0 61 0 0 0 18 0 4 0 633016857 291590144 2355 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=284756 CPUtime=0.6 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1252 0 0 0 60 0 0 0 18 0 4 0 633016857 291590144 2355 33554432000 4194304 4580107 140735448170960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=284756 CPUtime=0.61 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1054 0 0 0 61 0 0 0 18 0 4 0 633016857 291590144 2355 33554432000 4194304 4580107 140735448170960 18446744073709551615 212039698791 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.46
Current children cumulated vsize (KiB) 284756

[startup+0.700908 s]
/proc/loadavg: 7.76 7.98 8.00 5/367 7878
/proc/meminfo: memFree=30229532/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=284756 CPUtime=2.77 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 5469 0 0 0 277 0 0 0 18 0 4 0 633016857 291590144 2609 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 71189 2610 377 95 0 66171 0
[pid=7878/tid=7879] ppid=7876 vsize=284756 CPUtime=0.69 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1341 0 0 0 69 0 0 0 18 0 4 0 633016857 291590144 2610 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=284756 CPUtime=0.68 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1319 0 0 0 68 0 0 0 18 0 4 0 633016857 291590144 2610 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=284756 CPUtime=0.69 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1116 0 0 0 69 0 0 0 18 0 4 0 633016857 291590144 2610 33554432000 4194304 4580107 140735448170960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284756

[startup+0.80089 s]
/proc/loadavg: 7.76 7.98 8.00 5/367 7878
/proc/meminfo: memFree=30229532/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=284756 CPUtime=3.17 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 5781 0 0 0 317 0 0 0 18 0 4 0 633016857 291590144 2921 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 71189 2921 377 95 0 66171 0
[pid=7878/tid=7879] ppid=7876 vsize=284756 CPUtime=0.79 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1424 0 0 0 79 0 0 0 18 0 4 0 633016857 291590144 2921 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=284756 CPUtime=0.78 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1390 0 0 0 78 0 0 0 18 0 4 0 633016857 291590144 2921 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=284756 CPUtime=0.79 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1191 0 0 0 79 0 0 0 18 0 4 0 633016857 291590144 2921 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.17
Current children cumulated vsize (KiB) 284756

[startup+0.900874 s]
/proc/loadavg: 7.76 7.98 8.00 5/367 7878
/proc/meminfo: memFree=30229532/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=284756 CPUtime=3.57 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 6107 0 0 0 357 0 0 0 19 0 4 0 633016857 291590144 3247 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294445 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 71189 3247 378 95 0 66171 0
[pid=7878/tid=7879] ppid=7876 vsize=284756 CPUtime=0.89 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1522 0 0 0 89 0 0 0 19 0 4 0 633016857 291590144 3247 33554432000 4194304 4580107 140735448170960 18446744073709551615 4317776 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=284756 CPUtime=0.88 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1482 0 0 0 88 0 0 0 19 0 4 0 633016857 291590144 3247 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=284756 CPUtime=0.89 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1249 0 0 0 89 0 0 0 19 0 4 0 633016857 291590144 3247 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 284756

[startup+1.50077 s]
/proc/loadavg: 7.76 7.98 8.00 5/367 7878
/proc/meminfo: memFree=30229532/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=285608 CPUtime=5.97 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 11381 0 0 0 596 1 0 0 20 0 4 0 633016857 292462592 5737 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 71402 5737 379 95 0 66384 0
[pid=7878/tid=7879] ppid=7876 vsize=285608 CPUtime=1.49 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 3413 0 0 0 149 0 0 0 20 0 4 0 633016857 292462592 5737 33554432000 4194304 4580107 140735448170960 18446744073709551615 4393351 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=285608 CPUtime=1.48 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 2220 0 0 0 148 0 0 0 20 0 4 0 633016857 292462592 5738 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=285608 CPUtime=1.49 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 1988 0 0 0 149 0 0 0 20 0 4 0 633016857 292462592 5738 33554432000 4194304 4580107 140735448170960 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285608

[startup+3.10048 s]
/proc/loadavg: 7.76 7.98 8.00 9/371 7883
/proc/meminfo: memFree=30182132/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=286132 CPUtime=12.34 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 20413 0 0 0 1231 3 0 0 25 0 4 0 633016857 292999168 10873 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294708 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 71533 10873 379 95 0 66515 0
[pid=7878/tid=7879] ppid=7876 vsize=286132 CPUtime=3.08 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 4651 0 0 0 308 0 0 0 25 0 4 0 633016857 292999168 10873 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=286132 CPUtime=3.05 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 5043 0 0 0 304 1 0 0 25 0 4 0 633016857 292999168 10873 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=286132 CPUtime=3.08 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 4748 0 0 0 308 0 0 0 25 0 4 0 633016857 292999168 10873 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 286132

[startup+6.30091 s]
/proc/loadavg: 7.78 7.98 8.00 9/371 7883
/proc/meminfo: memFree=30167872/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=296616 CPUtime=25.1 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 31667 0 0 0 2505 5 0 0 25 0 4 0 633016857 303734784 15268 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 74154 15268 379 95 0 69136 0
[pid=7878/tid=7879] ppid=7876 vsize=296616 CPUtime=6.28 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 8028 0 0 0 627 1 0 0 25 0 4 0 633016857 303734784 15268 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=296616 CPUtime=6.21 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 8020 0 0 0 620 1 0 0 25 0 4 0 633016857 303734784 15268 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=296616 CPUtime=6.29 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 6863 0 0 0 628 1 0 0 25 0 4 0 633016857 303734784 15268 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 296616

[startup+12.7138 s]
/proc/loadavg: 7.88 8.00 8.01 9/371 7883
/proc/meminfo: memFree=30133148/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=306996 CPUtime=50.67 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 49267 0 0 0 5058 9 0 0 25 0 4 0 633016857 314363904 19616 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 76749 19616 379 95 0 71731 0
[pid=7878/tid=7879] ppid=7876 vsize=306996 CPUtime=12.7 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 12397 0 0 0 1268 2 0 0 25 0 4 0 633016857 314363904 19616 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=306996 CPUtime=12.54 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 11801 0 0 0 1252 2 0 0 25 0 4 0 633016857 314363904 19616 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=306996 CPUtime=12.7 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 11832 0 0 0 1268 2 0 0 25 0 4 0 633016857 314363904 19616 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.67
Current children cumulated vsize (KiB) 306996

[startup+25.5005 s]
/proc/loadavg: 7.91 8.00 8.00 9/371 7883
/proc/meminfo: memFree=30108860/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=299288 CPUtime=101.68 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 75224 0 0 0 10152 16 0 0 25 0 4 0 633016857 306470912 24819 33554432000 4194304 4580107 140735448170960 18446744073709551615 212039698567 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 74822 24819 379 95 0 69804 0
[pid=7878/tid=7879] ppid=7876 vsize=299288 CPUtime=25.48 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 20233 0 0 0 2544 4 0 0 25 0 4 0 633016857 306470912 24819 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=299288 CPUtime=25.19 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 19008 0 0 0 2515 4 0 0 25 0 4 0 633016857 306470912 24819 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=299288 CPUtime=25.48 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 17760 0 0 0 2544 4 0 0 25 0 4 0 633016857 306470912 24819 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 299288

[startup+51.1009 s]
/proc/loadavg: 7.94 8.00 8.00 9/371 7884
/proc/meminfo: memFree=30076868/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=300464 CPUtime=203.8 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 113869 0 0 0 20355 25 0 0 25 0 4 0 633016857 307675136 31654 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294455 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 75116 31654 379 95 0 70098 0
[pid=7878/tid=7879] ppid=7876 vsize=300464 CPUtime=51.1 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 30889 0 0 0 5104 6 0 0 25 0 4 0 633016857 307675136 31657 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=300464 CPUtime=50.49 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 28891 0 0 0 5043 6 0 0 25 0 4 0 633016857 307675136 31657 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=300464 CPUtime=51.1 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 26730 0 0 0 5103 7 0 0 25 0 4 0 633016857 307675136 31657 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 300464

[startup+102.301 s]
/proc/loadavg: 8.04 8.01 8.00 9/371 7885
/proc/meminfo: memFree=30006008/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=378528 CPUtime=407.97 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 177232 0 0 0 40753 44 0 0 25 0 4 0 633016857 387612672 41830 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 94632 41830 379 95 0 89614 0
[pid=7878/tid=7879] ppid=7876 vsize=378528 CPUtime=102.28 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 45984 0 0 0 10217 11 0 0 25 0 4 0 633016857 387612672 41830 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=378528 CPUtime=101.08 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 43017 0 0 0 10098 10 0 0 25 0 4 0 633016857 387612672 41830 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294639 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=378528 CPUtime=102.29 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 42903 0 0 0 10217 12 0 0 25 0 4 0 633016857 387612672 41830 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.97
Current children cumulated vsize (KiB) 378528

[startup+162.314 s]

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

[pid=7878] ppid=7876 vsize=586688 CPUtime=2561.53 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 517557 0 0 0 255968 185 0 0 25 0 4 0 633016857 600768512 98320 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 146672 98320 379 95 0 141654 0
[pid=7878/tid=7879] ppid=7876 vsize=586688 CPUtime=642.29 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 131930 0 0 0 64184 45 0 0 25 0 4 0 633016857 600768512 98320 33554432000 4194304 4580107 140735448170960 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=586688 CPUtime=634.61 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 129373 0 0 0 63412 49 0 0 25 0 4 0 633016857 600768512 98320 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=586688 CPUtime=642.3 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 127307 0 0 0 64184 46 0 0 25 0 4 0 633016857 600768512 98320 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2561.53
Current children cumulated vsize (KiB) 586688

[startup+702.301 s]
/proc/loadavg: 8.08 8.10 8.03 9/371 7901
/proc/meminfo: memFree=29583076/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=586976 CPUtime=2800.81 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 537714 0 0 0 279886 195 0 0 25 0 4 0 633016857 601063424 104921 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 146744 104921 379 95 0 141726 0
[pid=7878/tid=7879] ppid=7876 vsize=586976 CPUtime=702.3 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 136766 0 0 0 70184 46 0 0 25 0 4 0 633016857 601063424 104922 33554432000 4194304 4580107 140735448170960 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=586976 CPUtime=693.86 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 135201 0 0 0 69333 53 0 0 25 0 4 0 633016857 601063424 104922 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=586976 CPUtime=702.32 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 130777 0 0 0 70185 47 0 0 25 0 4 0 633016857 601063424 104922 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2800.81
Current children cumulated vsize (KiB) 586976

[startup+762.301 s]
/proc/loadavg: 8.11 8.10 8.03 9/371 7903
/proc/meminfo: memFree=29540588/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=679496 CPUtime=3040.08 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 570333 0 0 0 303796 212 0 0 25 0 4 0 633016857 695803904 112457 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 169874 112457 379 95 0 164856 0
[pid=7878/tid=7879] ppid=7876 vsize=679496 CPUtime=762.29 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 145753 0 0 0 76178 51 0 0 25 0 4 0 633016857 695803904 112457 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=679496 CPUtime=753.14 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 143748 0 0 0 75256 58 0 0 25 0 4 0 633016857 695803904 112457 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=679496 CPUtime=762.31 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 139254 0 0 0 76180 51 0 0 25 0 4 0 633016857 695803904 112457 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3040.08
Current children cumulated vsize (KiB) 679496

[startup+822.314 s]
/proc/loadavg: 8.17 8.11 8.04 9/371 7904
/proc/meminfo: memFree=29508896/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=627384 CPUtime=3279.43 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 600766 0 0 0 327716 227 0 0 25 0 4 0 633016857 642441216 115207 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294960 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 156846 115207 379 95 0 151828 0
[pid=7878/tid=7879] ppid=7876 vsize=627384 CPUtime=822.31 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 154586 0 0 0 82175 56 0 0 25 0 4 0 633016857 642441216 115207 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=627384 CPUtime=812.44 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 151056 0 0 0 81182 62 0 0 25 0 4 0 633016857 642441216 115207 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=627384 CPUtime=822.31 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 147481 0 0 0 82178 53 0 0 25 0 4 0 633016857 642441216 115207 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3279.43
Current children cumulated vsize (KiB) 627384

[startup+882.301 s]
/proc/loadavg: 8.18 8.12 8.04 9/371 7915
/proc/meminfo: memFree=29536296/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=627624 CPUtime=3518.65 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 622649 0 0 0 351626 239 0 0 25 0 4 0 633016857 642686976 110799 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 156906 110799 379 95 0 151888 0
[pid=7878/tid=7879] ppid=7876 vsize=627624 CPUtime=882.3 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 157897 0 0 0 88172 58 0 0 25 0 4 0 633016857 642686976 110799 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=627624 CPUtime=871.73 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 157533 0 0 0 87107 66 0 0 25 0 4 0 633016857 642686976 110799 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=627624 CPUtime=882.28 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 152682 0 0 0 88172 56 0 0 25 0 4 0 633016857 642686976 110799 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3518.65
Current children cumulated vsize (KiB) 627624

[startup+942.301 s]
/proc/loadavg: 8.17 8.12 8.05 9/371 7917
/proc/meminfo: memFree=29514776/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=627924 CPUtime=3757.94 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 646185 0 0 0 375544 250 0 0 25 0 4 0 633016857 642994176 113750 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294955 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 156981 113750 379 95 0 151963 0
[pid=7878/tid=7879] ppid=7876 vsize=627924 CPUtime=942.3 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 165263 0 0 0 94169 61 0 0 25 0 4 0 633016857 642994176 113750 33554432000 4194304 4580107 140735448170960 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=627924 CPUtime=931.01 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 165189 0 0 0 93031 70 0 0 25 0 4 0 633016857 642994176 113750 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=627924 CPUtime=942.29 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 156129 0 0 0 94171 58 0 0 25 0 4 0 633016857 642994176 113750 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3757.94
Current children cumulated vsize (KiB) 627924

[startup+1002.3 s]
/proc/loadavg: 8.11 8.11 8.05 9/371 7918
/proc/meminfo: memFree=29523024/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=621988 CPUtime=3997.24 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 674772 0 0 0 399462 262 0 0 25 0 4 0 633016857 636915712 111584 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 155497 111584 379 95 0 150479 0
[pid=7878/tid=7879] ppid=7876 vsize=621988 CPUtime=1002.3 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 172790 0 0 0 100165 65 0 0 25 0 4 0 633016857 636915712 111584 33554432000 4194304 4580107 140735448170960 18446744073709551615 4486100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=621988 CPUtime=990.31 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 172679 0 0 0 98958 73 0 0 25 0 4 0 633016857 636915712 111584 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=621988 CPUtime=1002.29 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 163026 0 0 0 100168 61 0 0 25 0 4 0 633016857 636915712 111584 33554432000 4194304 4580107 140735448170960 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3997.24
Current children cumulated vsize (KiB) 621988

[startup+1062.3 s]
/proc/loadavg: 8.08 8.11 8.04 9/371 7920
/proc/meminfo: memFree=29529908/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=581248 CPUtime=4236.53 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 698634 0 0 0 423382 271 0 0 25 0 4 0 633016857 595197952 115724 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 145312 115724 379 95 0 140294 0
[pid=7878/tid=7879] ppid=7876 vsize=581248 CPUtime=1062.3 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 178398 0 0 0 106162 68 0 0 25 0 4 0 633016857 595197952 115724 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=581248 CPUtime=1049.59 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 180860 0 0 0 104884 75 0 0 25 0 4 0 633016857 595197952 115724 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=581248 CPUtime=1062.29 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 169549 0 0 0 106165 64 0 0 25 0 4 0 633016857 595197952 115724 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4236.53
Current children cumulated vsize (KiB) 581248

[startup+1122.3 s]
/proc/loadavg: 8.10 8.11 8.05 9/371 7921
/proc/meminfo: memFree=29498468/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=702672 CPUtime=4475.83 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 718104 0 0 0 447304 279 0 0 25 0 4 0 633016857 719536128 124182 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 175668 124182 379 95 0 170650 0
[pid=7878/tid=7879] ppid=7876 vsize=702672 CPUtime=1122.31 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 185040 0 0 0 112160 71 0 0 25 0 4 0 633016857 719536128 124182 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=702672 CPUtime=1108.9 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 186724 0 0 0 110812 78 0 0 25 0 4 0 633016857 719536128 124182 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=702672 CPUtime=1122.29 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 173195 0 0 0 112164 65 0 0 25 0 4 0 633016857 719536128 124182 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4475.83
Current children cumulated vsize (KiB) 702672

[startup+1182.3 s]
/proc/loadavg: 7.46 7.97 8.01 5/362 7941
/proc/meminfo: memFree=29801212/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=758436 CPUtime=4715.12 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 735559 0 0 0 471223 289 0 0 25 0 4 0 633016857 776638464 133233 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 189609 133233 379 95 0 184591 0
[pid=7878/tid=7879] ppid=7876 vsize=758436 CPUtime=1182.3 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 191175 0 0 0 118156 74 0 0 25 0 4 0 633016857 776638464 133233 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=758436 CPUtime=1168.17 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 193408 0 0 0 116736 81 0 0 25 0 4 0 633016857 776638464 133233 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=758436 CPUtime=1182.3 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 174818 0 0 0 118163 67 0 0 25 0 4 0 633016857 776638464 133233 33554432000 4194304 4580107 140735448170960 18446744073709551615 4305156 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4715.12
Current children cumulated vsize (KiB) 758436



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 6.47 7.71 7.92 5/362 7942
/proc/meminfo: memFree=29800832/32951124 swapFree=51873460/67111528
[pid=7878] ppid=7876 vsize=647420 CPUtime=4800.09 cores=1,3,5,7
/proc/7878/stat : 7878 (strangenight2-m) R 7876 7878 7181 0 -1 4202496 743396 0 0 0 479715 294 0 0 25 0 4 0 633016857 662958080 133070 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/7878/statm: 161855 133070 379 95 0 156837 0
[pid=7878/tid=7879] ppid=7876 vsize=647420 CPUtime=1203.62 cores=1,3,5,7
/proc/7878/task/7879/stat : 7879 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 192845 0 0 0 120286 76 0 0 25 0 4 0 633016857 662958080 133071 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=7878/tid=7880] ppid=7876 vsize=647420 CPUtime=1189.22 cores=1,3,5,7
/proc/7878/task/7880/stat : 7880 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 196205 0 0 0 118840 82 0 0 25 0 4 0 633016857 662958080 133071 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=7878/tid=7881] ppid=7876 vsize=647420 CPUtime=1203.61 cores=1,3,5,7
/proc/7878/task/7881/stat : 7881 (strangenight2-m) R 7876 7878 7181 0 -1 4202560 177821 0 0 0 120292 69 0 0 25 0 4 0 633016857 662958080 133071 33554432000 4194304 4580107 140735448170960 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.09
Current children cumulated vsize (KiB) 647420

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.16
CPU user time (s): 4797.19
CPU system time (s): 2.96555
CPU usage (%): 398.803
Max. virtual memory (cumulated for all children) (KiB): 813880

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.19
system time used= 2.96555
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 743399
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= 549
involuntary context switches= 31585

runsolver used 3.89941 second user time and 10.5234 second system time

The end

Launcher Data 

Begin job on node146 at 2011-05-14 22:46:46
IDJOB=3366521
IDBENCH=82930
IDSOLVER=1844
FILE ID=node146/3366521-1305406006
RUNJOBID= node146-1305405972-7826
PBS_JOBID= 13324493
Free space on /tmp= 73268 MiB

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

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

MD5SUM BENCH= ac9c61f9177fd0d9da068d938bec80ff
RANDOM SEED=1482254281

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30229688 kB
Buffers:         57472 kB
Cached:          98736 kB
SwapCached:      56064 kB
Active:         837952 kB
Inactive:      1661920 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30229688 kB
SwapTotal:    67111528 kB
SwapFree:     51873460 kB
Dirty:            7020 kB
Writeback:          28 kB
AnonPages:     2294788 kB
Mapped:          17664 kB
Slab:            96532 kB
PageTables:      59460 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 81984332 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= 73268 MiB
End job on node146 at 2011-05-14 23:06:52