Trace number 3175461

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-1-mtSAT 2823.75 706.906

General information on the benchmark

Namerandom/medium/
unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf
MD5SUM9105de4ac86db082b0add111004ae308
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.058991
Satisfiable
(Un)Satisfiability was proved
Number of variables50
Number of clauses4450
Sum of the clauses size31150
Maximum clause length7
Minimum clause length7
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 50
Number of clauses of size over 54450

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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175461-1304125003.cnf'
0.00/0.00	c -- header says num vars:             50
0.00/0.00	c -- header says num clauses:        4450
0.38/0.10	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.38/0.10	c -- vars added         50
0.38/0.10	c Parsing time:  0.01 s
0.38/0.10	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.38/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.38/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
3.18/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.18/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.18/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
3.18/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:      28 undec:       0 neg:      22
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
3.18/0.80	c  N dy    10      4007        50      4450         0      3446     31150     63665     15.77     17.15  --
3.18/0.80	c  N dy    22      8084        50      4450         0      4837     31150     84547     15.74     16.58  --
3.18/0.80	c  N dy    36     12253        50      4450         0      4807     31150     79825     15.64     16.47  --
3.18/0.80	c  N dy    49     16610        50      4450         0      8574     31150    147827     15.58     16.47  --
3.58/1.00	c  N dy    60     23419        50      4450         0      9551     31150    155729     15.36     16.24  --
3.58/1.00	c  F st    73     25000        50      4450         0     10928     31150    181705     15.46     14.32  --
4.78/1.20	c  N st    78     28300        50      4450         0      7886     31150    122120     15.46   no data  --
5.17/1.30	c  S st    79     30001        50      4450         0      9335     31150    148535     15.46   no data  --
5.17/1.30	c  S st    79     30505        50      4450         0      9786     31150    157169     15.46   no data  --
5.17/1.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.17/1.30	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.17/1.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
5.17/1.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.17/1.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
5.17/1.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.39/2.18	c lits-rem:      1262  cl-subs:     1532  v-elim:      0  v-fix:    0  time:  3.72 s
9.57/2.40	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.89
9.57/2.40	c calculated reachability. Time: 0.00
9.57/2.40	c  N dy    79     30505        50      4450         0      8254     31150    130496     15.46   no data  --
11.96/3.09	c  N dy   101     45759        50      4450         0     14658     31150    230065     15.01     12.48  --
11.96/3.09	c  S st   101     45759        50      4450         0     14658     31150    230065     15.01     12.48  --
12.36/3.14	c  S st   101     46264        50      4450         0     15106     31150    238498     15.01   no data  --
12.36/3.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.36/3.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.36/3.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
12.36/3.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.36/3.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.36/3.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.36/3.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.58/4.41	c lits-rem:      1567  cl-subs:     3321  v-elim:      0  v-fix:    0  time:  5.03 s
17.58/4.41	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.58/4.41	c vivif2 --  cl tried    11785 cl shrink        0 lits rem          0 time: 0.00
18.35/4.69	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.10
18.35/4.69	c calculated reachability. Time: 0.00
18.35/4.69	c  N dy   101     46264        50      4450         0     11785     31150    185556     15.01   no data  --
19.55/4.97	c  N dy   136     51089        50      4450         0      8521     31150    121048     15.17     15.99  --
20.35/5.16	c  N dy   156     55105        50      4450         0     11982     31150    184469     15.25     16.09  --
21.57/5.43	c  N dy   195     59150        50      4450         0     15509     31150    251268     15.39     17.25  --
22.35/5.68	c  N dy   214     63431        50      4450         0     10744     31150    154827     15.43     16.26  --
23.94/6.03	c  N dy   243     69396        50      4450         0     15942     31150    250504     15.50     15.92  --
23.94/6.03	c  S st   243     69396        50      4450         0     15942     31150    250504     15.50     15.92  --
23.94/6.07	c  S st   243     69897        50      4450         0     16394     31150    259200     15.50   no data  --
23.94/6.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
23.94/6.07	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
23.94/6.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
23.94/6.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
23.94/6.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
23.94/6.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
23.94/6.08	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.74/7.21	c lits-rem:      1701  cl-subs:     2169  v-elim:      0  v-fix:    0  time:  4.49 s
28.74/7.21	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.74/7.21	c vivif2 --  cl tried    14225 cl shrink        0 lits rem          0 time: 0.01
29.94/7.53	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.26
29.94/7.53	c calculated reachability. Time: 0.00
29.94/7.53	c  N dy   243     69897        50      4450         0     14225     31150    218298     15.50   no data  --
31.94/8.03	c  N dy   258     78236        50      4450         0     12083     31150    169067     15.42     16.24  --
33.14/8.33	c  N dy   259     84203        50      4450         0     17213     31150    258486     15.33     16.16  --
33.93/8.58	c  F st   279     87500        50      4450         0     20100     31150    312085     15.37     14.55  --
34.75/8.78	c  N st   284     90796        50      4450         0     12658     31150    174522     15.37   no data  --
38.33/9.62	c  N dy   303    104845        50      4450         0     13602     31150    182664     15.26     12.65  --
38.33/9.62	c  S st   303    104845        50      4450         0     13602     31150    182664     15.26     12.65  --
38.33/9.66	c  S st   303    105349        50      4450         0     14047     31150    191196     15.26   no data  --
38.33/9.66	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.33/9.66	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.33/9.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
38.33/9.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.33/9.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.33/9.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
38.33/9.67	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.92/10.54	c lits-rem:       651  cl-subs:      909  v-elim:      0  v-fix:    0  time:  3.48 s
41.92/10.54	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
41.92/10.54	c vivif2 --  cl tried    13138 cl shrink        0 lits rem          0 time: 0.00
43.12/10.84	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.20
43.12/10.84	c calculated reachability. Time: 0.00
43.12/10.84	c  N dy   303    105349        50      4450         0     13138     31150    176617     15.26   no data  --
45.12/11.36	c  N dy   354    112754        50      4450         0     19576     31150    296943     15.35     16.23  --
47.93/12.03	c  N dy   388    121793        50      4450         0     15372     31150    207553     15.36     16.21  --
50.31/12.64	c  N dy   402    132051        50      4450         0     24260     31150    365652     15.29     16.22  --
53.50/13.48	c  N dy   447    143528        50      4450         0     21252     31150    309281     15.31     16.13  --
57.50/14.41	c  N dy   509    154201        50      4450         0     16691     31150    220050     15.37     16.18  --
58.30/14.66	c  S st   519    158023        50      4450         0     20000     31150    280012     15.37   no data  --
58.70/14.72	c  S st   519    158526        50      4450         0     20454     31150    288691     15.37   no data  --
58.70/14.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.70/14.72	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.70/14.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
58.70/14.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
58.70/14.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
58.70/14.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
58.70/14.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.49/15.98	c lits-rem:      1212  cl-subs:     1998  v-elim:      0  v-fix:    0  time:  5.01 s
63.49/15.99	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
63.49/15.99	c vivif2 --  cl tried    18456 cl shrink        0 lits rem          0 time: 0.01
65.09/16.34	c asymm  cl-useful: 0/3837/4450 lits-rem:0 time: 1.39
65.09/16.34	c calculated reachability. Time: 0.00
65.09/16.34	c  N dy   519    158526        50      4450         0     18456     31150    252625     15.37   no data  --
69.48/17.49	c  N dy   566    171081        50      4450         0     14724     31150    178844     15.36     16.27  --
73.08/18.37	c  N dy   588    183401        50      4450         0     25352     31150    368689     15.32     16.15  --
77.88/19.50	c  N dy   664    195147        50      4450         0     20055     31150    269701     15.39     17.09  --
83.48/20.91	c  N dy   735    208900        50      4450         0     31964     31150    487051     15.41     16.24  --
87.88/22.09	c  N dy   778    222541        50      4450         0     27341     31150    391723     15.41     16.31  --
94.25/23.61	c  N dy   837    237583        50      4450         0     23064     31150    306662     15.43     16.26  --
94.25/23.62	c  S st   840    237791        50      4450         0     23243     31150    310126     15.43   no data  --
94.25/23.69	c  S st   840    238294        50      4450         0     23689     31150    318798     15.43   no data  --
94.25/23.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.25/23.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.25/23.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
94.65/23.70	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.65/23.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.65/23.70	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
94.65/23.70	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
100.67/25.30	c lits-rem:      1351  cl-subs:     1953  v-elim:      0  v-fix:    0  time:  6.36 s
100.67/25.30	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
100.67/25.30	c vivif2 --  cl tried    21736 cl shrink        0 lits rem          0 time: 0.01
101.07/25.38	c asymm  cl-useful: 0/613/4450 lits-rem:0 time: 0.31
101.07/25.38	c calculated reachability. Time: 0.00
101.07/25.38	c  N dy   840    238294        50      4450         0     21736     31150    283279     15.43   no data  --
108.23/27.13	c  N dy   938    253607        50      4450         0     35033     31150    531729     15.49     17.67  --
115.02/28.81	c  N dy  1011    270943        50      4450         0     31922     31150    461272     15.51     16.41  --
122.21/30.70	c  N dy  1100    288312        50      4450         0     27969     31150    382952     15.55     16.46  --
130.20/32.63	c  F st  1136    306250        50      4450         0     23554     31150    290813     15.52     13.76  --
130.20/32.69	c  N st  1138    306875        50      4450         0     24088     31150    300817     15.52   no data  --
139.39/34.98	c  N dy  1160    328508        50      4450         0     22056     31150    257697     15.47     16.35  --
148.18/37.11	c  N dy  1218    348555        50      4450         0     39316     31150    565247     15.44     17.14  --
152.57/38.25	c  S st  1270    357443        50      4450         0     25473     31150    316100     15.46   no data  --
152.97/38.32	c  S st  1270    357947        50      4450         0     25917     31150    324618     15.46   no data  --
152.97/38.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.97/38.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
152.97/38.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
152.97/38.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.97/38.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.97/38.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
152.97/38.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
159.76/40.02	c lits-rem:       814  cl-subs:     1358  v-elim:      0  v-fix:    0  time:  6.70 s
159.76/40.02	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
159.76/40.02	c vivif2 --  cl tried    24559 cl shrink        0 lits rem          0 time: 0.01
160.96/40.36	c asymm  cl-useful: 0/3071/4450 lits-rem:0 time: 1.34
160.96/40.36	c calculated reachability. Time: 0.00
160.96/40.36	c  N dy  1270    357947        50      4450         0     24559     31150    300285     15.46   no data  --
169.75/42.59	c  N dy  1332    378019        50      4450         0     41841     31150    609874     15.45     16.46  --
179.76/45.09	c  N dy  1369    398098        50      4450         0     36695     31150    500619     15.38     18.07  --
192.12/48.14	c  N dy  1474    419171        50      4450         0     31686     31150    409238     15.41     16.23  --
203.30/50.95	c  N dy  1484    442824        50      4450         0     27917     31150    334169     15.33     16.25  --
223.28/55.96	c  N dy  1601    485775        50      4450         0     39784     31150    525092     15.28     16.10  --
236.46/59.23	c  N dy  1782    505808        50      4450         0     31484     31150    392502     15.35     16.86  --
248.04/62.18	c  N dy  1881    525902        50      4450         0     48822     31150    711119     15.38     17.16  --
254.86/63.85	c  S st  1925    536921        50      4450         0     31643     31150    381789     15.38     13.35  --
255.23/63.94	c  S st  1925    537424        50      4450         0     32081     31150    390116     15.38   no data  --
255.23/63.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
255.23/63.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
255.23/63.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
255.23/63.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
255.23/63.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
255.23/63.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
255.23/63.96	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
262.82/65.84	c lits-rem:       720  cl-subs:     1713  v-elim:      0  v-fix:    0  time:  7.52 s
262.82/65.84	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
262.82/65.85	c vivif2 --  cl tried    30368 cl shrink        0 lits rem          0 time: 0.02
263.64/66.08	c asymm  cl-useful: 0/1379/4450 lits-rem:0 time: 0.93
263.64/66.08	c calculated reachability. Time: 0.00
263.64/66.08	c  N dy  1925    537424        50      4450         0     30368     31150    360520     15.38   no data  --
277.59/69.51	c  N dy  2073    560669        50      4450         0     50486     31150    733936     15.42     16.49  --
289.18/72.46	c  N dy  2127    581488        50      4450         0     40770     31150    531789     15.39     16.26  --
305.97/76.60	c  N dy  2269    604083        50      4450         0     31941     31150    373160     15.42     16.27  --
320.36/80.26	c  N dy  2358    630053        50      4450         0     54216     31150    773042     15.41     16.25  --
334.32/83.76	c  N dy  2498    650698        50      4450         0     42849     31150    572597     15.44     16.27  --
352.70/88.39	c  N dy  2605    673692        50      4450         0     32525     31150    370969     15.45     16.27  --
371.88/93.11	c  N dy  2727    705072        50      4450         0     59557     31150    862925     15.45     16.28  --
386.28/96.73	c  N dy  2844    725096        50      4450         0     45874     31150    614183     15.47     16.83  --
403.44/101.01	c  N dy  2973    745156        50      4450         0     63162     31150    937383     15.50     17.87  --
415.01/103.96	c  N dy  3046    765158        50      4450         0     48393     31150    641415     15.49     17.15  --
432.99/108.48	c  N dy  3165    785215        50      4450         0     33002     31150    359827     15.51     16.87  --
444.57/111.38	c  N dy  3253    805425        50      4450         0     50386     31150    677841     15.51     16.33  --
445.38/111.54	c  S st  3258    806138        50      4450         0     50996     31150    689164     15.51     15.60  --
445.78/111.69	c  S st  3258    806642        50      4450         0     51455     31150    698090     15.51   no data  --
445.78/111.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
445.78/111.69	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
446.18/111.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
446.18/111.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
446.18/111.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
446.18/111.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
446.18/111.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
470.94/117.94	c lits-rem:      2875  cl-subs:     6124  v-elim:      0  v-fix:    0  time: 24.81 s
470.94/117.94	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
470.94/117.95	c vivif2 --  cl tried    45331 cl shrink        0 lits rem          0 time: 0.03
471.74/118.16	c asymm  cl-useful: 0/1045/4450 lits-rem:0 time: 0.83
471.74/118.16	c calculated reachability. Time: 0.00
471.74/118.16	c  N dy  3258    806642        50      4450         0     45331     31150    589507     15.51   no data  --
489.72/122.65	c  N dy  3386    826686        50      4450         0     62594     31150    909520     15.53     16.37  --
504.49/126.35	c  N dy  3502    846913        50      4450         0     46898     31150    611982     15.55     16.46  --
520.07/130.25	c  N dy  3557    867623        50      4450         0     64550     31150    928956     15.54     16.39  --
535.25/134.09	c  N dy  3665    888485        50      4450         0     48339     31150    626525     15.55     16.47  --
552.83/138.44	c  N dy  3759    909370        50      4450         0     66222     31150    955380     15.56     16.55  --
568.00/142.24	c  N dy  3870    929449        50      4450         0     48350     31150    625154     15.58     18.21  --
584.00/146.28	c  N dy  3932    949452        50      4450         0     65502     31150    938153     15.57     16.40  --
602.36/150.85	c  N dy  4022    974031        50      4450         0     50631     31150    652323     15.57     16.42  --
618.35/154.85	c  N dy  4079    994032        50      4450         0     67816     31150    962884     15.56     16.71  --
635.52/159.11	c  N dy  4204   1014128        50      4450         0     48247     31150    608825     15.58     16.52  --
653.09/163.58	c  N dy  4326   1034575        50      4450         0     65860     31150    939338     15.60     16.44  --
669.47/167.66	c  N dy  4370   1054595        50      4450         0     45137     31150    531619     15.59     17.46  --
681.85/170.71	c  F st  4438   1071876        50      4450         0     59903     31150    802468     15.59     13.27  --
684.65/171.42	c  N st  4443   1075175        50      4450         0     62718     31150    853862     15.59   no data  --
705.82/176.71	c  N dy  4524   1095835        50      4450         0     41801     31150    467222     15.59     16.52  --
720.23/180.36	c  N dy  4611   1115877        50      4450         0     59054     31150    784959     15.59     17.31  --
742.59/185.97	c  N dy  4693   1138231        50      4450         0     78254     31150   1136171     15.59     16.48  --
792.50/198.45	c  N dy  4749   1209965        50      4450         0     59471     31150    760277     15.49     11.40  --
792.50/198.45	c  S st  4749   1209965        50      4450         0     59471     31150    760277     15.49     11.40  --
793.30/198.67	c  S st  4749   1210466        50      4450         0     59919     31150    768840     15.49   no data  --
793.30/198.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
793.30/198.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
793.70/198.70	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.13
793.70/198.73	c bin-w-bin subsume rem            0 bins  time:  0.00 s
793.70/198.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
793.70/198.73	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
793.70/198.73	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
862.81/216.00	c lits-rem:      1637  cl-subs:     7756  v-elim:      0  v-fix:    0  time: 69.00 s
862.81/216.00	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
862.81/216.01	c vivif2 --  cl tried    52163 cl shrink        0 lits rem          0 time: 0.04
864.41/216.40	c asymm  cl-useful: 0/724/4450 lits-rem:0 time: 1.54
864.41/216.40	c calculated reachability. Time: 0.00
864.41/216.40	c  N dy  4749   1210466        50      4450         0     52163     31150    652237     15.49   no data  --
889.57/222.73	c  N dy  4872   1230580        50      4450         0     69437     31150    974386     15.51     16.33  --
915.14/229.17	c  N dy  5007   1252867        50      4450         0     48123     31150    564009     15.52     16.39  --
930.33/232.99	c  N dy  5068   1272894        50      4450         0     65194     31150    869657     15.51     17.00  --
959.08/240.12	c  N dy  5193   1297353        50      4450         0     44604     31150    491486     15.52     16.44  --
978.25/244.97	c  N dy  5306   1317361        50      4450         0     61874     31150    810537     15.53     17.30  --
1005.02/251.66	c  N dy  5406   1337966        50      4450         0     79568     31150   1135819     15.54     16.46  --
1027.81/257.40	c  N dy  5568   1357992        50      4450         0     54108     31150    668572     15.56     16.87  --
1045.37/261.75	c  N dy  5630   1378030        50      4450         0     71179     31150    972250     15.55     17.52  --
1071.32/268.30	c  N dy  5756   1399479        50      4450         0     46013     31150    505288     15.56     16.39  --
1086.89/272.15	c  N dy  5820   1419558        50      4450         0     63167     31150    815103     15.56     17.45  --
1111.69/278.33	c  N dy  5940   1441776        50      4450         0     82281     31150   1167324     15.57     16.39  --
1133.25/283.71	c  N dy  6020   1464878        50      4450         0     57478     31150    700904     15.56     16.44  --
1150.83/288.17	c  N dy  6100   1485494        50      4450         0     75027     31150   1023292     15.56     16.48  --
1175.97/294.48	c  N dy  6179   1506327        50      4450         0     47480     31150    517625     15.57     16.42  --
1193.16/298.72	c  N dy  6283   1526634        50      4450         0     64885     31150    839656     15.58     16.48  --
1217.52/304.82	c  N dy  6411   1546667        50      4450         0     82071     31150   1162913     15.59     18.31  --
1244.28/311.59	c  N dy  6518   1570226        50      4450         0     55940     31150    664828     15.59     16.51  --
1266.65/317.15	c  N dy  6591   1595416        50      4450         0     77483     31150   1052721     15.59     16.42  --
1291.44/323.40	c  N dy  6665   1615439        50      4450         0     47547     31150    506978     15.58     17.81  --
1308.60/327.63	c  N dy  6791   1635484        50      4450         0     64672     31150    827733     15.59     16.89  --
1331.76/333.46	c  N dy  6909   1655510        50      4450         0     81857     31150   1149296     15.60     16.94  --
1358.52/340.16	c  N dy  7017   1675531        50      4450         0     51124     31150    566466     15.61     17.12  --
1378.11/345.01	c  N dy  7138   1697373        50      4450         0     69821     31150    913255     15.62     16.66  --
1392.50/348.61	c  S st  7185   1710466        50      4450         0     81026     31150   1116968     15.62   no data  --
1393.28/348.87	c  S st  7185   1710966        50      4450         0     81461     31150   1125520     15.62   no data  --
1393.28/348.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1393.28/348.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1393.68/348.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
1393.68/348.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1393.68/348.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1393.68/348.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1393.68/348.95	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1532.70/383.80	c lits-rem:      5415  cl-subs:    11019  v-elim:      0  v-fix:    0  time: 139.16 s
1532.70/383.80	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1533.12/383.81	c vivif2 --  cl tried    70442 cl shrink        0 lits rem          0 time: 0.05
1534.70/384.22	c asymm  cl-useful: 0/501/4450 lits-rem:0 time: 1.64
1534.70/384.22	c calculated reachability. Time: 0.00
1534.70/384.22	c  N dy  7185   1710966        50      4450         0     70442     31150    927691     15.62   no data  --
1563.06/391.33	c  N dy  7244   1732887        50      4450         0     89062     31150   1255982     15.61     16.71  --
1592.22/398.69	c  N dy  7367   1752983        50      4450         0     58308     31150    695047     15.62     16.44  --
1623.37/406.40	c  N dy  7511   1772984        50      4450         0     75485     31150   1020380     15.63     17.34  --
1715.65/429.56	c  N dy  7544   1858261        50      4450         0     98012     31150   1326638     15.53     16.46  --
1739.22/435.41	c  N dy  7634   1878442        50      4450         0     65660     31150    816488     15.54     16.44  --
1769.98/443.11	c  N dy  7788   1899066        50      4450         0     83398     31150   1152096     15.55     16.39  --
1800.33/450.74	c  N dy  7863   1919463        50      4450         0    100742     31150   1465666     15.55     16.39  --
1823.90/456.61	c  N dy  7906   1946907        50      4450         0     73069     31150    924515     15.54     16.37  --
1855.86/464.63	c  N dy  7954   1982149        50      4450         0    102941     31150   1449834     15.52     16.38  --
1876.63/469.89	c  N dy  8088   2002199        50      4450         0     68338     31150    855438     15.53     16.85  --
1910.19/478.29	c  N dy  8193   2032560        50      4450         0     94171     31150   1314218     15.52     16.36  --
1936.96/484.97	c  N dy  8298   2052583        50      4450         0     58509     31150    662664     15.52     17.69  --
1957.72/490.13	c  N dy  8418   2072648        50      4450         0     75798     31150    984463     15.53     18.15  --
1984.49/496.82	c  N dy  8530   2092664        50      4450         0     92961     31150   1303588     15.54     16.64  --
2014.85/504.43	c  N dy  8641   2112710        50      4450         0     56265     31150    612433     15.55     18.53  --
2036.82/509.96	c  N dy  8745   2136160        50      4450         0     76264     31150    979508     15.55     16.39  --
2062.78/516.49	c  N dy  8829   2156702        50      4450         0     93830     31150   1299950     15.55     16.42  --
2098.74/525.42	c  N dy  8962   2179819        50      4450         0     58887     31150    650393     15.56     16.38  --
2129.50/533.14	c  N dy  9061   2210967        50      4450         0     85288     31150   1120511     15.55     12.88  --
2129.50/533.14	c  S st  9061   2210967        50      4450         0     85288     31150   1120511     15.55     12.88  --
2130.30/533.39	c  S st  9061   2211470        50      4450         0     85729     31150   1129259     15.55   no data  --
2130.30/533.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2130.30/533.39	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2130.72/533.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2130.72/533.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2130.72/533.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2130.72/533.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2130.72/533.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2238.55/560.49	c lits-rem:      4004  cl-subs:    12311  v-elim:      0  v-fix:    0  time: 107.91 s
2238.55/560.49	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2238.95/560.50	c vivif2 --  cl tried    73418 cl shrink        0 lits rem          0 time: 0.06
2240.15/560.88	c asymm  cl-useful: 0/487/4450 lits-rem:0 time: 1.52
2240.15/560.88	c calculated reachability. Time: 0.00
2240.15/560.88	c  N dy  9061   2211470        50      4450         0     73418     31150    923628     15.55   no data  --
2273.30/569.11	c  N dy  9174   2233041        50      4450         0     91878     31150   1264706     15.55     16.43  --
2306.87/577.52	c  N dy  9257   2253095        50      4450         0    108992     31150   1576587     15.55     16.47  --
2330.42/583.43	c  N dy  9356   2273190        50      4450         0     71726     31150    891762     15.56     17.26  --
2362.39/591.49	c  N dy  9485   2293852        50      4450         0     89419     31150   1224527     15.57     16.44  --
2402.73/601.57	c  N dy  9585   2313870        50      4450         0    106544     31150   1542714     15.57     17.46  --
2437.88/610.39	c  N dy  9726   2333894        50      4450         0     67719     31150    805980     15.58     17.52  --
2473.85/619.31	c  N dy  9808   2357595        50      4450         0     87860     31150   1169309     15.58     16.53  --
2513.77/629.37	c  N dy  9906   2379198        50      4450         0    106368     31150   1511895     15.58     16.44  --
2541.74/636.35	c  N dy  9934   2402183        50      4450         0     68760     31150    791964     15.57     16.47  --
2570.12/643.41	c  N dy 10033   2423625        50      4450         0     87093     31150   1126548     15.57     16.45  --
2612.05/653.93	c  N dy 10153   2448860        50      4450         0    108639     31150   1523494     15.57     16.45  --
2642.01/661.43	c  N dy 10244   2468866        50      4450         0     67838     31150    790821     15.57     17.28  --
2672.36/669.03	c  N dy 10392   2488956        50      4450         0     85098     31150   1117299     15.58     17.49  --
2708.31/678.06	c  N dy 10512   2508984        50      4450         0    102191     31150   1435630     15.59     18.58  --
2751.06/688.72	c  N dy 10640   2529025        50      4450         0     60476     31150    646552     15.59     16.43  --
2771.83/693.99	c  N dy 10737   2549092        50      4450         0     77614     31150    964918     15.60     16.90  --
2797.79/700.41	c  N dy 10748   2574043        50      4450         0     98592     31150   1322178     15.58     16.46  --
2823.36/706.89	c Following stats are for *FIRST FINISHED THREAD ONLY*
2823.36/706.89	c num threads              : 4          
2823.36/706.89	c restarts                 : 9677       
2823.36/706.89	c dynamic restarts         : 9653       
2823.36/706.89	c static restarts          : 24         
2823.36/706.89	c full restarts            : 4          
2823.36/706.89	c total simplify time      : 0.05       
2823.36/706.89	c learnts DL2              : 0          
2823.36/706.89	c learnts size 2           : 0          
2823.36/706.89	c learnts size 1           : 0           (0.00      % of vars)
2823.36/706.89	c filedLit time            : 0.68        (0.02      % time)
2823.36/706.89	c v-elim SatELite          : 0           (0.00      % vars)
2823.36/706.89	c SatELite time            : 817.20      (28.95     % time)
2823.36/706.89	c v-elim xor               : 0           (0.00      % vars)
2823.36/706.89	c xor elim time            : 0.08        (0.00      % time)
2823.36/706.89	c num binary xor trees     : 0          
2823.36/706.89	c binxor trees' crown      : 0           (nan       leafs/tree)
2823.36/706.89	c bin xor find time        : 0.00       
2823.36/706.89	c OTF clause improved      : 321773      (0.14      clauses/conflict)
2823.36/706.89	c OTF impr. size diff      : 323978      (1.01       lits/clause)
2823.36/706.89	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
2823.36/706.89	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
2823.36/706.89	c tried to recurMin cls    : 166850      (7.33       % of conflicts)
2823.36/706.89	c updated cache            : 107         (0.00       lits/tried recurMin)
2823.36/706.89	c unit cls received        : 0           (nan       % of units)
2823.36/706.89	c unit cls sent            : 0           (nan       % of units)
2823.36/706.89	c bin cls received         : 0          
2823.36/706.89	c bin cls sent             : 0          
2823.36/706.89	c clauses over max glue    : 0           (0.00      % of all clauses)
2823.36/706.89	c conflicts                : 2275587     (806.25    / sec)
2823.36/706.89	c decisions                : 2610700     (0.57      % random)
2823.36/706.89	c bogo-props               : 76048856264 (26944443.05 / sec)
2823.36/706.89	c conflict literals        : 41438810    (11.37     % deleted)
2823.36/706.89	c Memory used              : 445.46      MB
2823.36/706.89	c single-thread CPU time   : 2822.43     s
2823.36/706.89	c all-threads sum CPU time : 2822.44     s
2823.36/706.89	s SATISFIABLE
2823.36/706.89	v -1 2 3 4 5 6 7 -8 9 -10 -11 -12 -13 14 -15 16 17 -18 -19 20 21 -22 23 -24 25 -26 -27 -28 -29 30 31 -32 -33 -34 -35 36 37 38 -39 -40 41 -42 -43 44 -45 46 47 48 -49 -50 0

Verifier Data 

OK

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-3175461-1304125003/watcher-3175461-1304125003 -o /tmp/evaluation-result-3175461-1304125003/solver-3175461-1304125003 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175461-1304125003.cnf 

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

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


[startup+0 s]
/proc/loadavg: 6.31 7.71 7.90 6/179 32467
/proc/meminfo: memFree=24665748/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 413 0 0 0 0 0 0 0 18 0 4 0 602731079 52465664 352 33554432000 4194304 4650419 140733894534976 18446744073709551615 47874898081708 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 12809 352 303 112 0 7774 0
[pid=32467/tid=32469] ppid=32465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 0 0 0 0 0 0 0 0 19 0 4 0 602731079 52465664 352 33554432000 4194304 4650419 140733894534976 18446744073709551615 216000390198 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 602731079 52465664 352 33554432000 4194304 4650419 140733894534976 18446744073709551615 47874898081714 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 602731079 52465664 352 33554432000 4194304 4650419 140733894534976 18446744073709551615 215988648945 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.0853861 s]
/proc/loadavg: 6.31 7.71 7.90 6/179 32467
/proc/meminfo: memFree=24665748/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=281904 CPUtime=0.32 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 1211 0 0 0 32 0 0 0 20 0 4 0 602731079 288669696 1128 33554432000 4194304 4650419 140733894534976 18446744073709551615 4370892 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 70476 1128 366 112 0 65441 0
[pid=32467/tid=32469] ppid=32465 vsize=281904 CPUtime=0.07 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 166 0 0 0 7 0 0 0 20 0 4 0 602731079 288669696 1128 33554432000 4194304 4650419 140733894534976 18446744073709551615 4370723 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=281904 CPUtime=0.08 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 166 0 0 0 8 0 0 0 18 0 4 0 602731079 288669696 1128 33554432000 4194304 4650419 140733894534976 18446744073709551615 4371143 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=281904 CPUtime=0.07 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 281 0 0 0 7 0 0 0 21 0 4 0 602731079 288669696 1128 33554432000 4194304 4650419 140733894534976 18446744073709551615 4334297 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 281904

[startup+0.100382 s]
/proc/loadavg: 6.31 7.71 7.90 6/179 32467
/proc/meminfo: memFree=24665748/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=281904 CPUtime=0.38 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 1235 0 0 0 38 0 0 0 20 0 4 0 602731079 288669696 1152 33554432000 4194304 4650419 140733894534976 18446744073709551615 4371143 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 70476 1152 366 112 0 65441 0
[pid=32467/tid=32469] ppid=32465 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 168 0 0 0 9 0 0 0 20 0 4 0 602731079 288669696 1152 33554432000 4194304 4650419 140733894534976 18446744073709551615 4370491 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 168 0 0 0 9 0 0 0 18 0 4 0 602731079 288669696 1152 33554432000 4194304 4650419 140733894534976 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=281904 CPUtime=0.09 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 298 0 0 0 9 0 0 0 21 0 4 0 602731079 288669696 1152 33554432000 4194304 4650419 140733894534976 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 281904

[startup+0.300349 s]
/proc/loadavg: 6.31 7.71 7.90 6/179 32467
/proc/meminfo: memFree=24665748/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=284824 CPUtime=1.18 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 3295 0 0 0 118 0 0 0 20 0 4 0 602731079 291659776 2533 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 71206 2533 390 112 0 66171 0
[pid=32467/tid=32469] ppid=32465 vsize=284824 CPUtime=0.29 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 748 0 0 0 29 0 0 0 20 0 4 0 602731079 291659776 2533 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365280 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=284824 CPUtime=0.29 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 768 0 0 0 29 0 0 0 18 0 4 0 602731079 291659776 2533 33554432000 4194304 4650419 140733894534976 18446744073709551615 4332084 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=284824 CPUtime=0.29 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 584 0 0 0 29 0 0 0 21 0 4 0 602731079 291659776 2533 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284824

[startup+0.700278 s]
/proc/loadavg: 6.31 7.71 7.90 6/179 32467
/proc/meminfo: memFree=24665748/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=285432 CPUtime=2.78 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 5004 0 0 0 277 1 0 0 21 0 4 0 602731079 292282368 3226 33554432000 4194304 4650419 140733894534976 18446744073709551615 4313440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 71358 3226 390 112 0 66323 0
[pid=32467/tid=32469] ppid=32465 vsize=285432 CPUtime=0.69 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 1159 0 0 0 69 0 0 0 20 0 4 0 602731079 292282368 3226 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=285432 CPUtime=0.69 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 1111 0 0 0 69 0 0 0 18 0 4 0 602731079 292282368 3226 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=285432 CPUtime=0.69 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 1169 0 0 0 69 0 0 0 22 0 4 0 602731079 292282368 3226 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 285432

[startup+1.50114 s]
/proc/loadavg: 6.31 7.71 7.90 10/184 32472
/proc/meminfo: memFree=24640660/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=286480 CPUtime=5.97 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 9009 0 0 0 596 1 0 0 23 0 4 0 602731079 293355520 4776 33554432000 4194304 4650419 140733894534976 18446744073709551615 4438407 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 71620 4776 392 112 0 66585 0
[pid=32467/tid=32469] ppid=32465 vsize=286480 CPUtime=1.49 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 2071 0 0 0 149 0 0 0 23 0 4 0 602731079 293355520 4776 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=286480 CPUtime=1.49 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 1803 0 0 0 149 0 0 0 19 0 4 0 602731079 293355520 4776 33554432000 4194304 4650419 140733894534976 18446744073709551615 4313695 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=286480 CPUtime=1.48 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 1931 0 0 0 148 0 0 0 25 0 4 0 602731079 293355520 4776 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286480

[startup+3.10086 s]
/proc/loadavg: 6.31 7.71 7.90 9/184 32472
/proc/meminfo: memFree=24612164/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=284780 CPUtime=12.36 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 14821 0 0 0 1234 2 0 0 25 0 4 0 602731079 291614720 8910 33554432000 4194304 4650419 140733894534976 18446744073709551615 4334297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 71195 8910 392 112 0 66160 0
[pid=32467/tid=32469] ppid=32465 vsize=284780 CPUtime=3.08 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 3358 0 0 0 308 0 0 0 25 0 4 0 602731079 291614720 8910 33554432000 4194304 4650419 140733894534976 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=284780 CPUtime=3.09 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 3785 0 0 0 309 0 0 0 25 0 4 0 602731079 291614720 8910 33554432000 4194304 4650419 140733894534976 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=284780 CPUtime=3.07 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 3969 0 0 0 307 0 0 0 25 0 4 0 602731079 291614720 8910 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 284780

[startup+6.3003 s]
/proc/loadavg: 6.45 7.72 7.90 9/184 32472
/proc/meminfo: memFree=24561948/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=284408 CPUtime=25.14 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 22096 0 0 0 2510 4 0 0 25 0 4 0 602731079 291233792 11998 33554432000 4194304 4650419 140733894534976 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 71102 11998 392 112 0 66067 0
[pid=32467/tid=32469] ppid=32465 vsize=284408 CPUtime=6.29 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 5610 0 0 0 628 1 0 0 25 0 4 0 602731079 291233792 11998 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=284408 CPUtime=6.28 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 5224 0 0 0 628 0 0 0 25 0 4 0 602731079 291233792 11998 33554432000 4194304 4650419 140733894534976 18446744073709551615 4433090 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=284408 CPUtime=6.25 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 5732 0 0 0 625 0 0 0 25 0 4 0 602731079 291233792 11998 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 284408

[startup+12.7002 s]
/proc/loadavg: 6.57 7.72 7.90 9/184 32472
/proc/meminfo: memFree=24523648/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=294116 CPUtime=50.71 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 30581 0 0 0 5065 6 0 0 25 0 4 0 602731079 301174784 16245 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365357 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 73529 16245 392 112 0 68494 0
[pid=32467/tid=32469] ppid=32465 vsize=294116 CPUtime=12.68 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 7304 0 0 0 1267 1 0 0 25 0 4 0 602731079 301174784 16245 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=294116 CPUtime=12.69 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 7552 0 0 0 1268 1 0 0 25 0 4 0 602731079 301174784 16245 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=294116 CPUtime=12.62 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 8449 0 0 0 1261 1 0 0 25 0 4 0 602731079 301174784 16245 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 294116

[startup+25.5009 s]
/proc/loadavg: 6.97 7.75 7.91 9/184 32472
/proc/meminfo: memFree=24475772/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=291512 CPUtime=101.84 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 46385 0 0 0 10174 10 0 0 25 0 4 0 602731079 298508288 20978 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 72878 20978 392 112 0 67843 0
[pid=32467/tid=32469] ppid=32465 vsize=291512 CPUtime=25.49 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 11927 0 0 0 2547 2 0 0 25 0 4 0 602731079 298508288 20978 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=291512 CPUtime=25.49 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 10821 0 0 0 2547 2 0 0 25 0 4 0 602731079 298508288 20978 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=291512 CPUtime=25.35 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 12363 0 0 0 2533 2 0 0 25 0 4 0 602731079 298508288 20978 33554432000 4194304 4650419 140733894534976 18446744073709551615 4439099 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 291512

[startup+51.1005 s]
/proc/loadavg: 7.32 7.77 7.91 9/184 32473
/proc/meminfo: memFree=24421452/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=285612 CPUtime=204.09 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 70445 0 0 0 20393 16 0 0 25 0 4 0 602731079 292466688 23247 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366841 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 71403 23247 392 112 0 66368 0
[pid=32467/tid=32469] ppid=32465 vsize=285612 CPUtime=51.09 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 18026 0 0 0 5106 3 0 0 25 0 4 0 602731079 292466688 23247 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=285612 CPUtime=51.08 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 16695 0 0 0 5105 3 0 0 25 0 4 0 602731079 292466688 23247 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=285612 CPUtime=50.81 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 18000 0 0 0 5077 4 0 0 25 0 4 0 602731079 292466688 23247 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 285612

[startup+102.307 s]
/proc/loadavg: 7.70 7.80 7.91 9/184 32475
/proc/meminfo: memFree=24320252/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=308212 CPUtime=408.64 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 105699 0 0 0 40835 29 0 0 25 0 4 0 602731079 315609088 29615 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366816 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 77053 29615 392 112 0 72018 0
[pid=32467/tid=32469] ppid=32465 vsize=308212 CPUtime=102.3 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 26592 0 0 0 10224 6 0 0 25 0 4 0 602731079 315609088 29615 33554432000 4194304 4650419 140733894534976 18446744073709551615 4339837 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=308212 CPUtime=102.28 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 23737 0 0 0 10223 5 0 0 25 0 4 0 602731079 315609088 29615 33554432000 4194304 4650419 140733894534976 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=308212 CPUtime=101.73 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 29390 0 0 0 10165 8 0 0 25 0 4 0 602731079 315609088 29615 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 308212

[startup+162.301 s]

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

/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 58035 0 0 0 34211 18 0 0 25 0 4 0 602731079 347308032 44903 33554432000 4194304 4650419 140733894534976 18446744073709551615 4367236 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=339168 CPUtime=342.29 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 55077 0 0 0 34210 19 0 0 25 0 4 0 602731079 347308032 44903 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366301 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=339168 CPUtime=340.42 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 61367 0 0 0 34020 22 0 0 25 0 4 0 602731079 347308032 44903 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1367.31
Current children cumulated vsize (KiB) 339168

[startup+402.301 s]
/proc/loadavg: 8.11 8.01 7.96 9/184 32492
/proc/meminfo: memFree=24106856/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=327828 CPUtime=1607 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 247018 0 0 0 160615 85 0 0 25 0 4 0 602731079 335695872 53104 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 81957 53104 392 112 0 76922 0
[pid=32467/tid=32469] ppid=32465 vsize=327828 CPUtime=402.29 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 62210 0 0 0 40210 19 0 0 25 0 4 0 602731079 335695872 53104 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365361 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=327828 CPUtime=402.29 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 59854 0 0 0 40207 22 0 0 25 0 4 0 602731079 335695872 53104 33554432000 4194304 4650419 140733894534976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=327828 CPUtime=400.1 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 65765 0 0 0 39987 23 0 0 25 0 4 0 602731079 335695872 53104 33554432000 4194304 4650419 140733894534976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1607
Current children cumulated vsize (KiB) 327828

[startup+462.301 s]
/proc/loadavg: 8.08 8.02 7.96 9/184 32493
/proc/meminfo: memFree=24098892/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=324112 CPUtime=1846.68 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 272816 0 0 0 184573 95 0 0 25 0 4 0 602731079 331890688 52067 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 81028 52068 392 112 0 75993 0
[pid=32467/tid=32469] ppid=32465 vsize=324112 CPUtime=462.29 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 67045 0 0 0 46207 22 0 0 25 0 4 0 602731079 331890688 52068 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365343 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=324112 CPUtime=462.28 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 63785 0 0 0 46205 23 0 0 25 0 4 0 602731079 331890688 52068 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=324112 CPUtime=459.77 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 77079 0 0 0 45952 25 0 0 25 0 4 0 602731079 331890688 52068 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1846.68
Current children cumulated vsize (KiB) 324112

[startup+522.301 s]
/proc/loadavg: 8.14 8.05 7.97 9/184 32495
/proc/meminfo: memFree=24062396/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=389920 CPUtime=2086.35 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 292670 0 0 0 208529 106 0 0 25 0 4 0 602731079 399278080 58649 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 97480 58649 392 112 0 92445 0
[pid=32467/tid=32469] ppid=32465 vsize=389920 CPUtime=522.3 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 70692 0 0 0 52206 24 0 0 25 0 4 0 602731079 399278080 58649 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=389920 CPUtime=522.28 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 68346 0 0 0 52203 25 0 0 25 0 4 0 602731079 399278080 58649 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=389920 CPUtime=519.46 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 82910 0 0 0 51917 29 0 0 25 0 4 0 602731079 399278080 58649 33554432000 4194304 4650419 140733894534976 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2086.35
Current children cumulated vsize (KiB) 389920

[startup+582.301 s]
/proc/loadavg: 8.12 8.05 7.98 9/184 32496
/proc/meminfo: memFree=24016624/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=390140 CPUtime=2326.02 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 310783 0 0 0 232488 114 0 0 25 0 4 0 602731079 399503360 59606 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 97535 59606 392 112 0 92500 0
[pid=32467/tid=32469] ppid=32465 vsize=390140 CPUtime=582.3 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 76729 0 0 0 58204 26 0 0 25 0 4 0 602731079 399503360 59606 33554432000 4194304 4650419 140733894534976 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=390140 CPUtime=582.28 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 72186 0 0 0 58200 28 0 0 25 0 4 0 602731079 399503360 59606 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=390140 CPUtime=579.12 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 86532 0 0 0 57882 30 0 0 25 0 4 0 602731079 399503360 59606 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365323 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2326.02
Current children cumulated vsize (KiB) 390140

[startup+642.301 s]
/proc/loadavg: 8.11 8.06 7.99 9/184 32498
/proc/meminfo: memFree=24018952/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=390420 CPUtime=2565.73 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 328730 0 0 0 256451 122 0 0 25 0 4 0 602731079 399790080 60455 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366931 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 97605 60455 392 112 0 92570 0
[pid=32467/tid=32469] ppid=32465 vsize=390420 CPUtime=642.31 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 84834 0 0 0 64203 28 0 0 25 0 4 0 602731079 399790080 60455 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=390420 CPUtime=642.29 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 75729 0 0 0 64199 30 0 0 25 0 4 0 602731079 399790080 60455 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=390420 CPUtime=638.8 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 88553 0 0 0 63849 31 0 0 25 0 4 0 602731079 399790080 60455 33554432000 4194304 4650419 140733894534976 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.73
Current children cumulated vsize (KiB) 390420

[startup+702.301 s]
/proc/loadavg: 8.17 8.08 8.00 9/184 32500
/proc/meminfo: memFree=24023624/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=456148 CPUtime=2805.39 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 342793 0 0 0 280409 130 0 0 25 0 4 0 602731079 467095552 62334 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 114037 62334 392 112 0 109002 0
[pid=32467/tid=32469] ppid=32465 vsize=456148 CPUtime=702.3 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89172 0 0 0 70199 31 0 0 25 0 4 0 602731079 467095552 62334 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365237 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=456148 CPUtime=702.29 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 80429 0 0 0 70196 33 0 0 25 0 4 0 602731079 467095552 62334 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=456148 CPUtime=698.48 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89107 0 0 0 69816 32 0 0 25 0 4 0 602731079 467095552 62334 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 456148

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

[startup+703.9 s]
/proc/loadavg: 8.16 8.07 8.00 9/184 32500
/proc/meminfo: memFree=24018044/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=456148 CPUtime=2811.8 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 343019 0 0 0 281050 130 0 0 25 0 4 0 602731079 467095552 62560 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366920 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 114037 62560 392 112 0 109002 0
[pid=32467/tid=32469] ppid=32465 vsize=456148 CPUtime=703.91 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89250 0 0 0 70360 31 0 0 25 0 4 0 602731079 467095552 62560 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=456148 CPUtime=703.9 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 80494 0 0 0 70357 33 0 0 25 0 4 0 602731079 467095552 62560 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=456148 CPUtime=700.07 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89107 0 0 0 69975 32 0 0 25 0 4 0 602731079 467095552 62560 33554432000 4194304 4650419 140733894534976 18446744073709551615 4334251 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2811.8
Current children cumulated vsize (KiB) 456148

[startup+705.501 s]
/proc/loadavg: 8.16 8.07 8.00 9/184 32500
/proc/meminfo: memFree=24016184/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=456148 CPUtime=2818.17 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 343228 0 0 0 281687 130 0 0 25 0 4 0 602731079 467095552 62769 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 114037 62769 392 112 0 109002 0
[pid=32467/tid=32469] ppid=32465 vsize=456148 CPUtime=705.5 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89333 0 0 0 70519 31 0 0 25 0 4 0 602731079 467095552 62769 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=456148 CPUtime=705.49 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 80553 0 0 0 70516 33 0 0 25 0 4 0 602731079 467095552 62769 33554432000 4194304 4650419 140733894534976 18446744073709551615 4313456 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=456148 CPUtime=701.66 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89107 0 0 0 70134 32 0 0 25 0 4 0 602731079 467095552 62769 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2818.17
Current children cumulated vsize (KiB) 456148

[startup+706.301 s]
/proc/loadavg: 8.16 8.07 8.00 9/184 32500
/proc/meminfo: memFree=24014076/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=456148 CPUtime=2821.36 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 343337 0 0 0 282006 130 0 0 25 0 4 0 602731079 467095552 62878 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 114037 62878 392 112 0 109002 0
[pid=32467/tid=32469] ppid=32465 vsize=456148 CPUtime=706.3 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89375 0 0 0 70599 31 0 0 25 0 4 0 602731079 467095552 62878 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366865 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=456148 CPUtime=706.29 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 80587 0 0 0 70596 33 0 0 25 0 4 0 602731079 467095552 62878 33554432000 4194304 4650419 140733894534976 18446744073709551615 4334120 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=456148 CPUtime=702.45 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89107 0 0 0 70213 32 0 0 25 0 4 0 602731079 467095552 62878 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2821.36
Current children cumulated vsize (KiB) 456148

[startup+706.701 s]
/proc/loadavg: 8.16 8.07 8.00 9/184 32500
/proc/meminfo: memFree=24014076/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=456148 CPUtime=2822.96 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) R 32465 32467 32427 0 -1 4202496 343385 0 0 0 282166 130 0 0 25 0 4 0 602731079 467095552 62926 33554432000 4194304 4650419 140733894534976 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 114037 62926 392 112 0 109002 0
[pid=32467/tid=32469] ppid=32465 vsize=456148 CPUtime=706.7 cores=1,3,5,7
/proc/32467/task/32469/stat : 32469 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89396 0 0 0 70639 31 0 0 25 0 4 0 602731079 467095552 62926 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366950 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=456148 CPUtime=706.69 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 80600 0 0 0 70636 33 0 0 25 0 4 0 602731079 467095552 62926 33554432000 4194304 4650419 140733894534976 18446744073709551615 4366931 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=32467/tid=32471] ppid=32465 vsize=456148 CPUtime=702.85 cores=1,3,5,7
/proc/32467/task/32471/stat : 32471 (strangenight1-m) R 32465 32467 32427 0 -1 4202560 89107 0 0 0 70253 32 0 0 25 0 4 0 602731079 467095552 62926 33554432000 4194304 4650419 140733894534976 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2822.96
Current children cumulated vsize (KiB) 456148

[startup+706.901 s]
/proc/loadavg: 8.16 8.07 8.00 9/184 32500
/proc/meminfo: memFree=24014076/32950940 swapFree=67111364/67111528
[pid=32467] ppid=32465 vsize=0 CPUtime=2823.74 cores=1,3,5,7
/proc/32467/stat : 32467 (strangenight1-m) Z 32465 32467 32427 0 -1 4203548 343418 0 0 0 282243 131 0 0 25 0 2 0 602731079 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/32467/statm: 0 0 0 0 0 0 0
[pid=32467/tid=32470] ppid=32465 vsize=0 CPUtime=706.89 cores=1,3,5,7
/proc/32467/task/32470/stat : 32470 (strangenight1-m) R 32465 32467 32427 0 -1 4203588 80608 0 0 0 70655 34 0 0 25 0 2 0 602731079 0 0 33554432000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 2823.74
Current children cumulated vsize (KiB) 0

Child status: 10
Real time (s): 706.906
CPU time (s): 2823.75
CPU user time (s): 2822.44
CPU system time (s): 1.3158
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 456148

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2822.44
system time used= 1.3158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343418
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= 388
involuntary context switches= 18764

runsolver used 1.07384 second user time and 2.79657 second system time

The end

Launcher Data 

Begin job on node117 at 2011-04-30 02:56:43
IDJOB=3175461
IDBENCH=83079
IDSOLVER=1588
FILE ID=node117/3175461-1304125003
RUNJOBID= node117-1304125003-32446
PBS_JOBID= 13170762
Free space on /tmp= 71680 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k7-r89-v50-c4450-S1496316430-079.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175461-1304125003/watcher-3175461-1304125003 -o /tmp/evaluation-result-3175461-1304125003/solver-3175461-1304125003 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175461-1304125003.cnf

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

MD5SUM BENCH= 9105de4ac86db082b0add111004ae308
RANDOM SEED=1923944994

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

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

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


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      24666160 kB
Buffers:       1867368 kB
Cached:        5792744 kB
SwapCached:        160 kB
Active:         691712 kB
Inactive:      7032796 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      24666160 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:           12632 kB
Writeback:           8 kB
AnonPages:       64392 kB
Mapped:          14936 kB
Slab:           495600 kB
PageTables:       4160 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS:   217300 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= 71668 MiB
End job on node117 at 2011-04-30 03:08:30