Trace number 3174112

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.39 1201.74

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.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-3174112-1304095654.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.01	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.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.90	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.90	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.90	c calculated reachability. Time: 0.00
0.00/0.90	c Calc default polars -  time:   0.00 s pos:      69 undec:       4 neg:      52
0.00/0.90	c =========================================================================================
0.00/0.90	c types(t): F = full restart, N = normal restart
0.00/0.90	c types(t): S = simplification begin/end, E = solution found
0.00/0.90	c restart types(rt): st = static, dy = dynamic
0.00/0.90	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.90	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.90	c Decided on static restart strategy
0.00/0.90	c  N st     8      4914       125      2662         0      4643     13310    123831   no data   no data
0.00/0.90	c  N st    10     11298       125      2662         0      4288     13310     87403   no data   no data
0.00/0.90	c  N st    11     17041       125      2662         0      9710     13310    226629   no data   no data
0.00/0.90	c  F st    12     25000       125      2662         0     11868     13310    279294   no data   no data
0.00/0.90	c  N st    12     25000       125      2662         0     11868     13310    279294   no data   no data
4.37/1.10	c Decided on static restart strategy
4.37/1.10	c  N st    18     30000       125      2662         0     10171     13310    223770   no data   no data
4.37/1.10	c  S st    18     30000       125      2662         0     10171     13310    223770   no data   no data
4.37/1.14	c  S st    18     30501       125      2662         0     10658     13310    236267   no data   no data
4.37/1.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.37/1.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.37/1.14	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.37/1.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.37/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.37/1.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.37/1.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.37/1.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.37/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.40	c lits-rem:       321  cl-subs:     1516  v-elim:      0  v-fix:    0  time:  0.18 s
5.57/1.40	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
5.57/1.40	c calculated reachability. Time: 0.00
5.57/1.40	c  N st    18     30501       125      2662         0      9142     13310    195023   no data   no data
6.37/1.69	c  N st    20     37612       125      2662         0      8450     13310    162315   no data   no data
7.58/1.97	c  N st    21     44012       125      2662         0     14504     13310    323311   no data   no data
7.98/2.06	c  S st    22     45753       125      2662         0     16146     13310    367192   no data   no data
8.36/2.10	c  S st    22     46256       125      2662         0     16634     13310    379925   no data   no data
8.36/2.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.36/2.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.36/2.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.36/2.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.36/2.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.36/2.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.36/2.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.36/2.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
8.36/2.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.59	c lits-rem:       425  cl-subs:     1792  v-elim:      0  v-fix:    0  time:  0.46 s
9.96/2.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.96/2.59	c vivif2 --  cl tried    14842 cl shrink        0 lits rem          0 time: 0.00
10.36/2.65	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.36/2.65	c calculated reachability. Time: 0.00
10.36/2.65	c  N st    22     46256       125      2662         0     14842     13310    329391   no data   no data
13.55/3.45	c  N st    23     60654       125      2662         0     10634     13310    189783   no data   no data
15.56/3.95	c  N st    24     69385       125      2662         0     18846     13310    406051   no data   no data
15.56/3.95	c  S st    24     69385       125      2662         0     18846     13310    406051   no data   no data
15.96/4.00	c  S st    24     69890       125      2662         0     19336     13310    418689   no data   no data
15.96/4.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.96/4.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.96/4.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.96/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.96/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.96/4.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.96/4.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.96/4.01	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.96/4.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.95/4.59	c lits-rem:       519  cl-subs:     1914  v-elim:      0  v-fix:    0  time:  0.57 s
17.95/4.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.35/4.60	c vivif2 --  cl tried    17422 cl shrink        0 lits rem          0 time: 0.00
18.35/4.66	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.35/4.66	c calculated reachability. Time: 0.00
18.35/4.66	c  N st    24     69890       125      2662         0     17422     13310    365425   no data   no data
23.14/5.84	c  F st    25     87502       125      2662         0     12406     13310    216644   no data   no data
23.14/5.84	c  N st    25     87502       125      2662         0     12406     13310    216644   no data   no data
24.34/6.10	c Decided on static restart strategy
24.74/6.30	c  N st    32     95536       125      2662         0     20029     13310    412502   no data   no data
27.14/6.89	c  N st    34    104835       125      2662         0     16571     13310    319396   no data   no data
27.14/6.89	c  S st    34    104835       125      2662         0     16571     13310    319396   no data   no data
27.54/6.93	c  S st    34    105337       125      2662         0     17057     13310    331997   no data   no data
27.54/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.54/6.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.54/6.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.54/6.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.54/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.54/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.34/7.19	c lits-rem:       305  cl-subs:     1191  v-elim:      0  v-fix:    0  time:  0.23 s
28.34/7.19	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.34/7.19	c vivif2 --  cl tried    15866 cl shrink        0 lits rem          0 time: 0.00
28.74/7.25	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.74/7.25	c calculated reachability. Time: 0.00
28.74/7.25	c  N st    34    105337       125      2662         0     15866     13310    298524   no data   no data
31.53/7.92	c  N st    35    114936       125      2662         0     24905     13310    533947   no data   no data
35.52/8.98	c  N st    36    129333       125      2662         0     25334     13310    527687   no data   no data
41.92/10.56	c  N st    37    150929       125      2662         0     16450     13310    261389   no data   no data
43.91/11.05	c  S st    38    158009       125      2662         0     23031     13310    430755   no data   no data
44.31/11.11	c  S st    38    158516       125      2662         0     23524     13310    443895   no data   no data
44.31/11.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
44.31/11.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
44.31/11.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
44.31/11.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
44.31/11.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
44.31/11.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
44.31/11.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
44.31/11.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
44.31/11.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
46.31/11.65	c lits-rem:       493  cl-subs:     1885  v-elim:      0  v-fix:    0  time:  0.51 s
46.31/11.65	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
46.31/11.66	c vivif2 --  cl tried    21639 cl shrink        0 lits rem          0 time: 0.00
46.71/11.74	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
46.71/11.74	c calculated reachability. Time: 0.00
46.71/11.74	c  N st    38    158516       125      2662         0     21639     13310    394353   no data   no data
63.49/15.94	c  N st    39    207104       125      2662         0     34358     13310    678528   no data   no data
75.07/18.81	c  N st    40    237775       125      2662         0     26701     13310    482985   no data   no data
75.07/18.81	c  S st    40    237775       125      2662         0     26701     13310    482985   no data   no data
75.07/18.87	c  S st    40    238280       125      2662         0     27200     13310    496297   no data   no data
75.07/18.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.07/18.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.07/18.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.07/18.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.07/18.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.07/18.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
75.07/18.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.07/18.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.48/18.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
77.89/19.54	c lits-rem:       445  cl-subs:     1859  v-elim:      0  v-fix:    0  time:  0.64 s
77.89/19.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
77.89/19.54	c vivif2 --  cl tried    25341 cl shrink        0 lits rem          0 time: 0.01
78.29/19.64	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
78.29/19.64	c calculated reachability. Time: 0.00
78.29/19.64	c  N st    40    238280       125      2662         0     25341     13310    449773   no data   no data
103.03/25.83	c  F st    41    306250       125      2662         0     27163     13310    451546   no data   no data
103.03/25.83	c  N st    41    306250       125      2662         0     27163     13310    451546   no data   no data
105.03/26.34	c Decided on static restart strategy
114.22/28.67	c  N st    51    334552       125      2662         0     31338     13310    546613   no data   no data
123.81/31.06	c  N st    53    357421       125      2662         0     29212     13310    468395   no data   no data
123.81/31.06	c  S st    53    357421       125      2662         0     29212     13310    468395   no data   no data
124.21/31.14	c  S st    53    357923       125      2662         0     29699     13310    481262   no data   no data
124.21/31.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
124.21/31.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
124.21/31.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
124.21/31.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
124.21/31.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
124.21/31.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
124.21/31.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
124.21/31.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
124.21/31.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125.80/31.59	c lits-rem:       273  cl-subs:     1288  v-elim:      0  v-fix:    0  time:  0.42 s
125.80/31.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
125.80/31.59	c vivif2 --  cl tried    28411 cl shrink        0 lits rem          0 time: 0.00
126.22/31.70	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
126.22/31.70	c calculated reachability. Time: 0.00
126.22/31.70	c  N st    53    357923       125      2662         0     28411     13310    446906   no data   no data
140.59/35.24	c  N st    54    390315       125      2662         0     34527     13310    592990   no data   no data
166.17/41.63	c  N st    55    438903       125      2662         0     28576     13310    414154   no data   no data
200.51/50.21	c  N st    56    511785       125      2662         0     41551     13310    724483   no data   no data
213.29/53.41	c  N st    57    536884       125      2662         0     36034     13310    560343   no data   no data
213.29/53.41	c  S st    57    536884       125      2662         0     36034     13310    560343   no data   no data
213.69/53.51	c  S st    57    537388       125      2662         0     36523     13310    573592   no data   no data
213.69/53.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
213.69/53.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
213.69/53.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
213.69/53.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
213.69/53.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
213.69/53.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
213.69/53.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
213.69/53.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
213.69/53.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
216.08/54.17	c lits-rem:       338  cl-subs:     1554  v-elim:      0  v-fix:    0  time:  0.63 s
216.08/54.17	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
216.08/54.18	c vivif2 --  cl tried    34969 cl shrink        0 lits rem          0 time: 0.01
216.88/54.33	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
216.88/54.33	c calculated reachability. Time: 0.00
216.88/54.33	c  N st    57    537388       125      2662         0     34969     13310    533106   no data   no data
303.56/76.09	c  N st    58    701372       125      2662         0     63010     13310   1248761   no data   no data
363.50/91.01	c  N st    59    806084       125      2662         0     56953     13310   1026122   no data   no data
363.50/91.01	c  S st    59    806084       125      2662         0     56953     13310   1026122   no data   no data
363.90/91.18	c  S st    59    806585       125      2662         0     57443     13310   1039638   no data   no data
363.90/91.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
364.28/91.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
364.28/91.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
364.28/91.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
364.28/91.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
364.28/91.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
364.28/91.21	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
364.28/91.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
364.28/91.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
381.48/95.50	c lits-rem:      1328  cl-subs:     4913  v-elim:      0  v-fix:    0  time:  4.25 s
381.48/95.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
381.48/95.51	c vivif2 --  cl tried    52530 cl shrink        0 lits rem          0 time: 0.01
382.26/95.79	c asymm  cl-useful: 0/2652/2662 lits-rem:0 time: 0.27
382.26/95.79	c calculated reachability. Time: 0.00
382.26/95.79	c  N st    59    806585       125      2662         0     52530     13310    914868   no data   no data
551.24/138.09	c  F st    60   1071875       125      2662         0     67826     13310   1218242   no data   no data
551.24/138.09	c  N st    60   1071875       125      2662         0     67826     13310   1218242   no data   no data
556.03/139.30	c Decided on static restart strategy
575.20/144.04	c  N st    70   1100174       125      2662         0     52501     13310    796361   no data   no data
604.36/151.38	c  N st    72   1136166       125      2662         0     43306     13310    532562   no data   no data
625.54/156.66	c  N st    73   1168558       125      2662         0     73621     13310   1335643   no data   no data
659.88/165.26	c  N st    74   1209877       125      2662         0     68332     13310   1186864   no data   no data
659.88/165.26	c  S st    74   1209877       125      2662         0     68332     13310   1186864   no data   no data
660.68/165.47	c  S st    74   1210382       125      2662         0     68817     13310   1199818   no data   no data
660.68/165.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
661.08/165.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
661.08/165.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
661.08/165.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
661.08/165.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
661.08/165.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
661.08/165.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
661.08/165.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
661.08/165.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
685.05/171.53	c lits-rem:      1638  cl-subs:     5261  v-elim:      0  v-fix:    0  time:  5.98 s
685.05/171.53	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
685.05/171.55	c vivif2 --  cl tried    63556 cl shrink        0 lits rem          0 time: 0.01
686.25/171.86	c asymm  cl-useful: 0/2275/2662 lits-rem:0 time: 0.31
686.25/171.86	c calculated reachability. Time: 0.00
686.25/171.86	c  N st    74   1210382       125      2662         0     63556     13310   1060427   no data   no data
766.14/191.82	c  N st    75   1283264       125      2662         0     87054     13310   1641637   no data   no data
855.22/214.18	c  N st    76   1392587       125      2662         0     49030     13310    604945   no data   no data
996.66/249.55	c  N st    77   1556571       125      2662         0     53647     13310    683941   no data   no data
1124.09/281.46	c  N st    78   1710382       125      2662         0     93285     13310   1673890   no data   no data
1124.09/281.46	c  S st    78   1710382       125      2662         0     93285     13310   1673890   no data   no data
1125.26/281.73	c  S st    78   1710886       125      2662         0     93768     13310   1686778   no data   no data
1125.26/281.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1125.26/281.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1125.26/281.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1125.26/281.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1125.26/281.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1125.26/281.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1125.26/281.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1125.66/281.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1125.66/281.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1199.16/300.27	c lits-rem:      2010  cl-subs:    11150  v-elim:      0  v-fix:    0  time: 18.42 s
1199.16/300.27	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1199.16/300.29	c vivif2 --  cl tried    82618 cl shrink        0 lits rem          0 time: 0.02
1200.76/300.62	c asymm  cl-useful: 0/1739/2662 lits-rem:0 time: 0.33
1200.76/300.62	c calculated reachability. Time: 0.00
1200.76/300.62	c  N st    78   1710886       125      2662         0     82618     13310   1417240   no data   no data
1611.01/403.40	c  N st    79   2079850       125      2662         0     93810     13310   1575952   no data   no data
1737.64/435.01	c  N st    80   2210886       125      2662         0     97859     13310   1683376   no data   no data
1737.64/435.01	c  S st    80   2210886       125      2662         0     97859     13310   1683376   no data   no data
1738.44/435.29	c  S st    80   2211387       125      2662         0     98337     13310   1696384   no data   no data
1738.44/435.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1738.85/435.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1738.85/435.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1738.85/435.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1738.85/435.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1738.85/435.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1738.85/435.35	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1738.85/435.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1739.26/435.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1805.16/451.96	c lits-rem:      2618  cl-subs:    10279  v-elim:      0  v-fix:    0  time: 16.54 s
1805.16/451.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1805.16/451.98	c vivif2 --  cl tried    88058 cl shrink        0 lits rem          0 time: 0.02
1806.34/452.21	c asymm  cl-useful: 0/923/2662 lits-rem:0 time: 0.23
1806.34/452.22	c calculated reachability. Time: 0.00
1806.34/452.22	c  N st    80   2211387       125      2662         0     88058     13310   1451749   no data   no data
2365.19/592.10	c  N st    81   2711388       125      2662         0    111032     13310   1901545   no data   no data
2365.19/592.10	c  S st    81   2711388       125      2662         0    111032     13310   1901545   no data   no data
2366.39/592.44	c  S st    81   2711889       125      2662         0    111520     13310   1914612   no data   no data
2366.39/592.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2366.79/592.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2366.79/592.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2366.79/592.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2366.79/592.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2366.79/592.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2366.79/592.50	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2366.79/592.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2366.79/592.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2449.88/613.39	c lits-rem:      2318  cl-subs:    12098  v-elim:      0  v-fix:    0  time: 20.80 s
2449.88/613.39	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2450.28/613.41	c vivif2 --  cl tried    99422 cl shrink        0 lits rem          0 time: 0.02
2451.48/613.77	c asymm  cl-useful: 0/1451/2662 lits-rem:0 time: 0.36
2451.48/613.77	c calculated reachability. Time: 0.00
2451.48/613.77	c  N st    81   2711889       125      2662         0     99422     13310   1648606   no data   no data
3094.61/774.70	c  N st    82   3211889       125      2662         0     77344     13310    958861   no data   no data
3094.61/774.70	c  S st    82   3211889       125      2662         0     77344     13310    958861   no data   no data
3095.41/774.92	c  S st    82   3212393       125      2662         0     77830     13310    971583   no data   no data
3095.41/774.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3095.41/774.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3095.41/774.96	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3095.41/774.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3095.41/774.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3095.41/774.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3095.41/774.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3095.41/774.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3095.81/775.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3099.40/775.91	c lits-rem:       502  cl-subs:     1118  v-elim:      0  v-fix:    0  time:  0.90 s
3099.40/775.91	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3099.40/775.93	c vivif2 --  cl tried    76712 cl shrink        0 lits rem          0 time: 0.01
3100.21/776.16	c asymm  cl-useful: 0/1211/2662 lits-rem:0 time: 0.23
3100.21/776.16	c calculated reachability. Time: 0.00
3100.21/776.16	c  N st    82   3212393       125      2662         0     76712     13310    945372   no data   no data
3758.91/941.01	c  N st    83   3712394       125      2662         0     86820     13310   1119877   no data   no data
3758.91/941.01	c  S st    83   3712394       125      2662         0     86820     13310   1119877   no data   no data
3759.71/941.29	c  S st    83   3712899       125      2662         0     87307     13310   1132926   no data   no data
3759.71/941.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3760.13/941.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3760.13/941.33	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3760.13/941.33	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3760.13/941.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3760.13/941.33	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3760.13/941.33	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3760.13/941.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3760.13/941.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3766.90/943.03	c lits-rem:       450  cl-subs:     2239  v-elim:      0  v-fix:    0  time:  1.64 s
3766.90/943.03	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3766.90/943.05	c vivif2 --  cl tried    85068 cl shrink        0 lits rem          0 time: 0.02
3768.10/943.37	c asymm  cl-useful: 0/1638/2662 lits-rem:0 time: 0.32
3768.10/943.37	c calculated reachability. Time: 0.00
3768.10/943.37	c  N st    83   3712899       125      2662         0     85068     13310   1081986   no data   no data
3816.04/955.36	c  F st    84   3751563       125      2662         0    121195     13310   2038251   no data   no data
3816.04/955.36	c  N st    84   3751563       125      2662         0    121195     13310   2038251   no data   no data
3824.83/957.57	c Decided on static restart strategy
3863.18/967.17	c  N st    94   3779870       125      2662         0    147795     13310   2752971   no data   no data
3907.12/978.13	c  N st    96   3815866       125      2662         0    102484     13310   1538061   no data   no data
3950.25/988.93	c  N st    97   3848259       125      2662         0    132848     13310   2367080   no data   no data
4012.58/1004.54	c  N st    98   3896849       125      2662         0     98058     13310   1405195   no data   no data
4136.81/1035.63	c  N st    99   3969733       125      2662         0     84918     13310   1021615   no data   no data
4284.20/1072.58	c  N st   100   4079057       125      2662         0    104712     13310   1531691   no data   no data
4480.35/1121.67	c  N st   101   4212900       125      2662         0    145867     13310   2549840   no data   no data
4480.35/1121.67	c  S st   101   4212900       125      2662         0    145867     13310   2549840   no data   no data
4482.34/1122.14	c  S st   101   4213401       125      2662         0    146352     13310   2563132   no data   no data
4482.34/1122.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4482.74/1122.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4482.74/1122.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4482.74/1122.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4482.74/1122.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4482.74/1122.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4482.74/1122.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4482.74/1122.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4483.14/1122.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4668.89/1168.86	c lits-rem:      2193  cl-subs:    17472  v-elim:      0  v-fix:    0  time: 46.51 s
4668.89/1168.86	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4668.89/1168.89	c vivif2 --  cl tried   128880 cl shrink        0 lits rem          0 time: 0.03
4670.48/1169.29	c asymm  cl-useful: 0/1024/2662 lits-rem:0 time: 0.40
4670.48/1169.29	c calculated reachability. Time: 0.00
4670.48/1169.29	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: 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-3174112-1304095654/watcher-3174112-1304095654 -o /tmp/evaluation-result-3174112-1304095654/solver-3174112-1304095654 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174112-1304095654.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.79 8.01 7.99 6/180 13557
/proc/meminfo: memFree=23739208/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 409 0 0 0 0 0 0 0 25 0 4 0 501981525 52441088 348 33554432000 4194304 4627427 140736376455488 18446744073709551615 47848309131180 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 12803 348 299 106 0 7774 0
[pid=13557/tid=13558] ppid=13555 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 501981526 52441088 354 33554432000 4194304 4627427 140736376455488 18446744073709551615 47848309131176 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 501981526 52441088 354 33554432000 4194304 4627427 140736376455488 18446744073709551615 255101815894 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 501981526 52441088 354 33554432000 4194304 4627427 140736376455488 18446744073709551615 255101815894 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0209979 s]
/proc/loadavg: 7.79 8.01 7.99 6/180 13557
/proc/meminfo: memFree=23739208/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=220732 CPUtime=3.6 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 6209 0 0 0 360 0 0 0 19 0 4 0 501981525 226029568 3330 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 55183 3330 385 106 0 50154 0
[pid=13557/tid=13558] ppid=13555 vsize=220732 CPUtime=0.9 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1530 0 0 0 90 0 0 0 19 0 4 0 501981526 226029568 3330 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=220732 CPUtime=0.89 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1495 0 0 0 89 0 0 0 19 0 4 0 501981526 226029568 3330 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=220732 CPUtime=0.9 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1271 0 0 0 90 0 0 0 19 0 4 0 501981526 226029568 3330 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 220732

[startup+1.00882 s]
/proc/loadavg: 7.79 8.01 7.99 6/180 13557
/proc/meminfo: memFree=23739208/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=221312 CPUtime=4 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 7196 0 0 0 400 0 0 0 19 0 4 0 501981525 226623488 2893 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 55328 2893 385 106 0 50299 0
[pid=13557/tid=13558] ppid=13555 vsize=221312 CPUtime=1 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1780 0 0 0 100 0 0 0 19 0 4 0 501981526 226623488 2893 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=221312 CPUtime=0.99 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1740 0 0 0 99 0 0 0 19 0 4 0 501981526 226623488 2893 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=221312 CPUtime=1 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1526 0 0 0 100 0 0 0 19 0 4 0 501981526 226623488 2893 33554432000 4194304 4627427 140736376455488 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 221312

[startup+1.1008 s]
/proc/loadavg: 7.79 8.01 7.99 6/180 13557
/proc/meminfo: memFree=23739208/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=221312 CPUtime=4.37 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 7445 0 0 0 437 0 0 0 19 0 4 0 501981525 226623488 3142 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 55328 3142 385 106 0 50299 0
[pid=13557/tid=13558] ppid=13555 vsize=221312 CPUtime=1.09 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1845 0 0 0 109 0 0 0 19 0 4 0 501981526 226623488 3142 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=221312 CPUtime=1.09 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1803 0 0 0 109 0 0 0 19 0 4 0 501981526 226623488 3142 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=221312 CPUtime=1.09 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1589 0 0 0 109 0 0 0 19 0 4 0 501981526 226623488 3142 33554432000 4194304 4627427 140736376455488 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 221312

[startup+1.20079 s]
/proc/loadavg: 7.79 8.01 7.99 6/180 13557
/proc/meminfo: memFree=23739208/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=227296 CPUtime=4.77 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 9126 0 0 0 476 1 0 0 19 0 4 0 501981525 232751104 4823 33554432000 4194304 4627427 140736376455488 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 56824 4823 388 106 0 51795 0
[pid=13557/tid=13558] ppid=13555 vsize=227296 CPUtime=1.19 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1901 0 0 0 119 0 0 0 19 0 4 0 501981526 232751104 4823 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=227296 CPUtime=1.19 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1863 0 0 0 119 0 0 0 19 0 4 0 501981526 232751104 4823 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=227296 CPUtime=1.19 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1645 0 0 0 119 0 0 0 19 0 4 0 501981526 232751104 4823 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 227296

[startup+1.50073 s]
/proc/loadavg: 7.79 8.01 7.99 6/180 13557
/proc/meminfo: memFree=23739208/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=227472 CPUtime=5.97 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 11401 0 0 0 596 1 0 0 19 0 4 0 501981525 232931328 5887 33554432000 4194304 4627427 140736376455488 18446744073709551615 4321477 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 56868 5887 388 106 0 51839 0
[pid=13557/tid=13558] ppid=13555 vsize=227472 CPUtime=1.49 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 3397 0 0 0 149 0 0 0 20 0 4 0 501981526 232931328 5887 33554432000 4194304 4627427 140736376455488 18446744073709551615 4427136 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=227472 CPUtime=1.48 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 2225 0 0 0 148 0 0 0 19 0 4 0 501981526 232931328 5887 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=227472 CPUtime=1.49 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 1981 0 0 0 149 0 0 0 19 0 4 0 501981526 232931328 5887 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309905 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) 227472

[startup+3.10645 s]
/proc/loadavg: 7.79 8.01 7.99 9/184 13561
/proc/meminfo: memFree=23716932/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=238220 CPUtime=12.38 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 20259 0 0 0 1234 4 0 0 25 0 4 0 501981525 243937280 10624 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 59555 10624 388 106 0 54526 0
[pid=13557/tid=13558] ppid=13555 vsize=238220 CPUtime=3.07 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 4606 0 0 0 307 0 0 0 25 0 4 0 501981526 243937280 10624 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=238220 CPUtime=3.09 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 5384 0 0 0 308 1 0 0 25 0 4 0 501981526 243937280 10624 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=238220 CPUtime=3.08 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 4712 0 0 0 308 0 0 0 25 0 4 0 501981526 243937280 10624 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 238220

[startup+6.30089 s]
/proc/loadavg: 7.81 8.01 7.99 9/184 13562
/proc/meminfo: memFree=23695748/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=238968 CPUtime=25.16 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 30953 0 0 0 2510 6 0 0 25 0 4 0 501981525 244703232 14850 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 59742 14850 388 106 0 54713 0
[pid=13557/tid=13558] ppid=13555 vsize=238968 CPUtime=6.26 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 7944 0 0 0 625 1 0 0 25 0 4 0 501981526 244703232 14850 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=238968 CPUtime=6.29 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 8122 0 0 0 628 1 0 0 25 0 4 0 501981526 244703232 14850 33554432000 4194304 4627427 140736376455488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=238968 CPUtime=6.29 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 7079 0 0 0 628 1 0 0 25 0 4 0 501981526 244703232 14850 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 238968

[startup+12.7008 s]
/proc/loadavg: 7.82 8.01 7.99 9/184 13562
/proc/meminfo: memFree=23679640/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=254652 CPUtime=50.71 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 47715 0 0 0 5061 10 0 0 25 0 4 0 501981525 260763648 18860 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 63663 18860 388 106 0 58634 0
[pid=13557/tid=13558] ppid=13555 vsize=254652 CPUtime=12.62 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 12298 0 0 0 1260 2 0 0 25 0 4 0 501981526 260763648 18860 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=254652 CPUtime=12.68 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 11781 0 0 0 1266 2 0 0 25 0 4 0 501981526 260763648 18860 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=254652 CPUtime=12.68 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 11810 0 0 0 1266 2 0 0 25 0 4 0 501981526 260763648 18860 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 254652

[startup+25.5005 s]
/proc/loadavg: 7.86 8.01 7.99 9/184 13562
/proc/meminfo: memFree=23675548/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=250748 CPUtime=101.83 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 74346 0 0 0 10167 16 0 0 25 0 4 0 501981525 256765952 24686 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309312 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 62687 24686 388 106 0 57658 0
[pid=13557/tid=13558] ppid=13555 vsize=250748 CPUtime=25.36 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 19611 0 0 0 2531 5 0 0 25 0 4 0 501981526 256765952 24686 33554432000 4194304 4627427 140736376455488 18446744073709551615 4330282 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=250748 CPUtime=25.48 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 18981 0 0 0 2545 3 0 0 25 0 4 0 501981526 256765952 24686 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=250748 CPUtime=25.48 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 17323 0 0 0 2545 3 0 0 25 0 4 0 501981526 256765952 24686 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 250748

[startup+51.101 s]
/proc/loadavg: 8.04 8.04 8.00 9/184 13563
/proc/meminfo: memFree=23664088/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=254520 CPUtime=204.11 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 112113 0 0 0 20384 27 0 0 25 0 4 0 501981525 260628480 29435 33554432000 4194304 4627427 140736376455488 18446744073709551615 4507248 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 63630 29435 388 106 0 58601 0
[pid=13557/tid=13558] ppid=13555 vsize=254520 CPUtime=50.82 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 28667 0 0 0 5075 7 0 0 25 0 4 0 501981526 260628480 29435 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=254520 CPUtime=51.09 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 28984 0 0 0 5103 6 0 0 25 0 4 0 501981526 260628480 29435 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=254520 CPUtime=51.09 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 26524 0 0 0 5103 6 0 0 25 0 4 0 501981526 260628480 29435 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 254520

[startup+102.301 s]
/proc/loadavg: 8.16 8.06 8.01 9/184 13564
/proc/meminfo: memFree=23587556/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=291780 CPUtime=408.62 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 175443 0 0 0 40815 47 0 0 25 0 4 0 501981525 298782720 39744 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309256 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 72945 39744 388 106 0 67916 0
[pid=13557/tid=13558] ppid=13555 vsize=291780 CPUtime=101.73 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 44813 0 0 0 10161 12 0 0 25 0 4 0 501981526 298782720 39744 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=291780 CPUtime=102.29 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 43332 0 0 0 10217 12 0 0 25 0 4 0 501981526 298782720 39744 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=291780 CPUtime=102.28 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 41646 0 0 0 10218 10 0 0 25 0 4 0 501981526 298782720 39744 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 291780

[startup+162.3 s]

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

[pid=13557] ppid=13555 vsize=541024 CPUtime=2565.72 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 485087 0 0 0 256389 183 0 0 25 0 4 0 501981525 554008576 96175 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 135256 96175 388 106 0 130227 0
[pid=13557/tid=13558] ppid=13555 vsize=541024 CPUtime=638.8 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 123573 0 0 0 63833 47 0 0 25 0 4 0 501981526 554008576 96175 33554432000 4194304 4627427 140736376455488 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=541024 CPUtime=642.3 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 130525 0 0 0 64179 51 0 0 25 0 4 0 501981526 554008576 96175 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=541024 CPUtime=642.29 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 105511 0 0 0 64193 36 0 0 25 0 4 0 501981526 554008576 96175 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.72
Current children cumulated vsize (KiB) 541024

[startup+702.3 s]
/proc/loadavg: 8.07 8.07 8.02 9/184 13611
/proc/meminfo: memFree=23612240/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=644080 CPUtime=2805.4 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 503318 0 0 0 280348 192 0 0 25 0 4 0 501981525 659537920 101439 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 161020 101439 388 106 0 155991 0
[pid=13557/tid=13558] ppid=13555 vsize=644080 CPUtime=698.47 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 129101 0 0 0 69799 48 0 0 25 0 4 0 501981526 659537920 101439 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=644080 CPUtime=702.3 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 136846 0 0 0 70176 54 0 0 25 0 4 0 501981526 659537920 101439 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=644080 CPUtime=702.29 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 105761 0 0 0 70193 36 0 0 25 0 4 0 501981526 659537920 101439 33554432000 4194304 4627427 140736376455488 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.4
Current children cumulated vsize (KiB) 644080

[startup+762.301 s]
/proc/loadavg: 8.02 8.05 8.01 9/184 13613
/proc/meminfo: memFree=23582712/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=548756 CPUtime=3045.08 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 531204 0 0 0 304303 205 0 0 25 0 4 0 501981525 561926144 107502 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 137189 107502 388 106 0 132160 0
[pid=13557/tid=13558] ppid=13555 vsize=548756 CPUtime=758.15 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 135497 0 0 0 75764 51 0 0 25 0 4 0 501981526 561926144 107502 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=548756 CPUtime=762.3 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 142046 0 0 0 76173 57 0 0 25 0 4 0 501981526 561926144 107502 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=548756 CPUtime=762.3 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 113358 0 0 0 76190 40 0 0 25 0 4 0 501981526 561926144 107502 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 548756

[startup+822.3 s]
/proc/loadavg: 8.08 8.06 8.01 9/184 13623
/proc/meminfo: memFree=23546704/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=615288 CPUtime=3284.75 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 560568 0 0 0 328256 219 0 0 25 0 4 0 501981525 630054912 112164 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309327 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 153822 112164 388 106 0 148793 0
[pid=13557/tid=13558] ppid=13555 vsize=615288 CPUtime=817.83 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 144335 0 0 0 81728 55 0 0 25 0 4 0 501981526 630054912 112164 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=615288 CPUtime=822.3 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 150271 0 0 0 82169 61 0 0 25 0 4 0 501981526 630054912 112164 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=615288 CPUtime=822.29 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 118668 0 0 0 82187 42 0 0 25 0 4 0 501981526 630054912 112164 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.75
Current children cumulated vsize (KiB) 615288

[startup+882.301 s]
/proc/loadavg: 8.28 8.11 8.02 9/184 13655
/proc/meminfo: memFree=23674532/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=563204 CPUtime=3524.43 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 583064 0 0 0 352214 229 0 0 25 0 4 0 501981525 576720896 118254 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 140801 118254 388 106 0 135772 0
[pid=13557/tid=13558] ppid=13555 vsize=563204 CPUtime=877.5 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 150863 0 0 0 87692 58 0 0 25 0 4 0 501981526 576720896 118254 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=563204 CPUtime=882.3 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 154917 0 0 0 88167 63 0 0 25 0 4 0 501981526 576720896 118254 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=563204 CPUtime=882.29 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 123155 0 0 0 88185 44 0 0 25 0 4 0 501981526 576720896 118254 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 563204

[startup+942.3 s]
/proc/loadavg: 8.24 8.12 8.03 9/184 13657
/proc/meminfo: memFree=23652452/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=550504 CPUtime=3764.11 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 599937 0 0 0 376174 237 0 0 25 0 4 0 501981525 563716096 112108 33554432000 4194304 4627427 140736376455488 18446744073709551615 4420243 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 137626 112108 388 106 0 132597 0
[pid=13557/tid=13558] ppid=13555 vsize=550504 CPUtime=937.17 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 155241 0 0 0 93657 60 0 0 25 0 4 0 501981526 563716096 112108 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=550504 CPUtime=942.31 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 158988 0 0 0 94166 65 0 0 25 0 4 0 501981526 563716096 112108 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=550504 CPUtime=942.3 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 123325 0 0 0 94186 44 0 0 25 0 4 0 501981526 563716096 112108 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.11
Current children cumulated vsize (KiB) 550504

[startup+1002.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 13658
/proc/meminfo: memFree=23593036/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=619516 CPUtime=4003.79 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 617717 0 0 0 400133 246 0 0 25 0 4 0 501981525 634384384 116078 33554432000 4194304 4627427 140736376455488 18446744073709551615 4310109 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 154879 116078 388 106 0 149850 0
[pid=13557/tid=13558] ppid=13555 vsize=619516 CPUtime=996.84 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 161890 0 0 0 99621 63 0 0 25 0 4 0 501981526 634384384 116078 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=619516 CPUtime=1002.3 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 162619 0 0 0 100164 66 0 0 25 0 4 0 501981526 634384384 116078 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=619516 CPUtime=1002.3 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 123500 0 0 0 100186 44 0 0 25 0 4 0 501981526 634384384 116078 33554432000 4194304 4627427 140736376455488 18446744073709551615 4324280 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.79
Current children cumulated vsize (KiB) 619516

[startup+1062.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 13660
/proc/meminfo: memFree=23558556/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=565268 CPUtime=4243.49 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 635309 0 0 0 424093 256 0 0 25 0 4 0 501981525 578834432 121296 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 141317 121296 388 106 0 136288 0
[pid=13557/tid=13558] ppid=13555 vsize=565268 CPUtime=1056.52 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 165857 0 0 0 105587 65 0 0 25 0 4 0 501981526 578834432 121296 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=565268 CPUtime=1062.32 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 170293 0 0 0 106161 71 0 0 25 0 4 0 501981526 578834432 121296 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=565268 CPUtime=1062.3 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 123641 0 0 0 106186 44 0 0 25 0 4 0 501981526 578834432 121296 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.49
Current children cumulated vsize (KiB) 565268

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 8.02 9/184 13661
/proc/meminfo: memFree=23569940/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=603876 CPUtime=4483.14 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 656929 0 0 0 448046 268 0 0 25 0 4 0 501981525 618369024 110911 33554432000 4194304 4627427 140736376455488 18446744073709551615 4415678 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 150969 110911 388 106 0 145940 0
[pid=13557/tid=13558] ppid=13555 vsize=603876 CPUtime=1116.19 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 172421 0 0 0 111550 69 0 0 25 0 4 0 501981526 618369024 110911 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=603876 CPUtime=1122.31 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 177830 0 0 0 112155 76 0 0 25 0 4 0 501981526 618369024 110911 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=603876 CPUtime=1122.3 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 127244 0 0 0 112184 46 0 0 25 0 4 0 501981526 618369024 110911 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.14
Current children cumulated vsize (KiB) 603876

[startup+1182.31 s]
/proc/loadavg: 8.15 8.10 8.03 9/184 13663
/proc/meminfo: memFree=23513124/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=755584 CPUtime=4722.84 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 679825 0 0 0 472005 279 0 0 25 0 4 0 501981525 773718016 122147 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309250 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 188896 122147 388 106 0 183867 0
[pid=13557/tid=13558] ppid=13555 vsize=755584 CPUtime=1175.87 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 178736 0 0 0 117514 73 0 0 25 0 4 0 501981526 773718016 122147 33554432000 4194304 4627427 140736376455488 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=755584 CPUtime=1182.31 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 184259 0 0 0 118152 79 0 0 25 0 4 0 501981526 773718016 122147 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=755584 CPUtime=1182.31 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 133022 0 0 0 118183 48 0 0 25 0 4 0 501981526 773718016 122147 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.84
Current children cumulated vsize (KiB) 755584



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.10 8.09 8.03 9/184 13663
/proc/meminfo: memFree=23471452/32951124 swapFree=67111524/67111528
[pid=13557] ppid=13555 vsize=686108 CPUtime=4800.33 cores=1,3,5,7
/proc/13557/stat : 13557 (strangenight2-m) R 13555 13557 13368 0 -1 4202496 686958 0 0 0 479750 283 0 0 25 0 4 0 501981525 702574592 125272 33554432000 4194304 4627427 140736376455488 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/13557/statm: 171527 125272 388 106 0 166498 0
[pid=13557/tid=13558] ppid=13555 vsize=686108 CPUtime=1195.16 cores=1,3,5,7
/proc/13557/task/13558/stat : 13558 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 180196 0 0 0 119442 74 0 0 25 0 4 0 501981526 702574592 125272 33554432000 4194304 4627427 140736376455488 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13557/tid=13559] ppid=13555 vsize=686108 CPUtime=1201.72 cores=1,3,5,7
/proc/13557/task/13559/stat : 13559 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 185795 0 0 0 120092 80 0 0 25 0 4 0 501981526 702574592 125272 33554432000 4194304 4627427 140736376455488 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13557/tid=13560] ppid=13555 vsize=686108 CPUtime=1201.71 cores=1,3,5,7
/proc/13557/task/13560/stat : 13560 (strangenight2-m) R 13555 13557 13368 0 -1 4202560 134477 0 0 0 120122 49 0 0 25 0 4 0 501981526 702574592 125272 33554432000 4194304 4627427 140736376455488 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 686108

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.39
CPU user time (s): 4797.53
CPU system time (s): 2.85956
CPU usage (%): 399.454
Max. virtual memory (cumulated for all children) (KiB): 801264

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.53
system time used= 2.85956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 686958
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= 435
involuntary context switches= 19214

runsolver used 1.87671 second user time and 4.69129 second system time

The end

Launcher Data 

Begin job on node144 at 2011-04-29 18:47:34
IDJOB=3174112
IDBENCH=82930
IDSOLVER=1586
FILE ID=node144/3174112-1304095654
RUNJOBID= node144-1304093667-13387
PBS_JOBID= 13170586
Free space on /tmp= 72404 MiB

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

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

MD5SUM BENCH= ac9c61f9177fd0d9da068d938bec80ff
RANDOM SEED=645731211

node144.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.850
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.850
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	: 5226.16
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.850
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.850
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.83
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.850
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.850
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.82
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.850
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.850
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      23739364 kB
Buffers:       2123444 kB
Cached:        5976264 kB
SwapCached:          4 kB
Active:         687048 kB
Inactive:      7974988 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      23739364 kB
SwapTotal:    67111528 kB
SwapFree:     67111524 kB
Dirty:            5464 kB
Writeback:           0 kB
AnonPages:      561308 kB
Mapped:          15492 kB
Slab:           485908 kB
PageTables:       5816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   786264 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= 72400 MiB
End job on node144 at 2011-04-29 19:07:38