Trace number 3366459

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.37 1203.46

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf
MD5SUMb51753a48e6efd66554e7afe4efc3b19
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3366459-1305404645.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.39/0.10	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.39/0.10	c -- vars added        650
0.39/0.10	c Parsing time:  0.00 s
0.39/0.10	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.39/0.10	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.39/0.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.39/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.39/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.39/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.39/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.39/0.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.39/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.39/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.39/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.39/0.10	c calculated reachability. Time: 0.00
0.39/0.10	c Calc default polars -  time:   0.00 s pos:     309 undec:      56 neg:     285
0.39/0.10	c =========================================================================================
0.39/0.10	c types(t): F = full restart, N = normal restart
0.39/0.10	c types(t): S = simplification begin/end, E = solution found
0.39/0.10	c restart types(rt): st = static, dy = dynamic
0.39/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.39/0.10	c  B st     0         0       631      2749         0         0      8372         0   no data   no data
0.39/0.10	c Decided on static restart strategy
0.39/0.17	c  N st     8      4919       631      2749         0      4862      8372    133782   no data   no data
1.57/0.45	c  N st    10     11301       631      2749         0      4504      8372     86107   no data   no data
2.76/0.73	c  N st    11     17047       631      2749         0     10151      8372    250498   no data   no data
4.38/1.17	c  F st    12     25001       631      2749         0     12432      8372    302228   no data   no data
4.38/1.17	c  N st    12     25001       631      2749         0     12432      8372    302228   no data   no data
5.56/1.43	c Decided on static restart strategy
5.56/1.43	c  N st    18     30000       631      2749         0     10718      8372    239377   no data   no data
5.56/1.43	c  S st    18     30000       631      2749         0     10718      8372    239377   no data   no data
5.56/1.46	c  S st    18     30503       631      2749         0     11221      8372    252766   no data   no data
5.56/1.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.56/1.46	c blocked clauses removed:       13 vars:      1 tried:         631 T: 0.00 s
5.56/1.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.46	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
5.56/1.46	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.56/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.95/1.52	c lits-rem:       202  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.04 s
5.95/1.53	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
5.95/1.53	c calculated reachability. Time: 0.00
5.95/1.53	c  N st    18     30503       630      2736         0     10841      8333    240071   no data   no data
7.55/1.96	c  N st    20     37614       630      2736         0     10103      8333    194065   no data   no data
9.54/2.41	c  N st    21     44015       630      2736         0     16381      8333    373371   no data   no data
9.93/2.54	c  S st    22     45755       630      2736         0      9322      8333    151932   no data   no data
9.93/2.56	c  S st    22     46260       630      2736         0      9827      8333    164747   no data   no data
9.93/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.93/2.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.93/2.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.93/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.93/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.93/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
9.93/2.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.93/2.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.93/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.93/2.58	c lits-rem:        17  cl-subs:       52  v-elim:      0  v-fix:    0  time:  0.01 s
9.93/2.58	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
9.93/2.59	c vivif2 --  cl tried     9775 cl shrink        0 lits rem          0 time: 0.00
9.93/2.59	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
9.93/2.59	c calculated reachability. Time: 0.00
9.93/2.59	c  N st    22     46260       630      2736         0      9775      8333    163260   no data   no data
13.93/3.58	c  N st    23     60657       630      2736         0     14157      8333    274670   no data   no data
17.12/4.32	c  N st    24     69391       630      2736         0     11937      8333    204251   no data   no data
17.12/4.32	c  S st    24     69391       630      2736         0     11937      8333    204251   no data   no data
17.12/4.35	c  S st    24     69894       630      2736         0     12440      8333    217583   no data   no data
17.12/4.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.12/4.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.12/4.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.12/4.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.12/4.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.12/4.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
17.12/4.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.12/4.36	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.12/4.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.12/4.39	c lits-rem:        32  cl-subs:      189  v-elim:      0  v-fix:    0  time:  0.02 s
17.12/4.39	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
17.12/4.39	c vivif2 --  cl tried    12251 cl shrink        0 lits rem          0 time: 0.00
17.55/4.41	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
17.55/4.41	c calculated reachability. Time: 0.00
17.55/4.41	c  N st    24     69894       630      2736         0     12251      8333    211589   no data   no data
22.35/5.66	c  F st    25     87500       630      2736         0     17774      8333    366915   no data   no data
22.35/5.66	c  N st    25     87500       630      2736         0     17774      8333    366915   no data   no data
24.30/6.11	c  N dy    32     93090       630      2736         0     23294      8333    520451     19.93     21.08
26.74/6.74	c  N dy    51    100718       630      2736         0     17956      8333    299114     18.47     19.55
27.89/7.05	c  S st    52    104841       630      2736         0     22037      8333    407720     17.43     14.92
28.29/7.11	c  S st    52    105344       630      2736         0     22540      8333    421772     17.43   no data
28.29/7.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.29/7.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.29/7.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.29/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.29/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
28.29/7.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.29/7.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
28.29/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.68/7.24	c lits-rem:        89  cl-subs:      515  v-elim:      0  v-fix:    0  time:  0.10 s
28.68/7.24	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
28.68/7.24	c vivif2 --  cl tried    22025 cl shrink        0 lits rem          0 time: 0.00
28.68/7.26	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
28.68/7.26	c calculated reachability. Time: 0.00
28.68/7.26	c  N dy    52    105344       630      2736         0     22025      8333    407894     17.43   no data
31.48/7.92	c  N dy    97    112106       630      2736         0     14872      8333    183233     17.90     19.95
33.87/8.52	c  N dy   121    119443       630      2736         0     22117      8333    375241     17.82     18.99
37.47/9.42	c  N dy   157    128110       630      2736         0     15858      8333    182202     17.84     18.83
40.26/10.12	c  N dy   210    136360       630      2736         0     24047      8333    403936     18.01     20.35
43.88/11.08	c  N dy   271    145158       630      2736         0     16930      8333    185777     18.20     19.26
47.44/11.91	c  N dy   306    154816       630      2736         0     26505      8333    448346     18.19     19.39
48.68/12.29	c  S st   333    158016       630      2736         0     29675      8333    535132     18.26   no data
49.03/12.36	c  S st   333    158518       630      2736         0     30177      8333    549326     18.26   no data
49.03/12.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.03/12.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.03/12.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.03/12.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.03/12.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.03/12.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
49.03/12.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.03/12.38	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.03/12.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.83/12.52	c lits-rem:       213  cl-subs:      387  v-elim:      0  v-fix:    0  time:  0.13 s
49.83/12.52	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
49.83/12.53	c vivif2 --  cl tried    29790 cl shrink        0 lits rem          0 time: 0.01
49.83/12.55	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.02
49.83/12.55	c calculated reachability. Time: 0.00
49.83/12.55	c  N dy   333    158518       630      2736         0     29790      8333    537308     18.26   no data
53.81/13.56	c  N dy   372    168755       630      2736         0     23102      8333    327079     18.23     19.27
58.61/14.76	c  N dy   433    179564       630      2736         0     33822      8333    617187     18.32     19.37
63.39/15.92	c  N dy   499    191068       630      2736         0     27368      8333    425096     18.39     19.40
68.98/17.35	c  N dy   539    203266       630      2736         0     20609      8333    213035     18.33     19.31
74.59/18.76	c  N dy   593    216519       630      2736         0     33763      8333    575069     18.35     19.33
81.75/20.54	c  N dy   648    231556       630      2736         0     28816      8333    413303     18.32     19.39
85.33/21.40	c  S st   683    237779       630      2736         0     34986      8333    584076     18.33     16.58
85.33/21.48	c  S st   683    238282       630      2736         0     35489      8333    597503     18.33   no data
85.33/21.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.73/21.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.73/21.50	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.73/21.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.73/21.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.73/21.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
85.73/21.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.73/21.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.73/21.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.53/21.72	c lits-rem:       173  cl-subs:      597  v-elim:      0  v-fix:    0  time:  0.19 s
86.53/21.72	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
86.53/21.72	c vivif2 --  cl tried    34892 cl shrink        0 lits rem          0 time: 0.01
86.53/21.75	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.02
86.53/21.75	c calculated reachability. Time: 0.00
86.53/21.75	c  N dy   683    238282       630      2736         0     34892      8333    579725     18.33   no data
93.70/23.59	c  N dy   764    253568       630      2736         0     29227      8333    403684     18.37     21.04
102.49/25.80	c  N dy   842    269797       630      2736         0     23501      8333    231024     18.40     20.39
111.66/28.00	c  N dy   937    287326       630      2736         0     40866      8333    703998     18.46     19.54
120.84/30.37	c  N dy  1016    305932       630      2736         0     36523      8333    563034     18.47     19.47
121.24/30.42	c  F st  1020    306250       630      2736         0     36839      8333    571798     18.47   no data
124.02/31.17	c Decided on static restart strategy
136.02/34.20	c  N st  1030    334554       630      2736         0     40966      8333    857055     18.47   no data
149.18/37.43	c  N st  1032    357423       630      2736         0     38799      8333    786838     18.47   no data
149.18/37.43	c  S st  1032    357423       630      2736         0     38799      8333    786838     18.47   no data
149.59/37.52	c  S st  1032    357929       630      2736         0     39305      8333    800269     18.47   no data
149.59/37.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.59/37.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.59/37.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.59/37.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.59/37.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.59/37.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
149.59/37.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.59/37.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.59/37.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.34/38.22	c lits-rem:       225  cl-subs:     1470  v-elim:      0  v-fix:    0  time:  0.64 s
152.34/38.22	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
152.34/38.23	c vivif2 --  cl tried    37835 cl shrink        0 lits rem          0 time: 0.01
152.34/38.25	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.03
152.34/38.25	c calculated reachability. Time: 0.00
152.34/38.25	c  N st  1032    357929       630      2736         0     37835      8333    757729     18.47   no data
169.10/42.47	c  N st  1033    390324       630      2736         0     44071      8333    981791     18.47   no data
197.86/49.67	c  N st  1034    438917       630      2736         0     37813      8333    702775     18.47   no data
247.69/62.14	c  N st  1035    511799       630      2736         0     51532      8333   1099371     18.47   no data
262.85/65.91	c  N st  1036    536897       630      2736         0     45834      8333    883930     18.47   no data
262.85/65.91	c  S st  1036    536897       630      2736         0     45834      8333    883930     18.47   no data
263.27/66.04	c  S st  1036    537400       630      2736         0     46333      8333    898201     18.47   no data
263.27/66.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.27/66.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
263.27/66.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
263.27/66.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.27/66.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.27/66.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
263.27/66.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
263.27/66.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
263.27/66.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.04/66.75	c lits-rem:       172  cl-subs:      899  v-elim:      0  v-fix:    0  time:  0.65 s
266.04/66.75	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
266.04/66.76	c vivif2 --  cl tried    45434 cl shrink        0 lits rem          0 time: 0.01
266.44/66.80	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.04
266.44/66.80	c calculated reachability. Time: 0.00
266.44/66.80	c  N st  1036    537400       630      2736         0     45434      8333    870555     18.47   no data
388.49/97.41	c  N st  1037    701385       630      2736         0     39418      8333    546255     18.47   no data
475.86/119.31	c  N st  1038    806100       630      2736         0     68419      8333   1413049     18.47   no data
475.86/119.31	c  S st  1038    806100       630      2736         0     68419      8333   1413049     18.47   no data
476.26/119.49	c  S st  1038    806604       630      2736         0     68923      8333   1426329     18.47   no data
476.26/119.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
476.66/119.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
476.66/119.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
476.66/119.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
476.66/119.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
476.66/119.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
476.66/119.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
476.66/119.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
476.66/119.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
495.83/124.39	c lits-rem:       667  cl-subs:     3758  v-elim:      0  v-fix:    0  time:  4.74 s
495.83/124.39	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
496.25/124.41	c vivif2 --  cl tried    65165 cl shrink        0 lits rem          0 time: 0.02
496.25/124.47	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.06
496.25/124.47	c calculated reachability. Time: 0.00
496.25/124.47	c  N st  1038    806604       630      2736         0     65165      8333   1315228     18.47   no data
728.39/182.70	c  F st  1039   1071875       630      2736         0     80989      8333   1555903     18.47   no data
728.39/182.70	c  N st  1039   1071875       630      2736         0     80989      8333   1555903     18.47   no data
734.34/184.15	c Decided on static restart strategy
753.10/188.86	c  N st  1049   1100183       630      2736         0     64838      8333   1124443     18.47   no data
785.43/196.93	c  N st  1051   1136181       630      2736         0     55133      8333    800848     18.47   no data
818.51/205.23	c  N st  1052   1168575       630      2736         0     86861      8333   1712648     18.47   no data
861.18/215.94	c  N st  1053   1209909       630      2736         0     81271      8333   1626137     18.47   no data
861.18/215.94	c  S st  1053   1209909       630      2736         0     81271      8333   1626137     18.47   no data
861.98/216.19	c  S st  1053   1210413       630      2736         0     81773      8333   1640234     18.47   no data
861.98/216.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
862.38/216.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
862.38/216.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
862.38/216.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
862.38/216.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
862.38/216.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
862.38/216.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
862.38/216.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
862.78/216.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
883.52/221.55	c lits-rem:       455  cl-subs:     3170  v-elim:      0  v-fix:    0  time:  5.19 s
883.52/221.55	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
883.52/221.57	c vivif2 --  cl tried    78603 cl shrink        0 lits rem          0 time: 0.02
883.93/221.66	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.08
883.93/221.66	c calculated reachability. Time: 0.00
883.93/221.66	c  N st  1053   1210413       630      2736         0     78603      8333   1531914     18.47   no data
964.51/241.83	c  N st  1054   1283296       630      2736         0     54903      8333    725897     18.47   no data
1077.79/270.24	c  N st  1055   1392620       630      2736         0     63202      8333    933614     18.47   no data
1266.08/317.42	c  N st  1056   1556606       630      2736         0     68063      8333   1010125     18.47   no data
1439.98/361.03	c  N st  1057   1710413       630      2736         0    109608      8333   2179900     18.47   no data
1439.98/361.03	c  S st  1057   1710413       630      2736         0    109608      8333   2179900     18.47   no data
1441.18/361.38	c  S st  1057   1710918       630      2736         0    110113      8333   2193935     18.47   no data
1441.18/361.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1441.58/361.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1441.58/361.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1441.58/361.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1441.58/361.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.58/361.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
1441.58/361.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1441.58/361.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1441.98/361.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1508.20/378.18	c lits-rem:       703  cl-subs:     7367  v-elim:      0  v-fix:    0  time: 16.45 s
1508.20/378.18	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
1508.60/378.21	c vivif2 --  cl tried   102746 cl shrink        0 lits rem          0 time: 0.03
1509.00/378.32	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.11
1509.00/378.32	c calculated reachability. Time: 0.00
1509.00/378.32	c  N st  1057   1710918       630      2736         0    102746      8333   1980586     18.47   no data
1946.98/488.16	c  N st  1058   2079882       630      2736         0    114645      8333   2280905     18.47   no data
2112.53/529.67	c  N st  1059   2210918       630      2736         0    119036      8333   2406997     18.47   no data
2112.53/529.67	c  S st  1059   2210918       630      2736         0    119036      8333   2406997     18.47   no data
2114.12/530.07	c  S st  1059   2211423       630      2736         0    119541      8333   2420955     18.47   no data
2114.12/530.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2114.52/530.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2114.52/530.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2114.52/530.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2114.52/530.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2114.52/530.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2114.52/530.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2114.52/530.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2114.94/530.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2179.14/546.34	c lits-rem:       732  cl-subs:     6119  v-elim:      0  v-fix:    0  time: 15.91 s
2179.14/546.34	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
2179.14/546.37	c vivif2 --  cl tried   113422 cl shrink        0 lits rem          0 time: 0.03
2179.94/546.50	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.13
2179.94/546.51	c calculated reachability. Time: 0.00
2179.94/546.51	c  N st  1059   2211423       630      2736         0    113422      8333   2226771     18.47   no data
2860.06/717.01	c  N st  1060   2711424       630      2736         0    137229      8333   2756871     18.47   no data
2860.06/717.01	c  S st  1060   2711424       630      2736         0    137229      8333   2756871     18.47   no data
2861.65/717.46	c  S st  1060   2711926       630      2736         0    137729      8333   2770384     18.47   no data
2861.65/717.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2862.05/717.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2862.05/717.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2862.05/717.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2862.05/717.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2862.05/717.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2862.05/717.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2862.05/717.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2862.45/717.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2951.81/740.01	c lits-rem:      1377  cl-subs:     7905  v-elim:      0  v-fix:    0  time: 22.11 s
2951.81/740.01	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
2951.81/740.05	c vivif2 --  cl tried   129824 cl shrink        0 lits rem          0 time: 0.04
2952.61/740.21	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.16
2952.61/740.21	c calculated reachability. Time: 0.00
2952.61/740.21	c  N st  1060   2711926       630      2736         0    129824      8333   2546365     18.47   no data
3665.41/918.95	c  N st  1061   3211926       630      2736         0    104882      8333   1563152     18.47   no data
3665.41/918.95	c  S st  1061   3211926       630      2736         0    104882      8333   1563152     18.47   no data
3667.01/919.31	c  S st  1061   3212427       630      2736         0    105382      8333   1577451     18.47   no data
3667.01/919.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3667.01/919.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
3667.01/919.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3667.01/919.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3667.01/919.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3667.01/919.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
3667.01/919.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3667.41/919.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3667.41/919.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3683.36/923.43	c lits-rem:       314  cl-subs:     4555  v-elim:      0  v-fix:    0  time:  3.93 s
3683.36/923.43	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
3683.36/923.45	c vivif2 --  cl tried   100827 cl shrink        0 lits rem          0 time: 0.02
3683.77/923.56	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.11
3683.77/923.57	c calculated reachability. Time: 0.00
3683.77/923.57	c  N st  1061   3212427       630      2736         0    100827      8333   1473208     18.47   no data
4488.32/1125.23	c  N st  1062   3712428       630      2736         0    111558      8333   1698508     18.47   no data
4488.32/1125.23	c  S st  1062   3712428       630      2736         0    111558      8333   1698508     18.47   no data
4489.90/1125.60	c  S st  1062   3712930       630      2736         0    112060      8333   1711890     18.47   no data
4489.90/1125.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4489.90/1125.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4489.90/1125.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4489.90/1125.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4489.90/1125.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4489.90/1125.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
4489.90/1125.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4489.90/1125.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4490.30/1125.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4509.86/1130.61	c lits-rem:       272  cl-subs:     3272  v-elim:      0  v-fix:    0  time:  4.81 s
4509.86/1130.61	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
4509.86/1130.64	c vivif2 --  cl tried   108788 cl shrink        0 lits rem          0 time: 0.03
4510.26/1130.79	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.16
4510.26/1130.80	c calculated reachability. Time: 0.00
4510.26/1130.80	c  N st  1062   3712930       630      2736         0    108788      8333   1618981     18.47   no data
4595.60/1152.10	c  F st  1063   3751562       630      2736         0    146575      8333   2790894     18.47   no data
4595.60/1152.10	c  N st  1063   3751562       630      2736         0    146575      8333   2790894     18.47   no data
4607.97/1155.25	c Decided on static restart strategy
4650.25/1165.85	c  N st  1073   3779867       630      2736         0     91417      8333   1059530     18.47   no data
4703.72/1179.30	c  N st  1075   3815861       630      2736         0    126773      8333   2113364     18.47   no data
4761.19/1193.67	c  N st  1076   3848253       630      2736         0    158529      8333   3063398     18.47   no data

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366459-1305404645/watcher-3366459-1305404645 -o /tmp/evaluation-result-3366459-1305404645/solver-3366459-1305404645 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366459-1305404645.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: 6.84 7.84 8.00 6/355 18198
/proc/meminfo: memFree=24726596/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=248884 CPUtime=0.01 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 624 0 0 0 1 0 0 0 25 0 4 0 652061571 254857216 537 33554432000 4194304 4580107 140733484431136 18446744073709551615 239476800031 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18198/statm: 62221 543 333 95 0 57203 0
[pid=18198/tid=18199] ppid=18196 vsize=282156 CPUtime=0 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 150 0 0 0 0 0 0 0 25 0 4 0 652061571 288927744 963 33554432000 4194304 4580107 140733484431136 18446744073709551615 239476719511 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=282156 CPUtime=0 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 209 0 0 0 0 0 0 0 25 0 4 0 652061571 288927744 965 33554432000 4194304 4580107 140733484431136 18446744073709551615 239476719511 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=282156 CPUtime=0 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 146 0 0 0 0 0 0 0 25 0 4 0 652061571 288927744 966 33554432000 4194304 4580107 140733484431136 18446744073709551615 4489196 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.105794 s]
/proc/loadavg: 6.84 7.84 8.00 6/355 18198
/proc/meminfo: memFree=24726596/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=282396 CPUtime=0.39 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 1841 0 0 0 39 0 0 0 25 0 4 0 652061571 289173504 1741 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293907 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 70599 1741 377 95 0 65581 0
[pid=18198/tid=18199] ppid=18196 vsize=282396 CPUtime=0.09 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 381 0 0 0 9 0 0 0 25 0 4 0 652061571 289173504 1741 33554432000 4194304 4580107 140733484431136 18446744073709551615 4489412 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=282396 CPUtime=0.09 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 384 0 0 0 9 0 0 0 25 0 4 0 652061571 289173504 1741 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=282396 CPUtime=0.09 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 282 0 0 0 9 0 0 0 25 0 4 0 652061571 289173504 1741 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 282396

[startup+0.200775 s]
/proc/loadavg: 6.84 7.84 8.00 6/355 18198
/proc/meminfo: memFree=24726596/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=283900 CPUtime=0.77 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 2544 0 0 0 77 0 0 0 25 0 4 0 652061571 290713600 1770 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 70975 1770 377 95 0 65957 0
[pid=18198/tid=18199] ppid=18196 vsize=283900 CPUtime=0.19 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 558 0 0 0 19 0 0 0 25 0 4 0 652061571 290713600 1770 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=283900 CPUtime=0.19 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 553 0 0 0 19 0 0 0 25 0 4 0 652061571 290713600 1771 33554432000 4194304 4580107 140733484431136 18446744073709551615 4305960 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=283900 CPUtime=0.19 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 460 0 0 0 19 0 0 0 25 0 4 0 652061571 290713600 1771 33554432000 4194304 4580107 140733484431136 18446744073709551615 4320786 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283900

[startup+0.300756 s]
/proc/loadavg: 6.84 7.84 8.00 6/355 18198
/proc/meminfo: memFree=24726596/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=284060 CPUtime=1.17 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 3003 0 0 0 117 0 0 0 25 0 4 0 652061571 290877440 2229 33554432000 4194304 4580107 140733484431136 18446744073709551615 4321229 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 71015 2229 377 95 0 65997 0
[pid=18198/tid=18199] ppid=18196 vsize=284060 CPUtime=0.29 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 676 0 0 0 29 0 0 0 25 0 4 0 652061571 290877440 2229 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=284060 CPUtime=0.29 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 661 0 0 0 29 0 0 0 25 0 4 0 652061571 290877440 2230 33554432000 4194304 4580107 140733484431136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=284060 CPUtime=0.29 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 573 0 0 0 29 0 0 0 25 0 4 0 652061571 290877440 2230 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284060

[startup+0.700679 s]
/proc/loadavg: 6.84 7.84 8.00 6/355 18198
/proc/meminfo: memFree=24726596/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=285096 CPUtime=2.76 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 4680 0 0 0 276 0 0 0 25 0 4 0 652061571 291938304 2886 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293720 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 71274 2886 377 95 0 66256 0
[pid=18198/tid=18199] ppid=18196 vsize=285096 CPUtime=0.69 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 1100 0 0 0 69 0 0 0 25 0 4 0 652061571 291938304 2886 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293076 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=285096 CPUtime=0.68 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 1080 0 0 0 68 0 0 0 25 0 4 0 652061571 291938304 2886 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=285096 CPUtime=0.69 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 987 0 0 0 69 0 0 0 25 0 4 0 652061571 291938304 2886 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285096

[startup+1.50053 s]
/proc/loadavg: 6.84 7.84 8.00 9/359 18202
/proc/meminfo: memFree=24705604/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=286460 CPUtime=5.95 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 9584 0 0 0 594 1 0 0 25 0 4 0 652061571 293335040 4954 33554432000 4194304 4580107 140733484431136 18446744073709551615 4406355 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 71615 4954 379 95 0 66597 0
[pid=18198/tid=18199] ppid=18196 vsize=286460 CPUtime=1.49 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 1952 0 0 0 149 0 0 0 25 0 4 0 652061571 293335040 4954 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=286460 CPUtime=1.48 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 1923 0 0 0 148 0 0 0 25 0 4 0 652061571 293335040 4954 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=286460 CPUtime=1.48 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 1873 0 0 0 148 0 0 0 25 0 4 0 652061571 293335040 4954 33554432000 4194304 4580107 140733484431136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286460

[startup+3.10022 s]
/proc/loadavg: 6.84 7.84 8.00 9/359 18202
/proc/meminfo: memFree=24686508/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=276496 CPUtime=12.34 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 18205 0 0 0 1231 3 0 0 25 0 4 0 652061571 283131904 10509 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 69124 10509 379 95 0 64106 0
[pid=18198/tid=18199] ppid=18196 vsize=276496 CPUtime=3.08 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 4147 0 0 0 308 0 0 0 25 0 4 0 652061571 283131904 10509 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=276496 CPUtime=3.08 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 4845 0 0 0 307 1 0 0 25 0 4 0 652061571 283131904 10509 33554432000 4194304 4580107 140733484431136 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=276496 CPUtime=3.08 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 4090 0 0 0 308 0 0 0 25 0 4 0 652061571 283131904 10509 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 276496

[startup+6.30061 s]
/proc/loadavg: 6.93 7.84 8.00 9/359 18202
/proc/meminfo: memFree=24645560/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=314136 CPUtime=25.1 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 27663 0 0 0 2506 4 0 0 25 0 4 0 652061571 321675264 14501 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 78534 14501 379 95 0 73516 0
[pid=18198/tid=18199] ppid=18196 vsize=314136 CPUtime=6.29 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 7175 0 0 0 628 1 0 0 25 0 4 0 652061571 321675264 14501 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=314136 CPUtime=6.28 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 6884 0 0 0 627 1 0 0 25 0 4 0 652061571 321675264 14501 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=314136 CPUtime=6.28 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 6030 0 0 0 627 1 0 0 25 0 4 0 652061571 321675264 14501 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 314136

[startup+12.7004 s]
/proc/loadavg: 7.02 7.84 8.00 9/359 18203
/proc/meminfo: memFree=24608664/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=294696 CPUtime=50.63 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 43189 0 0 0 5056 7 0 0 25 0 4 0 652061571 301768704 23065 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 73674 23065 379 95 0 68656 0
[pid=18198/tid=18199] ppid=18196 vsize=294696 CPUtime=12.68 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 11929 0 0 0 1267 1 0 0 25 0 4 0 652061571 301768704 23066 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=294696 CPUtime=12.68 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 7500 0 0 0 1267 1 0 0 25 0 4 0 652061571 301768704 23066 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=294696 CPUtime=12.68 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 11879 0 0 0 1266 2 0 0 25 0 4 0 652061571 301768704 23066 33554432000 4194304 4580107 140733484431136 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.63
Current children cumulated vsize (KiB) 294696

[startup+25.5009 s]
/proc/loadavg: 7.23 7.85 8.00 9/359 18203
/proc/meminfo: memFree=24554724/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=305764 CPUtime=101.69 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 61586 0 0 0 10158 11 0 0 25 0 4 0 652061571 313102336 31867 33554432000 4194304 4580107 140733484431136 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 76441 31867 379 95 0 71423 0
[pid=18198/tid=18199] ppid=18196 vsize=305764 CPUtime=25.49 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 18724 0 0 0 2546 3 0 0 25 0 4 0 652061571 313102336 31867 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=305764 CPUtime=25.48 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 9548 0 0 0 2547 1 0 0 25 0 4 0 652061571 313102336 31867 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=305764 CPUtime=25.48 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 17202 0 0 0 2545 3 0 0 25 0 4 0 652061571 313102336 31867 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.69
Current children cumulated vsize (KiB) 305764

[startup+51.101 s]
/proc/loadavg: 7.71 7.91 8.02 9/359 18204
/proc/meminfo: memFree=24518284/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=291020 CPUtime=203.8 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 95499 0 0 0 20362 18 0 0 25 0 4 0 652061571 298004480 35464 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 72755 35464 379 95 0 67737 0
[pid=18198/tid=18199] ppid=18196 vsize=291020 CPUtime=51.09 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 26300 0 0 0 5104 5 0 0 25 0 4 0 652061571 298004480 35464 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=291020 CPUtime=51.08 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 17687 0 0 0 5105 3 0 0 25 0 4 0 652061571 298004480 35464 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=291020 CPUtime=51.08 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 25684 0 0 0 5103 5 0 0 25 0 4 0 652061571 298004480 35464 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.8
Current children cumulated vsize (KiB) 291020

[startup+102.301 s]
/proc/loadavg: 7.96 7.94 8.02 9/359 18205
/proc/meminfo: memFree=24458236/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=314656 CPUtime=408.08 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 138154 0 0 0 40776 32 0 0 25 0 4 0 652061571 322207744 49339 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 78664 49339 379 95 0 73646 0
[pid=18198/tid=18199] ppid=18196 vsize=314656 CPUtime=102.3 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 37239 0 0 0 10222 8 0 0 25 0 4 0 652061571 322207744 49340 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294479 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=314656 CPUtime=102.28 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 28815 0 0 0 10222 6 0 0 25 0 4 0 652061571 322207744 49340 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294574 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=314656 CPUtime=102.3 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 36568 0 0 0 10221 9 0 0 25 0 4 0 652061571 322207744 49340 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.08
Current children cumulated vsize (KiB) 314656

[startup+162.301 s]

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

[pid=18198] ppid=18196 vsize=627440 CPUtime=2801.43 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 474931 0 0 0 279983 160 0 0 25 0 4 0 652061571 642498560 102997 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 156860 102997 379 95 0 151842 0
[pid=18198/tid=18199] ppid=18196 vsize=627440 CPUtime=702.31 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 116872 0 0 0 70191 40 0 0 25 0 4 0 652061571 642498560 102997 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294109 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=627440 CPUtime=702.18 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 112641 0 0 0 70178 40 0 0 25 0 4 0 652061571 642498560 102997 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=627440 CPUtime=702.3 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 127351 0 0 0 70186 44 0 0 25 0 4 0 652061571 642498560 102997 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2801.43
Current children cumulated vsize (KiB) 627440

[startup+762.301 s]
/proc/loadavg: 8.09 8.09 8.04 9/359 18223
/proc/meminfo: memFree=24075356/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=646804 CPUtime=3040.8 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 503104 0 0 0 303908 172 0 0 25 0 4 0 652061571 662327296 106329 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294482 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 161701 106329 379 95 0 156683 0
[pid=18198/tid=18199] ppid=18196 vsize=646804 CPUtime=762.33 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 123216 0 0 0 76190 43 0 0 25 0 4 0 652061571 662327296 106331 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=646804 CPUtime=762.18 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 120882 0 0 0 76174 44 0 0 25 0 4 0 652061571 662327296 106331 33554432000 4194304 4580107 140733484431136 18446744073709551615 4416469 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=646804 CPUtime=762.32 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 134617 0 0 0 76185 47 0 0 25 0 4 0 652061571 662327296 106331 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3040.8
Current children cumulated vsize (KiB) 646804

[startup+822.3 s]
/proc/loadavg: 8.08 8.09 8.04 9/359 18224
/proc/meminfo: memFree=24065672/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=685120 CPUtime=3280.1 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 529968 0 0 0 327827 183 0 0 25 0 4 0 652061571 701562880 109374 33554432000 4194304 4580107 140733484431136 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 171280 109374 379 95 0 166262 0
[pid=18198/tid=18199] ppid=18196 vsize=685120 CPUtime=822.32 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 130205 0 0 0 82186 46 0 0 25 0 4 0 652061571 701562880 109374 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=685120 CPUtime=822.16 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 128652 0 0 0 82169 47 0 0 25 0 4 0 652061571 701562880 109374 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=685120 CPUtime=822.3 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 142457 0 0 0 82180 50 0 0 25 0 4 0 652061571 701562880 109374 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294570 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.1
Current children cumulated vsize (KiB) 685120

[startup+882.313 s]
/proc/loadavg: 8.17 8.11 8.05 9/359 18226
/proc/meminfo: memFree=24032924/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=699252 CPUtime=3519.48 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 560947 0 0 0 351751 197 0 0 25 0 4 0 652061571 716034048 118134 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 174813 118134 379 95 0 169795 0
[pid=18198/tid=18199] ppid=18196 vsize=699252 CPUtime=882.33 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 136637 0 0 0 88183 50 0 0 25 0 4 0 652061571 716034048 118134 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=699252 CPUtime=882.16 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 136299 0 0 0 88165 51 0 0 25 0 4 0 652061571 716034048 118134 33554432000 4194304 4580107 140733484431136 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=699252 CPUtime=882.32 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 154456 0 0 0 88178 54 0 0 25 0 4 0 652061571 716034048 118134 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3519.48
Current children cumulated vsize (KiB) 699252

[startup+942.301 s]
/proc/loadavg: 8.19 8.12 8.06 9/359 18227
/proc/meminfo: memFree=23973628/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=751828 CPUtime=3758.75 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 589928 0 0 0 375666 209 0 0 25 0 4 0 652061571 769871872 127532 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 187957 127532 379 95 0 182939 0
[pid=18198/tid=18199] ppid=18196 vsize=751828 CPUtime=942.32 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 146330 0 0 0 94180 52 0 0 25 0 4 0 652061571 769871872 127532 33554432000 4194304 4580107 140733484431136 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=751828 CPUtime=942.13 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 143721 0 0 0 94158 55 0 0 25 0 4 0 652061571 769871872 127532 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=751828 CPUtime=942.3 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 160853 0 0 0 94173 57 0 0 25 0 4 0 652061571 769871872 127532 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293680 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3758.75
Current children cumulated vsize (KiB) 751828

[startup+1002.3 s]
/proc/loadavg: 8.16 8.12 8.06 9/359 18229
/proc/meminfo: memFree=23913848/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=773788 CPUtime=3998.08 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 614632 0 0 0 399589 219 0 0 25 0 4 0 652061571 792358912 130473 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 193447 130473 379 95 0 188429 0
[pid=18198/tid=18199] ppid=18196 vsize=773788 CPUtime=1002.32 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 151428 0 0 0 100177 55 0 0 25 0 4 0 652061571 792358912 130473 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=773788 CPUtime=1002.14 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 153532 0 0 0 100156 58 0 0 25 0 4 0 652061571 792358912 130473 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=773788 CPUtime=1002.31 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 166969 0 0 0 100171 60 0 0 25 0 4 0 652061571 792358912 130473 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3998.08
Current children cumulated vsize (KiB) 773788

[startup+1062.3 s]
/proc/loadavg: 8.13 8.12 8.06 9/359 18231
/proc/meminfo: memFree=23969748/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=669160 CPUtime=4237.43 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 639000 0 0 0 423514 229 0 0 25 0 4 0 652061571 685219840 129260 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294520 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 167290 129260 379 95 0 162272 0
[pid=18198/tid=18199] ppid=18196 vsize=669160 CPUtime=1062.33 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 158366 0 0 0 106175 58 0 0 25 0 4 0 652061571 685219840 129260 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=669160 CPUtime=1062.12 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 160855 0 0 0 106151 61 0 0 25 0 4 0 652061571 685219840 129261 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=669160 CPUtime=1062.32 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 172925 0 0 0 106169 63 0 0 25 0 4 0 652061571 685219840 129261 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4237.43
Current children cumulated vsize (KiB) 669160

[startup+1122.3 s]
/proc/loadavg: 8.11 8.11 8.06 9/359 18232
/proc/meminfo: memFree=23935016/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=788024 CPUtime=4476.75 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 667408 0 0 0 447433 242 0 0 25 0 4 0 652061571 806936576 137266 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293225 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 197006 137266 379 95 0 191988 0
[pid=18198/tid=18199] ppid=18196 vsize=788024 CPUtime=1122.33 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 165011 0 0 0 112171 62 0 0 25 0 4 0 652061571 806936576 137266 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=788024 CPUtime=1122.12 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 167918 0 0 0 112147 65 0 0 25 0 4 0 652061571 806936576 137266 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=788024 CPUtime=1122.31 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 181784 0 0 0 112166 65 0 0 25 0 4 0 652061571 806936576 137266 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4476.75
Current children cumulated vsize (KiB) 788024

[startup+1182.3 s]
/proc/loadavg: 8.19 8.12 8.07 9/359 18234
/proc/meminfo: memFree=23936108/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=734140 CPUtime=4716.07 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 687992 0 0 0 471355 252 0 0 25 0 4 0 652061571 751759360 137816 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 183535 137816 379 95 0 178517 0
[pid=18198/tid=18199] ppid=18196 vsize=734140 CPUtime=1182.33 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 172137 0 0 0 118167 66 0 0 25 0 4 0 652061571 751759360 137816 33554432000 4194304 4580107 140733484431136 18446744073709551615 4295695 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=734140 CPUtime=1182.1 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 175602 0 0 0 118144 66 0 0 25 0 4 0 652061571 751759360 137816 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=734140 CPUtime=1182.32 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 185381 0 0 0 118164 68 0 0 25 0 4 0 652061571 751759360 137816 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4716.07
Current children cumulated vsize (KiB) 734140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.4 s]
/proc/loadavg: 7.80 8.04 8.04 6/351 18252
/proc/meminfo: memFree=24194028/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=747096 CPUtime=4800.3 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 696172 0 0 0 479775 255 0 0 25 0 4 0 652061571 765026304 141221 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 186774 141221 379 95 0 181756 0
[pid=18198/tid=18199] ppid=18196 vsize=747096 CPUtime=1203.46 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 173589 0 0 0 120279 67 0 0 25 0 4 0 652061571 765026304 141222 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=747096 CPUtime=1203.23 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 178014 0 0 0 120256 67 0 0 25 0 4 0 652061571 765026304 141222 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=747096 CPUtime=1203.44 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 187854 0 0 0 120275 69 0 0 25 0 4 0 652061571 765026304 141222 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 747096

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

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

[startup+1203.4 s]
/proc/loadavg: 7.80 8.04 8.04 6/351 18252
/proc/meminfo: memFree=24194028/32950928 swapFree=67056568/67111528
[pid=18198] ppid=18196 vsize=747096 CPUtime=4800.3 cores=0,2,4,6
/proc/18198/stat : 18198 (strangenight2-m) R 18196 18198 17503 0 -1 4202496 696172 0 0 0 479775 255 0 0 25 0 4 0 652061571 765026304 141221 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 6 0 0 0
/proc/18198/statm: 186774 141221 379 95 0 181756 0
[pid=18198/tid=18199] ppid=18196 vsize=747096 CPUtime=1203.46 cores=0,2,4,6
/proc/18198/task/18199/stat : 18199 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 173589 0 0 0 120279 67 0 0 25 0 4 0 652061571 765026304 141222 33554432000 4194304 4580107 140733484431136 18446744073709551615 4293192 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18198/tid=18200] ppid=18196 vsize=747096 CPUtime=1203.23 cores=0,2,4,6
/proc/18198/task/18200/stat : 18200 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 178014 0 0 0 120256 67 0 0 25 0 4 0 652061571 765026304 141222 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18198/tid=18201] ppid=18196 vsize=747096 CPUtime=1203.44 cores=0,2,4,6
/proc/18198/task/18201/stat : 18201 (strangenight2-m) R 18196 18198 17503 0 -1 4202560 187854 0 0 0 120275 69 0 0 25 0 4 0 652061571 765026304 141222 33554432000 4194304 4580107 140733484431136 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 747096

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.46
CPU time (s): 4800.37
CPU user time (s): 4797.79
CPU system time (s): 2.58461
CPU usage (%): 398.881
Max. virtual memory (cumulated for all children) (KiB): 892468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.79
system time used= 2.58461
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 696175
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= 214
involuntary context switches= 22195

runsolver used 3.72043 second user time and 9.59754 second system time

The end

Launcher Data 

Begin job on node148 at 2011-05-14 22:24:05
IDJOB=3366459
IDBENCH=82868
IDSOLVER=1844
FILE ID=node148/3366459-1305404645
RUNJOBID= node148-1305404643-18145
PBS_JOBID= 13324458
Free space on /tmp= 72836 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S960948361-055.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366459-1305404645/watcher-3366459-1305404645 -o /tmp/evaluation-result-3366459-1305404645/solver-3366459-1305404645 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366459-1305404645.cnf

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

MD5SUM BENCH= b51753a48e6efd66554e7afe4efc3b19
RANDOM SEED=449058320

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      24726752 kB
Buffers:        315648 kB
Cached:        4593744 kB
SwapCached:       8488 kB
Active:        4579516 kB
Inactive:      3293384 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      24726752 kB
SwapTotal:    67111528 kB
SwapFree:     67056568 kB
Dirty:           11444 kB
Writeback:           0 kB
AnonPages:     2961160 kB
Mapped:          27660 kB
Slab:           259448 kB
PageTables:      28804 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 84758280 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= 72836 MiB
End job on node148 at 2011-05-14 22:44:11