Trace number 3369070

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-mt (fixed)SAT 2834.32 710.613

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 2.9.0
0.00/0.01	c compiled with gcc version 4.4.5
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3369070-1305411421.cnf'
0.00/0.01	c -- header says num vars:             50
0.00/0.01	c -- header says num clauses:        4450
0.00/0.01	c -- clauses added:            0 learnts,         4450 normals,            0 xors
0.00/0.01	c -- vars added         50
0.00/0.01	c Parsing time:  0.01 s
0.00/0.01	c  N st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.37/0.10	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.37
0.37/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.37/0.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.37/0.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.37/0.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
0.37/0.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.37/0.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
0.37/0.12	c Finding binary XORs  T:     0.00 s  found:       0
0.37/0.12	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.37/0.12	c calculated reachability. Time: 0.00
0.37/0.12	c Calc default polars -  time:   0.00 s pos:      28 undec:       0 neg:      22
0.37/0.12	c =========================================================================================
0.37/0.12	c types(t): F = full restart, N = normal restart
0.37/0.12	c types(t): S = simplification begin/end, E = solution found
0.37/0.12	c restart types(rt): st = static, dy = dynamic
0.37/0.12	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.37/0.12	c  B st     0         0        50      4450         0         0     31150         0   no data   no data  --
0.77/0.21	c  N dy    10      4007        50      4450         0      3446     31150     63665     15.77     17.15  --
1.17/0.33	c  N dy    22      8084        50      4450         0      4837     31150     84547     15.74     16.58  --
1.57/0.46	c  N dy    36     12253        50      4450         0      4807     31150     79825     15.64     16.47  --
2.37/0.63	c  N dy    49     16610        50      4450         0      8574     31150    147827     15.58     16.47  --
3.57/0.91	c  N dy    60     23419        50      4450         0      9551     31150    155729     15.36     16.24  --
3.57/0.99	c  F st    73     25000        50      4450         0     10928     31150    181705     15.46     14.32  --
4.41/1.14	c  N st    78     28300        50      4450         0      7886     31150    122120     15.46   no data  --
4.76/1.21	c  S st    79     30001        50      4450         0      9335     31150    148535     15.46   no data  --
4.76/1.25	c  S st    79     30505        50      4450         0      9786     31150    157169     15.46   no data  --
4.76/1.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.76/1.25	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4.76/1.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
4.76/1.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.76/1.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
4.76/1.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.38/2.20	c lits-rem:      1262  cl-subs:     1532  v-elim:      0  v-fix:    0  time:  3.74 s
9.54/2.42	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 0.90
9.54/2.42	c calculated reachability. Time: 0.00
9.54/2.42	c  N dy    79     30505        50      4450         0      8254     31150    130496     15.46   no data  --
12.34/3.11	c  N dy   101     45759        50      4450         0     14658     31150    230065     15.01     12.48  --
12.34/3.11	c  S st   101     45759        50      4450         0     14658     31150    230065     15.01     12.48  --
12.34/3.16	c  S st   101     46264        50      4450         0     15106     31150    238498     15.01   no data  --
12.34/3.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
12.34/3.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
12.34/3.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
12.34/3.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
12.34/3.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
12.34/3.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
12.34/3.17	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
17.57/4.43	c lits-rem:      1567  cl-subs:     3321  v-elim:      0  v-fix:    0  time:  5.03 s
17.57/4.43	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
17.57/4.44	c vivif2 --  cl tried    11785 cl shrink        0 lits rem          0 time: 0.01
18.71/4.72	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.11
18.71/4.72	c calculated reachability. Time: 0.00
18.71/4.72	c  N dy   101     46264        50      4450         0     11785     31150    185556     15.01   no data  --
19.91/5.00	c  N dy   136     51089        50      4450         0      8521     31150    121048     15.17     15.99  --
20.31/5.19	c  N dy   156     55105        50      4450         0     11982     31150    184469     15.25     16.09  --
21.54/5.45	c  N dy   195     59150        50      4450         0     15509     31150    251268     15.39     17.25  --
22.71/5.71	c  N dy   214     63431        50      4450         0     10744     31150    154827     15.43     16.26  --
23.91/6.06	c  N dy   243     69396        50      4450         0     15942     31150    250504     15.50     15.92  --
23.91/6.06	c  S st   243     69396        50      4450         0     15942     31150    250504     15.50     15.92  --
24.31/6.10	c  S st   243     69897        50      4450         0     16394     31150    259200     15.50   no data  --
24.31/6.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.31/6.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
24.31/6.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
24.31/6.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.31/6.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.31/6.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
24.31/6.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.69/7.25	c lits-rem:      1701  cl-subs:     2169  v-elim:      0  v-fix:    0  time:  4.52 s
28.69/7.25	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
28.69/7.25	c vivif2 --  cl tried    14225 cl shrink        0 lits rem          0 time: 0.01
29.89/7.57	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.28
29.89/7.57	c calculated reachability. Time: 0.00
29.89/7.57	c  N dy   243     69897        50      4450         0     14225     31150    218298     15.50   no data  --
31.88/8.07	c  N dy   258     78236        50      4450         0     12083     31150    169067     15.42     16.24  --
33.08/8.37	c  N dy   259     84203        50      4450         0     17213     31150    258486     15.33     16.16  --
34.28/8.63	c  F st   279     87500        50      4450         0     20100     31150    312085     15.37     14.55  --
35.12/8.82	c  N st   284     90796        50      4450         0     12658     31150    174522     15.37   no data  --
38.26/9.67	c  N dy   303    104845        50      4450         0     13602     31150    182664     15.26     12.65  --
38.26/9.67	c  S st   303    104845        50      4450         0     13602     31150    182664     15.26     12.65  --
38.66/9.71	c  S st   303    105349        50      4450         0     14047     31150    191196     15.26   no data  --
38.66/9.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
38.66/9.71	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
38.66/9.71	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
38.66/9.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
38.66/9.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
38.66/9.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
38.66/9.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
41.85/10.59	c lits-rem:       651  cl-subs:      909  v-elim:      0  v-fix:    0  time:  3.48 s
41.85/10.59	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
41.85/10.59	c vivif2 --  cl tried    13138 cl shrink        0 lits rem          0 time: 0.01
43.05/10.90	c asymm  cl-useful: 0/4450/4450 lits-rem:0 time: 1.22
43.05/10.90	c calculated reachability. Time: 0.00
43.05/10.90	c  N dy   303    105349        50      4450         0     13138     31150    176617     15.26   no data  --
45.44/11.42	c  N dy   354    112754        50      4450         0     19576     31150    296943     15.35     16.23  --
47.87/12.09	c  N dy   388    121793        50      4450         0     15372     31150    207553     15.36     16.21  --
50.62/12.70	c  N dy   402    132051        50      4450         0     24260     31150    365652     15.29     16.22  --
53.82/13.55	c  N dy   447    143528        50      4450         0     21252     31150    309281     15.31     16.13  --
57.40/14.48	c  N dy   509    154201        50      4450         0     16691     31150    220050     15.37     16.18  --
58.60/14.73	c  S st   519    158023        50      4450         0     20000     31150    280012     15.37   no data  --
58.60/14.78	c  S st   519    158526        50      4450         0     20454     31150    288691     15.37   no data  --
58.60/14.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
58.60/14.79	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
58.60/14.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
59.00/14.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.00/14.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.00/14.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
59.00/14.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
63.79/16.06	c lits-rem:      1212  cl-subs:     1998  v-elim:      0  v-fix:    0  time:  5.01 s
63.79/16.06	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
63.79/16.06	c vivif2 --  cl tried    18456 cl shrink        0 lits rem          0 time: 0.01
65.42/16.42	c asymm  cl-useful: 0/3837/4450 lits-rem:0 time: 1.44
65.42/16.42	c calculated reachability. Time: 0.00
65.42/16.42	c  N dy   519    158526        50      4450         0     18456     31150    252625     15.37   no data  --
69.81/17.58	c  N dy   566    171081        50      4450         0     14724     31150    178844     15.36     16.27  --
73.36/18.46	c  N dy   588    183401        50      4450         0     25352     31150    368689     15.32     16.15  --
77.76/19.59	c  N dy   664    195147        50      4450         0     20055     31150    269701     15.39     17.09  --
83.73/21.03	c  N dy   735    208900        50      4450         0     31964     31150    487051     15.41     16.24  --
88.51/22.21	c  N dy   778    222541        50      4450         0     27341     31150    391723     15.41     16.31  --
94.51/23.73	c  N dy   837    237583        50      4450         0     23064     31150    306662     15.43     16.26  --
94.51/23.74	c  S st   840    237791        50      4450         0     23243     31150    310126     15.43   no data  --
94.91/23.81	c  S st   840    238294        50      4450         0     23689     31150    318798     15.43   no data  --
94.91/23.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
94.91/23.81	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
94.91/23.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.02
94.91/23.82	c bin-w-bin subsume rem            0 bins  time:  0.00 s
94.91/23.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
94.91/23.82	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
94.91/23.82	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
101.28/25.43	c lits-rem:      1351  cl-subs:     1953  v-elim:      0  v-fix:    0  time:  6.40 s
101.28/25.43	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
101.28/25.43	c vivif2 --  cl tried    21736 cl shrink        0 lits rem          0 time: 0.01
101.68/25.51	c asymm  cl-useful: 0/613/4450 lits-rem:0 time: 0.30
101.68/25.51	c calculated reachability. Time: 0.00
101.68/25.51	c  N dy   840    238294        50      4450         0     21736     31150    283279     15.43   no data  --
108.47/27.27	c  N dy   938    253607        50      4450         0     35033     31150    531729     15.49     17.67  --
115.24/28.97	c  N dy  1011    270943        50      4450         0     31922     31150    461272     15.51     16.41  --
122.87/30.87	c  N dy  1100    288312        50      4450         0     27969     31150    382952     15.55     16.46  --
130.81/32.81	c  F st  1136    306250        50      4450         0     23554     31150    290813     15.52     13.76  --
130.81/32.87	c  N st  1138    306875        50      4450         0     24088     31150    300817     15.52   no data  --
140.01/35.17	c  N dy  1160    328508        50      4450         0     22056     31150    257697     15.47     16.35  --
148.79/37.31	c  N dy  1218    348555        50      4450         0     39316     31150    565247     15.44     17.14  --
153.18/38.46	c  S st  1270    357443        50      4450         0     25473     31150    316100     15.46   no data  --
153.59/38.53	c  S st  1270    357947        50      4450         0     25917     31150    324618     15.46   no data  --
153.59/38.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
153.59/38.53	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
153.59/38.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.03
153.59/38.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
153.59/38.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.59/38.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
153.59/38.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
160.32/40.23	c lits-rem:       814  cl-subs:     1358  v-elim:      0  v-fix:    0  time:  6.72 s
160.32/40.23	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
160.32/40.24	c vivif2 --  cl tried    24559 cl shrink        0 lits rem          0 time: 0.02
161.53/40.58	c asymm  cl-useful: 0/3071/4450 lits-rem:0 time: 1.36
161.53/40.58	c calculated reachability. Time: 0.00
161.53/40.58	c  N dy  1270    357947        50      4450         0     24559     31150    300285     15.46   no data  --
170.72/42.86	c  N dy  1332    378019        50      4450         0     41841     31150    609874     15.45     16.46  --
180.66/45.33	c  N dy  1369    398098        50      4450         0     36695     31150    500619     15.38     18.07  --
192.66/48.38	c  N dy  1474    419171        50      4450         0     31686     31150    409238     15.41     16.23  --
204.20/51.20	c  N dy  1484    442824        50      4450         0     27917     31150    334169     15.33     16.25  --
224.14/56.26	c  N dy  1601    485775        50      4450         0     39784     31150    525092     15.28     16.10  --
237.30/59.56	c  N dy  1782    505808        50      4450         0     31484     31150    392502     15.35     16.86  --
249.28/62.54	c  N dy  1881    525902        50      4450         0     48822     31150    711119     15.38     17.16  --
256.05/64.23	c  S st  1925    536921        50      4450         0     31643     31150    381789     15.38     13.35  --
256.45/64.31	c  S st  1925    537424        50      4450         0     32081     31150    390116     15.38   no data  --
256.45/64.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
256.45/64.32	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
256.45/64.33	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
256.45/64.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
256.45/64.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
256.45/64.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
256.45/64.34	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
264.03/66.23	c lits-rem:       720  cl-subs:     1713  v-elim:      0  v-fix:    0  time:  7.54 s
264.03/66.23	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
264.03/66.23	c vivif2 --  cl tried    30368 cl shrink        0 lits rem          0 time: 0.02
264.83/66.47	c asymm  cl-useful: 0/1379/4450 lits-rem:0 time: 0.93
264.83/66.47	c calculated reachability. Time: 0.00
264.83/66.47	c  N dy  1925    537424        50      4450         0     30368     31150    360520     15.38   no data  --
278.79/69.94	c  N dy  2073    560669        50      4450         0     50486     31150    733936     15.42     16.49  --
290.75/72.92	c  N dy  2127    581488        50      4450         0     40770     31150    531789     15.39     16.26  --
307.50/77.10	c  N dy  2269    604083        50      4450         0     31941     31150    373160     15.42     16.27  --
322.27/80.80	c  N dy  2358    630053        50      4450         0     54216     31150    773042     15.41     16.25  --
336.23/84.34	c  N dy  2498    650698        50      4450         0     42849     31150    572597     15.44     16.27  --
354.58/88.97	c  N dy  2605    673692        50      4450         0     32525     31150    370969     15.45     16.27  --
373.72/93.79	c  N dy  2727    705072        50      4450         0     59557     31150    862925     15.45     16.28  --
388.07/97.38	c  N dy  2844    725096        50      4450         0     45874     31150    614183     15.47     16.83  --
405.62/101.71	c  N dy  2973    745156        50      4450         0     63162     31150    937383     15.50     17.87  --
417.19/104.68	c  N dy  3046    765158        50      4450         0     48393     31150    641415     15.49     17.15  --
435.54/109.23	c  N dy  3165    785215        50      4450         0     33002     31150    359827     15.51     16.87  --
447.14/112.14	c  N dy  3253    805425        50      4450         0     50386     31150    677841     15.51     16.33  --
447.90/112.30	c  S st  3258    806138        50      4450         0     50996     31150    689164     15.51     15.60  --
448.30/112.44	c  S st  3258    806642        50      4450         0     51455     31150    698090     15.51   no data  --
448.30/112.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
448.30/112.45	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
448.30/112.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.07
448.30/112.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
448.30/112.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
448.30/112.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
448.30/112.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
473.46/118.71	c lits-rem:      2875  cl-subs:     6124  v-elim:      0  v-fix:    0  time: 24.82 s
473.46/118.71	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
473.46/118.72	c vivif2 --  cl tried    45331 cl shrink        0 lits rem          0 time: 0.03
474.22/118.93	c asymm  cl-useful: 0/1045/4450 lits-rem:0 time: 0.85
474.22/118.93	c calculated reachability. Time: 0.00
474.22/118.93	c  N dy  3258    806642        50      4450         0     45331     31150    589507     15.51   no data  --
492.17/123.47	c  N dy  3386    826686        50      4450         0     62594     31150    909520     15.53     16.37  --
506.93/127.16	c  N dy  3502    846913        50      4450         0     46898     31150    611982     15.55     16.46  --
522.49/131.08	c  N dy  3557    867623        50      4450         0     64550     31150    928956     15.54     16.39  --
538.05/134.94	c  N dy  3665    888485        50      4450         0     48339     31150    626525     15.55     16.47  --
555.60/139.35	c  N dy  3759    909370        50      4450         0     66222     31150    955380     15.56     16.55  --
570.75/143.18	c  N dy  3870    929449        50      4450         0     48350     31150    625154     15.58     18.21  --
587.11/147.26	c  N dy  3932    949452        50      4450         0     65502     31150    938153     15.57     16.40  --
605.50/151.87	c  N dy  4022    974031        50      4450         0     50631     31150    652323     15.57     16.42  --
621.42/155.88	c  N dy  4079    994032        50      4450         0     67816     31150    962884     15.56     16.71  --
638.57/160.18	c  N dy  4204   1014128        50      4450         0     48247     31150    608825     15.58     16.52  --
656.52/164.68	c  N dy  4326   1034575        50      4450         0     65860     31150    939338     15.60     16.44  --
673.27/168.80	c  N dy  4370   1054595        50      4450         0     45137     31150    531619     15.59     17.46  --
685.23/171.87	c  F st  4438   1071876        50      4450         0     59903     31150    802468     15.59     13.27  --
688.03/172.58	c  N st  4443   1075175        50      4450         0     62718     31150    853862     15.59   no data  --
709.57/177.93	c  N dy  4524   1095835        50      4450         0     41801     31150    467222     15.59     16.52  --
724.32/181.60	c  N dy  4611   1115877        50      4450         0     59054     31150    784959     15.59     17.31  --
746.66/187.24	c  N dy  4693   1138231        50      4450         0     78254     31150   1136171     15.59     16.48  --
797.32/199.99	c  N dy  4749   1209965        50      4450         0     59471     31150    760277     15.49     11.40  --
797.32/199.99	c  S st  4749   1209965        50      4450         0     59471     31150    760277     15.49     11.40  --
798.56/200.24	c  S st  4749   1210466        50      4450         0     59919     31150    768840     15.49   no data  --
798.56/200.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
798.56/200.24	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
798.56/200.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.14
798.91/200.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
798.91/200.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
798.91/200.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
798.91/200.31	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
868.76/217.86	c lits-rem:      1637  cl-subs:     7756  v-elim:      0  v-fix:    0  time: 70.01 s
868.76/217.87	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
868.76/217.87	c vivif2 --  cl tried    52163 cl shrink        0 lits rem          0 time: 0.04
870.31/218.27	c asymm  cl-useful: 0/724/4450 lits-rem:0 time: 1.56
870.31/218.27	c calculated reachability. Time: 0.00
870.31/218.27	c  N dy  4749   1210466        50      4450         0     52163     31150    652237     15.49   no data  --
895.82/224.62	c  N dy  4872   1230580        50      4450         0     69437     31150    974386     15.51     16.33  --
921.00/230.95	c  N dy  5007   1252867        50      4450         0     48123     31150    564009     15.52     16.39  --
936.12/234.79	c  N dy  5068   1272894        50      4450         0     65194     31150    869657     15.51     17.00  --
966.03/242.28	c  N dy  5193   1297353        50      4450         0     44604     31150    491486     15.52     16.44  --
985.58/247.18	c  N dy  5306   1317361        50      4450         0     61874     31150    810537     15.53     17.30  --
1012.30/253.85	c  N dy  5406   1337966        50      4450         0     79568     31150   1135819     15.54     16.46  --
1034.24/259.36	c  N dy  5568   1357992        50      4450         0     54108     31150    668572     15.56     16.87  --
1051.79/263.73	c  N dy  5630   1378030        50      4450         0     71179     31150    972250     15.55     17.52  --
1078.12/270.33	c  N dy  5756   1399479        50      4450         0     46013     31150    505288     15.56     16.39  --
1093.67/274.22	c  N dy  5820   1419558        50      4450         0     63167     31150    815103     15.56     17.45  --
1118.44/280.43	c  N dy  5940   1441776        50      4450         0     82281     31150   1167324     15.57     16.39  --
1139.93/285.85	c  N dy  6020   1464878        50      4450         0     57478     31150    700904     15.56     16.44  --
1157.92/290.32	c  N dy  6100   1485494        50      4450         0     75027     31150   1023292     15.56     16.48  --
1183.42/296.70	c  N dy  6179   1506327        50      4450         0     47480     31150    517625     15.57     16.42  --
1200.16/300.96	c  N dy  6283   1526634        50      4450         0     64885     31150    839656     15.58     16.48  --
1224.89/307.10	c  N dy  6411   1546667        50      4450         0     82071     31150   1162913     15.59     18.31  --
1252.01/313.90	c  N dy  6518   1570226        50      4450         0     55940     31150    664828     15.59     16.51  --
1273.95/319.45	c  N dy  6591   1595416        50      4450         0     77483     31150   1052721     15.59     16.42  --
1298.73/325.69	c  N dy  6665   1615439        50      4450         0     47547     31150    506978     15.58     17.81  --
1315.87/329.94	c  N dy  6791   1635484        50      4450         0     64672     31150    827733     15.59     16.89  --
1339.36/335.84	c  N dy  6909   1655510        50      4450         0     81857     31150   1149296     15.60     16.94  --
1366.09/342.55	c  N dy  7017   1675531        50      4450         0     51124     31150    566466     15.61     17.12  --
1385.64/347.43	c  N dy  7138   1697373        50      4450         0     69821     31150    913255     15.62     16.66  --
1400.00/351.07	c  S st  7185   1710466        50      4450         0     81026     31150   1116968     15.62   no data  --
1401.19/351.34	c  S st  7185   1710966        50      4450         0     81461     31150   1125520     15.62   no data  --
1401.19/351.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1401.19/351.34	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1401.19/351.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.15
1401.59/351.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1401.59/351.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1401.59/351.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
1401.59/351.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1541.58/386.54	c lits-rem:      5415  cl-subs:    11019  v-elim:      0  v-fix:    0  time: 140.07 s
1541.58/386.54	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
1541.58/386.56	c vivif2 --  cl tried    70442 cl shrink        0 lits rem          0 time: 0.06
1543.18/386.96	c asymm  cl-useful: 0/501/4450 lits-rem:0 time: 1.63
1543.18/386.97	c calculated reachability. Time: 0.00
1543.18/386.97	c  N dy  7185   1710966        50      4450         0     70442     31150    927691     15.62   no data  --
1571.49/394.07	c  N dy  7244   1732887        50      4450         0     89062     31150   1255982     15.61     16.71  --
1601.80/401.61	c  N dy  7367   1752983        50      4450         0     58308     31150    695047     15.62     16.44  --
1632.52/409.32	c  N dy  7511   1772984        50      4450         0     75485     31150   1020380     15.63     17.34  --
1723.46/432.15	c  N dy  7544   1858261        50      4450         0     98012     31150   1326638     15.53     16.46  --
1746.99/438.00	c  N dy  7634   1878442        50      4450         0     65660     31150    816488     15.54     16.44  --
1777.31/445.69	c  N dy  7788   1899066        50      4450         0     83398     31150   1152096     15.55     16.39  --
1807.68/453.28	c  N dy  7863   1919463        50      4450         0    100742     31150   1465666     15.55     16.39  --
1831.16/459.19	c  N dy  7906   1946907        50      4450         0     73069     31150    924515     15.54     16.37  --
1863.48/467.25	c  N dy  7954   1982149        50      4450         0    102941     31150   1449834     15.52     16.38  --
1884.62/472.58	c  N dy  8088   2002199        50      4450         0     68338     31150    855438     15.53     16.85  --
1918.51/481.01	c  N dy  8193   2032560        50      4450         0     94171     31150   1314218     15.52     16.36  --
1945.23/487.75	c  N dy  8298   2052583        50      4450         0     58509     31150    662664     15.52     17.69  --
1965.97/492.92	c  N dy  8418   2072648        50      4450         0     75798     31150    984463     15.53     18.15  --
1992.70/499.60	c  N dy  8530   2092664        50      4450         0     92961     31150   1303588     15.54     16.64  --
2023.40/507.32	c  N dy  8641   2112710        50      4450         0     56265     31150    612433     15.55     18.53  --
2045.34/512.88	c  N dy  8745   2136160        50      4450         0     76264     31150    979508     15.55     16.39  --
2071.27/519.32	c  N dy  8829   2156702        50      4450         0     93830     31150   1299950     15.55     16.42  --
2107.17/528.36	c  N dy  8962   2179819        50      4450         0     58887     31150    650393     15.56     16.38  --
2137.89/536.05	c  N dy  9061   2210967        50      4450         0     85288     31150   1120511     15.55     12.88  --
2137.89/536.05	c  S st  9061   2210967        50      4450         0     85288     31150   1120511     15.55     12.88  --
2139.08/536.30	c  S st  9061   2211470        50      4450         0     85729     31150   1129259     15.55   no data  --
2139.08/536.31	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2139.08/536.31	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2139.08/536.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.15
2139.08/536.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2139.08/536.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2139.08/536.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:     50 time:  0.00 s
2139.08/536.38	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2251.95/564.63	c lits-rem:      4004  cl-subs:    12311  v-elim:      0  v-fix:    0  time: 112.64 s
2251.95/564.63	c vivif2 --  cl tried     4450 cl shrink        0 lits rem          0 time: 0.00
2251.95/564.64	c vivif2 --  cl tried    73418 cl shrink        0 lits rem          0 time: 0.05
2253.55/565.03	c asymm  cl-useful: 0/487/4450 lits-rem:0 time: 1.54
2253.55/565.03	c calculated reachability. Time: 0.00
2253.55/565.03	c  N dy  9061   2211470        50      4450         0     73418     31150    923628     15.55   no data  --
2286.25/573.25	c  N dy  9174   2233041        50      4450         0     91878     31150   1264706     15.55     16.43  --
2320.15/581.72	c  N dy  9257   2253095        50      4450         0    108992     31150   1576587     15.55     16.47  --
2343.68/587.63	c  N dy  9356   2273190        50      4450         0     71726     31150    891762     15.56     17.26  --
2376.39/595.87	c  N dy  9485   2293852        50      4450         0     89419     31150   1224527     15.57     16.44  --
2418.26/606.37	c  N dy  9585   2313870        50      4450         0    106544     31150   1542714     15.57     17.46  --
2452.20/614.83	c  N dy  9726   2333894        50      4450         0     67719     31150    805980     15.58     17.52  --
2486.47/623.40	c  N dy  9808   2357595        50      4450         0     87860     31150   1169309     15.58     16.53  --
2525.56/633.29	c  N dy  9906   2379198        50      4450         0    106368     31150   1511895     15.58     16.44  --
2553.53/640.27	c  N dy  9934   2402183        50      4450         0     68760     31150    791964     15.57     16.47  --
2581.81/647.34	c  N dy 10033   2423625        50      4450         0     87093     31150   1126548     15.57     16.45  --
2624.08/657.91	c  N dy 10153   2448860        50      4450         0    108639     31150   1523494     15.57     16.45  --
2654.05/665.44	c  N dy 10244   2468866        50      4450         0     67838     31150    790821     15.57     17.28  --
2684.32/673.08	c  N dy 10392   2488956        50      4450         0     85098     31150   1117299     15.58     17.49  --
2720.62/682.14	c  N dy 10512   2508984        50      4450         0    102191     31150   1435630     15.59     18.58  --
2762.91/692.74	c  N dy 10640   2529025        50      4450         0     60476     31150    646552     15.59     16.43  --
2784.05/698.06	c  N dy 10737   2549092        50      4450         0     77614     31150    964918     15.60     16.90  --
2809.98/704.53	c  N dy 10748   2574043        50      4450         0     98592     31150   1322178     15.58     16.46  --
2833.94/710.60	c Following stats are for *FIRST FINISHED THREAD ONLY*
2833.94/710.60	c num threads              : 4          
2833.94/710.60	c restarts                 : 9677       
2833.94/710.60	c dynamic restarts         : 9653       
2833.94/710.60	c static restarts          : 24         
2833.94/710.60	c full restarts            : 4          
2833.94/710.60	c total simplify time      : 0.04       
2833.94/710.60	c learnts DL2              : 0          
2833.94/710.60	c learnts size 2           : 0          
2833.94/710.60	c learnts size 1           : 0           (0.00      % of vars)
2833.94/710.60	c filedLit time            : 0.68        (0.02      % time)
2833.94/710.60	c v-elim SatELite          : 0           (0.00      % vars)
2833.94/710.60	c SatELite time            : 813.54      (28.72     % time)
2833.94/710.60	c v-elim xor               : 0           (0.00      % vars)
2833.94/710.60	c xor elim time            : 0.09        (0.00      % time)
2833.94/710.60	c num binary xor trees     : 0          
2833.94/710.60	c binxor trees' crown      : 0           (nan       leafs/tree)
2833.94/710.60	c bin xor find time        : 0.00       
2833.94/710.60	c OTF clause improved      : 321773      (0.14      clauses/conflict)
2833.94/710.60	c OTF impr. size diff      : 323978      (1.01       lits/clause)
2833.94/710.60	c OTF cl watch-shrink      : 0           (0.00      clauses/conflict)
2833.94/710.60	c OTF cl watch-sh-lit      : 0           (nan        lits/clause)
2833.94/710.60	c tried to recurMin cls    : 166850      (7.33       % of conflicts)
2833.94/710.60	c updated cache            : 107         (0.00       lits/tried recurMin)
2833.94/710.60	c unit cls received        : 0           (nan       % of units)
2833.94/710.60	c unit cls sent            : 0           (nan       % of units)
2833.94/710.60	c bin cls received         : 0          
2833.94/710.60	c bin cls sent             : 0          
2833.94/710.60	c clauses over max glue    : 0           (0.00      % of all clauses)
2833.94/710.60	c conflicts                : 2275587     (803.25    / sec)
2833.94/710.60	c decisions                : 2610700     (0.57      % random)
2833.94/710.60	c bogo-props               : 76048856264 (26844088.95 / sec)
2833.94/710.60	c conflict literals        : 41438810    (11.37     % deleted)
2833.94/710.60	c Memory used              : 367.12      MB
2833.94/710.60	c single-thread CPU time   : 2832.98     s
2833.94/710.60	c all-threads sum CPU time : 2832.99     s
2833.94/710.60	s SATISFIABLE
2833.94/710.60	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: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3369070-1305411421/watcher-3369070-1305411421 -o /tmp/evaluation-result-3369070-1305411421/solver-3369070-1305411421 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369070-1305411421.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: 8.11 6.89 3.73 6/352 27121
/proc/meminfo: memFree=21251432/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=51236 CPUtime=0.01 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 411 0 0 0 1 0 0 0 23 0 4 0 633558277 52465664 352 33554432000 4194304 4650419 140735228946496 18446744073709551615 47238349096882 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 12809 352 303 112 0 7774 0
[pid=27121/tid=27122] ppid=27119 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 633558278 52465664 352 33554432000 4194304 4650419 140735228946496 18446744073709551615 47238349096882 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 633558278 52465664 352 33554432000 4194304 4650419 140735228946496 18446744073709551615 47238349096882 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 633558278 52465664 352 33554432000 4194304 4650419 140735228946496 18446744073709551615 255106825201 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.048065 s]
/proc/loadavg: 8.11 6.89 3.73 6/352 27121
/proc/meminfo: memFree=21251432/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=281900 CPUtime=0.16 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 1137 0 0 0 16 0 0 0 18 0 4 0 633558277 288665600 1047 33554432000 4194304 4650419 140735228946496 18446744073709551615 4370547 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 70475 1047 366 112 0 65440 0
[pid=27121/tid=27122] ppid=27119 vsize=281900 CPUtime=0.04 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 163 0 0 0 4 0 0 0 18 0 4 0 633558278 288665600 1047 33554432000 4194304 4650419 140735228946496 18446744073709551615 4370730 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=281900 CPUtime=0.04 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 169 0 0 0 4 0 0 0 18 0 4 0 633558278 288665600 1047 33554432000 4194304 4650419 140735228946496 18446744073709551615 4370630 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=281900 CPUtime=0.03 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 214 0 0 0 3 0 0 0 25 0 4 0 633558278 288665600 1047 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 281900

[startup+0.101056 s]
/proc/loadavg: 8.11 6.89 3.73 6/352 27121
/proc/meminfo: memFree=21251432/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=282036 CPUtime=0.37 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 1231 0 0 0 37 0 0 0 18 0 4 0 633558277 288804864 1141 33554432000 4194304 4650419 140735228946496 18446744073709551615 4371092 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 70509 1141 366 112 0 65474 0
[pid=27121/tid=27122] ppid=27119 vsize=282036 CPUtime=0.09 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 172 0 0 0 9 0 0 0 18 0 4 0 633558278 288804864 1141 33554432000 4194304 4650419 140735228946496 18446744073709551615 4370570 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=282036 CPUtime=0.09 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 179 0 0 0 9 0 0 0 18 0 4 0 633558278 288804864 1141 33554432000 4194304 4650419 140735228946496 18446744073709551615 4370660 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=282036 CPUtime=0.08 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 280 0 0 0 8 0 0 0 25 0 4 0 633558278 288804864 1141 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282036

[startup+0.301022 s]
/proc/loadavg: 8.11 6.89 3.73 6/352 27121
/proc/meminfo: memFree=21251432/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=283984 CPUtime=1.17 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 3262 0 0 0 117 0 0 0 18 0 4 0 633558277 290799616 2493 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 70996 2493 390 112 0 65961 0
[pid=27121/tid=27122] ppid=27119 vsize=283984 CPUtime=0.29 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 746 0 0 0 29 0 0 0 18 0 4 0 633558278 290799616 2493 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=283984 CPUtime=0.29 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 755 0 0 0 29 0 0 0 18 0 4 0 633558278 290799616 2493 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=283984 CPUtime=0.28 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 557 0 0 0 28 0 0 0 25 0 4 0 633558278 290799616 2493 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283984

[startup+0.700952 s]
/proc/loadavg: 8.11 6.89 3.73 6/352 27121
/proc/meminfo: memFree=21251432/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=285288 CPUtime=2.77 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 5024 0 0 0 277 0 0 0 18 0 4 0 633558277 292134912 3239 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365308 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 71322 3239 390 112 0 66287 0
[pid=27121/tid=27122] ppid=27119 vsize=285288 CPUtime=0.69 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 1155 0 0 0 69 0 0 0 18 0 4 0 633558278 292134912 3239 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364779 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=285288 CPUtime=0.69 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 1136 0 0 0 69 0 0 0 18 0 4 0 633558278 292134912 3239 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=285288 CPUtime=0.68 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 1132 0 0 0 68 0 0 0 25 0 4 0 633558278 292134912 3239 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365203 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285288

[startup+1.50081 s]
/proc/loadavg: 8.10 6.91 3.75 9/356 27125
/proc/meminfo: memFree=21236520/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=286312 CPUtime=5.95 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 9015 0 0 0 594 1 0 0 20 0 4 0 633558277 293183488 4784 33554432000 4194304 4650419 140735228946496 18446744073709551615 4476309 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 71578 4784 392 112 0 66543 0
[pid=27121/tid=27122] ppid=27119 vsize=286312 CPUtime=1.49 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 2066 0 0 0 149 0 0 0 19 0 4 0 633558278 293183488 4784 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365273 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=286312 CPUtime=1.49 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 1842 0 0 0 149 0 0 0 19 0 4 0 633558278 293183488 4784 33554432000 4194304 4650419 140735228946496 18446744073709551615 4313649 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=286312 CPUtime=1.47 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 1860 0 0 0 147 0 0 0 25 0 4 0 633558278 293183488 4784 33554432000 4194304 4650419 140735228946496 18446744073709551615 4334396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286312

[startup+3.10053 s]
/proc/loadavg: 8.10 6.91 3.75 9/356 27125
/proc/meminfo: memFree=21219084/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=284080 CPUtime=12.34 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 14800 0 0 0 1232 2 0 0 25 0 4 0 633558277 290897920 9028 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 71020 9028 392 112 0 65985 0
[pid=27121/tid=27122] ppid=27119 vsize=284080 CPUtime=3.09 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 3323 0 0 0 309 0 0 0 25 0 4 0 633558278 290897920 9028 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=284080 CPUtime=3.08 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 3887 0 0 0 308 0 0 0 25 0 4 0 633558278 290897920 9028 33554432000 4194304 4650419 140735228946496 18446744073709551615 4370522 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=284080 CPUtime=3.05 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 3842 0 0 0 305 0 0 0 25 0 4 0 633558278 290897920 9028 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 284080

[startup+6.30097 s]
/proc/loadavg: 8.09 6.93 3.77 9/356 27125
/proc/meminfo: memFree=21200856/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=275496 CPUtime=25.1 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 22615 0 0 0 2506 4 0 0 25 0 4 0 633558277 282107904 11941 33554432000 4194304 4650419 140735228946496 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 68874 11941 392 112 0 63839 0
[pid=27121/tid=27122] ppid=27119 vsize=275496 CPUtime=6.29 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 5468 0 0 0 628 1 0 0 25 0 4 0 633558278 282107904 11941 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=275496 CPUtime=6.28 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 6095 0 0 0 627 1 0 0 25 0 4 0 633558278 282107904 11941 33554432000 4194304 4650419 140735228946496 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=275496 CPUtime=6.21 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 5550 0 0 0 621 0 0 0 25 0 4 0 633558278 282107904 11941 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364746 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 275496

[startup+12.7008 s]
/proc/loadavg: 8.08 6.95 3.80 9/356 27126
/proc/meminfo: memFree=21173088/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=291332 CPUtime=50.62 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 31872 0 0 0 5057 5 0 0 25 0 4 0 633558277 298323968 16010 33554432000 4194304 4650419 140735228946496 18446744073709551615 4334297 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 72833 16010 392 112 0 67798 0
[pid=27121/tid=27122] ppid=27119 vsize=291332 CPUtime=12.69 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 7621 0 0 0 1268 1 0 0 25 0 4 0 633558278 298323968 16010 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=291332 CPUtime=12.68 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 8370 0 0 0 1267 1 0 0 25 0 4 0 633558278 298323968 16010 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=291332 CPUtime=12.54 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 8646 0 0 0 1253 1 0 0 25 0 4 0 633558278 298323968 16010 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 291332

[startup+25.5006 s]
/proc/loadavg: 8.07 6.98 3.84 9/356 27126
/proc/meminfo: memFree=21141716/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=282600 CPUtime=101.68 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 47827 0 0 0 10159 9 0 0 25 0 4 0 633558277 289382400 20137 33554432000 4194304 4650419 140735228946496 18446744073709551615 4370467 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 70650 20137 392 112 0 65615 0
[pid=27121/tid=27122] ppid=27119 vsize=282600 CPUtime=25.49 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 11940 0 0 0 2547 2 0 0 25 0 4 0 633558278 289382400 20137 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=282600 CPUtime=25.48 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 12270 0 0 0 2546 2 0 0 25 0 4 0 633558278 289382400 20137 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=282600 CPUtime=25.19 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 13126 0 0 0 2517 2 0 0 25 0 4 0 633558278 289382400 20137 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366928 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.68
Current children cumulated vsize (KiB) 282600

[startup+51.1011 s]
/proc/loadavg: 8.09 7.09 3.98 9/356 27127
/proc/meminfo: memFree=21121612/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=273376 CPUtime=203.8 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 71336 0 0 0 20362 18 0 0 25 0 4 0 633558277 279937024 23926 33554432000 4194304 4650419 140735228946496 18446744073709551615 4363420 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 68344 23926 392 112 0 63309 0
[pid=27121/tid=27122] ppid=27119 vsize=273376 CPUtime=51.09 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 18004 0 0 0 5105 4 0 0 25 0 4 0 633558278 279937024 23926 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365313 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=273376 CPUtime=51.09 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 19024 0 0 0 5104 5 0 0 25 0 4 0 633558278 279937024 23926 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=273376 CPUtime=50.51 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 18843 0 0 0 5047 4 0 0 25 0 4 0 633558278 279937024 23926 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 273376

[startup+102.313 s]
/proc/loadavg: 8.10 7.25 4.19 9/356 27128
/proc/meminfo: memFree=21085020/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=318972 CPUtime=408.05 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 108710 0 0 0 40773 32 0 0 25 0 4 0 633558277 326627328 29107 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 79743 29107 392 112 0 74708 0
[pid=27121/tid=27122] ppid=27119 vsize=318972 CPUtime=102.3 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 25877 0 0 0 10223 7 0 0 25 0 4 0 633558278 326627328 29107 33554432000 4194304 4650419 140735228946496 18446744073709551615 4363432 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=318972 CPUtime=102.3 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 28995 0 0 0 10220 10 0 0 25 0 4 0 633558278 326627328 29107 33554432000 4194304 4650419 140735228946496 18446744073709551615 4313327 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=318972 CPUtime=101.13 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 30325 0 0 0 10105 8 0 0 25 0 4 0 633558278 326627328 29107 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364788 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.05
Current children cumulated vsize (KiB) 318972

[startup+162.301 s]

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

/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 62506 0 0 0 39746 23 0 0 25 0 4 0 633558278 347459584 52765 33554432000 4194304 4650419 140735228946496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1604.6
Current children cumulated vsize (KiB) 339316

[startup+462.301 s]
/proc/loadavg: 8.12 7.84 5.44 9/356 27138
/proc/meminfo: memFree=20969564/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=347288 CPUtime=1843.93 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 263571 0 0 0 184294 99 0 0 25 0 4 0 633558277 355622912 50505 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 86822 50505 392 112 0 81787 0
[pid=27121/tid=27122] ppid=27119 vsize=347288 CPUtime=462.3 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65511 0 0 0 46206 24 0 0 25 0 4 0 633558278 355622912 50505 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=347288 CPUtime=462.29 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 73329 0 0 0 46201 28 0 0 25 0 4 0 633558278 355622912 50505 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=347288 CPUtime=457.02 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 62982 0 0 0 45678 24 0 0 25 0 4 0 633558278 355622912 50505 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1843.93
Current children cumulated vsize (KiB) 347288

[startup+522.3 s]
/proc/loadavg: 8.34 7.96 5.63 9/356 27142
/proc/meminfo: memFree=20904580/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=371428 CPUtime=2083.24 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 281993 0 0 0 208215 109 0 0 25 0 4 0 633558277 380342272 55411 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 92857 55411 392 112 0 87822 0
[pid=27121/tid=27122] ppid=27119 vsize=371428 CPUtime=522.3 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 70159 0 0 0 52203 27 0 0 25 0 4 0 633558278 380342272 55411 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=371428 CPUtime=522.3 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 79183 0 0 0 52198 32 0 0 25 0 4 0 633558278 380342272 55411 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=371428 CPUtime=516.32 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 64762 0 0 0 51608 24 0 0 25 0 4 0 633558278 380342272 55411 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2083.24
Current children cumulated vsize (KiB) 371428

[startup+582.301 s]
/proc/loadavg: 8.12 7.97 5.77 10/356 27144
/proc/meminfo: memFree=20901688/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=360008 CPUtime=2322.55 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 297697 0 0 0 232138 117 0 0 25 0 4 0 633558277 368648192 57279 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 90002 57280 392 112 0 84967 0
[pid=27121/tid=27122] ppid=27119 vsize=360008 CPUtime=582.3 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 75749 0 0 0 58201 29 0 0 25 0 4 0 633558278 368648192 57280 33554432000 4194304 4650419 140735228946496 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=360008 CPUtime=582.3 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 83512 0 0 0 58195 35 0 0 25 0 4 0 633558278 368648192 57280 33554432000 4194304 4650419 140735228946496 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=360008 CPUtime=575.62 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 64971 0 0 0 57537 25 0 0 25 0 4 0 633558278 368648192 57280 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2322.55
Current children cumulated vsize (KiB) 360008

[startup+642.3 s]
/proc/loadavg: 8.16 8.00 5.92 9/356 27176
/proc/meminfo: memFree=21257684/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=348224 CPUtime=2561.89 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 316534 0 0 0 256065 124 0 0 25 0 4 0 633558277 356581376 56472 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 87056 56472 392 112 0 82021 0
[pid=27121/tid=27122] ppid=27119 vsize=348224 CPUtime=642.31 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 86969 0 0 0 64199 32 0 0 25 0 4 0 633558278 356581376 56473 33554432000 4194304 4650419 140735228946496 18446744073709551615 4363423 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=348224 CPUtime=642.32 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 88157 0 0 0 64194 38 0 0 25 0 4 0 633558278 356581376 56473 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=348224 CPUtime=634.94 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65106 0 0 0 63469 25 0 0 25 0 4 0 633558278 356581376 56473 33554432000 4194304 4650419 140735228946496 18446744073709551615 4476304 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.89
Current children cumulated vsize (KiB) 348224

[startup+702.301 s]
/proc/loadavg: 8.21 8.03 6.06 9/356 27178
/proc/meminfo: memFree=21158368/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=375928 CPUtime=2801.2 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 329808 0 0 0 279989 131 0 0 25 0 4 0 633558277 384950272 61186 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364772 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 93982 61186 392 112 0 88947 0
[pid=27121/tid=27122] ppid=27119 vsize=375928 CPUtime=702.3 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 91553 0 0 0 70196 34 0 0 25 0 4 0 633558278 384950272 61186 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=375928 CPUtime=702.3 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 92821 0 0 0 70190 40 0 0 25 0 4 0 633558278 384950272 61186 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=375928 CPUtime=694.27 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65412 0 0 0 69402 25 0 0 25 0 4 0 633558278 384950272 61186 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2801.2
Current children cumulated vsize (KiB) 375928

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

[startup+703.9 s]
/proc/loadavg: 8.21 8.03 6.06 9/356 27178
/proc/meminfo: memFree=21162208/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=375928 CPUtime=2807.62 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 330091 0 0 0 280630 132 0 0 25 0 4 0 633558277 384950272 61290 33554432000 4194304 4650419 140735228946496 18446744073709551615 4520109 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 93982 61290 392 112 0 88947 0
[pid=27121/tid=27122] ppid=27119 vsize=375928 CPUtime=703.91 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 91630 0 0 0 70357 34 0 0 25 0 4 0 633558278 384950272 61291 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=375928 CPUtime=703.91 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 92885 0 0 0 70351 40 0 0 25 0 4 0 633558278 384950272 61291 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=375928 CPUtime=695.86 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65453 0 0 0 69561 25 0 0 25 0 4 0 633558278 384950272 61291 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2807.62
Current children cumulated vsize (KiB) 375928

[startup+707.101 s]
/proc/loadavg: 8.19 8.03 6.07 9/356 27178
/proc/meminfo: memFree=21157248/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=375928 CPUtime=2820.35 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 330552 0 0 0 281903 132 0 0 25 0 4 0 633558277 384950272 61751 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364792 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 93982 61751 392 112 0 88947 0
[pid=27121/tid=27122] ppid=27119 vsize=375928 CPUtime=707.1 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 91798 0 0 0 70676 34 0 0 25 0 4 0 633558278 384950272 61751 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=375928 CPUtime=707.1 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 93012 0 0 0 70670 40 0 0 25 0 4 0 633558278 384950272 61751 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=375928 CPUtime=699.02 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65453 0 0 0 69877 25 0 0 25 0 4 0 633558278 384950272 61751 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366831 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2820.35
Current children cumulated vsize (KiB) 375928

[startup+708.701 s]
/proc/loadavg: 8.19 8.03 6.07 9/356 27178
/proc/meminfo: memFree=21161836/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=375928 CPUtime=2826.73 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 330753 0 0 0 282541 132 0 0 25 0 4 0 633558277 384950272 61952 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366869 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 93982 61952 392 112 0 88947 0
[pid=27121/tid=27122] ppid=27119 vsize=375928 CPUtime=708.7 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 91865 0 0 0 70836 34 0 0 25 0 4 0 633558278 384950272 61952 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=375928 CPUtime=708.7 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 93070 0 0 0 70830 40 0 0 25 0 4 0 633558278 384950272 61952 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365276 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=375928 CPUtime=700.6 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65453 0 0 0 70035 25 0 0 25 0 4 0 633558278 384950272 61952 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2826.73
Current children cumulated vsize (KiB) 375928

[startup+709.513 s]
/proc/loadavg: 8.19 8.03 6.07 9/356 27178
/proc/meminfo: memFree=21156876/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=375928 CPUtime=2829.97 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 330855 0 0 0 282865 132 0 0 25 0 4 0 633558277 384950272 62054 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 93982 62054 392 112 0 88947 0
[pid=27121/tid=27122] ppid=27119 vsize=375928 CPUtime=709.51 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 91900 0 0 0 70917 34 0 0 25 0 4 0 633558278 384950272 62054 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365300 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=375928 CPUtime=709.51 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 93100 0 0 0 70911 40 0 0 25 0 4 0 633558278 384950272 62054 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=375928 CPUtime=701.4 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65453 0 0 0 70115 25 0 0 25 0 4 0 633558278 384950272 62054 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2829.97
Current children cumulated vsize (KiB) 375928

[startup+710.3 s]
/proc/loadavg: 8.19 8.03 6.07 9/356 27178
/proc/meminfo: memFree=21156876/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=375928 CPUtime=2833.11 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 330958 0 0 0 283179 132 0 0 25 0 4 0 633558277 384950272 62157 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 93982 62157 392 112 0 88947 0
[pid=27121/tid=27122] ppid=27119 vsize=375928 CPUtime=710.3 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 91934 0 0 0 70996 34 0 0 25 0 4 0 633558278 384950272 62157 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=375928 CPUtime=710.3 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 93135 0 0 0 70990 40 0 0 25 0 4 0 633558278 384950272 62157 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=375928 CPUtime=702.19 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65453 0 0 0 70194 25 0 0 25 0 4 0 633558278 384950272 62157 33554432000 4194304 4650419 140735228946496 18446744073709551615 4334325 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2833.11
Current children cumulated vsize (KiB) 375928

[startup+710.5 s]
/proc/loadavg: 8.18 8.03 6.08 9/356 27178
/proc/meminfo: memFree=21154520/32951124 swapFree=67111348/67111528
[pid=27121] ppid=27119 vsize=375928 CPUtime=2833.94 cores=1,3,5,7
/proc/27121/stat : 27121 (strangenight1-m) R 27119 27121 27035 0 -1 4202496 330982 0 0 0 283262 132 0 0 25 0 4 0 633558277 384950272 62181 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/27121/statm: 93982 62181 392 112 0 88947 0
[pid=27121/tid=27122] ppid=27119 vsize=375928 CPUtime=710.51 cores=1,3,5,7
/proc/27121/task/27122/stat : 27122 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 91942 0 0 0 71017 34 0 0 25 0 4 0 633558278 384950272 62182 33554432000 4194304 4650419 140735228946496 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=27121/tid=27123] ppid=27119 vsize=375928 CPUtime=710.51 cores=1,3,5,7
/proc/27121/task/27123/stat : 27123 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 93145 0 0 0 71011 40 0 0 25 0 4 0 633558278 384950272 62182 33554432000 4194304 4650419 140735228946496 18446744073709551615 4366819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=27121/tid=27124] ppid=27119 vsize=375928 CPUtime=702.39 cores=1,3,5,7
/proc/27121/task/27124/stat : 27124 (strangenight1-m) R 27119 27121 27035 0 -1 4202560 65453 0 0 0 70214 25 0 0 25 0 4 0 633558278 384950272 62182 33554432000 4194304 4650419 140735228946496 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2833.94
Current children cumulated vsize (KiB) 375928

Child status: 10
Real time (s): 710.613
CPU time (s): 2834.32
CPU user time (s): 2832.99
CPU system time (s): 1.3388
CPU usage (%): 398.857
Max. virtual memory (cumulated for all children) (KiB): 402336

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2832.99
system time used= 1.3388
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 331000
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= 282
involuntary context switches= 17477

runsolver used 2.24766 second user time and 5.8891 second system time

The end

Launcher Data

Begin job on node144 at 2011-05-15 00:17:02
IDJOB=3369070
IDBENCH=83079
IDSOLVER=1846
FILE ID=node144/3369070-1305411421
RUNJOBID= node144-1305410848-27054
PBS_JOBID= 13324517
Free space on /tmp= 73236 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
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-3369070-1305411421/watcher-3369070-1305411421 -o /tmp/evaluation-result-3369070-1305411421/solver-3369070-1305411421 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369070-1305411421.cnf

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

MD5SUM BENCH= 9105de4ac86db082b0add111004ae308
RANDOM SEED=740118240

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:      21251712 kB
Buffers:        289328 kB
Cached:        3630184 kB
SwapCached:          0 kB
Active:        8486092 kB
Inactive:      2868140 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      21251712 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            6232 kB
Writeback:          20 kB
AnonPages:     7434368 kB
Mapped:          27832 kB
Slab:           244676 kB
PageTables:      37880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 82398708 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= 73228 MiB
End job on node144 at 2011-05-15 00:28:52