Trace number 3174050

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt? (TO) 4800.19 1201.64

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-3174050-1304079335.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.18	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.18	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.18	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.18	c calculated reachability. Time: 0.00
0.00/0.18	c Calc default polars -  time:   0.00 s pos:     309 undec:      56 neg:     285
0.00/0.18	c =========================================================================================
0.00/0.18	c types(t): F = full restart, N = normal restart
0.00/0.18	c types(t): S = simplification begin/end, E = solution found
0.00/0.18	c restart types(rt): st = static, dy = dynamic
0.00/0.18	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.61	c  B st     0         0       631      2749         0         0      8372         0   no data   no data
0.00/0.61	c Decided on static restart strategy
0.00/0.61	c  N st     8      4919       631      2749         0      4862      8372    133782   no data   no data
0.00/0.61	c  N st    10     11301       631      2749         0      4504      8372     86107   no data   no data
3.25/0.91	c  N st    11     17047       631      2749         0     10151      8372    250498   no data   no data
4.45/1.21	c  F st    12     25001       631      2749         0     12432      8372    302228   no data   no data
4.45/1.21	c  N st    12     25001       631      2749         0     12432      8372    302228   no data   no data
5.57/1.49	c Decided on static restart strategy
5.57/1.49	c  N st    18     30000       631      2749         0     10718      8372    239377   no data   no data
5.57/1.49	c  S st    18     30000       631      2749         0     10718      8372    239377   no data   no data
5.57/1.49	c  S st    18     30503       631      2749         0     11221      8372    252766   no data   no data
5.57/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.49	c blocked clauses removed:       13 vars:      1 tried:         631 T: 0.00 s
5.57/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
5.57/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.53	c lits-rem:       202  cl-subs:      334  v-elim:      0  v-fix:    0  time:  0.05 s
5.96/1.54	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
5.96/1.54	c calculated reachability. Time: 0.00
5.96/1.54	c  N st    18     30503       630      2736         0     10841      8333    240071   no data   no data
7.56/1.97	c  N st    20     37614       630      2736         0     10103      8333    194065   no data   no data
9.56/2.42	c  N st    21     44015       630      2736         0     16381      8333    373371   no data   no data
9.96/2.55	c  S st    22     45755       630      2736         0      9322      8333    151932   no data   no data
9.96/2.58	c  S st    22     46260       630      2736         0      9827      8333    164747   no data   no data
9.96/2.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
9.96/2.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.60	c lits-rem:        17  cl-subs:       52  v-elim:      0  v-fix:    0  time:  0.01 s
10.35/2.60	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
10.35/2.60	c vivif2 --  cl tried     9775 cl shrink        0 lits rem          0 time: 0.00
10.35/2.61	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
10.35/2.61	c calculated reachability. Time: 0.00
10.35/2.61	c  N st    22     46260       630      2736         0      9775      8333    163260   no data   no data
13.95/3.59	c  N st    23     60657       630      2736         0     14157      8333    274670   no data   no data
17.14/4.35	c  N st    24     69391       630      2736         0     11937      8333    204251   no data   no data
17.14/4.35	c  S st    24     69391       630      2736         0     11937      8333    204251   no data   no data
17.14/4.38	c  S st    24     69894       630      2736         0     12440      8333    217583   no data   no data
17.14/4.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.14/4.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.14/4.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.14/4.38	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.14/4.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.14/4.38	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
17.14/4.38	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.14/4.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.14/4.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.54/4.42	c lits-rem:        32  cl-subs:      189  v-elim:      0  v-fix:    0  time:  0.02 s
17.54/4.42	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
17.54/4.42	c vivif2 --  cl tried    12251 cl shrink        0 lits rem          0 time: 0.00
17.54/4.43	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
17.54/4.43	c calculated reachability. Time: 0.00
17.54/4.43	c  N st    24     69894       630      2736         0     12251      8333    211589   no data   no data
22.34/5.68	c  F st    25     87500       630      2736         0     17774      8333    366915   no data   no data
22.34/5.68	c  N st    25     87500       630      2736         0     17774      8333    366915   no data   no data
24.35/6.13	c  N dy    32     93090       630      2736         0     23294      8333    520451     19.93     21.08
26.73/6.76	c  N dy    51    100718       630      2736         0     17956      8333    299114     18.47     19.55
27.93/7.07	c  S st    52    104841       630      2736         0     22037      8333    407720     17.43     14.92
28.33/7.13	c  S st    52    105344       630      2736         0     22540      8333    421772     17.43   no data
28.33/7.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.33/7.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.33/7.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.33/7.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.33/7.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
28.33/7.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.33/7.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.33/7.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.26	c lits-rem:        89  cl-subs:      515  v-elim:      0  v-fix:    0  time:  0.11 s
28.74/7.26	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
28.74/7.27	c vivif2 --  cl tried    22025 cl shrink        0 lits rem          0 time: 0.00
28.74/7.28	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.01
28.74/7.28	c calculated reachability. Time: 0.00
28.74/7.28	c  N dy    52    105344       630      2736         0     22025      8333    407894     17.43   no data
31.53/7.94	c  N dy    97    112106       630      2736         0     14872      8333    183233     17.90     19.95
33.93/8.53	c  N dy   121    119443       630      2736         0     22117      8333    375241     17.82     18.99
37.54/9.45	c  N dy   157    128110       630      2736         0     15858      8333    182202     17.84     18.83
40.32/10.14	c  N dy   210    136360       630      2736         0     24047      8333    403936     18.01     20.35
44.32/11.11	c  N dy   271    145158       630      2736         0     16930      8333    185777     18.20     19.26
47.51/11.94	c  N dy   306    154816       630      2736         0     26505      8333    448346     18.19     19.39
49.11/12.31	c  S st   333    158016       630      2736         0     29675      8333    535132     18.26   no data
49.11/12.38	c  S st   333    158518       630      2736         0     30177      8333    549326     18.26   no data
49.11/12.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.11/12.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.11/12.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.11/12.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.11/12.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.11/12.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
49.11/12.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.51/12.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.51/12.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.56	c lits-rem:       213  cl-subs:      387  v-elim:      0  v-fix:    0  time:  0.13 s
49.91/12.56	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
49.91/12.56	c vivif2 --  cl tried    29790 cl shrink        0 lits rem          0 time: 0.01
49.91/12.58	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.02
49.91/12.58	c calculated reachability. Time: 0.00
49.91/12.58	c  N dy   333    158518       630      2736         0     29790      8333    537308     18.26   no data
53.90/13.59	c  N dy   372    168755       630      2736         0     23102      8333    327079     18.23     19.27
58.71/14.80	c  N dy   433    179564       630      2736         0     33822      8333    617187     18.32     19.37
63.49/15.94	c  N dy   499    191068       630      2736         0     27368      8333    425096     18.39     19.40
69.48/17.40	c  N dy   539    203266       630      2736         0     20609      8333    213035     18.33     19.31
74.67/18.78	c  N dy   593    216519       630      2736         0     33763      8333    575069     18.35     19.33
81.89/20.55	c  N dy   648    231556       630      2736         0     28816      8333    413303     18.32     19.39
85.47/21.41	c  S st   683    237779       630      2736         0     34986      8333    584076     18.33     16.58
85.47/21.50	c  S st   683    238282       630      2736         0     35489      8333    597503     18.33   no data
85.89/21.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.89/21.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.89/21.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.89/21.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.89/21.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.89/21.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
85.89/21.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.89/21.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.89/21.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.66/21.74	c lits-rem:       173  cl-subs:      597  v-elim:      0  v-fix:    0  time:  0.20 s
86.66/21.74	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
86.66/21.75	c vivif2 --  cl tried    34892 cl shrink        0 lits rem          0 time: 0.01
86.66/21.77	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.02
86.66/21.77	c calculated reachability. Time: 0.00
86.66/21.77	c  N dy   683    238282       630      2736         0     34892      8333    579725     18.33   no data
94.26/23.61	c  N dy   764    253568       630      2736         0     29227      8333    403684     18.37     21.04
103.04/25.81	c  N dy   842    269797       630      2736         0     23501      8333    231024     18.40     20.39
111.43/27.99	c  N dy   937    287326       630      2736         0     40866      8333    703998     18.46     19.54
121.04/30.35	c  N dy  1016    305932       630      2736         0     36523      8333    563034     18.47     19.47
121.04/30.40	c  F st  1020    306250       630      2736         0     36839      8333    571798     18.47   no data
124.23/31.17	c Decided on static restart strategy
136.21/34.18	c  N st  1030    334554       630      2736         0     40966      8333    857055     18.47   no data
149.39/37.41	c  N st  1032    357423       630      2736         0     38799      8333    786838     18.47   no data
149.39/37.41	c  S st  1032    357423       630      2736         0     38799      8333    786838     18.47   no data
149.79/37.50	c  S st  1032    357929       630      2736         0     39305      8333    800269     18.47   no data
149.79/37.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
149.79/37.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
149.79/37.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
149.79/37.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
149.79/37.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
149.79/37.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
149.79/37.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
149.79/37.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
149.79/37.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.59/38.20	c lits-rem:       225  cl-subs:     1470  v-elim:      0  v-fix:    0  time:  0.65 s
152.59/38.20	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
152.59/38.22	c vivif2 --  cl tried    37835 cl shrink        0 lits rem          0 time: 0.01
152.59/38.25	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.03
152.59/38.25	c calculated reachability. Time: 0.00
152.59/38.25	c  N st  1032    357929       630      2736         0     37835      8333    757729     18.47   no data
169.39/42.45	c  N st  1033    390324       630      2736         0     44071      8333    981791     18.47   no data
198.13/49.62	c  N st  1034    438917       630      2736         0     37813      8333    702775     18.47   no data
247.67/62.02	c  N st  1035    511799       630      2736         0     51532      8333   1099371     18.47   no data
262.46/65.78	c  N st  1036    536897       630      2736         0     45834      8333    883930     18.47   no data
262.46/65.78	c  S st  1036    536897       630      2736         0     45834      8333    883930     18.47   no data
263.26/65.90	c  S st  1036    537400       630      2736         0     46333      8333    898201     18.47   no data
263.26/65.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
263.26/65.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
263.26/65.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
263.26/65.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
263.26/65.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
263.26/65.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
263.26/65.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
263.26/65.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
263.26/65.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.07/66.62	c lits-rem:       172  cl-subs:      899  v-elim:      0  v-fix:    0  time:  0.65 s
266.07/66.62	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
266.07/66.63	c vivif2 --  cl tried    45434 cl shrink        0 lits rem          0 time: 0.01
266.07/66.67	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.04
266.07/66.67	c calculated reachability. Time: 0.00
266.07/66.67	c  N st  1036    537400       630      2736         0     45434      8333    870555     18.47   no data
387.91/97.15	c  N st  1037    701385       630      2736         0     39418      8333    546255     18.47   no data
474.61/118.87	c  N st  1038    806100       630      2736         0     68419      8333   1413049     18.47   no data
474.61/118.87	c  S st  1038    806100       630      2736         0     68419      8333   1413049     18.47   no data
475.40/119.05	c  S st  1038    806604       630      2736         0     68923      8333   1426329     18.47   no data
475.40/119.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
475.40/119.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
475.40/119.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
475.40/119.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
475.40/119.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
475.40/119.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
475.40/119.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
475.80/119.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
475.80/119.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
495.00/123.91	c lits-rem:       667  cl-subs:     3758  v-elim:      0  v-fix:    0  time:  4.75 s
495.00/123.91	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
495.00/123.93	c vivif2 --  cl tried    65165 cl shrink        0 lits rem          0 time: 0.02
495.00/123.99	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.06
495.00/123.99	c calculated reachability. Time: 0.00
495.00/123.99	c  N st  1038    806604       630      2736         0     65165      8333   1315228     18.47   no data
726.29/181.86	c  F st  1039   1071875       630      2736         0     80989      8333   1555903     18.47   no data
726.29/181.86	c  N st  1039   1071875       630      2736         0     80989      8333   1555903     18.47   no data
731.89/183.29	c Decided on static restart strategy
750.65/187.99	c  N st  1049   1100183       630      2736         0     64838      8333   1124443     18.47   no data
783.02/196.02	c  N st  1051   1136181       630      2736         0     55133      8333    800848     18.47   no data
815.80/204.24	c  N st  1052   1168575       630      2736         0     86861      8333   1712648     18.47   no data
858.52/214.94	c  N st  1053   1209909       630      2736         0     81271      8333   1626137     18.47   no data
858.52/214.94	c  S st  1053   1209909       630      2736         0     81271      8333   1626137     18.47   no data
859.33/215.19	c  S st  1053   1210413       630      2736         0     81773      8333   1640234     18.47   no data
859.33/215.19	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
859.73/215.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
859.73/215.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
859.73/215.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
859.73/215.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
859.73/215.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
859.73/215.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
859.73/215.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
860.12/215.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
880.89/220.52	c lits-rem:       455  cl-subs:     3170  v-elim:      0  v-fix:    0  time:  5.22 s
880.89/220.52	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
880.89/220.55	c vivif2 --  cl tried    78603 cl shrink        0 lits rem          0 time: 0.02
881.30/220.63	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.08
881.30/220.63	c calculated reachability. Time: 0.00
881.30/220.63	c  N st  1053   1210413       630      2736         0     78603      8333   1531914     18.47   no data
961.18/240.65	c  N st  1054   1283296       630      2736         0     54903      8333    725897     18.47   no data
1073.84/268.81	c  N st  1055   1392620       630      2736         0     63202      8333    933614     18.47   no data
1260.81/315.62	c  N st  1056   1556606       630      2736         0     68063      8333   1010125     18.47   no data
1433.78/358.95	c  N st  1057   1710413       630      2736         0    109608      8333   2179900     18.47   no data
1433.78/358.95	c  S st  1057   1710413       630      2736         0    109608      8333   2179900     18.47   no data
1434.99/359.30	c  S st  1057   1710918       630      2736         0    110113      8333   2193935     18.47   no data
1435.39/359.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1435.39/359.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1435.39/359.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1435.39/359.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1435.39/359.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1435.39/359.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
1435.39/359.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1435.39/359.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1435.77/359.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1501.68/375.93	c lits-rem:       703  cl-subs:     7367  v-elim:      0  v-fix:    0  time: 16.46 s
1501.68/375.93	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
1501.68/375.96	c vivif2 --  cl tried   102746 cl shrink        0 lits rem          0 time: 0.03
1502.09/376.07	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.11
1502.09/376.07	c calculated reachability. Time: 0.00
1502.09/376.07	c  N st  1057   1710918       630      2736         0    102746      8333   1980586     18.47   no data
1936.35/484.79	c  N st  1058   2079882       630      2736         0    114645      8333   2280905     18.47   no data
2100.51/525.85	c  N st  1059   2210918       630      2736         0    119036      8333   2406997     18.47   no data
2100.51/525.85	c  S st  1059   2210918       630      2736         0    119036      8333   2406997     18.47   no data
2102.11/526.24	c  S st  1059   2211423       630      2736         0    119541      8333   2420955     18.47   no data
2102.11/526.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2102.51/526.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2102.51/526.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2102.51/526.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2102.51/526.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2102.51/526.31	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2102.51/526.31	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2102.51/526.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2102.92/526.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2166.42/542.34	c lits-rem:       732  cl-subs:     6119  v-elim:      0  v-fix:    0  time: 15.92 s
2166.42/542.34	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
2166.42/542.37	c vivif2 --  cl tried   113422 cl shrink        0 lits rem          0 time: 0.03
2167.22/542.50	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.13
2167.22/542.51	c calculated reachability. Time: 0.00
2167.22/542.51	c  N st  1059   2211423       630      2736         0    113422      8333   2226771     18.47   no data
2840.74/711.15	c  N st  1060   2711424       630      2736         0    137229      8333   2756871     18.47   no data
2840.74/711.15	c  S st  1060   2711424       630      2736         0    137229      8333   2756871     18.47   no data
2842.33/711.58	c  S st  1060   2711926       630      2736         0    137729      8333   2770384     18.47   no data
2842.33/711.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2842.73/711.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2842.73/711.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2842.73/711.66	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2842.73/711.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2842.73/711.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2842.73/711.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2843.13/711.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2843.13/711.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2932.22/734.02	c lits-rem:      1377  cl-subs:     7905  v-elim:      0  v-fix:    0  time: 22.23 s
2932.22/734.02	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
2932.22/734.06	c vivif2 --  cl tried   129824 cl shrink        0 lits rem          0 time: 0.04
2933.02/734.22	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.16
2933.02/734.22	c calculated reachability. Time: 0.00
2933.02/734.22	c  N st  1060   2711926       630      2736         0    129824      8333   2546365     18.47   no data
3633.67/909.65	c  N st  1061   3211926       630      2736         0    104882      8333   1563152     18.47   no data
3633.67/909.65	c  S st  1061   3211926       630      2736         0    104882      8333   1563152     18.47   no data
3635.27/910.06	c  S st  1061   3212427       630      2736         0    105382      8333   1577451     18.47   no data
3635.27/910.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3635.67/910.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3635.67/910.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3635.67/910.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3635.67/910.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3635.67/910.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
3635.67/910.14	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3635.67/910.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3636.07/910.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3662.86/916.97	c lits-rem:       314  cl-subs:     4555  v-elim:      0  v-fix:    0  time:  6.74 s
3662.86/916.97	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
3662.86/916.99	c vivif2 --  cl tried   100827 cl shrink        0 lits rem          0 time: 0.03
3663.63/917.14	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.14
3663.63/917.14	c calculated reachability. Time: 0.00
3663.63/917.14	c  N st  1061   3212427       630      2736         0    100827      8333   1473208     18.47   no data
4459.36/1116.34	c  N st  1062   3712428       630      2736         0    111558      8333   1698508     18.47   no data
4459.36/1116.34	c  S st  1062   3712428       630      2736         0    111558      8333   1698508     18.47   no data
4461.36/1116.80	c  S st  1062   3712930       630      2736         0    112060      8333   1711890     18.47   no data
4461.36/1116.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4461.36/1116.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.07
4461.36/1116.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4461.36/1116.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4461.36/1116.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4461.36/1116.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
4461.36/1116.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4461.76/1116.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4461.76/1116.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4489.72/1123.96	c lits-rem:       272  cl-subs:     3272  v-elim:      0  v-fix:    0  time:  6.98 s
4489.72/1123.96	c vivif2 --  cl tried     2736 cl shrink        0 lits rem          0 time: 0.00
4489.72/1123.99	c vivif2 --  cl tried   108788 cl shrink        0 lits rem          0 time: 0.03
4490.52/1124.15	c asymm  cl-useful: 0/2736/2736 lits-rem:0 time: 0.15
4490.52/1124.15	c calculated reachability. Time: 0.00
4490.52/1124.15	c  N st  1062   3712930       630      2736         0    108788      8333   1618981     18.47   no data
4572.01/1144.52	c  F st  1063   3751562       630      2736         0    146575      8333   2790894     18.47   no data
4572.01/1144.52	c  N st  1063   3751562       630      2736         0    146575      8333   2790894     18.47   no data
4585.61/1147.99	c Decided on static restart strategy
4635.52/1160.48	c  N st  1073   3779867       630      2736         0     91417      8333   1059530     18.47   no data
4685.06/1172.84	c  N st  1075   3815861       630      2736         0    126773      8333   2113364     18.47   no data
4742.19/1187.10	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: 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-3174050-1304079335/watcher-3174050-1304079335 -o /tmp/evaluation-result-3174050-1304079335/solver-3174050-1304079335 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174050-1304079335.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.75 8.00 7.84 5/180 32436
/proc/meminfo: memFree=31071832/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519534240 52441088 348 33554432000 4194304 4627427 140734883660048 18446744073709551615 47531855394732 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 12803 348 299 106 0 7774 0
[pid=32436/tid=32437] ppid=32434 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519534240 52441088 348 33554432000 4194304 4627427 140734883660048 18446744073709551615 222921833457 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519534240 52441088 348 33554432000 4194304 4627427 140734883660048 18446744073709551615 222933574710 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519534240 52441088 348 33554432000 4194304 4627427 140734883660048 18446744073709551615 47531855394738 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.123388 s]
/proc/loadavg: 7.75 8.00 7.84 5/180 32436
/proc/meminfo: memFree=31071832/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=285316 CPUtime=2.42 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 4526 0 0 0 241 1 0 0 18 0 4 0 519534240 292163584 2666 33554432000 4194304 4627427 140734883660048 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 71329 2666 385 106 0 66300 0
[pid=32436/tid=32437] ppid=32434 vsize=285316 CPUtime=0.6 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1080 0 0 0 60 0 0 0 18 0 4 0 519534240 292163584 2666 33554432000 4194304 4627427 140734883660048 18446744073709551615 222921820343 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=285316 CPUtime=0.6 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1052 0 0 0 60 0 0 0 18 0 4 0 519534240 292163584 2666 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308376 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=285316 CPUtime=0.6 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) D 32434 32436 31842 0 -1 4202560 923 0 0 0 60 0 0 0 18 0 4 0 519534240 292163584 2666 33554432000 4194304 4627427 140734883660048 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.42
Current children cumulated vsize (KiB) 285316

[startup+0.820558 s]
/proc/loadavg: 7.75 8.00 7.84 5/180 32436
/proc/meminfo: memFree=31071832/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=285648 CPUtime=3.25 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 5414 0 0 0 324 1 0 0 19 0 4 0 519534240 292503552 2917 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 71412 2917 385 106 0 66383 0
[pid=32436/tid=32437] ppid=32434 vsize=285648 CPUtime=0.8 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1237 0 0 0 80 0 0 0 19 0 4 0 519534240 292503552 2917 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=285648 CPUtime=0.8 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1342 0 0 0 80 0 0 0 19 0 4 0 519534240 292503552 2917 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=285648 CPUtime=0.81 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1073 0 0 0 81 0 0 0 18 0 4 0 519534240 292503552 2917 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308383 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.25
Current children cumulated vsize (KiB) 285648

[startup+0.92054 s]
/proc/loadavg: 7.75 8.00 7.84 5/180 32436
/proc/meminfo: memFree=31071832/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=285984 CPUtime=3.65 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 5982 0 0 0 364 1 0 0 19 0 4 0 519534240 292847616 2825 33554432000 4194304 4627427 140734883660048 18446744073709551615 4327427 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 71496 2825 385 106 0 66467 0
[pid=32436/tid=32437] ppid=32434 vsize=285984 CPUtime=0.9 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1455 0 0 0 90 0 0 0 19 0 4 0 519534240 292847616 2825 33554432000 4194304 4627427 140734883660048 18446744073709551615 4333602 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=285984 CPUtime=0.9 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1410 0 0 0 90 0 0 0 19 0 4 0 519534240 292847616 2825 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308661 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=285984 CPUtime=0.91 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1288 0 0 0 91 0 0 0 19 0 4 0 519534240 292847616 2825 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.65
Current children cumulated vsize (KiB) 285984

[startup+1.02052 s]
/proc/loadavg: 7.75 8.00 7.84 5/180 32436
/proc/meminfo: memFree=31071832/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=285984 CPUtime=4.05 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 6265 0 0 0 404 1 0 0 19 0 4 0 519534240 292847616 3108 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 71496 3108 385 106 0 66467 0
[pid=32436/tid=32437] ppid=32434 vsize=285984 CPUtime=1 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1521 0 0 0 100 0 0 0 19 0 4 0 519534240 292847616 3108 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=285984 CPUtime=1 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1479 0 0 0 100 0 0 0 19 0 4 0 519534240 292847616 3108 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=285984 CPUtime=1.01 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1364 0 0 0 101 0 0 0 19 0 4 0 519534240 292847616 3108 33554432000 4194304 4627427 140734883660048 18446744073709551615 4332937 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.05
Current children cumulated vsize (KiB) 285984

[startup+1.50044 s]
/proc/loadavg: 7.75 8.00 7.84 5/180 32436
/proc/meminfo: memFree=31071832/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=286772 CPUtime=5.96 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 9698 0 0 0 595 1 0 0 20 0 4 0 519534240 293654528 5002 33554432000 4194304 4627427 140734883660048 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 71693 5002 389 106 0 66664 0
[pid=32436/tid=32437] ppid=32434 vsize=286772 CPUtime=1.48 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1981 0 0 0 148 0 0 0 20 0 4 0 519534240 293654528 5002 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308615 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=286772 CPUtime=1.48 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1956 0 0 0 148 0 0 0 20 0 4 0 519534240 293654528 5002 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308275 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=286772 CPUtime=1.48 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 1867 0 0 0 148 0 0 0 20 0 4 0 519534240 293654528 5002 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286772

[startup+3.10115 s]
/proc/loadavg: 7.93 8.03 7.85 9/184 32440
/proc/meminfo: memFree=31016152/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=273436 CPUtime=12.36 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 18447 0 0 0 1233 3 0 0 25 0 4 0 519534240 279998464 10528 33554432000 4194304 4627427 140734883660048 18446744073709551615 4310094 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 68359 10528 389 106 0 63330 0
[pid=32436/tid=32437] ppid=32434 vsize=273436 CPUtime=3.08 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 4182 0 0 0 308 0 0 0 25 0 4 0 519534240 279998464 10528 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308323 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=273436 CPUtime=3.07 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 5242 0 0 0 307 0 0 0 25 0 4 0 519534240 279998464 10528 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=273436 CPUtime=3.08 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 3834 0 0 0 308 0 0 0 25 0 4 0 519534240 279998464 10528 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 273436

[startup+6.30056 s]
/proc/loadavg: 7.94 8.03 7.85 9/184 32440
/proc/meminfo: memFree=30988400/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=290224 CPUtime=25.13 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 27186 0 0 0 2509 4 0 0 25 0 4 0 519534240 297189376 15150 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309587 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 72556 15150 389 106 0 67527 0
[pid=32436/tid=32437] ppid=32434 vsize=290224 CPUtime=6.28 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 7845 0 0 0 627 1 0 0 25 0 4 0 519534240 297189376 15150 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=290224 CPUtime=6.25 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 7171 0 0 0 625 0 0 0 25 0 4 0 519534240 297189376 15150 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=290224 CPUtime=6.28 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 5057 0 0 0 628 0 0 0 25 0 4 0 519534240 297189376 15150 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.13
Current children cumulated vsize (KiB) 290224

[startup+12.7004 s]
/proc/loadavg: 7.94 8.03 7.85 9/184 32440
/proc/meminfo: memFree=30948976/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=279520 CPUtime=50.73 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 43495 0 0 0 5067 6 0 0 25 0 4 0 519534240 286228480 23758 33554432000 4194304 4627427 140734883660048 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 69880 23758 389 106 0 64851 0
[pid=32436/tid=32437] ppid=32434 vsize=279520 CPUtime=12.68 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 11748 0 0 0 1267 1 0 0 25 0 4 0 519534240 286228480 23759 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=279520 CPUtime=12.64 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 9495 0 0 0 1263 1 0 0 25 0 4 0 519534240 286228480 23759 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=279520 CPUtime=12.69 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 10509 0 0 0 1268 1 0 0 25 0 4 0 519534240 286228480 23759 33554432000 4194304 4627427 140734883660048 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 279520

[startup+25.5011 s]
/proc/loadavg: 8.03 8.05 7.86 9/184 32441
/proc/meminfo: memFree=30907156/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=309892 CPUtime=101.85 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 62592 0 0 0 10174 11 0 0 25 0 4 0 519534240 317329408 30782 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 77473 30782 389 106 0 72444 0
[pid=32436/tid=32437] ppid=32434 vsize=309892 CPUtime=25.48 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 18631 0 0 0 2545 3 0 0 25 0 4 0 519534240 317329408 30782 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=309892 CPUtime=25.37 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 14178 0 0 0 2535 2 0 0 25 0 4 0 519534240 317329408 30782 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=309892 CPUtime=25.48 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 15058 0 0 0 2546 2 0 0 25 0 4 0 519534240 317329408 30782 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 309892

[startup+51.1004 s]
/proc/loadavg: 8.09 8.06 7.87 9/184 32441
/proc/meminfo: memFree=30857392/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=311040 CPUtime=204.12 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 93128 0 0 0 20393 19 0 0 25 0 4 0 519534240 318504960 39436 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 77760 39436 389 106 0 72731 0
[pid=32436/tid=32437] ppid=32434 vsize=311040 CPUtime=51.07 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 25379 0 0 0 5102 5 0 0 25 0 4 0 519534240 318504960 39436 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=311040 CPUtime=50.84 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 21574 0 0 0 5080 4 0 0 25 0 4 0 519534240 318504960 39436 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=311040 CPUtime=51.08 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 22069 0 0 0 5104 4 0 0 25 0 4 0 519534240 318504960 39436 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.12
Current children cumulated vsize (KiB) 311040

[startup+102.301 s]
/proc/loadavg: 8.11 8.06 7.88 9/184 32443
/proc/meminfo: memFree=30788016/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=430872 CPUtime=408.68 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 139394 0 0 0 40834 34 0 0 25 0 4 0 519534240 441212928 53874 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 107718 53874 389 106 0 102689 0
[pid=32436/tid=32437] ppid=32434 vsize=430872 CPUtime=102.27 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 38824 0 0 0 10218 9 0 0 25 0 4 0 519534240 441212928 53874 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=430872 CPUtime=101.81 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 33479 0 0 0 10173 8 0 0 25 0 4 0 519534240 441212928 53874 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=430872 CPUtime=102.28 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 31282 0 0 0 10220 8 0 0 25 0 4 0 519534240 441212928 53874 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.68
Current children cumulated vsize (KiB) 430872

[startup+162.301 s]

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

[pid=32436] ppid=32434 vsize=670444 CPUtime=2805.59 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 465277 0 0 0 280397 162 0 0 25 0 4 0 519534240 686534656 98662 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309077 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 167611 98662 389 106 0 162582 0
[pid=32436/tid=32437] ppid=32434 vsize=670444 CPUtime=702.23 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 116784 0 0 0 70183 40 0 0 25 0 4 0 519534240 686534656 98662 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=670444 CPUtime=698.72 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 117041 0 0 0 69831 41 0 0 25 0 4 0 519534240 686534656 98662 33554432000 4194304 4627427 140734883660048 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=670444 CPUtime=702.3 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 119821 0 0 0 70185 45 0 0 25 0 4 0 519534240 686534656 98662 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.59
Current children cumulated vsize (KiB) 670444

[startup+762.3 s]
/proc/loadavg: 8.12 8.08 7.96 9/184 32460
/proc/meminfo: memFree=30407024/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=626804 CPUtime=3045.26 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 495683 0 0 0 304350 176 0 0 25 0 4 0 519534240 641847296 107791 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 156701 107791 389 106 0 151672 0
[pid=32436/tid=32437] ppid=32434 vsize=626804 CPUtime=762.22 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 123739 0 0 0 76178 44 0 0 25 0 4 0 519534240 641847296 107791 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=626804 CPUtime=758.39 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 124454 0 0 0 75794 45 0 0 25 0 4 0 519534240 641847296 107791 33554432000 4194304 4627427 140734883660048 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=626804 CPUtime=762.3 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 127890 0 0 0 76181 49 0 0 25 0 4 0 519534240 641847296 107791 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.26
Current children cumulated vsize (KiB) 626804

[startup+822.3 s]
/proc/loadavg: 8.10 8.08 7.96 9/184 32462
/proc/meminfo: memFree=30422216/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=680368 CPUtime=3284.96 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 529205 0 0 0 328308 188 0 0 25 0 4 0 519534240 696696832 110360 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 170092 110360 389 106 0 165063 0
[pid=32436/tid=32437] ppid=32434 vsize=680368 CPUtime=822.22 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 131611 0 0 0 82175 47 0 0 25 0 4 0 519534240 696696832 110360 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=680368 CPUtime=818.08 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 133604 0 0 0 81759 49 0 0 25 0 4 0 519534240 696696832 110360 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=680368 CPUtime=822.3 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 135621 0 0 0 82178 52 0 0 25 0 4 0 519534240 696696832 110360 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.96
Current children cumulated vsize (KiB) 680368

[startup+882.3 s]
/proc/loadavg: 8.09 8.08 7.97 9/184 32463
/proc/meminfo: memFree=30363120/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=629348 CPUtime=3524.62 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 552999 0 0 0 352264 198 0 0 25 0 4 0 519534240 644452352 119023 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 157337 119023 389 106 0 152308 0
[pid=32436/tid=32437] ppid=32434 vsize=629348 CPUtime=882.22 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 138247 0 0 0 88172 50 0 0 25 0 4 0 519534240 644452352 119023 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=629348 CPUtime=877.76 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 137960 0 0 0 87724 52 0 0 25 0 4 0 519534240 644452352 119023 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=629348 CPUtime=882.3 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 141175 0 0 0 88176 54 0 0 25 0 4 0 519534240 644452352 119023 33554432000 4194304 4627427 140734883660048 18446744073709551615 4420174 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.62
Current children cumulated vsize (KiB) 629348

[startup+942.306 s]
/proc/loadavg: 8.19 8.11 7.98 9/184 32465
/proc/meminfo: memFree=30353888/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=720196 CPUtime=3764.33 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 577248 0 0 0 376221 212 0 0 25 0 4 0 519534240 737480704 123444 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 180049 123444 389 106 0 175020 0
[pid=32436/tid=32437] ppid=32434 vsize=720196 CPUtime=942.22 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 145084 0 0 0 94170 52 0 0 25 0 4 0 519534240 737480704 123444 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=720196 CPUtime=937.43 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 142450 0 0 0 93688 55 0 0 25 0 4 0 519534240 737480704 123444 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=720196 CPUtime=942.31 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 147059 0 0 0 94172 59 0 0 25 0 4 0 519534240 737480704 123444 33554432000 4194304 4627427 140734883660048 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.33
Current children cumulated vsize (KiB) 720196

[startup+1002.3 s]
/proc/loadavg: 8.19 8.12 8.00 9/184 32467
/proc/meminfo: memFree=30304964/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=728668 CPUtime=4003.99 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 602948 0 0 0 400175 224 0 0 25 0 4 0 519534240 746156032 129523 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309197 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 182167 129523 389 106 0 177138 0
[pid=32436/tid=32437] ppid=32434 vsize=728668 CPUtime=1002.22 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 150398 0 0 0 100167 55 0 0 25 0 4 0 519534240 746156032 129523 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=728668 CPUtime=997.11 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 152597 0 0 0 99652 59 0 0 25 0 4 0 519534240 746156032 129523 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=728668 CPUtime=1002.3 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 152451 0 0 0 100168 62 0 0 25 0 4 0 519534240 746156032 129523 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.99
Current children cumulated vsize (KiB) 728668

[startup+1062.3 s]
/proc/loadavg: 8.22 8.14 8.01 9/184 32468
/proc/meminfo: memFree=30317804/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=676964 CPUtime=4243.65 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 628046 0 0 0 424131 234 0 0 25 0 4 0 519534240 693211136 128181 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 169241 128181 389 106 0 164212 0
[pid=32436/tid=32437] ppid=32434 vsize=676964 CPUtime=1062.21 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 157424 0 0 0 106163 58 0 0 25 0 4 0 519534240 693211136 128181 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=676964 CPUtime=1056.79 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 159731 0 0 0 105618 61 0 0 25 0 4 0 519534240 693211136 128181 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=676964 CPUtime=1062.31 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 159172 0 0 0 106165 66 0 0 25 0 4 0 519534240 693211136 128181 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.65
Current children cumulated vsize (KiB) 676964

[startup+1122.3 s]
/proc/loadavg: 8.18 8.14 8.01 9/184 32470
/proc/meminfo: memFree=30257736/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=809328 CPUtime=4483.34 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 657822 0 0 0 448089 245 0 0 25 0 4 0 519534240 828751872 141872 33554432000 4194304 4627427 140734883660048 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 202332 141872 389 106 0 197303 0
[pid=32436/tid=32437] ppid=32434 vsize=809328 CPUtime=1122.2 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 164073 0 0 0 112160 60 0 0 25 0 4 0 519534240 828751872 141872 33554432000 4194304 4627427 140734883660048 18446744073709551615 4310136 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=809328 CPUtime=1116.47 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 165977 0 0 0 111582 65 0 0 25 0 4 0 519534240 828751872 141872 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=809328 CPUtime=1122.31 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 168978 0 0 0 112163 68 0 0 25 0 4 0 519534240 828751872 141872 33554432000 4194304 4627427 140734883660048 18446744073709551615 4420151 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.34
Current children cumulated vsize (KiB) 809328

[startup+1182.3 s]
/proc/loadavg: 8.12 8.13 8.01 9/184 32471
/proc/meminfo: memFree=30241800/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=729600 CPUtime=4723.01 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 675241 0 0 0 472046 255 0 0 25 0 4 0 519534240 747110400 138464 33554432000 4194304 4627427 140734883660048 18446744073709551615 4327552 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 182400 138464 389 106 0 177371 0
[pid=32436/tid=32437] ppid=32434 vsize=729600 CPUtime=1182.2 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 166032 0 0 0 118158 62 0 0 25 0 4 0 519534240 747110400 138464 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=729600 CPUtime=1176.14 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 172137 0 0 0 117547 67 0 0 25 0 4 0 519534240 747110400 138464 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309206 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=729600 CPUtime=1182.31 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 173072 0 0 0 118160 71 0 0 25 0 4 0 519534240 747110400 138464 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4723.01
Current children cumulated vsize (KiB) 729600



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 7.77 8.05 7.99 5/179 32473
/proc/meminfo: memFree=30551564/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=730000 CPUtime=4800.13 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 681277 0 0 0 479755 258 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 182500 136008 389 106 0 177471 0
[pid=32436/tid=32437] ppid=32434 vsize=730000 CPUtime=1201.51 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 166032 0 0 0 120089 62 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=730000 CPUtime=1195.35 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 175206 0 0 0 119467 68 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=730000 CPUtime=1201.61 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 175387 0 0 0 120089 72 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 730000

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

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

[startup+1201.6 s]
/proc/loadavg: 7.77 8.05 7.99 5/179 32473
/proc/meminfo: memFree=30551564/32951124 swapFree=67110188/67111528
[pid=32436] ppid=32434 vsize=730000 CPUtime=4800.13 cores=0,2,4,6
/proc/32436/stat : 32436 (strangenight2-m) R 32434 32436 31842 0 -1 4202496 681277 0 0 0 479755 258 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/32436/statm: 182500 136008 389 106 0 177471 0
[pid=32436/tid=32437] ppid=32434 vsize=730000 CPUtime=1201.51 cores=0,2,4,6
/proc/32436/task/32437/stat : 32437 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 166032 0 0 0 120089 62 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=32436/tid=32438] ppid=32434 vsize=730000 CPUtime=1195.35 cores=0,2,4,6
/proc/32436/task/32438/stat : 32438 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 175206 0 0 0 119467 68 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=32436/tid=32439] ppid=32434 vsize=730000 CPUtime=1201.61 cores=0,2,4,6
/proc/32436/task/32439/stat : 32439 (strangenight2-m) R 32434 32436 31842 0 -1 4202560 175387 0 0 0 120089 72 0 0 25 0 4 0 519534240 747520000 136008 33554432000 4194304 4627427 140734883660048 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.13
Current children cumulated vsize (KiB) 730000

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.64
CPU time (s): 4800.19
CPU user time (s): 4797.58
CPU system time (s): 2.6096
CPU usage (%): 399.47
Max. virtual memory (cumulated for all children) (KiB): 901484

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.58
system time used= 2.6096
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 681278
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= 709
involuntary context switches= 21159

runsolver used 1.88271 second user time and 4.40533 second system time

The end

Launcher Data 

Begin job on node109 at 2011-04-29 14:15:35
IDJOB=3174050
IDBENCH=82868
IDSOLVER=1586
FILE ID=node109/3174050-1304079335
RUNJOBID= node109-1304078129-32277
PBS_JOBID= 13170496
Free space on /tmp= 72380 MiB

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

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

MD5SUM BENCH= b51753a48e6efd66554e7afe4efc3b19
RANDOM SEED=548918276

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.809
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.809
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.809
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.809
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.809
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:     32951124 kB
MemFree:      31072120 kB
Buffers:        706348 kB
Cached:         692216 kB
SwapCached:        712 kB
Active:         142792 kB
Inactive:      1346876 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31072120 kB
SwapTotal:    67111528 kB
SwapFree:     67110188 kB
Dirty:           11540 kB
Writeback:           0 kB
AnonPages:       90184 kB
Mapped:          15316 kB
Slab:           325236 kB
PageTables:       4504 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   301104 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= 72380 MiB
End job on node109 at 2011-04-29 14:35:39