Trace number 3173909

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-mtSAT 2669.02 668.177

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
MD5SUM420c3b1966635ea800a6b2af1a449f73
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.004998
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses1704
Sum of the clauses size5112
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 31704
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-3173909-1304073223.cnf'
0.00/0.00	c -- header says num vars:            400
0.00/0.00	c -- header says num clauses:        1704
0.00/0.00	c -- clauses added:            0 learnts,         1704 normals,            0 xors
0.00/0.00	c -- vars added        400
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       400      1704         0         0      5112         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/1704/1704 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.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    400 time:  0.00 s
0.00/0.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.80	c lits-rem:         0  cl-subs:        0  v-elim:      8  v-fix:    0  time:  0.00 s
0.00/0.80	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.80	c calculated reachability. Time: 0.00
0.00/0.80	c Calc default polars -  time:   0.00 s pos:     158 undec:      52 neg:     190
0.00/0.80	c =========================================================================================
0.00/0.80	c types(t): F = full restart, N = normal restart
0.00/0.80	c types(t): S = simplification begin/end, E = solution found
0.00/0.80	c restart types(rt): st = static, dy = dynamic
0.00/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.80	c  B st     0         0       392      1697         0         0      5141         0   no data   no data
0.00/0.80	c Decided on static restart strategy
0.00/0.80	c  N st     8      4914       392      1697         0      4813      5141     89142   no data   no data
0.00/0.80	c  N st    10     11297       392      1697         0      4426      5141     61050   no data   no data
0.00/0.80	c  N st    11     17042       392      1697         0      9990      5141    165079   no data   no data
3.57/0.96	c  F st    12     25000       392      1697         0     12252      5141    214265   no data   no data
3.57/0.96	c  N st    12     25000       392      1697         0     12252      5141    214265   no data   no data
4.77/1.20	c Decided on static restart strategy
4.77/1.20	c  N st    18     30001       392      1697         0     10555      5141    160526   no data   no data
4.77/1.20	c  S st    18     30001       392      1697         0     10555      5141    160526   no data   no data
4.77/1.23	c  S st    18     30502       392      1697         0     11056      5141    170942   no data   no data
4.77/1.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.77/1.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
4.77/1.23	c blocked clauses removed:        0 vars:      0 tried:         392 T: 0.00 s
4.77/1.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.77/1.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
4.77/1.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.77/1.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.77/1.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.17/1.30	c lits-rem:       187  cl-subs:      958  v-elim:      0  v-fix:    0  time:  0.06 s
5.17/1.31	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.01
5.17/1.31	c calculated reachability. Time: 0.00
5.17/1.31	c  N st    18     30502       392      1697         0     10098      5141    154015   no data   no data
6.37/1.69	c  N st    20     37614       392      1697         0      9401      5141    128322   no data   no data
7.96/2.05	c  N st    21     44015       392      1697         0     15655      5141    257803   no data   no data
8.36/2.16	c  S st    22     45754       392      1697         0     17345      5141    292666   no data   no data
8.76/2.20	c  S st    22     46254       392      1697         0      9138      5141    111367   no data   no data
8.76/2.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.76/2.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
8.76/2.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.76/2.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.76/2.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
8.76/2.20	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.76/2.20	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.76/2.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.76/2.21	c lits-rem:        17  cl-subs:       45  v-elim:      0  v-fix:    0  time:  0.01 s
8.76/2.21	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
8.76/2.21	c vivif2 --  cl tried     9093 cl shrink        0 lits rem          0 time: 0.00
8.76/2.22	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.00
8.76/2.22	c calculated reachability. Time: 0.00
8.76/2.22	c  N st    22     46254       392      1697         0      9093      5141    110432   no data   no data
11.98/3.06	c  N st    23     60651       392      1697         0     13308      5141    181043   no data   no data
14.35/3.69	c  N st    24     69383       392      1697         0     11142      5141    135125   no data   no data
14.35/3.69	c  S st    24     69383       392      1697         0     11142      5141    135125   no data   no data
14.76/3.72	c  S st    24     69892       392      1697         0     11648      5141    144671   no data   no data
14.76/3.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.76/3.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
14.76/3.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.76/3.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.76/3.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
14.76/3.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.76/3.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.76/3.73	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.76/3.75	c lits-rem:        53  cl-subs:      274  v-elim:      0  v-fix:    0  time:  0.02 s
14.76/3.75	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
14.76/3.75	c vivif2 --  cl tried    11374 cl shrink        0 lits rem          0 time: 0.00
14.76/3.75	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.01
14.76/3.75	c calculated reachability. Time: 0.00
14.76/3.75	c  N st    24     69892       392      1697         0     11374      5141    139775   no data   no data
19.16/4.89	c  F st    25     87500       392      1697         0     16882      5141    244992   no data   no data
19.16/4.89	c  N st    25     87500       392      1697         0     16882      5141    244992   no data   no data
20.77/5.29	c Decided on static restart strategy
21.95/5.54	c  N st    32     95540       392      1697         0     24755      5141    400930   no data   no data
24.35/6.19	c  N st    34    104840       392      1697         0     21104      5141    308179   no data   no data
24.35/6.19	c  S st    34    104840       392      1697         0     21104      5141    308179   no data   no data
24.76/6.24	c  S st    34    105346       392      1697         0     21608      5141    318168   no data   no data
24.76/6.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.76/6.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
24.76/6.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.76/6.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.76/6.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.76/6.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
24.76/6.24	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.76/6.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.76/6.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.54/6.44	c lits-rem:       112  cl-subs:     1430  v-elim:      0  v-fix:    0  time:  0.18 s
25.54/6.44	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
25.54/6.44	c vivif2 --  cl tried    20178 cl shrink        0 lits rem          0 time: 0.00
25.54/6.46	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.01
25.54/6.46	c calculated reachability. Time: 0.00
25.54/6.46	c  N st    34    105346       392      1697         0     20178      5141    291985   no data   no data
28.74/7.22	c  N st    35    114946       392      1697         0     15890      5141    192352   no data   no data
33.14/8.35	c  N st    36    129345       392      1697         0     15303      5141    169625   no data   no data
39.52/9.99	c  N st    37    150941       392      1697         0     20780      5141    264686   no data   no data
42.34/10.60	c  S st    38    158020       392      1697         0     27603      5141    399389   no data   no data
42.34/10.67	c  S st    38    158523       392      1697         0     28103      5141    409876   no data   no data
42.34/10.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
42.34/10.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
42.34/10.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42.34/10.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
42.34/10.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
42.34/10.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
42.34/10.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
42.34/10.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
42.34/10.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.92/11.02	c lits-rem:       204  cl-subs:     1949  v-elim:      0  v-fix:    0  time:  0.32 s
43.92/11.02	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
43.92/11.02	c vivif2 --  cl tried    26154 cl shrink        0 lits rem          0 time: 0.00
43.92/11.04	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.01
43.92/11.04	c calculated reachability. Time: 0.00
43.92/11.04	c  N st    38    158523       392      1697         0     26154      5141    373847   no data   no data
62.30/15.67	c  N st    39    207112       392      1697         0     20893      5141    241667   no data   no data
74.68/18.74	c  N st    40    237784       392      1697         0     31456      5141    452119   no data   no data
74.68/18.74	c  S st    40    237784       392      1697         0     31456      5141    452119   no data   no data
75.08/18.81	c  S st    40    238293       392      1697         0     31964      5141    462157   no data   no data
75.08/18.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
75.08/18.82	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
75.08/18.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
75.08/18.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
75.08/18.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
75.08/18.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
75.08/18.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
75.08/18.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
75.08/18.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.28/19.11	c lits-rem:       178  cl-subs:     1213  v-elim:      0  v-fix:    0  time:  0.27 s
76.28/19.11	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
76.28/19.12	c vivif2 --  cl tried    30751 cl shrink        0 lits rem          0 time: 0.00
76.28/19.13	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.02
76.28/19.14	c calculated reachability. Time: 0.00
76.28/19.14	c  N st    40    238293       392      1697         0     30751      5141    438821   no data   no data
106.63/26.71	c  F st    41    306250       392      1697         0     32649      5141    438423   no data   no data
106.63/26.71	c  N st    41    306250       392      1697         0     32649      5141    438423   no data   no data
109.03/27.37	c Decided on static restart strategy
120.22/30.10	c  N st    51    334559       392      1697         0     36654      5141    492608   no data   no data
130.21/32.69	c  N st    53    357440       392      1697         0     34658      5141    446104   no data   no data
130.21/32.69	c  S st    53    357440       392      1697         0     34658      5141    446104   no data   no data
130.62/32.78	c  S st    53    357946       392      1697         0     35161      5141    456309   no data   no data
130.62/32.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
130.62/32.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
130.62/32.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
130.62/32.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
130.62/32.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.62/32.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
130.62/32.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
130.99/32.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
130.99/32.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
131.80/33.07	c lits-rem:       177  cl-subs:     1355  v-elim:      0  v-fix:    0  time:  0.26 s
131.80/33.07	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
131.80/33.08	c vivif2 --  cl tried    33806 cl shrink        0 lits rem          0 time: 0.01
132.20/33.10	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.02
132.20/33.10	c calculated reachability. Time: 0.00
132.20/33.10	c  N st    53    357946       392      1697         0     33806      5141    431091   no data   no data
147.79/37.04	c  N st    54    390340       392      1697         0     39879      5141    516214   no data   no data
171.34/42.94	c  N st    55    438929       392      1697         0     33634      5141    381294   no data   no data
208.09/52.13	c  N st    56    511811       392      1697         0     47016      5141    634517   no data   no data
221.28/55.48	c  N st    57    536919       392      1697         0     41365      5141    512547   no data   no data
221.28/55.48	c  S st    57    536919       392      1697         0     41365      5141    512547   no data   no data
221.68/55.60	c  S st    57    537423       392      1697         0     41868      5141    522589   no data   no data
222.08/55.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
222.08/55.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
222.08/55.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
222.08/55.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
222.08/55.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
222.08/55.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
222.08/55.61	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
222.08/55.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
222.08/55.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
223.67/56.08	c lits-rem:        98  cl-subs:     2256  v-elim:      0  v-fix:    0  time:  0.44 s
223.67/56.08	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
223.67/56.09	c vivif2 --  cl tried    39612 cl shrink        0 lits rem          0 time: 0.01
224.07/56.11	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.02
224.07/56.11	c calculated reachability. Time: 0.00
224.07/56.11	c  N st    57    537423       392      1697         0     39612      5141    482691   no data   no data
327.94/82.20	c  N st    58    701407       392      1697         0     68552      5141    984511   no data   no data
401.83/100.62	c  N st    59    806134       392      1697         0     62485      5141    826124   no data   no data
401.83/100.62	c  S st    59    806134       392      1697         0     62485      5141    826124   no data   no data
402.23/100.80	c  S st    59    806637       392      1697         0     62985      5141    836035   no data   no data
402.64/100.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
402.64/100.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.02
402.64/100.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
402.64/100.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
402.64/100.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
402.64/100.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
402.64/100.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
402.64/100.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
402.64/100.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
409.82/102.69	c lits-rem:       252  cl-subs:     5854  v-elim:      0  v-fix:    0  time:  1.82 s
409.82/102.69	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
410.22/102.70	c vivif2 --  cl tried    57131 cl shrink        0 lits rem          0 time: 0.01
410.22/102.74	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.04
410.22/102.74	c calculated reachability. Time: 0.00
410.22/102.74	c  N st    59    806637       392      1697         0     57131      5141    743632   no data   no data
603.15/151.06	c  F st    60   1071875       392      1697         0     72886      5141    934650   no data   no data
603.15/151.06	c  N st    60   1071875       392      1697         0     72886      5141    934650   no data   no data
608.74/152.43	c Decided on static restart strategy
626.74/156.98	c  N st    70   1100178       392      1697         0     56911      5141    651457   no data   no data
656.28/164.31	c  N st    72   1136171       392      1697         0     47294      5141    456670   no data   no data
682.64/170.96	c  N st    73   1168565       392      1697         0     78858      5141   1157099   no data   no data
720.59/180.42	c  N st    74   1209955       392      1697         0     73227      5141   1001551   no data   no data
720.59/180.42	c  S st    74   1209955       392      1697         0     73227      5141   1001551   no data   no data
721.39/180.68	c  S st    74   1210460       392      1697         0     73732      5141   1012108   no data   no data
721.39/180.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
721.79/180.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
721.79/180.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
721.79/180.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
721.79/180.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
721.79/180.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
721.79/180.72	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
721.79/180.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
721.79/180.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
735.77/184.27	c lits-rem:       776  cl-subs:     5142  v-elim:      0  v-fix:    0  time:  3.49 s
735.77/184.27	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
735.77/184.28	c vivif2 --  cl tried    68590 cl shrink        0 lits rem          0 time: 0.01
736.17/184.36	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.08
736.17/184.36	c calculated reachability. Time: 0.00
736.17/184.36	c  N st    74   1210460       392      1697         0     68590      5141    909996   no data   no data
806.48/201.99	c  N st    75   1283344       392      1697         0     92466      5141   1310595   no data   no data
908.36/227.50	c  N st    76   1392667       392      1697         0     53288      5141    506269   no data   no data
1058.93/265.14	c  N st    77   1556652       392      1697         0     57731      5141    552450   no data   no data
1206.33/302.09	c  N st    78   1710460       392      1697         0     99407      5141   1365759   no data   no data
1206.33/302.09	c  S st    78   1710460       392      1697         0     99407      5141   1365759   no data   no data
1207.93/302.47	c  S st    78   1710964       392      1697         0     99909      5141   1376397   no data   no data
1207.93/302.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1208.33/302.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1208.33/302.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1208.33/302.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1208.33/302.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1208.33/302.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
1208.33/302.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1208.33/302.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1208.33/302.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1232.69/308.63	c lits-rem:      1014  cl-subs:    11390  v-elim:      0  v-fix:    0  time:  6.04 s
1232.69/308.63	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
1232.69/308.64	c vivif2 --  cl tried    88519 cl shrink        0 lits rem          0 time: 0.02
1233.11/308.73	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.08
1233.11/308.73	c calculated reachability. Time: 0.00
1233.11/308.73	c  N st    78   1710964       392      1697         0     88519      5141   1193142   no data   no data
1592.62/398.80	c  N st    79   2079928       392      1697         0    100530      5141   1347774   no data   no data
1729.23/432.95	c  N st    80   2210965       392      1697         0    104163      5141   1362074   no data   no data
1729.23/432.95	c  S st    80   2210965       392      1697         0    104163      5141   1362074   no data   no data
1730.83/433.39	c  S st    80   2211466       392      1697         0    104662      5141   1372416   no data   no data
1730.83/433.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1731.22/433.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
1731.22/433.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1731.22/433.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1731.22/433.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1731.22/433.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
1731.22/433.45	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1731.22/433.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1731.62/433.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1770.37/443.25	c lits-rem:       447  cl-subs:    13463  v-elim:      0  v-fix:    0  time:  9.72 s
1770.37/443.25	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
1770.37/443.27	c vivif2 --  cl tried    91199 cl shrink        0 lits rem          0 time: 0.02
1770.77/443.35	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.09
1770.77/443.36	c calculated reachability. Time: 0.00
1770.77/443.36	c  N st    80   2211466       392      1697         0     91199      5141   1132647   no data   no data
2286.87/572.50	c  N st    81   2711466       392      1697         0    115116      5141   1581876   no data   no data
2286.87/572.50	c  S st    81   2711466       392      1697         0    115116      5141   1581876   no data   no data
2288.46/572.93	c  S st    81   2711968       392      1697         0    115617      5141   1592108   no data   no data
2288.46/572.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2288.46/572.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2288.46/572.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2288.46/572.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2288.46/572.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2288.46/572.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    392 time:  0.00 s
2288.46/572.99	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2288.86/573.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2288.86/573.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2322.84/581.54	c lits-rem:       547  cl-subs:    10336  v-elim:      0  v-fix:    0  time:  8.47 s
2322.84/581.54	c vivif2 --  cl tried     1697 cl shrink        0 lits rem          0 time: 0.00
2322.84/581.56	c vivif2 --  cl tried   105281 cl shrink        0 lits rem          0 time: 0.02
2323.62/581.70	c asymm  cl-useful: 0/1697/1697 lits-rem:0 time: 0.13
2323.62/581.70	c calculated reachability. Time: 0.00
2323.62/581.70	c  N st    81   2711968       392      1697         0    105281      5141   1412748   no data   no data
2668.75/668.16	c Following stats are for *FIRST FINISHED THREAD ONLY*
2668.75/668.16	c num threads              : 4          
2668.75/668.16	c restarts                 : 81         
2668.75/668.16	c dynamic restarts         : 0          
2668.75/668.16	c static restarts          : 81         
2668.75/668.16	c full restarts            : 4          
2668.75/668.16	c total simplify time      : 0.00       
2668.75/668.16	c learnts DL2              : 0          
2668.75/668.16	c learnts size 2           : 0          
2668.75/668.16	c learnts size 1           : 0           (0.00      % of vars)
2668.75/668.16	c filedLit time            : 0.19        (0.03      % time)
2668.75/668.16	c v-elim SatELite          : 8           (2.00      % vars)
2668.75/668.16	c SatELite time            : 11.96       (1.79      % time)
2668.75/668.16	c v-elim xor               : 0           (0.00      % vars)
2668.75/668.16	c xor elim time            : 0.03        (0.00      % time)
2668.75/668.16	c num binary xor trees     : 0          
2668.75/668.16	c binxor trees' crown      : 0           (nan       leafs/tree)
2668.75/668.16	c bin xor find time        : 0.00       
2668.75/668.16	c OTF clause improved      : 111987      (0.04      clauses/conflict)
2668.75/668.16	c OTF impr. size diff      : 120980      (1.08       lits/clause)
2668.75/668.16	c OTF cl watch-shrink      : 969167      (0.31      clauses/conflict)
2668.75/668.16	c OTF cl watch-sh-lit      : 1309987     (1.35       lits/clause)
2668.75/668.16	c tried to recurMin cls    : 285486      (9.21       % of conflicts)
2668.75/668.16	c updated cache            : 9090        (0.03       lits/tried recurMin)
2668.75/668.16	c unit cls recevied        : 0           (nan       % of units)
2668.75/668.16	c unit cls sent            : 0           (nan       % of units)
2668.75/668.16	c bin cls recevied         : 0          
2668.75/668.16	c bin cls sent             : 0          
2668.75/668.16	c clauses over max glue    : 0           (0.00      % of all clauses)
2668.75/668.16	c conflicts                : 3098549     (4640.72   / sec)
2668.75/668.16	c decisions                : 3594599     (0.69      % random)
2668.75/668.16	c bogo-props               : 86659655207 (129790741.52 / sec)
2668.75/668.16	c conflict literals        : 61631812    (27.56     % deleted)
2668.75/668.16	c Memory used              : 448.62      MB
2668.75/668.16	c single-thread CPU time   : 667.69      s
2668.75/668.16	c all-threads sum CPU time : 2667.53     s
2668.75/668.16	s SATISFIABLE
2668.75/668.16	v 1 -2 3 -4 -5 -6 7 -8 -9 -10 11 12 13 -14 15 16 17 -18 19 20 21 -22 -23 -24 -25 -26 -27 -28 29 30 -31 32 -33 34 -35 -36 -37 -38 39 -40 -41 42 43 -44 45 -46 -47 -48 49 50 -51 -52 53 -54 -55 56 -57 -58 -59 60 -61 62 63 64 65 -66 -67 -68 69 -70 71 -72 73 74 -75 76 -77 -78 79 -80 81 82 -83 -84 85 86 -87 -88 89 90 -91 -92 -93 94 95 96 -97 98 -99 100 101 102 103 -104 -105 106 107 -108 109 -110 -111 -112 -113 -114 115 116 117 -118 -119 -120 -121 -122 123 124 125 -126 -127 128 129 -130 -131 -132 133 -134 135 -136 -137 -138 139 140 141 142 143 144 145 146 147 148 -149 -150 151 -152 -153 -154 -155 156 -157 158 159 -160 -161 -162 -163 -164 -165 -166 167 -168 -169 -170 171 -172 173 -174 175 176 -177 -178 179 -180 181 -182 183 -184 185 186 187 188 189 -190 -191 -192 -193 194 195 -196 197 198 -199 -200 201 -202 203 -204 -205 -206 207 -208 -209 210 211 212 213 214 -215 216 217 -218 219 -220 221 -222 -223 224 -225 -226 -227 228 -229 -230 -231 -232 -233 -234 -235 -236 237 238 239 240 241 242 -243 -244 -245 -246 247 -248 -249 -250 -251 -252 -253 254 -255 256 -257 -258 -259 260 261 262 -263 264 265 266 267 -268 269 -270 271 272 273 -274 275 -276 -277 -278 279 -280 -281 -282 -283 284 285 286 287 288 289 290 -291 292 293 -294 295 296 297 -298 -299 300 -301 302 -303 304 305 306 307 -308 -309 -310 311 312 313 -314 -315 -316 -317 318 -319 -320 321 -322 -323 -324 -325 326 327 -328 329 330 331 -332 333 334 -335 -336 337 338 339 -340 341 342 343 344 -345 -346 347 348 349 -350 -351 352 -353 354 355 -356 357 -358 -359 360 -361 362 -363 364 -365 -366 -367 368 369 -370 -371 372 373 374 -375 -376 377 -378 379 380 -381 -382 383 -384 385 386 387 -388 389 390 -391 392 393 394 -395 -396 -397 -398 -399 400 0

Verifier Data 

OK

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3173909-1304073223/watcher-3173909-1304073223 -o /tmp/evaluation-result-3173909-1304073223/solver-3173909-1304073223 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3173909-1304073223.cnf 

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

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


[startup+0 s]
/proc/loadavg: 7.45 7.98 8.00 1/173 2958
/proc/meminfo: memFree=27134148/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 406 0 0 0 0 0 0 0 18 0 4 0 518920832 52441088 346 33554432000 4194304 4627427 140735624477184 18446744073709551615 47442951940018 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 12803 346 299 106 0 7774 0
[pid=2958/tid=2959] ppid=2956 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 518920833 52441088 348 33554432000 4194304 4627427 140735624477184 18446744073709551615 210199679208 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 518920833 52441088 348 33554432000 4194304 4627427 140735624477184 18446744073709551615 210199679208 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 518920833 52441088 348 33554432000 4194304 4627427 140735624477184 18446744073709551615 210204703729 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.856731 s]
/proc/loadavg: 7.45 7.98 8.00 1/173 2958
/proc/meminfo: memFree=27134148/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=284872 CPUtime=3.4 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 4620 0 0 0 340 0 0 0 19 0 4 0 518920832 291708928 2452 33554432000 4194304 4627427 140735624477184 18446744073709551615 4333602 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 71218 2453 385 106 0 66189 0
[pid=2958/tid=2959] ppid=2956 vsize=284872 CPUtime=0.84 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1058 0 0 0 84 0 0 0 19 0 4 0 518920833 291708928 2453 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=284872 CPUtime=0.84 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1037 0 0 0 84 0 0 0 19 0 4 0 518920833 291708928 2453 33554432000 4194304 4627427 140735624477184 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=284872 CPUtime=0.84 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 955 0 0 0 84 0 0 0 19 0 4 0 518920833 291708928 2453 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 284872

[startup+0.900723 s]
/proc/loadavg: 7.45 7.98 8.00 1/173 2958
/proc/meminfo: memFree=27134148/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=284872 CPUtime=3.57 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 4754 0 0 0 357 0 0 0 19 0 4 0 518920832 291708928 2586 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 71218 2586 385 106 0 66189 0
[pid=2958/tid=2959] ppid=2956 vsize=284872 CPUtime=0.89 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1098 0 0 0 89 0 0 0 19 0 4 0 518920833 291708928 2586 33554432000 4194304 4627427 140735624477184 18446744073709551615 4333272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=284872 CPUtime=0.89 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1071 0 0 0 89 0 0 0 19 0 4 0 518920833 291708928 2586 33554432000 4194304 4627427 140735624477184 18446744073709551615 4322251 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=284872 CPUtime=0.89 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 982 0 0 0 89 0 0 0 19 0 4 0 518920833 291708928 2586 33554432000 4194304 4627427 140735624477184 18446744073709551615 4332615 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.57
Current children cumulated vsize (KiB) 284872

[startup+1.00071 s]
/proc/loadavg: 7.45 7.98 8.00 1/173 2958
/proc/meminfo: memFree=27134148/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=285008 CPUtime=3.97 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 5032 0 0 0 397 0 0 0 19 0 4 0 518920832 291848192 2864 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308275 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 71252 2864 386 106 0 66223 0
[pid=2958/tid=2959] ppid=2956 vsize=285008 CPUtime=0.99 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1170 0 0 0 99 0 0 0 19 0 4 0 518920833 291848192 2864 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308307 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=285008 CPUtime=0.99 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1139 0 0 0 99 0 0 0 19 0 4 0 518920833 291848192 2864 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=285008 CPUtime=0.99 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1036 0 0 0 99 0 0 0 19 0 4 0 518920833 291848192 2864 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.97
Current children cumulated vsize (KiB) 285008

[startup+1.10069 s]
/proc/loadavg: 7.45 7.98 8.00 1/173 2958
/proc/meminfo: memFree=27134148/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=285248 CPUtime=4.37 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 5730 0 0 0 437 0 0 0 19 0 4 0 518920832 292093952 2472 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 71312 2472 386 106 0 66283 0
[pid=2958/tid=2959] ppid=2956 vsize=285248 CPUtime=1.09 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1336 0 0 0 109 0 0 0 19 0 4 0 518920833 292093952 2472 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=285248 CPUtime=1.09 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1323 0 0 0 109 0 0 0 19 0 4 0 518920833 292093952 2472 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308362 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=285248 CPUtime=1.09 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1205 0 0 0 109 0 0 0 19 0 4 0 518920833 292093952 2472 33554432000 4194304 4627427 140735624477184 18446744073709551615 4332992 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.37
Current children cumulated vsize (KiB) 285248

[startup+1.50063 s]
/proc/loadavg: 7.45 7.98 8.00 1/173 2958
/proc/meminfo: memFree=27134148/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=285496 CPUtime=5.97 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 7763 0 0 0 596 1 0 0 20 0 4 0 518920832 292347904 3976 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 71374 3976 389 106 0 66345 0
[pid=2958/tid=2959] ppid=2956 vsize=285496 CPUtime=1.49 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1526 0 0 0 149 0 0 0 20 0 4 0 518920833 292347904 3976 33554432000 4194304 4627427 140735624477184 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=285496 CPUtime=1.49 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1507 0 0 0 149 0 0 0 20 0 4 0 518920833 292347904 3976 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308588 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=285496 CPUtime=1.49 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 1540 0 0 0 149 0 0 0 20 0 4 0 518920833 292347904 3976 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 285496

[startup+3.10036 s]
/proc/loadavg: 7.45 7.98 8.00 9/184 2977
/proc/meminfo: memFree=27057360/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=290196 CPUtime=12.36 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 16113 0 0 0 1234 2 0 0 25 0 4 0 518920832 297160704 7890 33554432000 4194304 4627427 140735624477184 18446744073709551615 4321776 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 72549 7891 389 106 0 67520 0
[pid=2958/tid=2959] ppid=2956 vsize=290196 CPUtime=3.08 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 3555 0 0 0 308 0 0 0 25 0 4 0 518920833 297160704 7891 33554432000 4194304 4627427 140735624477184 18446744073709551615 4507248 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=290196 CPUtime=3.08 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 4245 0 0 0 308 0 0 0 25 0 4 0 518920833 297160704 7891 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=290196 CPUtime=3.07 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 3900 0 0 0 307 0 0 0 25 0 4 0 518920833 297160704 7891 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 290196

[startup+6.30683 s]
/proc/loadavg: 7.50 7.98 8.00 9/184 2977
/proc/meminfo: memFree=27036776/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=296928 CPUtime=25.16 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 26036 0 0 0 2513 3 0 0 25 0 4 0 518920832 304054272 11945 33554432000 4194304 4627427 140735624477184 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 74232 11945 389 106 0 69203 0
[pid=2958/tid=2959] ppid=2956 vsize=296928 CPUtime=6.29 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 6500 0 0 0 629 0 0 0 25 0 4 0 518920833 304054272 11945 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=296928 CPUtime=6.29 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 6794 0 0 0 629 0 0 0 25 0 4 0 518920833 304054272 11945 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=296928 CPUtime=6.26 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 5482 0 0 0 626 0 0 0 25 0 4 0 518920833 304054272 11946 33554432000 4194304 4627427 140735624477184 18446744073709551615 4332731 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 296928

[startup+12.7008 s]
/proc/loadavg: 7.54 7.98 8.00 9/184 2978
/proc/meminfo: memFree=27008520/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=300428 CPUtime=50.71 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 39375 0 0 0 5066 5 0 0 25 0 4 0 518920832 307638272 15283 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 75107 15283 389 106 0 70078 0
[pid=2958/tid=2959] ppid=2956 vsize=300428 CPUtime=12.69 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 9655 0 0 0 1268 1 0 0 25 0 4 0 518920833 307638272 15283 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=300428 CPUtime=12.68 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 9594 0 0 0 1267 1 0 0 25 0 4 0 518920833 307638272 15283 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=300428 CPUtime=12.63 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 9428 0 0 0 1262 1 0 0 25 0 4 0 518920833 307638272 15283 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 300428

[startup+25.5006 s]
/proc/loadavg: 7.79 8.02 8.01 9/184 2978
/proc/meminfo: memFree=26971060/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=308872 CPUtime=101.84 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 61456 0 0 0 10173 11 0 0 25 0 4 0 518920832 316284928 20419 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309277 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 77218 20420 389 106 0 72189 0
[pid=2958/tid=2959] ppid=2956 vsize=308872 CPUtime=25.49 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 15605 0 0 0 2547 2 0 0 25 0 4 0 518920833 316284928 20420 33554432000 4194304 4627427 140735624477184 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=308872 CPUtime=25.48 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 15521 0 0 0 2546 2 0 0 25 0 4 0 518920833 316284928 20420 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=308872 CPUtime=25.36 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 14519 0 0 0 2534 2 0 0 25 0 4 0 518920833 316284928 20420 33554432000 4194304 4627427 140735624477184 18446744073709551615 4310117 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 308872

[startup+51.1003 s]
/proc/loadavg: 7.86 8.01 8.00 9/184 2978
/proc/meminfo: memFree=26929992/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=319820 CPUtime=204.09 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 93127 0 0 0 20391 18 0 0 25 0 4 0 518920832 327495680 25377 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 79955 25377 389 106 0 74926 0
[pid=2958/tid=2959] ppid=2956 vsize=319820 CPUtime=51.08 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 24252 0 0 0 5105 3 0 0 25 0 4 0 518920833 327495680 25377 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=319820 CPUtime=51.08 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 23346 0 0 0 5103 5 0 0 25 0 4 0 518920833 327495680 25377 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=319820 CPUtime=50.82 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 21828 0 0 0 5078 4 0 0 25 0 4 0 518920833 327495680 25377 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 319820

[startup+102.301 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 2981
/proc/meminfo: memFree=26892524/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=315256 CPUtime=408.62 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 142064 0 0 0 40828 34 0 0 25 0 4 0 518920832 322822144 32413 33554432000 4194304 4627427 140735624477184 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 78814 32413 389 106 0 73785 0
[pid=2958/tid=2959] ppid=2956 vsize=315256 CPUtime=102.29 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 35756 0 0 0 10223 6 0 0 25 0 4 0 518920833 322822144 32413 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=315256 CPUtime=102.27 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 34913 0 0 0 10218 9 0 0 25 0 4 0 518920833 322822144 32413 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=315256 CPUtime=101.73 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 35122 0 0 0 10165 8 0 0 25 0 4 0 518920833 322822144 32413 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 315256

[startup+162.301 s]

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

/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 84982 0 0 0 39983 28 0 0 25 0 4 0 518920833 388124672 65436 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1607.01
Current children cumulated vsize (KiB) 379028

[startup+462.301 s]
/proc/loadavg: 8.02 8.03 8.00 9/184 2991
/proc/meminfo: memFree=26626668/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=391412 CPUtime=1846.66 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 349213 0 0 0 184553 113 0 0 25 0 4 0 518920832 400805888 70114 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308392 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 97853 70114 389 106 0 92824 0
[pid=2958/tid=2959] ppid=2956 vsize=391412 CPUtime=462.29 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 89017 0 0 0 46203 26 0 0 25 0 4 0 518920833 400805888 70114 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=391412 CPUtime=462.27 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 97238 0 0 0 46193 34 0 0 25 0 4 0 518920833 400805888 70114 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=391412 CPUtime=459.78 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 92333 0 0 0 45948 30 0 0 25 0 4 0 518920833 400805888 70114 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1846.66
Current children cumulated vsize (KiB) 391412

[startup+522.301 s]
/proc/loadavg: 8.01 8.02 8.00 9/184 2992
/proc/meminfo: memFree=26583228/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=404128 CPUtime=2086.34 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 371800 0 0 0 208511 123 0 0 25 0 4 0 518920832 413827072 74244 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308256 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 101032 74244 389 106 0 96003 0
[pid=2958/tid=2959] ppid=2956 vsize=404128 CPUtime=522.29 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 96345 0 0 0 52200 29 0 0 25 0 4 0 518920833 413827072 74244 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=404128 CPUtime=522.27 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 102317 0 0 0 52191 36 0 0 25 0 4 0 518920833 413827072 74244 33554432000 4194304 4627427 140735624477184 18446744073709551615 4330026 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=404128 CPUtime=519.45 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 99493 0 0 0 51912 33 0 0 25 0 4 0 518920833 413827072 74244 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2086.34
Current children cumulated vsize (KiB) 404128

[startup+582.301 s]
/proc/loadavg: 8.00 8.02 8.00 9/184 2993
/proc/meminfo: memFree=26578220/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=458420 CPUtime=2326.01 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 394719 0 0 0 232467 134 0 0 25 0 4 0 518920832 469422080 74409 33554432000 4194304 4627427 140735624477184 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114605 74409 389 106 0 109576 0
[pid=2958/tid=2959] ppid=2956 vsize=458420 CPUtime=582.29 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 101394 0 0 0 58197 32 0 0 25 0 4 0 518920833 469422080 74409 33554432000 4194304 4627427 140735624477184 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=458420 CPUtime=582.27 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 110159 0 0 0 58187 40 0 0 25 0 4 0 518920833 469422080 74409 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=458420 CPUtime=579.13 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 106784 0 0 0 57876 37 0 0 25 0 4 0 518920833 469422080 74409 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2326.01
Current children cumulated vsize (KiB) 458420

[startup+642.301 s]
/proc/loadavg: 8.07 8.03 8.00 9/184 2995
/proc/meminfo: memFree=26576576/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=434936 CPUtime=2565.69 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 416214 0 0 0 256426 143 0 0 25 0 4 0 518920832 445374464 75276 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309304 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 108734 75276 389 106 0 103705 0
[pid=2958/tid=2959] ppid=2956 vsize=434936 CPUtime=642.29 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 106416 0 0 0 64196 33 0 0 25 0 4 0 518920833 445374464 75276 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=434936 CPUtime=642.27 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 116631 0 0 0 64184 43 0 0 25 0 4 0 518920833 445374464 75276 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=434936 CPUtime=638.8 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 113711 0 0 0 63840 40 0 0 25 0 4 0 518920833 445374464 75276 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.69
Current children cumulated vsize (KiB) 434936

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

[startup+653.501 s]
/proc/loadavg: 8.06 8.03 8.00 9/184 2995
/proc/meminfo: memFree=26579784/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=459324 CPUtime=2610.43 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 421946 0 0 0 260898 145 0 0 25 0 4 0 518920832 470347776 73553 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114831 73553 389 106 0 109802 0
[pid=2958/tid=2959] ppid=2956 vsize=459324 CPUtime=653.49 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 108005 0 0 0 65315 34 0 0 25 0 4 0 518920833 470347776 73553 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=459324 CPUtime=653.47 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 118594 0 0 0 65303 44 0 0 25 0 4 0 518920833 470347776 73553 33554432000 4194304 4627427 140735624477184 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=459324 CPUtime=649.94 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 114631 0 0 0 64954 40 0 0 25 0 4 0 518920833 470347776 73553 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2610.43
Current children cumulated vsize (KiB) 459324

[startup+659.901 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 2996
/proc/meminfo: memFree=26562172/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=459324 CPUtime=2635.99 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 423843 0 0 0 263453 146 0 0 25 0 4 0 518920832 470347776 75450 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114831 75450 389 106 0 109802 0
[pid=2958/tid=2959] ppid=2956 vsize=459324 CPUtime=659.89 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 108497 0 0 0 65955 34 0 0 25 0 4 0 518920833 470347776 75450 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=459324 CPUtime=659.87 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 119105 0 0 0 65942 45 0 0 25 0 4 0 518920833 470347776 75450 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=459324 CPUtime=656.3 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 115064 0 0 0 65590 40 0 0 25 0 4 0 518920833 470347776 75450 33554432000 4194304 4627427 140735624477184 18446744073709551615 4324205 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2635.99
Current children cumulated vsize (KiB) 459324

[startup+663.1 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 2996
/proc/meminfo: memFree=26562296/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=459388 CPUtime=2648.77 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 425747 0 0 0 264730 147 0 0 25 0 4 0 518920832 470413312 74763 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114847 74763 389 106 0 109818 0
[pid=2958/tid=2959] ppid=2956 vsize=459388 CPUtime=663.09 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 108716 0 0 0 66274 35 0 0 25 0 4 0 518920833 470413312 74763 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=459388 CPUtime=663.07 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 119313 0 0 0 66262 45 0 0 25 0 4 0 518920833 470413312 74763 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=459388 CPUtime=659.48 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 116329 0 0 0 65908 40 0 0 25 0 4 0 518920833 470413312 74763 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2648.77
Current children cumulated vsize (KiB) 459388

[startup+666.307 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 2996
/proc/meminfo: memFree=26556464/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=459388 CPUtime=2661.58 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 426628 0 0 0 266010 148 0 0 25 0 4 0 518920832 470413312 75585 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114847 75585 389 106 0 109818 0
[pid=2958/tid=2959] ppid=2956 vsize=459388 CPUtime=666.3 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 108890 0 0 0 66595 35 0 0 25 0 4 0 518920833 470413312 75585 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=459388 CPUtime=666.28 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 119503 0 0 0 66583 45 0 0 25 0 4 0 518920833 470413312 75585 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=459388 CPUtime=662.68 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 116631 0 0 0 66227 41 0 0 25 0 4 0 518920833 470413312 75585 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2661.58
Current children cumulated vsize (KiB) 459388

[startup+667.101 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 2996
/proc/meminfo: memFree=26556464/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=459388 CPUtime=2664.76 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 426839 0 0 0 266328 148 0 0 25 0 4 0 518920832 470413312 75796 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114847 75796 389 106 0 109818 0
[pid=2958/tid=2959] ppid=2956 vsize=459388 CPUtime=667.09 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 108931 0 0 0 66674 35 0 0 25 0 4 0 518920833 470413312 75796 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=459388 CPUtime=667.07 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 119559 0 0 0 66662 45 0 0 25 0 4 0 518920833 470413312 75796 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=459388 CPUtime=663.47 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 116695 0 0 0 66306 41 0 0 25 0 4 0 518920833 470413312 75796 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2664.76
Current children cumulated vsize (KiB) 459388

[startup+667.9 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 2996
/proc/meminfo: memFree=26554604/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=459388 CPUtime=2667.95 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 427051 0 0 0 266647 148 0 0 25 0 4 0 518920832 470413312 76008 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114847 76008 389 106 0 109818 0
[pid=2958/tid=2959] ppid=2956 vsize=459388 CPUtime=667.89 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 108977 0 0 0 66754 35 0 0 25 0 4 0 518920833 470413312 76008 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=459388 CPUtime=667.87 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 119615 0 0 0 66742 45 0 0 25 0 4 0 518920833 470413312 76008 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=459388 CPUtime=664.26 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 116756 0 0 0 66385 41 0 0 25 0 4 0 518920833 470413312 76008 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2667.95
Current children cumulated vsize (KiB) 459388

[startup+668.1 s]
/proc/loadavg: 8.05 8.03 8.00 9/184 2996
/proc/meminfo: memFree=26554604/32951124 swapFree=67088964/67111528
[pid=2958] ppid=2956 vsize=459388 CPUtime=2668.75 cores=1,3,5,7
/proc/2958/stat : 2958 (strangenight2-m) R 2956 2958 2397 0 -1 4202496 427101 0 0 0 266727 148 0 0 25 0 4 0 518920832 470413312 76058 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/2958/statm: 114847 76058 389 106 0 109818 0
[pid=2958/tid=2959] ppid=2956 vsize=459388 CPUtime=668.09 cores=1,3,5,7
/proc/2958/task/2959/stat : 2959 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 108988 0 0 0 66774 35 0 0 25 0 4 0 518920833 470413312 76058 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=2958/tid=2960] ppid=2956 vsize=459388 CPUtime=668.07 cores=1,3,5,7
/proc/2958/task/2960/stat : 2960 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 119630 0 0 0 66762 45 0 0 25 0 4 0 518920833 470413312 76058 33554432000 4194304 4627427 140735624477184 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=2958/tid=2962] ppid=2956 vsize=459388 CPUtime=664.46 cores=1,3,5,7
/proc/2958/task/2962/stat : 2962 (strangenight2-m) R 2956 2958 2397 0 -1 4202560 116770 0 0 0 66405 41 0 0 25 0 4 0 518920833 470413312 76058 33554432000 4194304 4627427 140735624477184 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2668.75
Current children cumulated vsize (KiB) 459388

Child status: 10
Real time (s): 668.177
CPU time (s): 2669.02
CPU user time (s): 2667.53
CPU system time (s): 1.49777
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 482788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2667.53
system time used= 1.49777
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 427126
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= 290
involuntary context switches= 18121

runsolver used 1.06484 second user time and 2.58161 second system time

The end

Launcher Data 

Begin job on node130 at 2011-04-29 12:33:43
IDJOB=3173909
IDBENCH=82727
IDSOLVER=1586
FILE ID=node130/3173909-1304073223
RUNJOBID= node130-1304072019-2843
PBS_JOBID= 13170469
Free space on /tmp= 71984 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v400-c1704-S1864619158-076.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3173909-1304073223/watcher-3173909-1304073223 -o /tmp/evaluation-result-3173909-1304073223/solver-3173909-1304073223 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3173909-1304073223.cnf

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

MD5SUM BENCH= 420c3b1966635ea800a6b2af1a449f73
RANDOM SEED=182440709

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      27128608 kB
Buffers:       1164232 kB
Cached:        4140144 kB
SwapCached:      22432 kB
Active:         485848 kB
Inactive:      4904500 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      27128608 kB
SwapTotal:    67111528 kB
SwapFree:     67088964 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:       63504 kB
Mapped:          14820 kB
Slab:           368696 kB
PageTables:       4240 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   188648 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= 71984 MiB
End job on node130 at 2011-04-29 12:44:52