Trace number 3265807

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mtUNSAT 3674.56 919.78

General information on the benchmark

NameSAT05/crafted/sorge05/QG7a/
gensys-ukn003.shuffled-as.sat05-3843.cnf
MD5SUM59fa4424111aa94c942a4bbd786cbd51
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark1234.33
Satisfiable
(Un)Satisfiability was proved
Number of variables2969
Number of clauses18767
Sum of the clauses size134137
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 2442
Number of clauses of size 32384
Number of clauses of size 4505
Number of clauses of size 5684
Number of clauses of size over 514710

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3265807-1304129722.cnf'
0.00/0.00	c -- header says num vars:           2969
0.00/0.00	c -- header says num clauses:       18767
0.00/0.02	c -- clauses added:            0 learnts,        18767 normals,            0 xors
0.00/0.02	c -- vars added       2969
0.00/0.02	c Parsing time:  0.01 s
0.00/0.02	c  N st     0         0      2969     17464      1036         0    132554         0   no data   no data
0.11/0.15	c asymm  cl-useful: 1395/16175/16175 lits-rem:2109 time: 0.12
0.11/0.15	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
0.56/1.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.56/1.01	c bin-w-bin subsume rem         1011 bins  time:  0.00 s
0.56/1.01	c subs with bin:       17  lits-rem:       153  v-fix:    0  time:  0.00 s
0.56/1.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2912 time:  0.00 s
0.56/1.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
0.56/1.01	c lits-rem:      6942  cl-subs:     3623  v-elim:    184  v-fix:    0  time:  0.03 s
0.56/1.01	c Finding binary XORs  T:     0.00 s  found:       0
0.56/1.01	c Finding non-binary XORs:     0.01 s (found:       0, avg size: nan)
0.56/1.01	c calculated reachability. Time: 0.00
0.56/1.01	c Calc default polars -  time:   0.00 s pos:    1005 undec:     943 neg:    1021
0.56/1.01	c =========================================================================================
0.56/1.01	c types(t): F = full restart, N = normal restart
0.56/1.01	c types(t): S = simplification begin/end, E = solution found
0.56/1.01	c restart types(rt): st = static, dy = dynamic
0.56/1.01	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.56/1.01	c  B st     0         0      2728     12316      1079         0     89551         0   no data   no data
0.56/1.01	c  N dy    19      4123      2728     12316      1119      3877     89537     54262      7.13      7.58
0.56/1.01	c  N dy    42      8289      2728     12316      1218      5490     89535     70165      7.07      7.53
0.56/1.01	c  N dy    72     12336      2728     12316      1350      5299     89534     56989      7.30      7.73
0.56/1.01	c  N dy   103     16382      2728     12316      1382      9198     89533    124869      7.63     11.18
0.56/1.01	c  N dy   133     20454      2728     12316      1460      7776     89531     93653      7.79      8.22
0.56/1.01	c  N dy   165     24630      2728     12316      1591     11837     89531    172058      8.03      8.61
0.56/1.01	c  F st   169     25001      2728     12316      1591     12208     89531    180081      8.06   no data
4.74/1.28	c  N dy   175     30001      2728     12316      1600     10530     89531    156257      8.06   no data
4.74/1.28	c  S st   175     30001      2728     12316      1600     10530     89531    156257      8.06   no data
4.74/1.28	c Finding binary XORs  T:     0.00 s  found:      40
4.74/1.28	c Replacing       40 vars Replaced    15116 lits Time:     0.01 s 
5.14/1.32	c  S st   175     30502      2688     12260      1566     10965     89234    161474      8.06   no data
5.14/1.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.14/1.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    4 Bins:    821 BRemL:      8 BRemN:      0 P:  0.6M T:  0.02
5.14/1.34	c Replacing        4 vars Replaced     1783 lits Time:     0.00 s 
5.14/1.35	c blocked clauses removed:      399 vars:    256 tried:        2684 T: 0.00 s
5.14/1.35	c bin-w-bin subsume rem            3 bins  time:  0.00 s
5.14/1.35	c subs with bin:      139  lits-rem:       718  v-fix:    0  time:  0.00 s
5.14/1.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2428 time:  0.00 s
5.14/1.35	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
5.14/1.37	c lits-rem:       772  cl-subs:      277  v-elim:     59  v-fix:    0  time:  0.02 s
5.54/1.41	c subs with bin:      535  lits-rem:      4200  v-fix:    0  time:  0.04 s
5.54/1.48	c lits-rem:      1145  cl-subs:      702  v-elim:      0  v-fix:    0  time:  0.06 s
6.74/1.73	c asymm  cl-useful: 107/11381/11381 lits-rem:109 time: 0.25
6.74/1.73	c calculated reachability. Time: 0.00
6.74/1.73	c  N dy   175     30502      2369     11381      2242      9327     81625    142634      8.06   no data
6.74/1.74	c Finding binary XORs  T:     0.00 s  found:       1
7.94/2.00	c  N dy   213     34520      2369     11381      2332     13254     81625    222629      8.27     10.14
8.74/2.28	c  N dy   250     38535      2369     11381      2374      9757     81625    116192      8.52     10.08
9.94/2.56	c  N dy   285     42548      2369     11381      2383     13673     81625    204582      8.73     15.40
11.14/2.80	c  S st   312     45754      2369     11381      2410     16798     81625    271087      8.83   no data
11.14/2.86	c  S st   312     46254      2369     11381      2418      8667     81625     72767      8.83   no data
11.14/2.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.14/2.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:    103 BRemL:      7 BRemN:      0 P:  0.5M T:  0.01
11.14/2.88	c Replacing        4 vars Replaced     1279 lits Time:     0.00 s 
11.14/2.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11.14/2.88	c bin-w-bin subsume rem           86 bins  time:  0.00 s
11.14/2.88	c subs with bin:        6  lits-rem:        16  v-fix:    0  time:  0.00 s
11.14/2.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2365 time:  0.00 s
11.14/2.88	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
11.14/2.90	c lits-rem:       246  cl-subs:      106  v-elim:     46  v-fix:    0  time:  0.01 s
11.55/2.91	c subs with bin:      147  lits-rem:       474  v-fix:    0  time:  0.01 s
11.55/2.92	c lits-rem:       187  cl-subs:      215  v-elim:      0  v-fix:    0  time:  0.01 s
11.55/2.92	c vivif2 --  cl tried    11252 cl shrink        0 lits rem          0 time: 0.00
11.55/2.93	c vivif2 --  cl tried     8302 cl shrink       25 lits rem         25 time: 0.00
12.33/3.17	c asymm  cl-useful: 51/11252/11252 lits-rem:51 time: 0.24
12.33/3.17	c calculated reachability. Time: 0.00
12.33/3.17	c  N dy   312     46254      2319     11252      2424      8302     79965     70243      8.83   no data
13.53/3.43	c  N dy   345     50386      2319     11252      2498     12356     79965    159377      8.94      9.70
13.53/3.47	c Finding binary XORs  T:     0.00 s  found:       0
14.73/3.77	c  N dy   381     54471      2319     11252      2512     16353     79965    251478      9.10     12.28
16.35/4.14	c  N dy   415     58503      2319     11252      2607     10625     79965    104087      9.19      9.72
17.53/4.43	c  N dy   445     62570      2319     11252      2633     14606     79965    193711      9.26     10.79
19.13/4.81	c  N dy   477     66616      2319     11252      2637     18595     79965    290966      9.33      9.96
19.92/5.10	c  S st   501     69381      2319     11252      2653     21313     79965    354889      9.38   no data
20.34/5.16	c  S st   501     69882      2319     11252      2654     11066     79965     93004      9.38   no data
20.34/5.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
20.34/5.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:      2 BRemN:      0 P:  0.7M T:  0.02
20.34/5.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20.34/5.18	c bin-w-bin subsume rem           30 bins  time:  0.00 s
20.34/5.18	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
20.34/5.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2319 time:  0.00 s
20.34/5.18	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
20.34/5.19	c lits-rem:        41  cl-subs:       25  v-elim:      7  v-fix:    0  time:  0.01 s
20.34/5.20	c subs with bin:      442  lits-rem:       516  v-fix:    0  time:  0.01 s
20.74/5.22	c lits-rem:       150  cl-subs:      219  v-elim:      0  v-fix:    0  time:  0.01 s
20.74/5.22	c vivif2 --  cl tried    11222 cl shrink        0 lits rem          0 time: 0.00
20.74/5.22	c vivif2 --  cl tried    10405 cl shrink        1 lits rem          1 time: 0.00
21.92/5.52	c asymm  cl-useful: 96/11222/11222 lits-rem:103 time: 0.30
21.92/5.52	c calculated reachability. Time: 0.00
21.92/5.52	c  N dy   501     69882      2312     11221      2633     10405     79526     88942      9.38   no data
23.11/5.84	c Finding binary XORs  T:     0.00 s  found:       0
23.11/5.87	c  N dy   534     74374      2312     11221      2659     14820     79526    193161      9.44     11.57
25.13/6.37	c  N dy   572     79201      2312     11221      2679     19580     79526    310968      9.52     14.59
27.52/6.91	c  N dy   610     84528      2312     11221      2686     13049     79526    128534      9.56     10.08
28.32/7.17	c  F st   628     87501      2312     11221      2696     15991     79526    197528      9.58      9.42
29.53/7.48	c  N st   633     90798      2312     11221      2700     19223     79526    274193      9.58   no data
32.31/8.11	c  N dy   657     96683      2312     11221      2714     25019     79526    417569      9.59     10.15
34.70/8.70	c  N dy   698    102852      2312     11221      2722     18336     79526    244532      9.63     11.12
35.50/8.91	c  S st   716    104823      2312     11221      2725     20282     79526    294440      9.66   no data
35.50/8.97	c  S st   716    105328      2312     11221      2738     20781     79526    302765      9.66   no data
35.50/8.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
35.90/9.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  1.1M T:  0.03
35.90/9.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35.90/9.00	c bin-w-bin subsume rem            6 bins  time:  0.00 s
35.90/9.00	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
35.90/9.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2312 time:  0.00 s
35.90/9.00	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
35.90/9.01	c lits-rem:        85  cl-subs:       43  v-elim:      6  v-fix:    0  time:  0.01 s
36.31/9.11	c subs with bin:      281  lits-rem:       607  v-fix:    0  time:  0.08 s
36.71/9.21	c lits-rem:       504  cl-subs:      494  v-elim:      0  v-fix:    0  time:  0.10 s
36.71/9.22	c vivif2 --  cl tried    11165 cl shrink        0 lits rem          0 time: 0.00
36.71/9.22	c vivif2 --  cl tried    20016 cl shrink       28 lits rem         28 time: 0.01
38.33/9.63	c asymm  cl-useful: 73/8293/11165 lits-rem:76 time: 0.41
38.33/9.63	c calculated reachability. Time: 0.00
38.33/9.63	c  N dy   716    105328      2306     11165      2736     20016     78893    294848      9.66   no data
41.50/10.43	c  N dy   768    112106      2306     11165      2754     26655     78893    452428      9.72     11.00
41.50/10.48	c Finding binary XORs  T:     0.00 s  found:       0
44.29/11.18	c  N dy   817    119343      2306     11165      2776     20001     78893    262668      9.77     11.17
47.88/12.10	c  N dy   875    127013      2306     11165      2789     27535     78893    440559      9.83     11.21
51.51/12.98	c  N dy   921    135158      2306     11165      2807     20807     78893    269187      9.83     10.39
56.27/14.11	c  N dy   985    143815      2306     11165      2854     29289     78893    477191      9.89     10.45
56.27/14.11	c Finding binary XORs  T:     0.00 s  found:       0
60.67/15.23	c  N dy  1050    153355      2306     11165      2865     22968     78893    307812      9.94     10.47
63.07/15.83	c  S st  1072    157992      2306     11165      2869     27530     78893    417353      9.94   no data
63.47/15.90	c  S st  1072    158493      2306     11165      2869     28029     78893    427472      9.94   no data
63.47/15.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
63.47/15.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      1 BRemN:      0 P:  1.4M T:  0.03
63.47/15.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
63.47/15.94	c bin-w-bin subsume rem            1 bins  time:  0.00 s
63.47/15.95	c subs with bin:        5  lits-rem:         0  v-fix:    0  time:  0.00 s
63.47/15.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2306 time:  0.00 s
63.47/15.95	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
63.47/15.96	c lits-rem:         7  cl-subs:       20  v-elim:     12  v-fix:    0  time:  0.01 s
64.28/16.10	c subs with bin:      617  lits-rem:       792  v-fix:    0  time:  0.14 s
64.69/16.29	c lits-rem:       658  cl-subs:      845  v-elim:      0  v-fix:    0  time:  0.18 s
64.69/16.29	c vivif2 --  cl tried    11133 cl shrink        0 lits rem          0 time: 0.00
65.06/16.30	c vivif2 --  cl tried    26569 cl shrink       74 lits rem         74 time: 0.01
65.46/16.49	c asymm  cl-useful: 3/2840/11133 lits-rem:3 time: 0.18
65.46/16.49	c calculated reachability. Time: 0.00
65.46/16.49	c  N dy  1072    158493      2294     11133      2871     26569     78583    413709      9.94   no data
71.05/17.83	c  N dy  1127    168747      2294     11133      2883     19954     78583    223797      9.96     10.51
76.66/19.23	c  N dy  1208    179577      2294     11133      2891     30618     78583    484158     10.02     11.22
83.04/20.80	c  N dy  1274    191052      2294     11133      2900     24211     78583    311522     10.06     10.63
84.24/21.16	c Finding binary XORs  T:     0.00 s  found:       0
90.23/22.69	c  N dy  1347    204098      2294     11133      2917     37026     78583    621285     10.08     10.92
97.43/24.44	c  N dy  1427    217208      2294     11133      2933     31227     78583    464863     10.12     11.37
105.41/26.41	c  N dy  1491    231091      2294     11133      2941     25204     78583    298279     10.12     14.02
109.01/27.30	c  S st  1535    237740      2294     11133      2951     31750     78583    455394     10.14   no data
109.01/27.38	c  S st  1535    238240      2294     11133      2952     32246     78583    464749     10.14   no data
109.01/27.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
109.41/27.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      0 BRemN:      0 P:  1.6M T:  0.04
109.41/27.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
109.41/27.42	c bin-w-bin subsume rem            1 bins  time:  0.00 s
109.41/27.43	c subs with bin:        4  lits-rem:         0  v-fix:    0  time:  0.00 s
109.41/27.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2294 time:  0.00 s
109.41/27.43	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
109.41/27.44	c lits-rem:        19  cl-subs:        3  v-elim:      3  v-fix:    0  time:  0.01 s
109.81/27.60	c subs with bin:      424  lits-rem:       552  v-fix:    0  time:  0.14 s
111.01/27.82	c lits-rem:       697  cl-subs:     1043  v-elim:      0  v-fix:    0  time:  0.22 s
111.01/27.82	c vivif2 --  cl tried    11124 cl shrink        0 lits rem          0 time: 0.00
111.01/27.83	c vivif2 --  cl tried    30781 cl shrink       58 lits rem         58 time: 0.01
111.81/28.05	c asymm  cl-useful: 47/4616/11124 lits-rem:48 time: 0.22
111.81/28.05	c calculated reachability. Time: 0.00
111.81/28.05	c  N dy  1535    238240      2291     11124      2954     30781     78455    449604     10.14   no data
111.81/28.05	c Finding binary XORs  T:     0.00 s  found:       0
121.82/30.52	c  N dy  1623    253459      2291     11124      2963     25139     78455    285958     10.16     10.73
132.18/33.12	c  N dy  1723    269819      2291     11124      2970     41232     78455    674960     10.20     10.78
142.57/35.76	c  N dy  1823    287231      2291     11124      2978     36725     78455    560332     10.23     10.80
149.76/37.59	c Finding binary XORs  T:     0.00 s  found:       0
154.55/38.78	c  N dy  1916    305858      2291     11124      3000     32368     78455    428551     10.24     10.81
154.95/38.84	c  F st  1919    306250      2291     11124      3000     32750     78455    437705     10.24   no data
158.15/39.67	c Decided on static restart strategy
173.74/43.53	c  N st  1929    334552      2291     11124      3002     38100     78455    656988     10.24   no data
190.12/47.69	c  N st  1931    357360      2291     11124      3011     36559     78455    627154     10.24   no data
190.12/47.69	c  S st  1931    357360      2291     11124      3011     36559     78455    627154     10.24   no data
190.52/47.79	c  S st  1931    357865      2291     11124      3011     37059     78455    637730     10.24   no data
190.92/47.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
190.92/47.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      0 BRemN:      0 P:  1.9M T:  0.05
190.92/47.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
190.92/47.85	c bin-w-bin subsume rem            1 bins  time:  0.00 s
190.92/47.85	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
190.92/47.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2291 time:  0.00 s
190.92/47.86	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
190.92/47.87	c lits-rem:        29  cl-subs:       11  v-elim:      5  v-fix:    0  time:  0.01 s
191.73/48.08	c subs with bin:      100  lits-rem:       124  v-fix:    0  time:  0.19 s
194.11/48.66	c lits-rem:       944  cl-subs:     2448  v-elim:      0  v-fix:    0  time:  0.57 s
194.11/48.66	c vivif2 --  cl tried    11110 cl shrink        0 lits rem          0 time: 0.00
194.11/48.67	c vivif2 --  cl tried    34513 cl shrink       51 lits rem         51 time: 0.01
195.31/48.91	c asymm  cl-useful: 1/1636/11110 lits-rem:1 time: 0.23
195.31/48.91	c calculated reachability. Time: 0.00
195.31/48.91	c  N st  1931    357865      2286     11110      3013     34513     78303    597784     10.24   no data
222.90/55.84	c  N st  1932    390257      2286     11110      3021     41152     78303    704802     10.24   no data
268.83/67.32	c  N st  1933    438845      2286     11110      3025     35086     78303    492262     10.24   no data
344.74/86.35	c  N st  1934    511728      2286     11110      3034     48752     78303    804339     10.24   no data
344.74/86.35	c Finding binary XORs  T:     0.00 s  found:       0
372.70/93.31	c  N st  1935    536797      2286     11110      3045     43106     78303    682525     10.24   no data
372.70/93.31	c  S st  1935    536797      2286     11110      3045     43106     78303    682525     10.24   no data
373.10/93.43	c  S st  1935    537301      2286     11110      3045     43609     78303    692642     10.24   no data
373.10/93.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
373.50/93.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  2.4M T:  0.07
373.50/93.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
373.50/93.51	c bin-w-bin subsume rem            1 bins  time:  0.00 s
373.50/93.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
373.50/93.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2286 time:  0.00 s
373.50/93.51	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
373.50/93.53	c lits-rem:         0  cl-subs:        3  v-elim:      1  v-fix:    0  time:  0.02 s
374.30/93.74	c subs with bin:      101  lits-rem:       373  v-fix:    0  time:  0.19 s
377.49/94.51	c lits-rem:      1367  cl-subs:     2657  v-elim:      0  v-fix:    0  time:  0.77 s
377.49/94.51	c vivif2 --  cl tried    11107 cl shrink        0 lits rem          0 time: 0.00
377.49/94.52	c vivif2 --  cl tried    40851 cl shrink      486 lits rem        489 time: 0.01
378.29/94.77	c asymm  cl-useful: 0/884/11107 lits-rem:0 time: 0.24
378.29/94.77	c calculated reachability. Time: 0.00
378.29/94.77	c  N st  1935    537301      2285     11107      3044     40851     78271    647484     10.24   no data
584.05/146.22	c  N st  1936    701289      2285     11107      3049     70047     78271   1320401     10.24   no data
725.08/181.50	c  N st  1937    805954      2285     11107      3062     63830     78271   1102757     10.24   no data
725.08/181.50	c  S st  1937    805954      2285     11107      3062     63830     78271   1102757     10.24   no data
725.88/181.70	c  S st  1937    806456      2285     11107      3063     64329     78271   1113081     10.24   no data
725.88/181.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
726.28/181.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  3.1M T:  0.10
726.28/181.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
726.28/181.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
726.28/181.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
726.28/181.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2285 time:  0.00 s
726.28/181.81	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
726.28/181.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
727.90/182.24	c subs with bin:       37  lits-rem:       448  v-fix:    0  time:  0.37 s
740.27/185.32	c lits-rem:      4687  cl-subs:     9034  v-elim:      0  v-fix:    0  time:  3.07 s
740.27/185.32	c vivif2 --  cl tried    11107 cl shrink        0 lits rem          0 time: 0.00
740.27/185.35	c vivif2 --  cl tried    55258 cl shrink     1058 lits rem       1067 time: 0.02
741.49/185.63	c asymm  cl-useful: 1/651/11107 lits-rem:1 time: 0.28
741.49/185.63	c calculated reachability. Time: 0.00
741.49/185.63	c  N st  1937    806456      2285     11107      3063     55258     78268    946902     10.24   no data
1105.86/276.89	c  F st  1938   1071875      2285     11107      3065     71875     78266   1292776     10.24   no data
1105.86/276.89	c  N st  1938   1071875      2285     11107      3065     71875     78266   1292776     10.24   no data
1112.63/278.53	c Decided on static restart strategy
1142.19/285.90	c  N st  1948   1100175      2285     11107      3074     55540     78266    792119     10.24   no data
1186.54/297.01	c  N st  1950   1136167      2285     11107      3076     90562     78266   1701727     10.24   no data
1224.51/306.55	c  N st  1951   1168562      2285     11107      3076     77308     78266   1366966     10.24   no data
1275.23/319.29	c  N st  1952   1209686      2285     11107      3076     71604     78266   1176145     10.24   no data
1275.23/319.29	c  S st  1952   1209686      2285     11107      3076     71604     78266   1176145     10.24   no data
1276.44/319.51	c  S st  1952   1210189      2285     11107      3077     72105     78266   1188042     10.24   no data
1276.44/319.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1276.84/319.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      0 BRemN:      0 P:  3.7M T:  0.11
1276.84/319.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1276.84/319.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1276.84/319.64	c subs with bin:       42  lits-rem:       209  v-fix:    0  time:  0.00 s
1276.84/319.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2285 time:  0.00 s
1276.84/319.64	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1276.84/319.67	c lits-rem:         6  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
1283.23/321.25	c subs with bin:     9474  lits-rem:      1384  v-fix:    0  time:  1.55 s
1290.44/323.03	c lits-rem:      2183  cl-subs:     4541  v-elim:      0  v-fix:    0  time:  1.78 s
1290.44/323.03	c vivif2 --  cl tried    11064 cl shrink        0 lits rem          0 time: 0.00
1290.44/323.06	c vivif2 --  cl tried    58090 cl shrink      130 lits rem        130 time: 0.02
1291.62/323.34	c asymm  cl-useful: 0/584/11064 lits-rem:0 time: 0.29
1291.62/323.34	c calculated reachability. Time: 0.00
1291.62/323.34	c  N st  1952   1210189      2285     11064      3079     58090     77882    965333     10.24   no data
1387.11/347.21	c  N st  1953   1283076      2285     11064      3080     82269     77882   1404358     10.24   no data
1387.11/347.21	c Finding binary XORs  T:     0.00 s  found:       0
1531.73/383.48	c  N st  1954   1392400      2285     11064      3087     92281     77882   1614495     10.24   no data
1787.82/447.55	c  N st  1955   1556384      2285     11064      3094    100074     77881   1775393     10.24   no data
2052.70/513.83	c  N st  1956   1710189      2285     11064      3097     89300     77881   1502565     10.24   no data
2052.70/513.83	c  S st  1956   1710189      2285     11064      3097     89300     77881   1502565     10.24   no data
2053.90/514.11	c  S st  1956   1710694      2284     11064      3108     89800     77881   1514239     10.24   no data
2053.90/514.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2054.30/514.28	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     11 BRemL:      4 BRemN:      0 P:  4.8M T:  0.16
2054.70/514.30	c Replacing        1 vars Replaced       81 lits Time:     0.02 s 
2054.70/514.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2054.70/514.30	c bin-w-bin subsume rem            6 bins  time:  0.00 s
2054.70/514.31	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.00 s
2054.70/514.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2283 time:  0.00 s
2054.70/514.31	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2054.70/514.34	c lits-rem:        74  cl-subs:       23  v-elim:      4  v-fix:    0  time:  0.03 s
2057.89/515.15	c subs with bin:     1147  lits-rem:      3483  v-fix:    0  time:  0.77 s
2077.09/519.95	c lits-rem:      8769  cl-subs:     8066  v-elim:      0  v-fix:    0  time:  4.79 s
2077.09/519.95	c vivif2 --  cl tried    10785 cl shrink        0 lits rem          0 time: 0.00
2077.09/519.98	c vivif2 --  cl tried    80079 cl shrink       82 lits rem         82 time: 0.03
2078.66/520.30	c asymm  cl-useful: 5/562/10785 lits-rem:5 time: 0.32
2078.66/520.31	c calculated reachability. Time: 0.00
2078.66/520.31	c  N st  1956   1710694      2279     10785      3095     80079     75991   1350905     10.24   no data
2078.66/520.31	c Finding binary XORs  T:     0.00 s  found:       0
2719.49/680.71	c  N st  1957   2079658      2279     10785      3099     92327     75991   1435397     10.24   no data
2942.42/736.52	c Finding binary XORs  T:     0.00 s  found:       1
2952.40/739.01	c  N st  1958   2210695      2274     10468      3058     75365     73822   1081528     10.24   no data
2952.40/739.01	c  S st  1958   2210695      2274     10468      3058     75365     73822   1081528     10.24   no data
2953.20/739.29	c  S st  1958   2211198      2274     10468      3058     75866     73822   1092797     10.24   no data
2953.60/739.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2954.00/739.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:      8 BRemN:      0 P:  4.4M T:  0.16
2954.00/739.47	c Replacing        1 vars Replaced     2726 lits Time:     0.01 s 
2954.00/739.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2954.00/739.47	c bin-w-bin subsume rem           15 bins  time:  0.00 s
2954.00/739.47	c subs with bin:       64  lits-rem:        19  v-fix:    0  time:  0.00 s
2954.00/739.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   2273 time:  0.00 s
2954.00/739.48	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2954.40/739.51	c lits-rem:       323  cl-subs:      139  v-elim:     23  v-fix:    0  time:  0.03 s
2956.01/740.00	c subs with bin:      833  lits-rem:      3129  v-fix:    0  time:  0.46 s
2963.59/741.80	c lits-rem:      4588  cl-subs:     2752  v-elim:      0  v-fix:    0  time:  1.80 s
2963.59/741.80	c vivif2 --  cl tried    10263 cl shrink        1 lits rem          1 time: 0.00
2963.59/741.83	c vivif2 --  cl tried    72280 cl shrink     1964 lits rem       2485 time: 0.03
2964.81/742.10	c asymm  cl-useful: 8/1330/10263 lits-rem:8 time: 0.27
2964.81/742.11	c calculated reachability. Time: 0.00
2964.81/742.11	c  N st  1958   2211198      2250     10263      3048     72280     71940   1027379     10.24   no data
3121.40/781.32	c Finding binary XORs  T:     0.00 s  found:       1
3624.38/907.22	c Finding binary XORs  T:     0.00 s  found:       1
3651.52/914.05	c Finding binary XORs  T:     0.00 s  found:       0
3674.28/919.76	c Following stats are for *FIRST FINISHED THREAD ONLY*
3674.28/919.76	c num threads              : 4          
3674.28/919.76	c restarts                 : 246        
3674.28/919.76	c dynamic restarts         : 172        
3674.28/919.76	c static restarts          : 74         
3674.28/919.76	c full restarts            : 4          
3674.28/919.76	c total simplify time      : 0.57       
3674.28/919.76	c learnts DL2              : 0          
3674.28/919.76	c learnts size 2           : 5336       
3674.28/919.76	c learnts size 1           : 288         (9.70      % of vars)
3674.28/919.76	c filedLit time            : 0.91        (0.10      % time)
3674.28/919.76	c v-elim SatELite          : 574         (19.33     % vars)
3674.28/919.76	c SatELite time            : 22.26       (2.43      % time)
3674.28/919.76	c v-elim xor               : 0           (0.00      % vars)
3674.28/919.76	c xor elim time            : 0.04        (0.00      % time)
3674.28/919.76	c num binary xor trees     : 51         
3674.28/919.76	c binxor trees' crown      : 51          (1.00      leafs/tree)
3674.28/919.76	c bin xor find time        : 0.01       
3674.28/919.76	c OTF clause improved      : 73028       (0.03      clauses/conflict)
3674.28/919.76	c OTF impr. size diff      : 97382       (1.33       lits/clause)
3674.28/919.76	c OTF cl watch-shrink      : 2071069     (0.79      clauses/conflict)
3674.28/919.76	c OTF cl watch-sh-lit      : 10006156    (4.83       lits/clause)
3674.28/919.76	c tried to recurMin cls    : 506305      (19.33      % of conflicts)
3674.28/919.76	c updated cache            : 11334       (0.02       lits/tried recurMin)
3674.28/919.76	c unit cls recevied        : 11          (3.82      % of units)
3674.28/919.76	c unit cls sent            : 30          (10.42     % of units)
3674.28/919.76	c bin cls recevied         : 1312       
3674.28/919.76	c bin cls sent             : 622        
3674.28/919.76	c clauses over max glue    : 0           (0.00      % of all clauses)
3674.28/919.76	c conflicts                : 2618923     (2862.43   / sec)
3674.28/919.76	c decisions                : 6330479     (1.34      % random)
3674.28/919.76	c bogo-props               : 112567061076 (123033669.58 / sec)
3674.28/919.76	c conflict literals        : 66308981    (52.87     % deleted)
3674.28/919.76	c Memory used              : 537.54      MB
3674.28/919.76	c single-thread CPU time   : 914.93      s
3674.28/919.76	c all-threads sum CPU time : 3673.13     s
3674.28/919.76	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.45 7.88 7.36 3/172 29332
/proc/meminfo: memFree=25882768/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 524574993 52441088 347 33554432000 4194304 4627427 140734939311056 18446744073709551615 47983360239538 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29332/statm: 12803 347 299 106 0 7774 0
[pid=29332/tid=29333] ppid=29330 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 524574993 52441088 347 33554432000 4194304 4627427 140734939311056 18446744073709551615 47983360239538 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524574993 52441088 347 33554432000 4194304 4627427 140734939311056 18446744073709551615 218382754870 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 524574993 52441088 347 33554432000 4194304 4627427 140734939311056 18446744073709551615 218371013617 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.03926 s]
/proc/loadavg: 7.45 7.88 7.36 3/172 29332
/proc/meminfo: memFree=25882768/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=284612 CPUtime=0.11 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 3800 0 0 0 11 0 0 0 18 0 4 0 524574993 291442688 3623 33554432000 4194304 4627427 140734939311056 18446744073709551615 218370618053 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/29332/statm: 71153 3623 363 106 0 66124 0
[pid=29332/tid=29333] ppid=29330 vsize=284612 CPUtime=0.03 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 886 0 0 0 3 0 0 0 18 0 4 0 524574993 291442688 3623 33554432000 4194304 4627427 140734939311056 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=284612 CPUtime=0.02 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 810 0 0 0 2 0 0 0 18 0 4 0 524574993 291442688 3623 33554432000 4194304 4627427 140734939311056 18446744073709551615 218370618053 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=284612 CPUtime=0.02 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 863 0 0 0 2 0 0 0 18 0 4 0 524574993 291442688 3624 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 284612

[startup+0.150397 s]
/proc/loadavg: 7.45 7.88 7.36 3/172 29332
/proc/meminfo: memFree=25882768/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=287240 CPUtime=0.56 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 4975 0 0 0 55 1 0 0 18 0 4 0 524574993 294133760 4498 33554432000 4194304 4627427 140734939311056 18446744073709551615 218371000503 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 71810 4504 371 106 0 66781 0
[pid=29332/tid=29333] ppid=29330 vsize=287240 CPUtime=0.13 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) D 29330 29332 28077 0 -1 4202560 1128 0 0 0 13 0 0 0 18 0 4 0 524574993 294133760 4504 33554432000 4194304 4627427 140734939311056 18446744073709551615 218371000503 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=287240 CPUtime=0.13 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 1187 0 0 0 13 0 0 0 18 0 4 0 524574993 294133760 4504 33554432000 4194304 4627427 140734939311056 18446744073709551615 218370653963 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=287240 CPUtime=0.13 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 1323 0 0 0 13 0 0 0 18 0 4 0 524574993 294133760 4504 33554432000 4194304 4627427 140734939311056 18446744073709551615 4348163 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 287240

[startup+1.0162 s]
/proc/loadavg: 7.45 7.88 7.36 3/172 29332
/proc/meminfo: memFree=25882768/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=283924 CPUtime=4 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 12457 0 0 0 397 3 0 0 19 0 4 0 524574993 290738176 8978 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 70981 8978 386 106 0 65952 0
[pid=29332/tid=29333] ppid=29330 vsize=283924 CPUtime=0.99 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 3236 0 0 0 98 1 0 0 19 0 4 0 524574993 290738176 8978 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=283924 CPUtime=0.99 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 2949 0 0 0 99 0 0 0 19 0 4 0 524574993 290738176 8978 33554432000 4194304 4627427 140734939311056 18446744073709551615 4332689 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=283924 CPUtime=0.99 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 2610 0 0 0 99 0 0 0 19 0 4 0 524574993 290738176 8978 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 283924

[startup+1.10119 s]
/proc/loadavg: 7.45 7.88 7.36 3/172 29332
/proc/meminfo: memFree=25882768/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=293400 CPUtime=4.34 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 13060 0 0 0 431 3 0 0 19 0 4 0 524574993 300441600 9581 33554432000 4194304 4627427 140734939311056 18446744073709551615 4310584 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 73350 9587 387 106 0 68321 0
[pid=29332/tid=29333] ppid=29330 vsize=293400 CPUtime=1.08 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 3448 0 0 0 107 1 0 0 19 0 4 0 524574993 300441600 9590 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=293400 CPUtime=1.08 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 2984 0 0 0 108 0 0 0 19 0 4 0 524574993 300441600 9595 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=293400 CPUtime=1.08 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 2750 0 0 0 108 0 0 0 19 0 4 0 524574993 300441600 9598 33554432000 4194304 4627427 140734939311056 18446744073709551615 4503199 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.34
Current children cumulated vsize (KiB) 293400

[startup+1.50112 s]
/proc/loadavg: 7.45 7.88 7.36 3/172 29332
/proc/meminfo: memFree=25882768/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=293228 CPUtime=5.94 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 14997 0 0 0 591 3 0 0 19 0 4 0 524574993 300265472 11059 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309287 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 73307 11059 390 106 0 68278 0
[pid=29332/tid=29333] ppid=29330 vsize=293228 CPUtime=1.47 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 3619 0 0 0 146 1 0 0 19 0 4 0 524574993 300265472 11060 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=293228 CPUtime=1.48 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 3350 0 0 0 148 0 0 0 19 0 4 0 524574993 300265472 11060 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=293228 CPUtime=1.48 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 3155 0 0 0 148 0 0 0 19 0 4 0 524574993 300265472 11061 33554432000 4194304 4627427 140734939311056 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 293228

[startup+3.10083 s]
/proc/loadavg: 7.81 7.95 7.38 9/184 29375
/proc/meminfo: memFree=25792776/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=293276 CPUtime=12.33 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 21222 0 0 0 1228 5 0 0 24 0 4 0 524574993 300314624 14997 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 73319 14997 390 106 0 68290 0
[pid=29332/tid=29333] ppid=29330 vsize=293276 CPUtime=3.06 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 5058 0 0 0 305 1 0 0 25 0 4 0 524574993 300314624 14997 33554432000 4194304 4627427 140734939311056 18446744073709551615 4332317 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=293276 CPUtime=3.07 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 4924 0 0 0 307 0 0 0 24 0 4 0 524574993 300314624 14997 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=293276 CPUtime=3.08 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 5972 0 0 0 307 1 0 0 24 0 4 0 524574993 300314624 14997 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 293276

[startup+6.30626 s]
/proc/loadavg: 7.83 7.95 7.38 9/184 29375
/proc/meminfo: memFree=25759068/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=302572 CPUtime=25.13 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 27022 0 0 0 2507 6 0 0 25 0 4 0 524574993 309833728 18226 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 75643 18226 390 106 0 70614 0
[pid=29332/tid=29333] ppid=29330 vsize=302572 CPUtime=6.26 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 7673 0 0 0 624 2 0 0 25 0 4 0 524574993 309833728 18226 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=302572 CPUtime=6.29 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 5562 0 0 0 628 1 0 0 25 0 4 0 524574993 309833728 18226 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=302572 CPUtime=6.28 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 7657 0 0 0 627 1 0 0 25 0 4 0 524574993 309833728 18226 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 302572

[startup+12.7011 s]
/proc/loadavg: 7.84 7.95 7.39 9/184 29375
/proc/meminfo: memFree=25740116/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=285404 CPUtime=50.68 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 37495 0 0 0 5060 8 0 0 25 0 4 0 524574993 292253696 21141 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 71351 21141 390 106 0 66322 0
[pid=29332/tid=29333] ppid=29330 vsize=285404 CPUtime=12.62 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 10528 0 0 0 1260 2 0 0 25 0 4 0 524574993 292253696 21141 33554432000 4194304 4627427 140734939311056 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=285404 CPUtime=12.68 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 7805 0 0 0 1267 1 0 0 25 0 4 0 524574993 292253696 21141 33554432000 4194304 4627427 140734939311056 18446744073709551615 4324274 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=285404 CPUtime=12.67 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 10255 0 0 0 1265 2 0 0 25 0 4 0 524574993 292253696 21141 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 285404

[startup+25.5008 s]
/proc/loadavg: 7.94 7.97 7.40 9/184 29375
/proc/meminfo: memFree=25689924/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=297204 CPUtime=101.82 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 55578 0 0 0 10170 12 0 0 25 0 4 0 524574993 304336896 27814 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309217 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 74301 27814 390 106 0 69272 0
[pid=29332/tid=29333] ppid=29330 vsize=297204 CPUtime=25.36 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 15610 0 0 0 2533 3 0 0 25 0 4 0 524574993 304336896 27814 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=297204 CPUtime=25.47 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 14645 0 0 0 2545 2 0 0 25 0 4 0 524574993 304336896 27814 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=297204 CPUtime=25.48 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 12860 0 0 0 2545 3 0 0 25 0 4 0 524574993 304336896 27814 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 297204

[startup+51.1003 s]
/proc/loadavg: 7.96 7.97 7.41 9/184 29376
/proc/meminfo: memFree=25657888/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=296988 CPUtime=204.1 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 82171 0 0 0 20390 20 0 0 25 0 4 0 524574993 304115712 31857 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 74247 31857 390 106 0 69218 0
[pid=29332/tid=29333] ppid=29330 vsize=296988 CPUtime=50.85 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 23551 0 0 0 5079 6 0 0 25 0 4 0 524574993 304115712 31857 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=296988 CPUtime=51.08 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 20623 0 0 0 5104 4 0 0 25 0 4 0 524574993 304115712 31857 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=296988 CPUtime=51.08 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 19382 0 0 0 5102 6 0 0 25 0 4 0 524574993 304115712 31857 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 296988

[startup+102.301 s]
/proc/loadavg: 8.07 8.00 7.45 9/184 29377
/proc/meminfo: memFree=25592880/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=325280 CPUtime=408.66 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 114422 0 0 0 40837 29 0 0 25 0 4 0 524574993 333086720 44385 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 81320 44385 390 106 0 76291 0
[pid=29332/tid=29333] ppid=29330 vsize=325280 CPUtime=101.8 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 32152 0 0 0 10172 8 0 0 25 0 4 0 524574993 333086720 44385 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308963 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=325280 CPUtime=102.27 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 26405 0 0 0 10222 5 0 0 25 0 4 0 524574993 333086720 44385 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=325280 CPUtime=102.28 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 30426 0 0 0 10219 9 0 0 25 0 4 0 524574993 333086720 44385 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.66
Current children cumulated vsize (KiB) 325280

[startup+162.3 s]

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

/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 110906 0 0 0 64192 37 0 0 25 0 4 0 524574993 588275712 88199 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2566.08
Current children cumulated vsize (KiB) 574488

[startup+702.3 s]
/proc/loadavg: 8.02 8.04 7.73 9/184 29393
/proc/meminfo: memFree=25215432/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=574512 CPUtime=2805.78 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 350064 0 0 0 280465 113 0 0 25 0 4 0 524574993 588300288 91644 33554432000 4194304 4627427 140734939311056 18446744073709551615 4321761 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 143628 91644 390 106 0 138599 0
[pid=29332/tid=29333] ppid=29330 vsize=574512 CPUtime=698.95 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 98771 0 0 0 69863 32 0 0 25 0 4 0 524574993 588300288 91644 33554432000 4194304 4627427 140734939311056 18446744073709551615 4324799 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=574512 CPUtime=702.28 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 57395 0 0 0 70211 17 0 0 25 0 4 0 524574993 588300288 91644 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=574512 CPUtime=702.29 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 115342 0 0 0 70190 39 0 0 25 0 4 0 524574993 588300288 91644 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.78
Current children cumulated vsize (KiB) 574512

[startup+762.301 s]
/proc/loadavg: 8.06 8.05 7.75 9/184 29395
/proc/meminfo: memFree=25257944/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=551072 CPUtime=3045.49 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 370243 0 0 0 304427 122 0 0 25 0 4 0 524574993 564297728 86839 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 137768 86839 390 106 0 132739 0
[pid=29332/tid=29333] ppid=29330 vsize=551072 CPUtime=758.65 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 104934 0 0 0 75831 34 0 0 25 0 4 0 524574993 564297728 86839 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=551072 CPUtime=762.29 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 61749 0 0 0 76210 19 0 0 25 0 4 0 524574993 564297728 86839 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=551072 CPUtime=762.29 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 119815 0 0 0 76188 41 0 0 25 0 4 0 524574993 564297728 86839 33554432000 4194304 4627427 140734939311056 18446744073709551615 4306017 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.49
Current children cumulated vsize (KiB) 551072

[startup+822.301 s]
/proc/loadavg: 8.12 8.07 7.77 9/184 29396
/proc/meminfo: memFree=25235964/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=551236 CPUtime=3285.19 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 387990 0 0 0 328390 129 0 0 25 0 4 0 524574993 564465664 93347 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 137809 93347 390 106 0 132780 0
[pid=29332/tid=29333] ppid=29330 vsize=551236 CPUtime=818.36 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 110276 0 0 0 81799 37 0 0 25 0 4 0 524574993 564465664 93347 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=551236 CPUtime=822.29 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 65669 0 0 0 82209 20 0 0 25 0 4 0 524574993 564465664 93347 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=551236 CPUtime=822.3 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 125271 0 0 0 82186 44 0 0 25 0 4 0 524574993 564465664 93347 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3285.19
Current children cumulated vsize (KiB) 551236

[startup+882.301 s]
/proc/loadavg: 8.09 8.07 7.79 9/184 29398
/proc/meminfo: memFree=25207876/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=565028 CPUtime=3524.88 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 405946 0 0 0 352351 137 0 0 25 0 4 0 524574993 578588672 93872 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 141257 93872 390 106 0 136228 0
[pid=29332/tid=29333] ppid=29330 vsize=565028 CPUtime=878.05 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 112941 0 0 0 87766 39 0 0 25 0 4 0 524574993 578588672 93872 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=565028 CPUtime=882.29 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 71031 0 0 0 88207 22 0 0 25 0 4 0 524574993 578588672 93872 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=565028 CPUtime=882.29 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 129569 0 0 0 88183 46 0 0 25 0 4 0 524574993 578588672 93872 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.88
Current children cumulated vsize (KiB) 565028

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

[startup+896.701 s]
/proc/loadavg: 8.07 8.06 7.79 9/184 29398
/proc/meminfo: memFree=25190264/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=565096 CPUtime=3582.4 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 410128 0 0 0 358102 138 0 0 25 0 4 0 524574993 578658304 95101 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 141274 95101 390 106 0 136245 0
[pid=29332/tid=29333] ppid=29330 vsize=565096 CPUtime=892.38 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 113807 0 0 0 89199 39 0 0 25 0 4 0 524574993 578658304 95101 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=565096 CPUtime=896.7 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 71684 0 0 0 89647 23 0 0 25 0 4 0 524574993 578658304 95101 33554432000 4194304 4627427 140734939311056 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=565096 CPUtime=896.7 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 131451 0 0 0 89623 47 0 0 25 0 4 0 524574993 578658304 95101 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3582.4
Current children cumulated vsize (KiB) 565096

[startup+909.5 s]
/proc/loadavg: 8.13 8.08 7.80 9/184 29399
/proc/meminfo: memFree=25207620/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=564016 CPUtime=3633.54 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 413196 0 0 0 363214 140 0 0 25 0 4 0 524574993 577552384 89775 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 141004 89775 390 106 0 135975 0
[pid=29332/tid=29333] ppid=29330 vsize=564016 CPUtime=905.11 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 114342 0 0 0 90472 39 0 0 25 0 4 0 524574993 577552384 89775 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=564016 CPUtime=909.49 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 73102 0 0 0 90926 23 0 0 25 0 4 0 524574993 577552384 89775 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=564016 CPUtime=909.5 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 132160 0 0 0 90903 47 0 0 25 0 4 0 524574993 577552384 89775 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3633.54
Current children cumulated vsize (KiB) 564016

[startup+915.9 s]
/proc/loadavg: 8.11 8.07 7.80 9/184 29399
/proc/meminfo: memFree=25203148/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=550440 CPUtime=3659.12 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 415139 0 0 0 365772 140 0 0 25 0 4 0 524574993 563650560 88891 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 137610 88891 390 106 0 132581 0
[pid=29332/tid=29333] ppid=29330 vsize=550440 CPUtime=911.48 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 115706 0 0 0 91109 39 0 0 25 0 4 0 524574993 563650560 88891 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=550440 CPUtime=915.89 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 73445 0 0 0 91566 23 0 0 25 0 4 0 524574993 563650560 88891 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=550440 CPUtime=915.9 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 132396 0 0 0 91543 47 0 0 25 0 4 0 524574993 563650560 88891 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3659.12
Current children cumulated vsize (KiB) 550440

[startup+917.501 s]
/proc/loadavg: 8.11 8.07 7.80 9/184 29399
/proc/meminfo: memFree=25201784/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=550440 CPUtime=3665.5 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 415368 0 0 0 366410 140 0 0 25 0 4 0 524574993 563650560 89120 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 137610 89120 390 106 0 132581 0
[pid=29332/tid=29333] ppid=29330 vsize=550440 CPUtime=913.07 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 115800 0 0 0 91268 39 0 0 25 0 4 0 524574993 563650560 89120 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=550440 CPUtime=917.49 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 73519 0 0 0 91726 23 0 0 25 0 4 0 524574993 563650560 89120 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=550440 CPUtime=917.5 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 132457 0 0 0 91703 47 0 0 25 0 4 0 524574993 563650560 89120 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3665.5
Current children cumulated vsize (KiB) 550440

[startup+919.101 s]
/proc/loadavg: 8.11 8.07 7.80 9/184 29399
/proc/meminfo: memFree=25200296/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=550440 CPUtime=3671.89 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 415578 0 0 0 367049 140 0 0 25 0 4 0 524574993 563650560 89330 33554432000 4194304 4627427 140734939311056 18446744073709551615 4333256 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 137610 89330 390 106 0 132581 0
[pid=29332/tid=29333] ppid=29330 vsize=550440 CPUtime=914.66 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 115885 0 0 0 91427 39 0 0 25 0 4 0 524574993 563650560 89330 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=550440 CPUtime=919.09 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 73595 0 0 0 91886 23 0 0 25 0 4 0 524574993 563650560 89330 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=550440 CPUtime=919.1 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 132506 0 0 0 91863 47 0 0 25 0 4 0 524574993 563650560 89330 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3671.89
Current children cumulated vsize (KiB) 550440

[startup+919.501 s]
/proc/loadavg: 8.11 8.07 7.80 9/184 29399
/proc/meminfo: memFree=25219516/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=550440 CPUtime=3673.48 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 415632 0 0 0 367208 140 0 0 25 0 4 0 524574993 563650560 89384 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 137610 89384 390 106 0 132581 0
[pid=29332/tid=29333] ppid=29330 vsize=550440 CPUtime=915.05 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 115906 0 0 0 91466 39 0 0 25 0 4 0 524574993 563650560 89384 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=550440 CPUtime=919.49 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 73612 0 0 0 91926 23 0 0 25 0 4 0 524574993 563650560 89384 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=550440 CPUtime=919.5 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 132522 0 0 0 91903 47 0 0 25 0 4 0 524574993 563650560 89384 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309234 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3673.48
Current children cumulated vsize (KiB) 550440

[startup+919.701 s]
/proc/loadavg: 8.11 8.07 7.80 9/184 29399
/proc/meminfo: memFree=25219516/32951124 swapFree=67051468/67111528
[pid=29332] ppid=29330 vsize=550440 CPUtime=3674.28 cores=0,2,4,6
/proc/29332/stat : 29332 (strangenight2-m) R 29330 29332 28077 0 -1 4202496 415657 0 0 0 367288 140 0 0 25 0 4 0 524574993 563650560 89409 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/29332/statm: 137610 89409 390 106 0 132581 0
[pid=29332/tid=29333] ppid=29330 vsize=550440 CPUtime=915.26 cores=0,2,4,6
/proc/29332/task/29333/stat : 29333 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 115916 0 0 0 91486 40 0 0 25 0 4 0 524574993 563650560 89409 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=29332/tid=29334] ppid=29330 vsize=550440 CPUtime=919.69 cores=0,2,4,6
/proc/29332/task/29334/stat : 29334 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 73620 0 0 0 91946 23 0 0 25 0 4 0 524574993 563650560 89409 33554432000 4194304 4627427 140734939311056 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=29332/tid=29335] ppid=29330 vsize=550440 CPUtime=919.7 cores=0,2,4,6
/proc/29332/task/29335/stat : 29335 (strangenight2-m) R 29330 29332 28077 0 -1 4202560 132529 0 0 0 91923 47 0 0 25 0 4 0 524574993 563650560 89409 33554432000 4194304 4627427 140734939311056 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3674.28
Current children cumulated vsize (KiB) 550440

Child status: 20
Real time (s): 919.78
CPU time (s): 3674.56
CPU user time (s): 3673.13
CPU system time (s): 1.42678
CPU usage (%): 399.504
Max. virtual memory (cumulated for all children) (KiB): 639204

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3673.13
system time used= 1.42678
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 415671
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= 1047
involuntary context switches= 16232

runsolver used 1.3028 second user time and 3.15552 second system time

The end

Launcher Data 

Begin job on node101 at 2011-04-30 04:15:22
IDJOB=3265807
IDBENCH=85808
IDSOLVER=1586
FILE ID=node101/3265807-1304129722
RUNJOBID= node101-1304129722-29317
PBS_JOBID= 13170744
Free space on /tmp= 72160 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT05/crafted/sorge05/QG7a/gensys-ukn003.shuffled-as.sat05-3843.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3265807-1304129722/watcher-3265807-1304129722 -o /tmp/evaluation-result-3265807-1304129722/solver-3265807-1304129722 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3265807-1304129722.cnf

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

MD5SUM BENCH= 59fa4424111aa94c942a4bbd786cbd51
RANDOM SEED=189318941

node101.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.841
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.68
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.841
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.07
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.841
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.77
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.841
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.841
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.74
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.841
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.83
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.841
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.841
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      25882924 kB
Buffers:       1914372 kB
Cached:        4676900 kB
SwapCached:      30424 kB
Active:        1740540 kB
Inactive:      4884176 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      25882924 kB
SwapTotal:    67111528 kB
SwapFree:     67051468 kB
Dirty:           12060 kB
Writeback:           0 kB
AnonPages:       24872 kB
Mapped:           8684 kB
Slab:           379648 kB
PageTables:       4772 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   184968 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= 72148 MiB
End job on node101 at 2011-04-30 04:30:42