Trace number 3366495

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.15 1203.95

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.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-3366495-1305405594.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	c -- header says num clauses:        2769
0.00/0.02	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.02	c -- vars added        650
0.00/0.02	c Parsing time:  0.00 s
0.00/0.02	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.06	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.00 s
0.00/0.06	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.06	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.06	c calculated reachability. Time: 0.00
0.00/0.06	c Calc default polars -  time:   0.00 s pos:     310 undec:      64 neg:     276
0.00/0.06	c =========================================================================================
0.00/0.06	c types(t): F = full restart, N = normal restart
0.00/0.06	c types(t): S = simplification begin/end, E = solution found
0.00/0.06	c restart types(rt): st = static, dy = dynamic
0.00/0.06	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.06	c  B st     0         0       632      2751         0         0      8371         0   no data   no data
0.63/0.19	c Decided on static restart strategy
0.63/0.19	c  N st     8      4915       632      2751         0      4841      8371    133028   no data   no data
1.83/0.50	c  N st    10     11298       632      2751         0      4496      8371     87295   no data   no data
2.76/0.78	c  N st    11     17042       632      2751         0     10143      8371    256704   no data   no data
4.80/1.22	c  F st    12     25002       632      2751         0     12470      8371    321848   no data   no data
4.80/1.22	c  N st    12     25002       632      2751         0     12470      8371    321848   no data   no data
5.54/1.48	c Decided on static restart strategy
5.54/1.48	c  N st    18     30004       632      2751         0     10716      8371    236170   no data   no data
5.54/1.48	c  S st    18     30004       632      2751         0     10716      8371    236170   no data   no data
5.94/1.51	c  S st    18     30508       632      2751         0     11219      8371    248583   no data   no data
5.94/1.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.94/1.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.94/1.52	c blocked clauses removed:        5 vars:      2 tried:         632 T: 0.00 s
5.94/1.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.94/1.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.94/1.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
5.94/1.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.94/1.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.94/1.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.94/1.58	c lits-rem:       102  cl-subs:      450  v-elim:      0  v-fix:    0  time:  0.05 s
5.94/1.59	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
5.94/1.59	c calculated reachability. Time: 0.00
5.94/1.59	c  N st    18     30508       630      2746         0     10751      8356    233344   no data   no data
7.94/2.01	c  N st    20     37619       630      2746         0     10028      8356    191192   no data   no data
9.53/2.45	c  N st    21     44018       630      2746         0     16296      8356    372596   no data   no data
9.93/2.58	c  S st    22     45763       630      2746         0      9233      8356    149582   no data   no data
10.32/2.60	c  S st    22     46267       630      2746         0      9737      8356    162627   no data   no data
10.32/2.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.32/2.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.32/2.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.32/2.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.32/2.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.32/2.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
10.32/2.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.32/2.61	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.32/2.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.32/2.62	c lits-rem:        32  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.01 s
10.32/2.62	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
10.32/2.62	c vivif2 --  cl tried     9681 cl shrink        0 lits rem          0 time: 0.00
10.32/2.63	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
10.32/2.63	c calculated reachability. Time: 0.00
10.32/2.63	c  N st    22     46267       630      2746         0      9681      8356    160937   no data   no data
14.31/3.64	c  N st    23     60664       630      2746         0     14057      8356    269703   no data   no data
16.71/4.28	c  N st    24     69400       630      2746         0     11860      8356    195346   no data   no data
16.71/4.28	c  S st    24     69400       630      2746         0     11860      8356    195346   no data   no data
17.12/4.32	c  S st    24     69903       630      2746         0     12363      8356    208841   no data   no data
17.12/4.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.12/4.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
17.12/4.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.12/4.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
17.12/4.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.12/4.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
17.12/4.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.12/4.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.12/4.33	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.12/4.35	c lits-rem:        24  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.02 s
17.12/4.35	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
17.12/4.35	c vivif2 --  cl tried    12260 cl shrink        0 lits rem          0 time: 0.00
17.12/4.36	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
17.12/4.36	c calculated reachability. Time: 0.00
17.12/4.36	c  N st    24     69903       630      2746         0     12260      8356    205791   no data   no data
22.35/5.66	c  F st    25     87500       630      2746         0     17701      8356    344478   no data   no data
22.35/5.66	c  N st    25     87500       630      2746         0     17701      8356    344478   no data   no data
23.89/6.07	c Decided on static restart strategy
25.09/6.32	c  N st    32     95542       630      2746         0     25638      8356    571611   no data   no data
27.87/7.03	c  N st    34    104854       630      2746         0     22008      8356    457283   no data   no data
27.87/7.03	c  S st    34    104854       630      2746         0     22008      8356    457283   no data   no data
27.87/7.09	c  S st    34    105357       630      2746         0     22511      8356    470569   no data   no data
27.87/7.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.27/7.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
28.27/7.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.27/7.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.27/7.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.27/7.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
28.27/7.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28.27/7.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
28.27/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.07/7.32	c lits-rem:       112  cl-subs:      847  v-elim:      0  v-fix:    0  time:  0.20 s
29.07/7.32	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
29.07/7.33	c vivif2 --  cl tried    21664 cl shrink        0 lits rem          0 time: 0.00
29.07/7.34	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
29.07/7.34	c calculated reachability. Time: 0.00
29.07/7.34	c  N st    34    105357       630      2746         0     21664      8356    442176   no data   no data
32.25/8.18	c  N st    35    114956       630      2746         0     17342      8356    292865   no data   no data
37.84/9.57	c  N st    36    129353       630      2746         0     16722      8356    260545   no data   no data
46.21/11.63	c  N st    37    150951       630      2746         0     22255      8356    403022   no data   no data
48.99/12.38	c  S st    38    158035       630      2746         0     29173      8356    599044   no data   no data
49.39/12.46	c  S st    38    158536       630      2746         0     29674      8356    612532   no data   no data
49.39/12.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.39/12.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.39/12.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.39/12.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.39/12.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.39/12.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
49.39/12.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.39/12.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.39/12.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.39/12.92	c lits-rem:       207  cl-subs:     1284  v-elim:      0  v-fix:    0  time:  0.43 s
51.39/12.92	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
51.39/12.93	c vivif2 --  cl tried    28390 cl shrink        0 lits rem          0 time: 0.01
51.39/12.95	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.02
51.39/12.95	c calculated reachability. Time: 0.00
51.39/12.95	c  N st    38    158536       630      2746         0     28390      8356    572786   no data   no data
72.92/18.38	c  N st    39    207126       630      2746         0     23036      8356    371655   no data   no data
87.27/21.90	c  N st    40    237805       630      2746         0     33615      8356    657068   no data   no data
87.27/21.90	c  S st    40    237805       630      2746         0     33615      8356    657068   no data   no data
87.27/21.98	c  S st    40    238311       630      2746         0     34121      8356    671061   no data   no data
87.71/22.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.71/22.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
87.71/22.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87.71/22.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.71/22.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.71/22.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
87.71/22.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
87.71/22.04	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
87.71/22.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.65/22.52	c lits-rem:       378  cl-subs:     1138  v-elim:      0  v-fix:    0  time:  0.49 s
89.65/22.52	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
89.65/22.53	c vivif2 --  cl tried    32983 cl shrink        0 lits rem          0 time: 0.01
89.65/22.55	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.02
89.65/22.55	c calculated reachability. Time: 0.00
89.65/22.55	c  N st    40    238311       630      2746         0     32983      8356    638465   no data   no data
124.74/31.37	c  F st    41    306250       630      2746         0     34888      8356    637695   no data   no data
124.74/31.37	c  N st    41    306250       630      2746         0     34888      8356    637695   no data   no data
135.11/33.93	c  N dy    98    326029       630      2746         0     30786      8356    437686     18.12     19.27
147.87/37.14	c  N dy   180    348656       630      2746         0     28465      8356    336144     18.19     19.30
152.25/38.21	c  S st   210    357466       630      2746         0     37197      8356    564651     18.21     18.25
152.65/38.30	c  S st   210    357970       630      2746         0     37701      8356    577331     18.21   no data
152.65/38.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.65/38.32	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
152.65/38.32	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.65/38.32	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.65/38.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.65/38.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
152.65/38.32	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
152.65/38.33	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
152.65/38.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.05/38.50	c lits-rem:       146  cl-subs:      563  v-elim:      0  v-fix:    0  time:  0.16 s
153.05/38.50	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
153.05/38.51	c vivif2 --  cl tried    37138 cl shrink        0 lits rem          0 time: 0.01
153.49/38.53	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.02
153.49/38.53	c calculated reachability. Time: 0.00
153.49/38.53	c  N dy   210    357970       630      2746         0     37138      8356    561407     18.21   no data
165.41/41.53	c  N dy   295    378229       630      2746         0     31482      8356    391774     18.10     19.08
178.17/44.72	c  N dy   415    398564       630      2746         0     51656      8356    945152     18.32     19.39
191.33/48.00	c  N dy   477    421291       630      2746         0     47357      8356    806331     18.10     19.08
203.29/51.00	c  N dy   540    441459       630      2746         0     39633      8356    564065     18.05     19.02
217.64/54.66	c  N dy   668    461509       630      2746         0     30802      8356    302080     18.21     19.60
229.99/57.76	c  N dy   755    481562       630      2746         0     50652      8356    839762     18.23     19.36
243.15/61.07	c  N dy   865    501580       630      2746         0     40783      8356    556148     18.31     19.35
258.75/64.96	c  N dy   980    521619       630      2746         0     60646      8356   1102109     18.38     21.88
267.93/67.23	c  S st  1053    536957       630      2746         0     45121      8356    645899     18.40     15.70
268.27/67.34	c  S st  1053    537460       630      2746         0     45623      8356    658957     18.40   no data
268.27/67.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
268.27/67.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
268.27/67.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
268.27/67.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.27/67.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.27/67.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
268.27/67.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
268.27/67.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
268.27/67.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
269.47/67.63	c lits-rem:       193  cl-subs:      438  v-elim:      0  v-fix:    0  time:  0.24 s
269.47/67.63	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
269.47/67.64	c vivif2 --  cl tried    45185 cl shrink        0 lits rem          0 time: 0.01
269.47/67.68	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.03
269.47/67.68	c calculated reachability. Time: 0.00
269.47/67.68	c  N dy  1053    537460       630      2746         0     45185      8356    645782     18.40   no data
289.01/72.50	c  N dy  1131    564217       630      2746         0     39922      8356    476340     18.35     19.38
303.36/76.14	c  N dy  1201    584221       630      2746         0     59681      8356   1010687     18.32     19.39
317.71/79.72	c  N dy  1318    604274       630      2746         0     46906      8356    648316     18.39     19.41
335.65/84.27	c  N dy  1435    624510       630      2746         0     66969      8356   1200291     18.45     19.59
348.41/87.49	c  N dy  1490    644811       630      2746         0     53339      8356    807157     18.37     19.39
366.35/91.93	c  N dy  1604    664867       630      2746         0     38591      8356    379470     18.41     19.40
381.54/95.74	c  N dy  1679    685411       630      2746         0     58917      8356    931999     18.41     19.48
398.25/99.99	c  N dy  1774    705473       630      2746         0     43161      8356    483698     18.42     19.67
416.63/104.58	c  N dy  1869    725478       630      2746         0     62972      8356   1030336     18.44     20.72
434.17/108.99	c  N dy  1993    745542       630      2746         0     46243      8356    546743     18.48     20.71
451.27/113.30	c  N dy  2091    765904       630      2746         0     66403      8356   1102191     18.51     19.53
472.00/118.40	c  N dy  2184    791118       630      2746         0     53704      8356    718968     18.50     19.52
485.57/121.86	c  S st  2244    806190       630      2746         0     68603      8356   1122798     18.49   no data
486.37/122.04	c  S st  2244    806690       630      2746         0     69102      8356   1135831     18.49   no data
486.37/122.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
486.37/122.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
486.37/122.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
486.37/122.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
486.37/122.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
486.37/122.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
486.37/122.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
486.37/122.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
486.80/122.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
489.95/122.91	c lits-rem:       303  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.78 s
489.95/122.91	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
489.95/122.92	c vivif2 --  cl tried    67778 cl shrink        0 lits rem          0 time: 0.01
489.95/122.99	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.06
489.95/122.99	c calculated reachability. Time: 0.00
489.95/122.99	c  N dy  2244    806690       630      2746         0     67778      8356   1099695     18.49   no data
507.89/127.40	c  N dy  2328    826752       630      2746         0     49055      8356    582542     18.50     19.72
525.83/132.01	c  N dy  2447    846813       630      2746         0     68944      8356   1133236     18.53     19.66
545.36/136.83	c  N dy  2510    867984       630      2746         0     50237      8356    581136     18.52     19.60
564.11/141.53	c  N dy  2606    888160       630      2746         0     70225      8356   1138427     18.52     19.82
583.27/146.40	c  N dy  2714    908162       630      2746         0     49464      8356    538482     18.55     19.76
601.57/150.91	c  N dy  2798    928212       630      2746         0     69299      8356   1075782     18.55     19.62
621.92/156.00	c  N dy  2904    948305       630      2746         0     47633      8356    474582     18.57     21.75
639.85/160.53	c  N dy  2991    969719       630      2746         0     68841      8356   1058715     18.57     19.66
661.79/166.03	c  N dy  3065    989946       630      2746         0     46283      8356    416831     18.57     19.74
678.12/170.15	c  N dy  3153   1010000       630      2746         0     66139      8356    955922     18.57     19.64
702.09/176.17	c  N dy  3249   1030092       630      2746         0     86011      8356   1496742     18.58     19.65
719.63/180.54	c  N dy  3354   1050891       630      2746         0     63063      8356    863520     18.60     19.59
742.72/186.35	c  N dy  3463   1070950       630      2746         0     82924      8356   1417549     18.61     19.76
743.92/186.67	c  F st  3466   1071875       630      2746         0     83839      8356   1441008     18.61     16.52
749.93/188.21	c Decided on static restart strategy
767.04/192.46	c  N st  3476   1100181       630      2746         0     67138      8356   1084681     18.61   no data
802.56/201.40	c  N st  3478   1136174       630      2746         0     57212      8356   1100164     18.61   no data
836.41/209.83	c  N st  3479   1168566       630      2746         0     88887      8356   2049114     18.61   no data
875.87/219.70	c  N st  3480   1210035       630      2746         0     83388      8356   1905775     18.61   no data
875.87/219.70	c  S st  3480   1210035       630      2746         0     83388      8356   1905775     18.61   no data
876.67/219.95	c  S st  3480   1210536       630      2746         0     83889      8356   1919219     18.61   no data
876.67/219.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
876.67/220.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
876.67/220.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
876.67/220.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
876.67/220.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
876.67/220.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
876.67/220.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
877.11/220.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
877.11/220.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
910.16/228.36	c lits-rem:       834  cl-subs:     4429  v-elim:      0  v-fix:    0  time:  8.28 s
910.16/228.36	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
910.16/228.38	c vivif2 --  cl tried    79460 cl shrink        0 lits rem          0 time: 0.02
910.56/228.47	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.08
910.56/228.47	c calculated reachability. Time: 0.00
910.56/228.47	c  N st  3480   1210536       630      2746         0     79460      8356   1773290     18.61   no data
981.93/246.37	c  N st  3481   1283418       630      2746         0     55893      8356    914796     18.61   no data
1089.58/273.37	c  N st  3482   1392745       630      2746         0     63954      8356   1070545     18.61   no data
1267.45/318.01	c  N st  3483   1556732       630      2746         0     69020      8356   1148593     18.61   no data
1440.07/361.26	c  N st  3484   1710536       630      2746         0    110902      8356   2415313     18.61   no data
1440.07/361.26	c  S st  3484   1710536       630      2746         0    110902      8356   2415313     18.61   no data
1441.67/361.62	c  S st  3484   1711041       630      2746         0    111407      8356   2429361     18.61   no data
1441.67/361.63	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1441.67/361.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1441.67/361.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1441.67/361.69	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1441.67/361.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1441.67/361.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
1441.67/361.69	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1442.07/361.72	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1442.07/361.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1518.60/380.91	c lits-rem:      1270  cl-subs:     7481  v-elim:      0  v-fix:    0  time: 19.11 s
1518.60/380.91	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
1518.60/380.94	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.03
1519.00/381.05	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.12
1519.00/381.06	c calculated reachability. Time: 0.00
1519.00/381.06	c  N st  3484   1711041       630      2746         0    103926      8356   2205891     18.61   no data
1999.90/501.64	c  N st  3485   2080005       630      2746         0    115468      8356   2391813     18.61   no data
2178.10/546.32	c  N st  3486   2211042       630      2746         0    119120      8356   2296267     18.61   no data
2178.10/546.32	c  S st  3486   2211042       630      2746         0    119120      8356   2296267     18.61   no data
2179.30/546.71	c  S st  3486   2211544       630      2746         0    119622      8356   2310569     18.61   no data
2179.74/546.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2179.74/546.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2179.74/546.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2179.74/546.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2179.74/546.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2179.74/546.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2179.74/546.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2180.14/546.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2180.14/546.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2261.42/567.27	c lits-rem:      1177  cl-subs:     9162  v-elim:      0  v-fix:    0  time: 20.39 s
2261.42/567.27	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
2261.82/567.30	c vivif2 --  cl tried   110460 cl shrink        0 lits rem          0 time: 0.03
2262.22/567.43	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.13
2262.22/567.43	c calculated reachability. Time: 0.00
2262.22/567.43	c  N st  3486   2211544       630      2746         0    110460      8356   2056371     18.61   no data
2970.76/745.11	c  N st  3487   2711544       630      2746         0    134659      8356   2763817     18.61   no data
2970.76/745.11	c  S st  3487   2711544       630      2746         0    134659      8356   2763817     18.61   no data
2972.36/745.57	c  S st  3487   2712046       630      2746         0    135158      8356   2778060     18.61   no data
2972.36/745.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2972.76/745.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2972.76/745.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2972.76/745.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2972.76/745.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2972.76/745.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2972.76/745.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2972.76/745.69	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2973.16/745.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3052.08/765.57	c lits-rem:       786  cl-subs:     6962  v-elim:      0  v-fix:    0  time: 19.81 s
3052.08/765.57	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
3052.52/765.61	c vivif2 --  cl tried   128196 cl shrink        0 lits rem          0 time: 0.04
3052.93/765.75	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.14
3052.93/765.76	c calculated reachability. Time: 0.00
3052.93/765.76	c  N st  3487   2712046       630      2746         0    128196      8356   2582909     18.61   no data
3837.17/962.44	c  N st  3488   3212047       630      2746         0    103787      8356   1615431     18.61   no data
3837.17/962.44	c  S st  3488   3212047       630      2746         0    103787      8356   1615431     18.61   no data
3838.35/962.72	c  S st  3488   3212549       630      2746         0    104288      8356   1629041     18.61   no data
3838.35/962.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3838.35/962.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3838.35/962.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3838.35/962.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3838.35/962.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3838.35/962.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
3838.35/962.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3838.75/962.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3838.75/962.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3862.68/968.86	c lits-rem:       460  cl-subs:     3567  v-elim:      0  v-fix:    0  time:  6.00 s
3862.68/968.86	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
3862.68/968.88	c vivif2 --  cl tried   100721 cl shrink        0 lits rem          0 time: 0.02
3863.47/969.03	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.14
3863.47/969.03	c calculated reachability. Time: 0.00
3863.47/969.03	c  N st  3488   3212549       630      2746         0    100721      8356   1525624     18.61   no data
4695.18/1177.69	c  N st  3489   3712549       630      2746         0    111092      8356   1697182     18.61   no data
4695.18/1177.69	c  S st  3489   3712549       630      2746         0    111092      8356   1697182     18.61   no data
4696.78/1178.03	c  S st  3489   3713053       630      2746         0    111594      8356   1711230     18.61   no data
4696.78/1178.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4696.78/1178.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4696.78/1178.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4696.78/1178.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4696.78/1178.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4696.78/1178.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
4696.78/1178.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4697.21/1178.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4697.21/1178.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4725.09/1185.19	c lits-rem:       154  cl-subs:     4178  v-elim:      0  v-fix:    0  time:  7.01 s
4725.09/1185.19	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
4725.49/1185.22	c vivif2 --  cl tried   107416 cl shrink        0 lits rem          0 time: 0.03
4725.89/1185.37	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.15
4725.89/1185.38	c calculated reachability. Time: 0.00
4725.89/1185.38	c  N st  3489   3713053       630      2746         0    107416      8356   1587956     18.61   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-3366495-1305405594/watcher-3366495-1305405594 -o /tmp/evaluation-result-3366495-1305405594/solver-3366495-1305405594 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366495-1305405594.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: 6.37 7.73 7.97 1/393 28857
/proc/meminfo: memFree=24251940/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=51168 CPUtime=0.02 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 408 0 0 0 2 0 0 0 18 0 4 0 652158052 52396032 348 33554432000 4194304 4580107 140734238444112 18446744073709551615 48004491966380 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 12792 348 299 95 0 7774 0
[pid=28857/tid=28858] ppid=28855 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652158052 52396032 348 33554432000 4194304 4580107 140734238444112 18446744073709551615 48004491966386 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 4 0 652158052 52396032 348 33554432000 4194304 4580107 140734238444112 18446744073709551615 48004491966390 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 0 0 0 0 0 0 0 0 20 0 4 0 652158052 52396032 348 33554432000 4194304 4580107 140734238444112 18446744073709551615 242970606577 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.142879 s]
/proc/loadavg: 6.37 7.73 7.97 1/393 28857
/proc/meminfo: memFree=24251940/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=282704 CPUtime=0.63 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 2104 0 0 0 63 0 0 0 18 0 4 0 652158052 289488896 1972 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 70676 1973 377 95 0 65658 0
[pid=28857/tid=28858] ppid=28855 vsize=282704 CPUtime=0.15 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 497 0 0 0 15 0 0 0 18 0 4 0 652158052 289488896 1973 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=282704 CPUtime=0.15 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 441 0 0 0 15 0 0 0 20 0 4 0 652158052 289488896 1973 33554432000 4194304 4580107 140734238444112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=282704 CPUtime=0.14 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 330 0 0 0 14 0 0 0 21 0 4 0 652158052 289488896 1973 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293720 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 282704

[startup+0.267927 s]
/proc/loadavg: 6.37 7.73 7.97 1/393 28857
/proc/meminfo: memFree=24251940/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=284072 CPUtime=1.02 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 2764 0 0 0 102 0 0 0 18 0 4 0 652158052 290889728 1968 33554432000 4194304 4580107 140734238444112 18446744073709551615 4321089 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 71018 1968 377 95 0 66000 0
[pid=28857/tid=28858] ppid=28855 vsize=284072 CPUtime=0.25 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 671 0 0 0 25 0 0 0 18 0 4 0 652158052 290889728 1968 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=284072 CPUtime=0.25 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 605 0 0 0 25 0 0 0 20 0 4 0 652158052 290889728 1968 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=284072 CPUtime=0.24 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 491 0 0 0 24 0 0 0 21 0 4 0 652158052 290889728 1968 33554432000 4194304 4580107 140734238444112 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 284072

[startup+0.36791 s]
/proc/loadavg: 6.37 7.73 7.97 1/393 28857
/proc/meminfo: memFree=24251940/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=284204 CPUtime=1.42 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 3163 0 0 0 142 0 0 0 18 0 4 0 652158052 291024896 2367 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 71051 2367 377 95 0 66033 0
[pid=28857/tid=28858] ppid=28855 vsize=284204 CPUtime=0.35 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 773 0 0 0 35 0 0 0 18 0 4 0 652158052 291024896 2367 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=284204 CPUtime=0.35 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 711 0 0 0 35 0 0 0 20 0 4 0 652158052 291024896 2367 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=284204 CPUtime=0.34 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 594 0 0 0 34 0 0 0 21 0 4 0 652158052 291024896 2367 33554432000 4194304 4580107 140734238444112 18446744073709551615 4322880 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 284204

[startup+0.700854 s]
/proc/loadavg: 6.37 7.73 7.97 1/393 28857
/proc/meminfo: memFree=24251940/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=285308 CPUtime=2.76 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 4649 0 0 0 275 1 0 0 18 0 4 0 652158052 292155392 2840 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294336 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 71327 2840 377 95 0 66309 0
[pid=28857/tid=28858] ppid=28855 vsize=285308 CPUtime=0.69 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 1166 0 0 0 69 0 0 0 18 0 4 0 652158052 292155392 2840 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=285308 CPUtime=0.68 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 1090 0 0 0 68 0 0 0 21 0 4 0 652158052 292155392 2840 33554432000 4194304 4580107 140734238444112 18446744073709551615 4318398 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=285308 CPUtime=0.67 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 974 0 0 0 67 0 0 0 22 0 4 0 652158052 292155392 2840 33554432000 4194304 4580107 140734238444112 18446744073709551615 4295838 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 285308

[startup+1.50072 s]
/proc/loadavg: 6.58 7.75 7.97 10/405 28872
/proc/meminfo: memFree=24221092/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=286616 CPUtime=5.94 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 8104 0 0 0 593 1 0 0 20 0 4 0 652158052 293494784 3427 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 71654 3427 378 95 0 66636 0
[pid=28857/tid=28858] ppid=28855 vsize=286616 CPUtime=1.49 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 2052 0 0 0 149 0 0 0 20 0 4 0 652158052 293494784 3427 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=286616 CPUtime=1.48 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 1969 0 0 0 148 0 0 0 23 0 4 0 652158052 293494784 3427 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=286616 CPUtime=1.46 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 1819 0 0 0 146 0 0 0 25 0 4 0 652158052 293494784 3427 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.94
Current children cumulated vsize (KiB) 286616

[startup+3.10044 s]
/proc/loadavg: 6.58 7.75 7.97 10/405 28872
/proc/meminfo: memFree=24194184/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=292804 CPUtime=12.33 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 18910 0 0 0 1230 3 0 0 25 0 4 0 652158052 299831296 10529 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 73201 10529 379 95 0 68183 0
[pid=28857/tid=28858] ppid=28855 vsize=292804 CPUtime=3.08 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 4363 0 0 0 308 0 0 0 25 0 4 0 652158052 299831296 10529 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=292804 CPUtime=3.08 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 5049 0 0 0 308 0 0 0 25 0 4 0 652158052 299831296 10530 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294422 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=292804 CPUtime=3.05 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 4684 0 0 0 304 1 0 0 25 0 4 0 652158052 299831296 10530 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 292804

[startup+6.3009 s]
/proc/loadavg: 6.58 7.75 7.97 7/405 28872
/proc/meminfo: memFree=24144040/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=294416 CPUtime=25.09 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 29332 0 0 0 2504 5 0 0 25 0 4 0 652158052 301481984 14942 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 73604 14942 379 95 0 68586 0
[pid=28857/tid=28858] ppid=28855 vsize=294416 CPUtime=6.29 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 8170 0 0 0 628 1 0 0 25 0 4 0 652158052 301481984 14942 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=294416 CPUtime=6.29 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 7472 0 0 0 628 1 0 0 25 0 4 0 652158052 301481984 14943 33554432000 4194304 4580107 140734238444112 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=294416 CPUtime=6.2 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 6944 0 0 0 619 1 0 0 25 0 4 0 652158052 301481984 14943 33554432000 4194304 4580107 140734238444112 18446744073709551615 4295365 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 294416

[startup+12.7008 s]
/proc/loadavg: 6.95 7.79 7.98 10/405 28873
/proc/meminfo: memFree=24078488/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=304376 CPUtime=50.58 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 46909 0 0 0 5050 8 0 0 25 0 4 0 652158052 311681024 21809 33554432000 4194304 4580107 140734238444112 18446744073709551615 4406451 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 76094 21809 379 95 0 71076 0
[pid=28857/tid=28858] ppid=28855 vsize=304376 CPUtime=12.68 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 13072 0 0 0 1266 2 0 0 25 0 4 0 652158052 311681024 21809 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=304376 CPUtime=12.68 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 9614 0 0 0 1267 1 0 0 25 0 4 0 652158052 311681024 21809 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=304376 CPUtime=12.51 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 12051 0 0 0 1249 2 0 0 25 0 4 0 652158052 311681024 21809 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293732 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 304376

[startup+25.5006 s]
/proc/loadavg: 7.11 7.80 7.98 9/405 28873
/proc/meminfo: memFree=23991368/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=296216 CPUtime=101.61 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 69351 0 0 0 10147 14 0 0 25 0 4 0 652158052 303325184 30473 33554432000 4194304 4580107 140734238444112 18446744073709551615 4296107 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 74054 30473 379 95 0 69036 0
[pid=28857/tid=28858] ppid=28855 vsize=296216 CPUtime=25.47 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 20142 0 0 0 2544 3 0 0 25 0 4 0 652158052 303325184 30473 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=296216 CPUtime=25.47 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 14538 0 0 0 2544 3 0 0 25 0 4 0 652158052 303325184 30473 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=296216 CPUtime=25.14 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 17303 0 0 0 2511 3 0 0 25 0 4 0 652158052 303325184 30473 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293131 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.61
Current children cumulated vsize (KiB) 296216

[startup+51.1012 s]
/proc/loadavg: 7.41 7.81 7.98 9/405 28873
/proc/meminfo: memFree=23934640/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=381352 CPUtime=203.69 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 95844 0 0 0 20345 24 0 0 25 0 4 0 652158052 390504448 38059 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 95338 38059 379 95 0 90320 0
[pid=28857/tid=28858] ppid=28855 vsize=381352 CPUtime=51.07 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 27589 0 0 0 5102 5 0 0 25 0 4 0 652158052 390504448 38059 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=381352 CPUtime=51.07 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 18737 0 0 0 5103 4 0 0 25 0 4 0 652158052 390504448 38059 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=381352 CPUtime=50.42 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 25503 0 0 0 5035 7 0 0 25 0 4 0 652158052 390504448 38059 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.69
Current children cumulated vsize (KiB) 381352

[startup+102.3 s]
/proc/loadavg: 7.87 7.87 7.99 9/405 28875
/proc/meminfo: memFree=23856120/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=393420 CPUtime=407.85 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 132936 0 0 0 40748 37 0 0 25 0 4 0 652158052 402862080 47635 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 98355 47635 379 95 0 93337 0
[pid=28857/tid=28858] ppid=28855 vsize=393420 CPUtime=102.28 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 39362 0 0 0 10218 10 0 0 25 0 4 0 652158052 402862080 47636 33554432000 4194304 4580107 140734238444112 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=393420 CPUtime=102.28 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 22004 0 0 0 10222 6 0 0 25 0 4 0 652158052 402862080 47636 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=393420 CPUtime=100.97 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 41980 0 0 0 10085 12 0 0 25 0 4 0 652158052 402862080 47636 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.85
Current children cumulated vsize (KiB) 393420

[startup+162.301 s]

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

[pid=28857] ppid=28855 vsize=604952 CPUtime=2560.86 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 369385 0 0 0 255941 145 0 0 25 0 4 0 652158052 619470848 117032 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 151238 117032 379 95 0 146220 0
[pid=28857/tid=28858] ppid=28855 vsize=604952 CPUtime=642.27 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 87348 0 0 0 64194 33 0 0 25 0 4 0 652158052 619470848 117032 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=604952 CPUtime=642.24 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 90503 0 0 0 64186 38 0 0 25 0 4 0 652158052 619470848 117032 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=604952 CPUtime=634.04 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 99272 0 0 0 63367 37 0 0 25 0 4 0 652158052 619470848 117032 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2560.86
Current children cumulated vsize (KiB) 604952

[startup+702.301 s]
/proc/loadavg: 8.09 8.07 8.03 10/405 28891
/proc/meminfo: memFree=23352812/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=696116 CPUtime=2800.1 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 385472 0 0 0 279856 154 0 0 25 0 4 0 652158052 712822784 125329 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 174029 125329 379 95 0 169011 0
[pid=28857/tid=28858] ppid=28855 vsize=696116 CPUtime=702.27 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 90647 0 0 0 70193 34 0 0 25 0 4 0 652158052 712822784 125329 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=696116 CPUtime=702.24 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 94804 0 0 0 70183 41 0 0 25 0 4 0 652158052 712822784 125329 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=696116 CPUtime=693.28 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 102633 0 0 0 69289 39 0 0 25 0 4 0 652158052 712822784 125329 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.1
Current children cumulated vsize (KiB) 696116

[startup+762.301 s]
/proc/loadavg: 8.11 8.08 8.03 9/405 28893
/proc/meminfo: memFree=23308652/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=813416 CPUtime=3039.37 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 400125 0 0 0 303775 162 0 0 25 0 4 0 652158052 832937984 132754 33554432000 4194304 4580107 140734238444112 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 203354 132754 379 95 0 198336 0
[pid=28857/tid=28858] ppid=28855 vsize=813416 CPUtime=762.29 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 93024 0 0 0 76194 35 0 0 25 0 4 0 652158052 832937984 132755 33554432000 4194304 4580107 140734238444112 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=813416 CPUtime=762.26 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 98743 0 0 0 76183 43 0 0 25 0 4 0 652158052 832937984 132755 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=813416 CPUtime=752.51 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 108955 0 0 0 75208 43 0 0 25 0 4 0 652158052 832937984 132755 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.37
Current children cumulated vsize (KiB) 813416

[startup+822.301 s]
/proc/loadavg: 8.27 8.13 8.05 10/405 28894
/proc/meminfo: memFree=23292772/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=735964 CPUtime=3278.56 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 415315 0 0 0 327687 169 0 0 25 0 4 0 652158052 753627136 133237 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 183991 133237 379 95 0 178973 0
[pid=28857/tid=28858] ppid=28855 vsize=735964 CPUtime=822.27 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 96771 0 0 0 82190 37 0 0 25 0 4 0 652158052 753627136 133237 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=735964 CPUtime=822.25 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 99432 0 0 0 82181 44 0 0 25 0 4 0 652158052 753627136 133237 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=735964 CPUtime=811.73 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 112732 0 0 0 81128 45 0 0 25 0 4 0 652158052 753627136 133237 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.56
Current children cumulated vsize (KiB) 735964

[startup+882.315 s]
/proc/loadavg: 8.17 8.13 8.05 9/405 28896
/proc/meminfo: memFree=23300080/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=696940 CPUtime=3517.84 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 437095 0 0 0 351602 182 0 0 25 0 4 0 652158052 713666560 136015 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 174235 136015 379 95 0 169217 0
[pid=28857/tid=28858] ppid=28855 vsize=696940 CPUtime=882.29 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 101142 0 0 0 88190 39 0 0 25 0 4 0 652158052 713666560 136015 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=696940 CPUtime=882.25 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 106318 0 0 0 88177 48 0 0 25 0 4 0 652158052 713666560 136015 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=696940 CPUtime=870.96 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 119680 0 0 0 87048 48 0 0 25 0 4 0 652158052 713666560 136015 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3517.84
Current children cumulated vsize (KiB) 696940

[startup+942.301 s]
/proc/loadavg: 8.28 8.16 8.07 9/405 28897
/proc/meminfo: memFree=23214636/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=880040 CPUtime=3757.02 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 462282 0 0 0 375511 191 0 0 25 0 4 0 652158052 901160960 151082 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 220010 151082 379 95 0 214992 0
[pid=28857/tid=28858] ppid=28855 vsize=880040 CPUtime=942.27 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 104341 0 0 0 94187 40 0 0 25 0 4 0 652158052 901160960 151082 33554432000 4194304 4580107 140734238444112 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=880040 CPUtime=942.25 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 113255 0 0 0 94174 51 0 0 25 0 4 0 652158052 901160960 151082 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=880040 CPUtime=930.19 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 127725 0 0 0 92968 51 0 0 25 0 4 0 652158052 901160960 151082 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.02
Current children cumulated vsize (KiB) 880040

[startup+1002.3 s]
/proc/loadavg: 8.25 8.16 8.07 10/405 28899
/proc/meminfo: memFree=23262368/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=789172 CPUtime=3996.23 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 478799 0 0 0 399424 199 0 0 25 0 4 0 652158052 808112128 138151 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 197293 138151 379 95 0 192275 0
[pid=28857/tid=28858] ppid=28855 vsize=789172 CPUtime=1002.27 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 107787 0 0 0 100185 42 0 0 25 0 4 0 652158052 808112128 138151 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=789172 CPUtime=1002.24 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 115893 0 0 0 100172 52 0 0 25 0 4 0 652158052 808112128 138151 33554432000 4194304 4580107 140734238444112 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=789172 CPUtime=989.41 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 131575 0 0 0 98888 53 0 0 25 0 4 0 652158052 808112128 138151 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3996.23
Current children cumulated vsize (KiB) 789172

[startup+1062.3 s]
/proc/loadavg: 8.23 8.16 8.08 9/405 28901
/proc/meminfo: memFree=23191312/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=816148 CPUtime=4235.48 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 503919 0 0 0 423336 212 0 0 25 0 4 0 652158052 835735552 143235 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 204037 143235 379 95 0 199019 0
[pid=28857/tid=28858] ppid=28855 vsize=816148 CPUtime=1062.28 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 115318 0 0 0 106182 46 0 0 25 0 4 0 652158052 835735552 143235 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=816148 CPUtime=1062.24 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 123687 0 0 0 106168 56 0 0 25 0 4 0 652158052 835735552 143235 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=816148 CPUtime=1048.65 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 135975 0 0 0 104810 55 0 0 25 0 4 0 652158052 835735552 143235 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4235.48
Current children cumulated vsize (KiB) 816148

[startup+1122.3 s]
/proc/loadavg: 8.14 8.15 8.08 9/405 28902
/proc/meminfo: memFree=23160680/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=896684 CPUtime=4474.69 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 523849 0 0 0 447247 222 0 0 25 0 4 0 652158052 918204416 153401 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 224171 153401 379 95 0 219153 0
[pid=28857/tid=28858] ppid=28855 vsize=896684 CPUtime=1122.28 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 123166 0 0 0 112180 48 0 0 25 0 4 0 652158052 918204416 153401 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=896684 CPUtime=1122.24 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 129444 0 0 0 112163 61 0 0 25 0 4 0 652158052 918204416 153401 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=896684 CPUtime=1107.85 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 138841 0 0 0 110729 56 0 0 25 0 4 0 652158052 918204416 153401 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4474.69
Current children cumulated vsize (KiB) 896684

[startup+1182.3 s]
/proc/loadavg: 8.11 8.13 8.08 10/405 28904
/proc/meminfo: memFree=23154708/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=766140 CPUtime=4713.92 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 542537 0 0 0 471160 232 0 0 25 0 4 0 652158052 784527360 152806 33554432000 4194304 4580107 140734238444112 18446744073709551615 4406395 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 191535 152806 379 95 0 186517 0
[pid=28857/tid=28858] ppid=28855 vsize=766140 CPUtime=1182.28 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 125788 0 0 0 118179 49 0 0 25 0 4 0 652158052 784527360 152806 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=766140 CPUtime=1182.24 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 132352 0 0 0 118161 63 0 0 25 0 4 0 652158052 784527360 152806 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=766140 CPUtime=1167.09 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 145608 0 0 0 116650 59 0 0 25 0 4 0 652158052 784527360 152806 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4713.92
Current children cumulated vsize (KiB) 766140



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.08 8.12 8.07 9/405 28904
/proc/meminfo: memFree=23171820/32951132 swapFree=67093844/67111528
[pid=28857] ppid=28855 vsize=766140 CPUtime=4800.08 cores=1,3,5,7
/proc/28857/stat : 28857 (strangenight2-m) R 28855 28857 28827 0 -1 4202496 546570 0 0 0 479772 236 0 0 25 0 4 0 652158052 784527360 149005 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/28857/statm: 191535 149005 379 95 0 186517 0
[pid=28857/tid=28858] ppid=28855 vsize=766140 CPUtime=1203.89 cores=1,3,5,7
/proc/28857/task/28858/stat : 28858 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 126354 0 0 0 120340 49 0 0 25 0 4 0 652158052 784527360 149005 33554432000 4194304 4580107 140734238444112 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=28857/tid=28859] ppid=28855 vsize=766140 CPUtime=1203.85 cores=1,3,5,7
/proc/28857/task/28859/stat : 28859 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 133408 0 0 0 120322 63 0 0 25 0 4 0 652158052 784527360 149005 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=28857/tid=28860] ppid=28855 vsize=766140 CPUtime=1188.41 cores=1,3,5,7
/proc/28857/task/28860/stat : 28860 (strangenight2-m) R 28855 28857 28827 0 -1 4202560 146841 0 0 0 118780 61 0 0 25 0 4 0 652158052 784527360 149005 33554432000 4194304 4580107 140734238444112 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.08
Current children cumulated vsize (KiB) 766140

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): 1203.95
CPU time (s): 4800.15
CPU user time (s): 4797.76
CPU system time (s): 2.38664
CPU usage (%): 398.701
Max. virtual memory (cumulated for all children) (KiB): 949508

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.76
system time used= 2.38664
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 546571
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= 548
involuntary context switches= 31494

runsolver used 4.28435 second user time and 11.2183 second system time

The end

Launcher Data 

Begin job on node128 at 2011-05-14 22:39:54
IDJOB=3366495
IDBENCH=82904
IDSOLVER=1844
FILE ID=node128/3366495-1305405594
RUNJOBID= node128-1305405594-28846
PBS_JOBID= 13324496
Free space on /tmp= 73608 MiB

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

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

MD5SUM BENCH= 8567972e0c3ca849f27342fc5fce028c
RANDOM SEED=495283982

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      24252228 kB
Buffers:        265256 kB
Cached:        2885988 kB
SwapCached:       1440 kB
Active:        6317604 kB
Inactive:      2089240 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      24252228 kB
SwapTotal:    67111528 kB
SwapFree:     67093844 kB
Dirty:            5612 kB
Writeback:           0 kB
AnonPages:     5254368 kB
Mapped:          31036 kB
Slab:           187288 kB
PageTables:      37756 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 100668812 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73596 MiB
End job on node128 at 2011-05-14 23:00:00