Trace number 3366334

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf
MD5SUM90af97b0aabddb9e07bb7ada8a5dcbc1
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.017996
Satisfiable
(Un)Satisfiability was proved
Number of variables700
Number of clauses2982
Sum of the clauses size8946
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32982
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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366334-1305401937.cnf'
0.00/0.01	c -- header says num vars:            700
0.00/0.01	c -- header says num clauses:        2982
0.00/0.01	c -- clauses added:            0 learnts,         2982 normals,            0 xors
0.00/0.01	c -- vars added        700
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       700      2982         0         0      8946         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2982/2982 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.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    700 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.02	c lits-rem:         0  cl-subs:        0  v-elim:     19  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.05/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.05/0.02	c calculated reachability. Time: 0.00
0.05/0.02	c Calc default polars -  time:   0.00 s pos:     301 undec:      74 neg:     325
0.05/0.02	c =========================================================================================
0.05/0.02	c types(t): F = full restart, N = normal restart
0.05/0.02	c types(t): S = simplification begin/end, E = solution found
0.05/0.02	c restart types(rt): st = static, dy = dynamic
0.05/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.05/0.02	c  B st     0         0       681      2964         0         0      9007         0   no data   no data
0.05/0.08	c Decided on static restart strategy
0.37/0.19	c  N st     8      4919       681      2964         0      4862      9007    145445   no data   no data
1.57/0.48	c  N st    10     11303       681      2964         0      4513      9007     93699   no data   no data
2.77/0.78	c  N st    11     17046       681      2964         0     10189      9007    262761   no data   no data
4.40/1.19	c  F st    12     25004       681      2964         0     12509      9007    326363   no data   no data
4.40/1.19	c  N st    12     25004       681      2964         0     12509      9007    326363   no data   no data
5.56/1.45	c Decided on static restart strategy
5.56/1.45	c  N st    18     30000       681      2964         0     10743      9007    247628   no data   no data
5.56/1.45	c  S st    18     30000       681      2964         0     10743      9007    247628   no data   no data
5.56/1.49	c  S st    18     30504       681      2964         0     11247      9007    260694   no data   no data
5.56/1.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.56/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.56/1.49	c blocked clauses removed:       13 vars:      2 tried:         681 T: 0.00 s
5.56/1.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.56/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.56/1.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
5.56/1.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.56/1.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.55	c lits-rem:        48  cl-subs:      275  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.55	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
5.96/1.55	c calculated reachability. Time: 0.00
5.96/1.55	c  N st    18     30504       679      2951         0     10969      8968    251174   no data   no data
7.56/1.97	c  N st    20     37614       679      2951         0     10212      8968    210057   no data   no data
9.56/2.41	c  N st    21     44014       679      2951         0     16521      8968    412456   no data   no data
9.96/2.53	c  S st    22     45757       679      2951         0      9416      8968    160421   no data   no data
9.96/2.56	c  S st    22     46258       679      2951         0      9917      8968    173640   no data   no data
9.96/2.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.57	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
9.96/2.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.58	c lits-rem:        30  cl-subs:       33  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.58	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
9.96/2.59	c vivif2 --  cl tried     9884 cl shrink        0 lits rem          0 time: 0.00
9.96/2.59	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
9.96/2.59	c calculated reachability. Time: 0.00
9.96/2.59	c  N st    22     46258       679      2951         0      9884      8968    172488   no data   no data
14.34/3.64	c  N st    23     60656       679      2951         0     14258      8968    300998   no data   no data
17.16/4.35	c  N st    24     69387       679      2951         0     12024      8968    215660   no data   no data
17.16/4.35	c  S st    24     69387       679      2951         0     12024      8968    215660   no data   no data
17.16/4.39	c  S st    24     69889       679      2951         0     12526      8968    228519   no data   no data
17.16/4.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.16/4.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.16/4.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.16/4.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.16/4.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.16/4.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
17.16/4.39	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.16/4.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.16/4.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.57/4.42	c lits-rem:        60  cl-subs:      110  v-elim:      0  v-fix:    0  time:  0.02 s
17.57/4.42	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
17.57/4.42	c vivif2 --  cl tried    12416 cl shrink        0 lits rem          0 time: 0.00
17.57/4.43	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
17.57/4.43	c calculated reachability. Time: 0.00
17.57/4.43	c  N st    24     69889       679      2951         0     12416      8968    224598   no data   no data
23.12/5.81	c  F st    25     87500       679      2951         0     17960      8968    386471   no data   no data
23.12/5.81	c  N st    25     87500       679      2951         0     17960      8968    386471   no data   no data
24.72/6.23	c Decided on static restart strategy
25.52/6.49	c  N st    32     95540       679      2951         0     13071      8968    205610   no data   no data
28.31/7.18	c  N st    34    104833       679      2951         0     22210      8968    475957   no data   no data
28.31/7.18	c  S st    34    104833       679      2951         0     22210      8968    475957   no data   no data
28.71/7.24	c  S st    34    105336       679      2951         0     22712      8968    489856   no data   no data
28.71/7.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.71/7.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.71/7.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.71/7.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.71/7.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
28.71/7.25	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.71/7.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.71/7.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.50/7.45	c lits-rem:       103  cl-subs:      678  v-elim:      0  v-fix:    0  time:  0.18 s
29.50/7.45	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
29.50/7.45	c vivif2 --  cl tried    22034 cl shrink        0 lits rem          0 time: 0.01
29.50/7.47	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.01
29.50/7.47	c calculated reachability. Time: 0.00
29.50/7.47	c  N st    34    105336       679      2951         0     22034      8968    466096   no data   no data
32.70/8.26	c  N st    35    114936       679      2951         0     17727      8968    333606   no data   no data
38.29/9.66	c  N st    36    129334       679      2951         0     17182      8968    283371   no data   no data
46.66/11.70	c  N st    37    150929       679      2951         0     22712      8968    457784   no data   no data
49.45/12.40	c  S st    38    158005       679      2951         0     29703      8968    681739   no data   no data
49.45/12.48	c  S st    38    158507       679      2951         0     30204      8968    694959   no data   no data
49.45/12.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.45/12.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.45/12.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.45/12.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.45/12.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.45/12.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
49.45/12.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.85/12.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.85/12.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.06/12.86	c lits-rem:       360  cl-subs:      751  v-elim:      0  v-fix:    0  time:  0.34 s
51.06/12.86	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
51.06/12.86	c vivif2 --  cl tried    29453 cl shrink        0 lits rem          0 time: 0.01
51.06/12.88	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.02
51.06/12.89	c calculated reachability. Time: 0.00
51.06/12.89	c  N st    38    158507       679      2951         0     29453      8968    666387   no data   no data
71.41/17.98	c  N st    39    207095       679      2951         0     24027      8968    436823   no data   no data
85.38/21.46	c  N st    40    237761       679      2951         0     34578      8968    750266   no data   no data
85.38/21.46	c  S st    40    237761       679      2951         0     34578      8968    750266   no data   no data
85.78/21.54	c  S st    40    238265       679      2951         0     35081      8968    764427   no data   no data
85.78/21.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
85.78/21.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
85.78/21.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85.78/21.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
85.78/21.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
85.78/21.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
85.78/21.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
85.78/21.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
85.78/21.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
88.17/22.11	c lits-rem:       252  cl-subs:      868  v-elim:      0  v-fix:    0  time:  0.52 s
88.17/22.11	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
88.17/22.12	c vivif2 --  cl tried    34213 cl shrink        0 lits rem          0 time: 0.01
88.17/22.14	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.02
88.17/22.14	c calculated reachability. Time: 0.00
88.17/22.14	c  N st    40    238265       679      2951         0     34213      8968    732357   no data   no data
120.89/30.37	c  F st    41    306252       679      2951         0     36216      8968    739116   no data   no data
120.89/30.37	c  N st    41    306252       679      2951         0     36216      8968    739116   no data   no data
124.09/31.11	c Decided on static restart strategy
136.46/34.20	c  N st    51    334561       679      2951         0     40351      8968    796015   no data   no data
149.63/37.51	c  N st    53    357397       679      2951         0     38141      8968    695492   no data   no data
149.63/37.51	c  S st    53    357397       679      2951         0     38141      8968    695492   no data   no data
150.03/37.61	c  S st    53    357901       679      2951         0     38645      8968    710437   no data   no data
150.03/37.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
150.03/37.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
150.03/37.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150.03/37.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
150.03/37.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150.03/37.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
150.03/37.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
150.03/37.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
150.03/37.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.03/38.19	c lits-rem:       330  cl-subs:     1492  v-elim:      0  v-fix:    0  time:  0.53 s
152.03/38.19	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
152.43/38.20	c vivif2 --  cl tried    37153 cl shrink        0 lits rem          0 time: 0.01
152.43/38.23	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.03
152.43/38.23	c calculated reachability. Time: 0.00
152.43/38.23	c  N st    53    357901       679      2951         0     37153      8968    666152   no data   no data
171.58/43.03	c  N st    54    390293       679      2951         0     43449      8968    890352   no data   no data
201.55/50.58	c  N st    55    438884       679      2951         0     37068      8968    635821   no data   no data
243.82/61.16	c  N st    56    511767       679      2951         0     50590      8968   1004329   no data   no data
259.03/64.95	c  N st    57    536852       679      2951         0     44863      8968    816757   no data   no data
259.03/64.95	c  S st    57    536852       679      2951         0     44863      8968    816757   no data   no data
259.39/65.07	c  S st    57    537355       679      2951         0     45366      8968    830712   no data   no data
259.39/65.07	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
259.39/65.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
259.39/65.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
259.39/65.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
259.39/65.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.39/65.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
259.39/65.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
259.79/65.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
259.79/65.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
262.18/65.74	c lits-rem:       189  cl-subs:     1128  v-elim:      0  v-fix:    0  time:  0.62 s
262.18/65.74	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
262.18/65.75	c vivif2 --  cl tried    44238 cl shrink        0 lits rem          0 time: 0.01
262.18/65.79	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.03
262.18/65.79	c calculated reachability. Time: 0.00
262.18/65.79	c  N st    57    537355       679      2951         0     44238      8968    795184   no data   no data
381.54/95.68	c  N st    58    701339       679      2951         0     38555      8968    508141   no data   no data
463.73/116.28	c  N st    59    806034       679      2951         0     67781      8968   1434493   no data   no data
463.73/116.28	c  S st    59    806034       679      2951         0     67781      8968   1434493   no data   no data
464.53/116.48	c  S st    59    806534       679      2951         0     68281      8968   1448089   no data   no data
464.53/116.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
464.95/116.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
464.95/116.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
464.95/116.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
464.95/116.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
464.95/116.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
464.95/116.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
464.95/116.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
464.95/116.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.28/120.16	c lits-rem:      2386  cl-subs:     2324  v-elim:      0  v-fix:    0  time:  3.58 s
479.28/120.16	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
479.28/120.18	c vivif2 --  cl tried    65957 cl shrink        0 lits rem          0 time: 0.02
479.68/120.24	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.06
479.68/120.25	c calculated reachability. Time: 0.00
479.68/120.25	c  N st    59    806534       679      2951         0     65957      8968   1361645   no data   no data
708.77/177.63	c  F st    60   1071879       679      2951         0     81893      8968   1695525   no data   no data
708.77/177.63	c  N st    60   1071879       679      2951         0     81893      8968   1695525   no data   no data
714.36/179.00	c Decided on static restart strategy
732.32/183.55	c  N st    70   1100185       679      2951         0     65534      8968   1118080   no data   no data
767.87/192.43	c  N st    72   1136178       679      2951         0     55705      8968    818218   no data   no data
800.96/200.73	c  N st    73   1168570       679      2951         0     87587      8968   1805876   no data   no data
846.46/212.19	c  N st    74   1209803       679      2951         0     81823      8968   1628738   no data   no data
846.46/212.19	c  S st    74   1209803       679      2951         0     81823      8968   1628738   no data   no data
847.65/212.43	c  S st    74   1210306       679      2951         0     82326      8968   1643589   no data   no data
847.65/212.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
847.65/212.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
847.65/212.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
847.65/212.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
847.65/212.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
847.65/212.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
847.65/212.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
848.05/212.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
848.05/212.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
867.61/217.47	c lits-rem:       439  cl-subs:     2836  v-elim:      0  v-fix:    0  time:  4.92 s
867.61/217.47	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
867.61/217.49	c vivif2 --  cl tried    79490 cl shrink        0 lits rem          0 time: 0.02
868.01/217.57	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.08
868.01/217.57	c calculated reachability. Time: 0.00
868.01/217.57	c  N st    74   1210306       679      2951         0     79490      8968   1548986   no data   no data
943.04/236.37	c  N st    75   1283188       679      2951         0     55772      8968    757685   no data   no data
1052.00/263.62	c  N st    76   1392512       679      2951         0     63926      8968    983787   no data   no data
1228.40/307.80	c  N st    77   1556497       679      2951         0     68568      8968   1055626   no data   no data
1392.02/348.81	c  N st    78   1710306       679      2951         0    110523      8968   2357857   no data   no data
1392.02/348.81	c  S st    78   1710306       679      2951         0    110523      8968   2357857   no data   no data
1393.22/349.17	c  S st    78   1710809       679      2951         0    111025      8968   2371926   no data   no data
1393.22/349.17	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1393.62/349.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1393.62/349.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1393.62/349.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1393.62/349.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1393.62/349.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
1393.62/349.23	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1393.62/349.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1394.02/349.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1473.44/369.29	c lits-rem:       905  cl-subs:     7516  v-elim:      0  v-fix:    0  time: 19.96 s
1473.44/369.29	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
1473.84/369.32	c vivif2 --  cl tried   103509 cl shrink        0 lits rem          0 time: 0.03
1474.24/369.44	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.12
1474.24/369.44	c calculated reachability. Time: 0.00
1474.24/369.44	c  N st    78   1710809       679      2951         0    103509      8968   2125759   no data   no data
1915.64/480.08	c  N st    79   2079774       679      2951         0    115584      8968   2311642   no data   no data
2092.85/524.47	c  N st    80   2210810       679      2951         0    119348      8968   2366782   no data   no data
2092.85/524.47	c  S st    80   2210810       679      2951         0    119348      8968   2366782   no data   no data
2094.44/524.82	c  S st    80   2211315       679      2951         0    119853      8968   2381435   no data   no data
2094.44/524.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2094.44/524.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2094.44/524.89	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2094.44/524.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2094.44/524.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2094.44/524.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
2094.44/524.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2094.84/524.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2095.24/525.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2151.15/539.02	c lits-rem:      1033  cl-subs:     6068  v-elim:      0  v-fix:    0  time: 14.02 s
2151.15/539.02	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
2151.15/539.05	c vivif2 --  cl tried   113785 cl shrink        0 lits rem          0 time: 0.03
2151.51/539.18	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.13
2151.51/539.18	c calculated reachability. Time: 0.00
2151.51/539.18	c  N st    80   2211315       679      2951         0    113785      8968   2206817   no data   no data
2805.27/702.93	c  N st    81   2711315       679      2951         0    138328      8968   2930066   no data   no data
2805.27/702.93	c  S st    81   2711315       679      2951         0    138328      8968   2930066   no data   no data
2806.83/703.39	c  S st    81   2711815       679      2951         0    138828      8968   2943868   no data   no data
2807.23/703.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2807.23/703.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2807.23/703.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2807.23/703.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2807.23/703.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2807.23/703.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
2807.23/703.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2807.63/703.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2808.04/703.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2858.31/716.22	c lits-rem:      1200  cl-subs:     4011  v-elim:      0  v-fix:    0  time: 12.62 s
2858.31/716.22	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
2858.31/716.26	c vivif2 --  cl tried   134817 cl shrink        0 lits rem          0 time: 0.04
2859.11/716.42	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.16
2859.11/716.43	c calculated reachability. Time: 0.00
2859.11/716.43	c  N st    81   2711815       679      2951         0    134817      8968   2825854   no data   no data
3559.15/891.82	c  N st    82   3211816       679      2951         0    109363      8968   1869700   no data   no data
3559.15/891.82	c  S st    82   3211816       679      2951         0    109363      8968   1869700   no data   no data
3560.74/892.23	c  S st    82   3212321       679      2951         0    109868      8968   1884179   no data   no data
3560.74/892.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3561.14/892.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3561.14/892.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3561.14/892.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3561.14/892.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3561.14/892.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
3561.14/892.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3561.14/892.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3561.54/892.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3605.44/903.42	c lits-rem:       409  cl-subs:     5644  v-elim:      0  v-fix:    0  time: 11.00 s
3605.44/903.42	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
3605.44/903.44	c vivif2 --  cl tried   104224 cl shrink        0 lits rem          0 time: 0.03
3605.84/903.56	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.11
3605.84/903.56	c calculated reachability. Time: 0.00
3605.84/903.56	c  N st    82   3212321       679      2951         0    104224      8968   1715645   no data   no data
4421.19/1107.81	c  N st    83   3712321       679      2951         0    115334      8968   1938223   no data   no data
4421.19/1107.81	c  S st    83   3712321       679      2951         0    115334      8968   1938223   no data   no data
4422.79/1108.26	c  S st    83   3712825       679      2951         0    115838      8968   1952982   no data   no data
4422.79/1108.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4423.19/1108.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.08
4423.19/1108.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4423.19/1108.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4423.19/1108.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4423.19/1108.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    679 time:  0.00 s
4423.19/1108.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4423.19/1108.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4423.59/1108.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4461.90/1118.08	c lits-rem:       374  cl-subs:     3537  v-elim:      0  v-fix:    0  time:  9.62 s
4461.90/1118.08	c vivif2 --  cl tried     2951 cl shrink        0 lits rem          0 time: 0.00
4462.30/1118.11	c vivif2 --  cl tried   112301 cl shrink        0 lits rem          0 time: 0.03
4462.70/1118.26	c asymm  cl-useful: 0/2951/2951 lits-rem:0 time: 0.15
4462.70/1118.27	c calculated reachability. Time: 0.00
4462.70/1118.27	c  N st    83   3712825       679      2951         0    112301      8968   1839822   no data   no data
4527.35/1134.48	c  F st    84   3751563       679      2951         0    150315      8968   3063922   no data   no data
4527.35/1134.48	c  N st    84   3751563       679      2951         0    150315      8968   3063922   no data   no data
4539.72/1137.50	c Decided on static restart strategy
4580.44/1147.76	c  N st    94   3779869       679      2951         0     94881      8968   1196962   no data   no data
4635.11/1161.48	c  N st    96   3815863       679      2951         0    130276      8968   2242512   no data   no data
4706.55/1179.31	c  N st    97   3848255       679      2951         0    162059      8968   3191338   no data   no data
4779.98/1197.79	c  N st    98   3896844       679      2951         0    125257      8968   2050257   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366334-1305401937/watcher-3366334-1305401937 -o /tmp/evaluation-result-3366334-1305401937/solver-3366334-1305401937 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366334-1305401937.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.52 7.99 7.95 2/268 26285
/proc/meminfo: memFree=20965768/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 411 0 0 0 1 0 0 0 22 0 4 0 651793480 52396032 352 33554432000 4194304 4580107 140736863330608 18446744073709551615 47477763294745 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 12792 352 302 95 0 7774 0
[pid=26285/tid=26289] ppid=26282 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 4 0 0 0 0 0 0 0 23 0 4 0 651793480 52396032 352 33554432000 4194304 4580107 140736863330608 18446744073709551615 47477763294745 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 651793480 52396032 352 33554432000 4194304 4580107 140736863330608 18446744073709551615 47477763295148 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 651793481 52396032 352 33554432000 4194304 4580107 140736863330608 18446744073709551615 47477763294745 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.0205819 s]
/proc/loadavg: 7.52 7.99 7.95 2/268 26285
/proc/meminfo: memFree=20965768/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=282348 CPUtime=0.05 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 1483 0 0 0 5 0 0 0 24 0 4 0 651793480 289124352 1342 33554432000 4194304 4580107 140736863330608 18446744073709551615 4363798 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 70587 1342 376 95 0 65569 0
[pid=26285/tid=26289] ppid=26282 vsize=282348 CPUtime=0.01 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 311 0 0 0 1 0 0 0 24 0 4 0 651793480 289124352 1342 33554432000 4194304 4580107 140736863330608 18446744073709551615 4292922 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=282348 CPUtime=0 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 310 0 0 0 0 0 0 0 24 0 4 0 651793480 289124352 1342 33554432000 4194304 4580107 140736863330608 18446744073709551615 4320667 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=282348 CPUtime=0.01 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 157 0 0 0 1 0 0 0 25 0 4 0 651793481 289124352 1342 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 282348

[startup+0.100567 s]
/proc/loadavg: 7.52 7.99 7.95 2/268 26285
/proc/meminfo: memFree=20965768/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=282504 CPUtime=0.37 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 1878 0 0 0 37 0 0 0 24 0 4 0 651793480 289284096 1737 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 70626 1737 377 95 0 65608 0
[pid=26285/tid=26289] ppid=26282 vsize=282504 CPUtime=0.09 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 396 0 0 0 9 0 0 0 24 0 4 0 651793480 289284096 1737 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293907 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=282504 CPUtime=0.08 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 416 0 0 0 8 0 0 0 24 0 4 0 651793480 289284096 1737 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293090 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=282504 CPUtime=0.09 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 266 0 0 0 9 0 0 0 25 0 4 0 651793481 289284096 1737 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282504

[startup+0.300532 s]
/proc/loadavg: 7.52 7.99 7.95 2/268 26285
/proc/meminfo: memFree=20965768/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=284060 CPUtime=1.17 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 3002 0 0 0 117 0 0 0 25 0 4 0 651793480 290877440 2156 33554432000 4194304 4580107 140736863330608 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 71015 2156 377 95 0 65997 0
[pid=26285/tid=26289] ppid=26282 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 672 0 0 0 29 0 0 0 25 0 4 0 651793480 290877440 2156 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=284060 CPUtime=0.28 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 704 0 0 0 28 0 0 0 25 0 4 0 651793480 290877440 2156 33554432000 4194304 4580107 140736863330608 18446744073709551615 237278576296 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=284060 CPUtime=0.29 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 553 0 0 0 29 0 0 0 25 0 4 0 651793481 290877440 2156 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284060

[startup+0.700461 s]
/proc/loadavg: 7.52 7.99 7.95 2/268 26285
/proc/meminfo: memFree=20965768/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=285072 CPUtime=2.77 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 4743 0 0 0 276 1 0 0 25 0 4 0 651793480 291913728 2835 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293131 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 71268 2835 377 95 0 66250 0
[pid=26285/tid=26289] ppid=26282 vsize=285072 CPUtime=0.69 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 1116 0 0 0 69 0 0 0 25 0 4 0 651793480 291913728 2835 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=285072 CPUtime=0.68 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 1134 0 0 0 68 0 0 0 25 0 4 0 651793480 291913728 2835 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=285072 CPUtime=0.69 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 975 0 0 0 69 0 0 0 25 0 4 0 651793481 291913728 2835 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285072

[startup+1.50032 s]
/proc/loadavg: 7.52 7.99 7.95 9/279 26296
/proc/meminfo: memFree=20942416/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=287088 CPUtime=5.96 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 8413 0 0 0 595 1 0 0 25 0 4 0 651793480 293978112 3548 33554432000 4194304 4580107 140736863330608 18446744073709551615 237278540485 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 71772 3552 379 95 0 66754 0
[pid=26285/tid=26289] ppid=26282 vsize=287088 CPUtime=1.49 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 2036 0 0 0 149 0 0 0 25 0 4 0 651793480 293978112 3555 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=287088 CPUtime=1.47 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 2020 0 0 0 147 0 0 0 25 0 4 0 651793480 293978112 3559 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=287088 CPUtime=1.48 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 1858 0 0 0 148 0 0 0 25 0 4 0 651793481 293978112 3563 33554432000 4194304 4580107 140736863330608 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 287088

[startup+3.10104 s]
/proc/loadavg: 7.52 7.99 7.95 9/279 26296
/proc/meminfo: memFree=20916252/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=302144 CPUtime=12.35 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 19870 0 0 0 1232 3 0 0 25 0 4 0 651793480 309395456 10944 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293182 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 75536 10944 379 95 0 70518 0
[pid=26285/tid=26289] ppid=26282 vsize=302144 CPUtime=3.09 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 4531 0 0 0 308 1 0 0 25 0 4 0 651793480 309395456 10944 33554432000 4194304 4580107 140736863330608 18446744073709551615 4320729 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=302144 CPUtime=3.06 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 4984 0 0 0 306 0 0 0 25 0 4 0 651793480 309395456 10944 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=302144 CPUtime=3.08 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 4973 0 0 0 308 0 0 0 25 0 4 0 651793481 309395456 10944 33554432000 4194304 4580107 140736863330608 18446744073709551615 4322556 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 302144

[startup+6.30047 s]
/proc/loadavg: 7.56 7.99 7.95 9/279 26296
/proc/meminfo: memFree=20843072/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=303076 CPUtime=25.12 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 31061 0 0 0 2507 5 0 0 25 0 4 0 651793480 310349824 16402 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 75769 16403 379 95 0 70751 0
[pid=26285/tid=26289] ppid=26282 vsize=303076 CPUtime=6.28 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 8685 0 0 0 627 1 0 0 25 0 4 0 651793480 310349824 16403 33554432000 4194304 4580107 140736863330608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=303076 CPUtime=6.23 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 7774 0 0 0 622 1 0 0 25 0 4 0 651793480 310349824 16403 33554432000 4194304 4580107 140736863330608 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=303076 CPUtime=6.29 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 7184 0 0 0 628 1 0 0 25 0 4 0 651793481 310349824 16403 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.12
Current children cumulated vsize (KiB) 303076

[startup+12.7003 s]
/proc/loadavg: 7.59 7.99 7.95 9/279 26296
/proc/meminfo: memFree=20778252/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=304040 CPUtime=50.66 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 48496 0 0 0 5057 9 0 0 25 0 4 0 651793480 311336960 24004 33554432000 4194304 4580107 140736863330608 18446744073709551615 4406483 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 76010 24004 379 95 0 70992 0
[pid=26285/tid=26289] ppid=26282 vsize=304040 CPUtime=12.69 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 12705 0 0 0 1267 2 0 0 25 0 4 0 651793480 311336960 24004 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=304040 CPUtime=12.57 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 9976 0 0 0 1255 2 0 0 25 0 4 0 651793480 311336960 24004 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=304040 CPUtime=12.68 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 12763 0 0 0 1266 2 0 0 25 0 4 0 651793481 311336960 24004 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.66
Current children cumulated vsize (KiB) 304040

[startup+25.5011 s]
/proc/loadavg: 7.68 7.99 7.95 9/279 26296
/proc/meminfo: memFree=20713032/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=301412 CPUtime=101.74 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 72762 0 0 0 10160 14 0 0 25 0 4 0 651793480 308645888 32148 33554432000 4194304 4580107 140736863330608 18446744073709551615 4321334 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 75353 32148 379 95 0 70335 0
[pid=26285/tid=26289] ppid=26282 vsize=301412 CPUtime=25.49 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 20082 0 0 0 2545 4 0 0 25 0 4 0 651793480 308645888 32148 33554432000 4194304 4580107 140736863330608 18446744073709551615 4322703 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=301412 CPUtime=25.25 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 14421 0 0 0 2522 3 0 0 25 0 4 0 651793480 308645888 32148 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=301412 CPUtime=25.48 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 18084 0 0 0 2546 2 0 0 25 0 4 0 651793481 308645888 32148 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.74
Current children cumulated vsize (KiB) 301412

[startup+51.1005 s]
/proc/loadavg: 7.93 8.02 7.96 9/279 26297
/proc/meminfo: memFree=20674016/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=326104 CPUtime=203.92 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 107078 0 0 0 20366 26 0 0 25 0 4 0 651793480 333930496 37130 33554432000 4194304 4580107 140736863330608 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 81526 37131 379 95 0 76508 0
[pid=26285/tid=26289] ppid=26282 vsize=326104 CPUtime=51.08 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 29143 0 0 0 5102 6 0 0 25 0 4 0 651793480 333930496 37131 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=326104 CPUtime=50.62 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 19959 0 0 0 5057 5 0 0 25 0 4 0 651793480 333930496 37131 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=326104 CPUtime=51.08 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 28309 0 0 0 5102 6 0 0 25 0 4 0 651793481 333930496 37131 33554432000 4194304 4580107 140736863330608 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.92
Current children cumulated vsize (KiB) 326104

[startup+102.31 s]
/proc/loadavg: 7.97 8.02 7.96 9/279 26298
/proc/meminfo: memFree=20581352/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=327540 CPUtime=408.29 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 162886 0 0 0 40788 41 0 0 25 0 4 0 651793480 335400960 45850 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294436 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 81885 45850 379 95 0 76867 0
[pid=26285/tid=26289] ppid=26282 vsize=327540 CPUtime=102.3 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 46161 0 0 0 10220 10 0 0 25 0 4 0 651793480 335400960 45850 33554432000 4194304 4580107 140736863330608 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=327540 CPUtime=101.37 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 27262 0 0 0 10129 8 0 0 25 0 4 0 651793480 335400960 45850 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=327540 CPUtime=102.29 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 45521 0 0 0 10219 10 0 0 25 0 4 0 651793481 335400960 45850 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 408.29
Current children cumulated vsize (KiB) 327540

[startup+162.301 s]

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

[pid=26285] ppid=26282 vsize=616024 CPUtime=2563.42 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 440808 0 0 0 256166 176 0 0 25 0 4 0 651793480 630808576 98139 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 154006 98139 379 95 0 148988 0
[pid=26285/tid=26289] ppid=26282 vsize=616024 CPUtime=642.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 104694 0 0 0 64190 39 0 0 25 0 4 0 651793480 630808576 98139 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=616024 CPUtime=636.48 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 79816 0 0 0 63615 33 0 0 25 0 4 0 651793480 630808576 98139 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=616024 CPUtime=642.3 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 141319 0 0 0 64170 60 0 0 25 0 4 0 651793481 630808576 98139 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2563.42
Current children cumulated vsize (KiB) 616024

[startup+702.301 s]
/proc/loadavg: 8.01 8.04 8.00 9/279 26314
/proc/meminfo: memFree=20156280/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=717628 CPUtime=2802.84 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 463661 0 0 0 280097 187 0 0 25 0 4 0 651793480 734851072 107233 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 179407 107233 379 95 0 174389 0
[pid=26285/tid=26289] ppid=26282 vsize=717628 CPUtime=702.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 109384 0 0 0 70187 42 0 0 25 0 4 0 651793480 734851072 107233 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=717628 CPUtime=695.93 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 84275 0 0 0 69557 36 0 0 25 0 4 0 651793480 734851072 107233 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=717628 CPUtime=702.3 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 150425 0 0 0 70166 64 0 0 25 0 4 0 651793481 734851072 107233 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2802.84
Current children cumulated vsize (KiB) 717628

[startup+762.311 s]
/proc/loadavg: 8.07 8.06 8.01 9/279 26316
/proc/meminfo: memFree=20121404/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=676984 CPUtime=3042.35 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 480998 0 0 0 304037 198 0 0 25 0 4 0 651793480 693231616 108258 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294581 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 169246 108258 379 95 0 164228 0
[pid=26285/tid=26289] ppid=26282 vsize=676984 CPUtime=762.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 112439 0 0 0 76186 43 0 0 25 0 4 0 651793480 693231616 108258 33554432000 4194304 4580107 140736863330608 18446744073709551615 4416036 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=676984 CPUtime=755.39 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 85586 0 0 0 75503 36 0 0 25 0 4 0 651793480 693231616 108258 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=676984 CPUtime=762.31 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 157456 0 0 0 76162 69 0 0 25 0 4 0 651793481 693231616 108258 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3042.35
Current children cumulated vsize (KiB) 676984

[startup+822.3 s]
/proc/loadavg: 8.25 8.11 8.02 9/279 26318
/proc/meminfo: memFree=20082576/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=741828 CPUtime=3281.77 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 501318 0 0 0 327966 211 0 0 25 0 4 0 651793480 759631872 114471 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 185457 114471 379 95 0 180439 0
[pid=26285/tid=26289] ppid=26282 vsize=741828 CPUtime=822.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 115265 0 0 0 82184 45 0 0 25 0 4 0 651793480 759631872 114471 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294449 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=741828 CPUtime=814.85 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 91351 0 0 0 81444 41 0 0 25 0 4 0 651793480 759631872 114471 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=741828 CPUtime=822.3 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 164772 0 0 0 82157 73 0 0 25 0 4 0 651793481 759631872 114471 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3281.77
Current children cumulated vsize (KiB) 741828

[startup+882.301 s]
/proc/loadavg: 8.24 8.12 8.03 9/279 26319
/proc/meminfo: memFree=20067304/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=673632 CPUtime=3521.23 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 528449 0 0 0 351898 225 0 0 25 0 4 0 651793480 689799168 113918 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 168408 113918 379 95 0 163390 0
[pid=26285/tid=26289] ppid=26282 vsize=673632 CPUtime=882.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 120200 0 0 0 88180 49 0 0 25 0 4 0 651793480 689799168 113918 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=673632 CPUtime=874.3 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 93553 0 0 0 87387 43 0 0 25 0 4 0 651793480 689799168 113918 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=673632 CPUtime=882.3 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 176109 0 0 0 88153 77 0 0 25 0 4 0 651793481 689799168 113918 33554432000 4194304 4580107 140736863330608 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3521.23
Current children cumulated vsize (KiB) 673632

[startup+942.301 s]
/proc/loadavg: 8.16 8.11 8.03 9/279 26321
/proc/meminfo: memFree=20058720/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=631600 CPUtime=3760.69 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 544504 0 0 0 375834 235 0 0 25 0 4 0 651793480 646758400 111856 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 157900 111856 379 95 0 152882 0
[pid=26285/tid=26289] ppid=26282 vsize=631600 CPUtime=942.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 123586 0 0 0 94178 51 0 0 25 0 4 0 651793480 646758400 111856 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=631600 CPUtime=933.75 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 95852 0 0 0 93331 44 0 0 25 0 4 0 651793480 646758400 111856 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=631600 CPUtime=942.31 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 180037 0 0 0 94151 80 0 0 25 0 4 0 651793481 646758400 111856 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3760.69
Current children cumulated vsize (KiB) 631600

[startup+1002.3 s]
/proc/loadavg: 8.06 8.09 8.02 9/279 26322
/proc/meminfo: memFree=20011948/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=679612 CPUtime=4000.15 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 567900 0 0 0 399768 247 0 0 25 0 4 0 651793480 695922688 119394 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 169903 119394 379 95 0 164885 0
[pid=26285/tid=26289] ppid=26282 vsize=679612 CPUtime=1002.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 127523 0 0 0 100177 52 0 0 25 0 4 0 651793480 695922688 119394 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=679612 CPUtime=993.21 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 101227 0 0 0 99273 48 0 0 25 0 4 0 651793480 695922688 119394 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=679612 CPUtime=1002.3 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 186973 0 0 0 100147 83 0 0 25 0 4 0 651793481 695922688 119394 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4000.15
Current children cumulated vsize (KiB) 679612

[startup+1062.3 s]
/proc/loadavg: 8.09 8.08 8.02 9/279 26324
/proc/meminfo: memFree=20007088/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=632040 CPUtime=4239.61 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 588137 0 0 0 423703 258 0 0 25 0 4 0 651793480 647208960 113877 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 158010 113877 379 95 0 152992 0
[pid=26285/tid=26289] ppid=26282 vsize=632040 CPUtime=1062.28 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 130933 0 0 0 106175 53 0 0 25 0 4 0 651793480 647208960 113877 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=632040 CPUtime=1052.68 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 103653 0 0 0 105218 50 0 0 25 0 4 0 651793480 647208960 113877 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=632040 CPUtime=1062.3 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 194337 0 0 0 106144 86 0 0 25 0 4 0 651793481 647208960 113877 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4239.61
Current children cumulated vsize (KiB) 632040

[startup+1122.3 s]
/proc/loadavg: 8.03 8.07 8.01 9/279 26326
/proc/meminfo: memFree=19934648/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=728532 CPUtime=4479.06 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 612234 0 0 0 447637 269 0 0 25 0 4 0 651793480 746016768 127431 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 182133 127431 379 95 0 177115 0
[pid=26285/tid=26289] ppid=26282 vsize=728532 CPUtime=1122.29 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 134449 0 0 0 112173 56 0 0 25 0 4 0 651793480 746016768 127431 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=728532 CPUtime=1112.12 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 109562 0 0 0 111159 53 0 0 25 0 4 0 651793480 746016768 127431 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=728532 CPUtime=1122.3 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 203650 0 0 0 112141 89 0 0 25 0 4 0 651793481 746016768 127431 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4479.06
Current children cumulated vsize (KiB) 728532

[startup+1182.3 s]
/proc/loadavg: 8.01 8.05 8.01 9/279 26327
/proc/meminfo: memFree=19947264/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=684164 CPUtime=4718.52 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 630250 0 0 0 471571 281 0 0 25 0 4 0 651793480 700583936 120417 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 171041 120417 379 95 0 166023 0
[pid=26285/tid=26289] ppid=26282 vsize=684164 CPUtime=1182.28 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 138046 0 0 0 118170 58 0 0 25 0 4 0 651793480 700583936 120417 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=684164 CPUtime=1171.58 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 113313 0 0 0 117103 55 0 0 25 0 4 0 651793480 700583936 120417 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=684164 CPUtime=1182.31 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 209051 0 0 0 118138 93 0 0 25 0 4 0 651793481 700583936 120417 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4718.52
Current children cumulated vsize (KiB) 684164



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.8 s]
/proc/loadavg: 8.01 8.05 8.01 5/274 26329
/proc/meminfo: memFree=20480376/32950904 swapFree=67057400/67111528
[pid=26285] ppid=26282 vsize=679016 CPUtime=4800.37 cores=1,3,5,7
/proc/26285/stat : 26285 (strangenight2-m) R 26282 26285 25944 0 -1 4202496 634701 0 0 0 479753 284 0 0 25 0 4 0 651793480 695312384 120506 33554432000 4194304 4580107 140736863330608 18446744073709551615 4489516 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/26285/statm: 169754 120506 379 95 0 164736 0
[pid=26285/tid=26289] ppid=26282 vsize=679016 CPUtime=1202.79 cores=1,3,5,7
/proc/26285/task/26289/stat : 26289 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 138135 0 0 0 120221 58 0 0 25 0 4 0 651793480 695312384 120506 33554432000 4194304 4580107 140736863330608 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=26285/tid=26290] ppid=26282 vsize=679016 CPUtime=1191.89 cores=1,3,5,7
/proc/26285/task/26290/stat : 26290 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 113431 0 0 0 119134 55 0 0 25 0 4 0 651793480 695312384 120506 33554432000 4194304 4580107 140736863330608 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=26285/tid=26291] ppid=26282 vsize=679016 CPUtime=1202.82 cores=1,3,5,7
/proc/26285/task/26291/stat : 26291 (strangenight2-m) R 26282 26285 25944 0 -1 4202560 210498 0 0 0 120188 94 0 0 25 0 4 0 651793481 695312384 120506 33554432000 4194304 4580107 140736863330608 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.37
Current children cumulated vsize (KiB) 679016

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.84
CPU time (s): 4800.42
CPU user time (s): 4797.56
CPU system time (s): 2.86556
CPU usage (%): 399.091
Max. virtual memory (cumulated for all children) (KiB): 835432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.56
system time used= 2.86556
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634702
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= 341
involuntary context switches= 36050

runsolver used 3.00454 second user time and 7.93479 second system time

The end

Launcher Data 

Begin job on node121 at 2011-05-14 21:38:57
IDJOB=3366334
IDBENCH=82743
IDSOLVER=1844
FILE ID=node121/3366334-1305401937
RUNJOBID= node121-1305401937-26270
PBS_JOBID= 13324487
Free space on /tmp= 73432 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v700-c2982-S900569154-026.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366334-1305401937/watcher-3366334-1305401937 -o /tmp/evaluation-result-3366334-1305401937/solver-3366334-1305401937 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366334-1305401937.cnf

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

MD5SUM BENCH= 90af97b0aabddb9e07bb7ada8a5dcbc1
RANDOM SEED=1358744277

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      20965940 kB
Buffers:        299632 kB
Cached:        5963216 kB
SwapCached:       7656 kB
Active:        6418484 kB
Inactive:      5213816 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      20965940 kB
SwapTotal:    67111528 kB
SwapFree:     67057400 kB
Dirty:           10880 kB
Writeback:           0 kB
AnonPages:     5366728 kB
Mapped:          21300 kB
Slab:           265436 kB
PageTables:      23920 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 30642300 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= 73424 MiB
End job on node121 at 2011-05-14 21:59:02