Trace number 3174086

Some explanations

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

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

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

Solver answer on this benchmark

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

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.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174086-1304089214.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.30	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.30	c asymm  cl-useful: 0/2769/2769 lits-rem:0 time: 0.00
0.00/0.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.30	c lits-rem:         0  cl-subs:        0  v-elim:     18  v-fix:    0  time:  0.00 s
0.00/0.30	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.30	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.30	c calculated reachability. Time: 0.00
0.00/0.30	c Calc default polars -  time:   0.00 s pos:     310 undec:      64 neg:     276
0.00/0.30	c =========================================================================================
3.19/0.80	c types(t): F = full restart, N = normal restart
3.19/0.80	c types(t): S = simplification begin/end, E = solution found
3.19/0.80	c restart types(rt): st = static, dy = dynamic
3.19/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.19/0.80	c  B st     0         0       632      2751         0         0      8371         0   no data   no data
3.19/0.80	c Decided on static restart strategy
3.19/0.80	c  N st     8      4915       632      2751         0      4841      8371    133028   no data   no data
3.19/0.80	c  N st    10     11298       632      2751         0      4496      8371     87295   no data   no data
3.19/0.80	c  N st    11     17042       632      2751         0     10143      8371    256704   no data   no data
5.19/1.30	c  F st    12     25002       632      2751         0     12470      8371    321848   no data   no data
5.19/1.30	c  N st    12     25002       632      2751         0     12470      8371    321848   no data   no data
5.97/1.50	c Decided on static restart strategy
5.97/1.50	c  N st    18     30004       632      2751         0     10716      8371    236170   no data   no data
5.97/1.50	c  S st    18     30004       632      2751         0     10716      8371    236170   no data   no data
5.97/1.50	c  S st    18     30508       632      2751         0     11219      8371    248583   no data   no data
5.97/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.97/1.50	c blocked clauses removed:        5 vars:      2 tried:         632 T: 0.00 s
5.97/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
5.97/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.56	c lits-rem:       102  cl-subs:      450  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.57	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
5.97/1.57	c calculated reachability. Time: 0.00
5.97/1.57	c  N st    18     30508       630      2746         0     10751      8356    233344   no data   no data
7.58/1.99	c  N st    20     37619       630      2746         0     10028      8356    191192   no data   no data
9.57/2.43	c  N st    21     44018       630      2746         0     16296      8356    372596   no data   no data
9.96/2.55	c  S st    22     45763       630      2746         0      9233      8356    149582   no data   no data
9.96/2.58	c  S st    22     46267       630      2746         0      9737      8356    162627   no data   no data
9.96/2.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
9.96/2.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.36/2.60	c lits-rem:        32  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.01 s
10.36/2.60	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c vivif2 --  cl tried     9681 cl shrink        0 lits rem          0 time: 0.00
10.36/2.61	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
10.36/2.61	c calculated reachability. Time: 0.00
10.36/2.61	c  N st    22     46267       630      2746         0      9681      8356    160937   no data   no data
14.36/3.61	c  N st    23     60664       630      2746         0     14057      8356    269703   no data   no data
16.75/4.25	c  N st    24     69400       630      2746         0     11860      8356    195346   no data   no data
16.75/4.25	c  S st    24     69400       630      2746         0     11860      8356    195346   no data   no data
16.75/4.29	c  S st    24     69903       630      2746         0     12363      8356    208841   no data   no data
16.75/4.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.75/4.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
16.75/4.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
17.15/4.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.15/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.15/4.32	c lits-rem:        24  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.02 s
17.15/4.32	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
17.15/4.32	c vivif2 --  cl tried    12260 cl shrink        0 lits rem          0 time: 0.00
17.15/4.33	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
17.15/4.33	c calculated reachability. Time: 0.00
17.15/4.33	c  N st    24     69903       630      2746         0     12260      8356    205791   no data   no data
22.34/5.63	c  F st    25     87500       630      2746         0     17701      8356    344478   no data   no data
22.34/5.63	c  N st    25     87500       630      2746         0     17701      8356    344478   no data   no data
23.95/6.04	c Decided on static restart strategy
24.77/6.29	c  N st    32     95542       630      2746         0     25638      8356    571611   no data   no data
27.54/6.99	c  N st    34    104854       630      2746         0     22008      8356    457283   no data   no data
27.54/6.99	c  S st    34    104854       630      2746         0     22008      8356    457283   no data   no data
27.94/7.05	c  S st    34    105357       630      2746         0     22511      8356    470569   no data   no data
27.94/7.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.94/7.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.94/7.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.94/7.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.94/7.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.94/7.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
27.94/7.06	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.94/7.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.94/7.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.74/7.29	c lits-rem:       112  cl-subs:      847  v-elim:      0  v-fix:    0  time:  0.21 s
28.74/7.29	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
28.74/7.29	c vivif2 --  cl tried    21664 cl shrink        0 lits rem          0 time: 0.01
29.15/7.31	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.01
29.15/7.31	c calculated reachability. Time: 0.00
29.15/7.31	c  N st    34    105357       630      2746         0     21664      8356    442176   no data   no data
32.34/8.14	c  N st    35    114956       630      2746         0     17342      8356    292865   no data   no data
37.94/9.52	c  N st    36    129353       630      2746         0     16722      8356    260545   no data   no data
45.92/11.58	c  N st    37    150951       630      2746         0     22255      8356    403022   no data   no data
49.11/12.33	c  S st    38    158035       630      2746         0     29173      8356    599044   no data   no data
49.51/12.40	c  S st    38    158536       630      2746         0     29674      8356    612532   no data   no data
49.51/12.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.51/12.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
49.51/12.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.51/12.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.51/12.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.51/12.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
49.51/12.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
49.51/12.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
49.51/12.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
51.13/12.87	c lits-rem:       207  cl-subs:     1284  v-elim:      0  v-fix:    0  time:  0.43 s
51.13/12.87	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
51.13/12.88	c vivif2 --  cl tried    28390 cl shrink        0 lits rem          0 time: 0.01
51.13/12.90	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.02
51.13/12.90	c calculated reachability. Time: 0.00
51.13/12.90	c  N st    38    158536       630      2746         0     28390      8356    572786   no data   no data
72.68/18.30	c  N st    39    207126       630      2746         0     23036      8356    371655   no data   no data
87.06/21.80	c  N st    40    237805       630      2746         0     33615      8356    657068   no data   no data
87.06/21.80	c  S st    40    237805       630      2746         0     33615      8356    657068   no data   no data
87.06/21.88	c  S st    40    238311       630      2746         0     34121      8356    671061   no data   no data
87.06/21.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
87.06/21.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
87.46/21.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
87.46/21.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
87.46/21.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
87.46/21.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
87.46/21.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
87.46/21.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
87.46/21.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.46/22.43	c lits-rem:       378  cl-subs:     1138  v-elim:      0  v-fix:    0  time:  0.50 s
89.46/22.43	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
89.46/22.43	c vivif2 --  cl tried    32983 cl shrink        0 lits rem          0 time: 0.01
89.46/22.46	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.02
89.46/22.46	c calculated reachability. Time: 0.00
89.46/22.46	c  N st    40    238311       630      2746         0     32983      8356    638465   no data   no data
124.61/31.24	c  F st    41    306250       630      2746         0     34888      8356    637695   no data   no data
124.61/31.24	c  N st    41    306250       630      2746         0     34888      8356    637695   no data   no data
134.62/33.79	c  N dy    98    326029       630      2746         0     30786      8356    437686     18.12     19.27
147.39/36.98	c  N dy   180    348656       630      2746         0     28465      8356    336144     18.19     19.30
151.79/38.06	c  S st   210    357466       630      2746         0     37197      8356    564651     18.21     18.25
152.20/38.14	c  S st   210    357970       630      2746         0     37701      8356    577331     18.21   no data
152.20/38.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
152.20/38.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
152.20/38.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
152.20/38.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
152.20/38.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.20/38.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
152.20/38.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
152.20/38.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
152.20/38.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.98/38.34	c lits-rem:       146  cl-subs:      563  v-elim:      0  v-fix:    0  time:  0.16 s
152.98/38.34	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
152.98/38.35	c vivif2 --  cl tried    37138 cl shrink        0 lits rem          0 time: 0.01
152.98/38.38	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.03
152.98/38.38	c calculated reachability. Time: 0.00
152.98/38.38	c  N dy   210    357970       630      2746         0     37138      8356    561407     18.21   no data
164.97/41.39	c  N dy   295    378229       630      2746         0     31482      8356    391774     18.10     19.08
177.75/44.56	c  N dy   415    398564       630      2746         0     51656      8356    945152     18.32     19.39
190.93/47.83	c  N dy   477    421291       630      2746         0     47357      8356    806331     18.10     19.08
202.91/50.82	c  N dy   540    441459       630      2746         0     39633      8356    564065     18.05     19.02
217.29/54.47	c  N dy   668    461509       630      2746         0     30802      8356    302080     18.21     19.60
229.68/57.54	c  N dy   755    481562       630      2746         0     50652      8356    839762     18.23     19.36
242.86/60.85	c  N dy   865    501580       630      2746         0     40783      8356    556148     18.31     19.35
258.44/64.74	c  N dy   980    521619       630      2746         0     60646      8356   1102109     18.38     21.88
267.23/66.98	c  S st  1053    536957       630      2746         0     45121      8356    645899     18.40     15.70
267.63/67.09	c  S st  1053    537460       630      2746         0     45623      8356    658957     18.40   no data
267.63/67.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
268.03/67.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
268.03/67.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
268.03/67.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
268.03/67.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.03/67.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
268.03/67.11	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
268.03/67.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
268.03/67.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
268.83/67.39	c lits-rem:       193  cl-subs:      438  v-elim:      0  v-fix:    0  time:  0.25 s
268.83/67.39	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
268.83/67.39	c vivif2 --  cl tried    45185 cl shrink        0 lits rem          0 time: 0.01
269.23/67.43	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.03
269.23/67.43	c calculated reachability. Time: 0.00
269.23/67.43	c  N dy  1053    537460       630      2746         0     45185      8356    645782     18.40   no data
288.42/72.25	c  N dy  1131    564217       630      2746         0     39922      8356    476340     18.35     19.38
303.19/75.91	c  N dy  1201    584221       630      2746         0     59681      8356   1010687     18.32     19.39
317.17/79.47	c  N dy  1318    604274       630      2746         0     46906      8356    648316     18.39     19.41
335.15/83.98	c  N dy  1435    624510       630      2746         0     66969      8356   1200291     18.45     19.59
347.93/87.19	c  N dy  1490    644811       630      2746         0     53339      8356    807157     18.37     19.39
365.91/91.60	c  N dy  1604    664867       630      2746         0     38591      8356    379470     18.41     19.40
381.11/95.41	c  N dy  1679    685411       630      2746         0     58917      8356    931999     18.41     19.48
397.87/99.62	c  N dy  1774    705473       630      2746         0     43161      8356    483698     18.42     19.67
415.86/104.16	c  N dy  1869    725478       630      2746         0     62972      8356   1030336     18.44     20.72
433.44/108.57	c  N dy  1993    745542       630      2746         0     46243      8356    546743     18.48     20.71
450.60/112.87	c  N dy  2091    765904       630      2746         0     66403      8356   1102191     18.51     19.53
470.97/117.93	c  N dy  2184    791118       630      2746         0     53704      8356    718968     18.50     19.52
484.56/121.39	c  S st  2244    806190       630      2746         0     68603      8356   1122798     18.49   no data
485.36/121.57	c  S st  2244    806690       630      2746         0     69102      8356   1135831     18.49   no data
485.36/121.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
485.76/121.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
485.76/121.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
485.76/121.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
485.76/121.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
485.76/121.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
485.76/121.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
485.76/121.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
485.76/121.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
488.96/122.45	c lits-rem:       303  cl-subs:     1324  v-elim:      0  v-fix:    0  time:  0.78 s
488.96/122.45	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
488.96/122.47	c vivif2 --  cl tried    67778 cl shrink        0 lits rem          0 time: 0.02
489.36/122.53	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.06
489.36/122.53	c calculated reachability. Time: 0.00
489.36/122.53	c  N dy  2244    806690       630      2746         0     67778      8356   1099695     18.49   no data
506.93/126.92	c  N dy  2328    826752       630      2746         0     49055      8356    582542     18.50     19.72
525.30/131.56	c  N dy  2447    846813       630      2746         0     68944      8356   1133236     18.53     19.66
544.48/136.35	c  N dy  2510    867984       630      2746         0     50237      8356    581136     18.52     19.60
563.26/141.01	c  N dy  2606    888160       630      2746         0     70225      8356   1138427     18.52     19.82
582.44/145.81	c  N dy  2714    908162       630      2746         0     49464      8356    538482     18.55     19.76
600.43/150.32	c  N dy  2798    928212       630      2746         0     69299      8356   1075782     18.55     19.62
620.39/155.33	c  N dy  2904    948305       630      2746         0     47633      8356    474582     18.57     21.75
638.36/159.84	c  N dy  2991    969719       630      2746         0     68841      8356   1058715     18.57     19.66
659.94/165.29	c  N dy  3065    989946       630      2746         0     46283      8356    416831     18.57     19.74
676.71/169.41	c  N dy  3153   1010000       630      2746         0     66139      8356    955922     18.57     19.64
700.68/175.41	c  N dy  3249   1030092       630      2746         0     86011      8356   1496742     18.58     19.65
717.86/179.74	c  N dy  3354   1050891       630      2746         0     63063      8356    863520     18.60     19.59
741.05/185.51	c  N dy  3463   1070950       630      2746         0     82924      8356   1417549     18.61     19.76
742.23/185.83	c  F st  3466   1071875       630      2746         0     83839      8356   1441008     18.61     16.52
748.22/187.35	c Decided on static restart strategy
765.40/191.61	c  N st  3476   1100181       630      2746         0     67138      8356   1084681     18.61   no data
800.95/200.50	c  N st  3478   1136174       630      2746         0     57212      8356   1100164     18.61   no data
836.51/209.47	c  N st  3479   1168566       630      2746         0     88887      8356   2049114     18.61   no data
874.07/218.84	c  N st  3480   1210035       630      2746         0     83388      8356   1905775     18.61   no data
874.07/218.84	c  S st  3480   1210035       630      2746         0     83388      8356   1905775     18.61   no data
874.86/219.08	c  S st  3480   1210536       630      2746         0     83889      8356   1919219     18.61   no data
874.86/219.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
875.26/219.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
875.26/219.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
875.26/219.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
875.26/219.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
875.26/219.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
875.26/219.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
875.26/219.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
875.66/219.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
908.81/227.51	c lits-rem:       834  cl-subs:     4429  v-elim:      0  v-fix:    0  time:  8.29 s
908.81/227.51	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
908.81/227.53	c vivif2 --  cl tried    79460 cl shrink        0 lits rem          0 time: 0.03
909.21/227.61	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.08
909.21/227.62	c calculated reachability. Time: 0.00
909.21/227.62	c  N st  3480   1210536       630      2746         0     79460      8356   1773290     18.61   no data
980.72/245.53	c  N st  3481   1283418       630      2746         0     55893      8356    914796     18.61   no data
1088.22/272.41	c  N st  3482   1392745       630      2746         0     63954      8356   1070545     18.61   no data
1265.57/316.89	c  N st  3483   1556732       630      2746         0     69020      8356   1148593     18.61   no data
1438.54/360.17	c  N st  3484   1710536       630      2746         0    110902      8356   2415313     18.61   no data
1438.54/360.17	c  S st  3484   1710536       630      2746         0    110902      8356   2415313     18.61   no data
1440.16/360.52	c  S st  3484   1711041       630      2746         0    111407      8356   2429361     18.61   no data
1440.16/360.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1440.16/360.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
1440.16/360.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1440.16/360.59	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1440.16/360.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1440.16/360.59	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
1440.16/360.59	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1440.54/360.62	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1440.94/360.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1518.03/380.09	c lits-rem:      1270  cl-subs:     7481  v-elim:      0  v-fix:    0  time: 19.40 s
1518.03/380.09	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
1518.43/380.13	c vivif2 --  cl tried   103926 cl shrink        0 lits rem          0 time: 0.03
1518.84/380.25	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.12
1518.84/380.25	c calculated reachability. Time: 0.00
1518.84/380.25	c  N st  3484   1711041       630      2746         0    103926      8356   2205891     18.61   no data
2001.01/500.92	c  N st  3485   2080005       630      2746         0    115468      8356   2391813     18.61   no data
2179.58/545.63	c  N st  3486   2211042       630      2746         0    119120      8356   2296267     18.61   no data
2179.58/545.63	c  S st  3486   2211042       630      2746         0    119120      8356   2296267     18.61   no data
2181.18/546.02	c  S st  3486   2211544       630      2746         0    119622      8356   2310569     18.61   no data
2181.18/546.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2181.18/546.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2181.18/546.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2181.18/546.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2181.18/546.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2181.18/546.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2181.18/546.09	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2181.58/546.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2181.98/546.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2264.66/566.95	c lits-rem:      1177  cl-subs:     9162  v-elim:      0  v-fix:    0  time: 20.76 s
2264.66/566.95	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
2264.66/566.98	c vivif2 --  cl tried   110460 cl shrink        0 lits rem          0 time: 0.03
2265.46/567.11	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.13
2265.46/567.12	c calculated reachability. Time: 0.00
2265.46/567.12	c  N st  3486   2211544       630      2746         0    110460      8356   2056371     18.61   no data
2976.54/745.10	c  N st  3487   2711544       630      2746         0    134659      8356   2763817     18.61   no data
2976.54/745.10	c  S st  3487   2711544       630      2746         0    134659      8356   2763817     18.61   no data
2978.16/745.57	c  S st  3487   2712046       630      2746         0    135158      8356   2778060     18.61   no data
2978.16/745.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2978.54/745.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2978.54/745.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2978.54/745.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2978.54/745.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2978.54/745.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
2978.54/745.65	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2978.54/745.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2978.94/745.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3058.83/765.78	c lits-rem:       786  cl-subs:     6962  v-elim:      0  v-fix:    0  time: 20.01 s
3058.83/765.78	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
3059.23/765.82	c vivif2 --  cl tried   128196 cl shrink        0 lits rem          0 time: 0.04
3059.63/765.97	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.15
3059.63/765.97	c calculated reachability. Time: 0.00
3059.63/765.97	c  N st  3487   2712046       630      2746         0    128196      8356   2582909     18.61   no data
3851.78/964.26	c  N st  3488   3212047       630      2746         0    103787      8356   1615431     18.61   no data
3851.78/964.26	c  S st  3488   3212047       630      2746         0    103787      8356   1615431     18.61   no data
3852.97/964.55	c  S st  3488   3212549       630      2746         0    104288      8356   1629041     18.61   no data
3852.97/964.56	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3853.37/964.61	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3853.37/964.61	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3853.37/964.61	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3853.37/964.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3853.37/964.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
3853.37/964.61	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3853.37/964.64	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3853.37/964.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3876.54/970.42	c lits-rem:       460  cl-subs:     3567  v-elim:      0  v-fix:    0  time:  5.73 s
3876.54/970.42	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
3876.54/970.45	c vivif2 --  cl tried   100721 cl shrink        0 lits rem          0 time: 0.03
3876.94/970.59	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.14
3876.94/970.59	c calculated reachability. Time: 0.00
3876.94/970.59	c  N st  3488   3212549       630      2746         0    100721      8356   1525624     18.61   no data
4749.50/1188.97	c  N st  3489   3712549       630      2746         0    111092      8356   1697182     18.61   no data
4749.50/1188.97	c  S st  3489   3712549       630      2746         0    111092      8356   1697182     18.61   no data
4751.10/1189.33	c  S st  3489   3713053       630      2746         0    111594      8356   1711230     18.61   no data
4751.10/1189.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4751.50/1189.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4751.50/1189.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4751.50/1189.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4751.50/1189.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4751.50/1189.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    630 time:  0.00 s
4751.50/1189.40	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4751.50/1189.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4751.50/1189.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4778.27/1196.11	c lits-rem:       154  cl-subs:     4178  v-elim:      0  v-fix:    0  time:  6.63 s
4778.27/1196.11	c vivif2 --  cl tried     2746 cl shrink        0 lits rem          0 time: 0.00
4778.27/1196.14	c vivif2 --  cl tried   107416 cl shrink        0 lits rem          0 time: 0.03
4778.67/1196.27	c asymm  cl-useful: 0/2746/2746 lits-rem:0 time: 0.13
4778.67/1196.27	c calculated reachability. Time: 0.00
4778.67/1196.27	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: 935)

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

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

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 7.96 8.01 7.79 6/180 24395
/proc/meminfo: memFree=12484780/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 599152088 52441088 347 33554432000 4194304 4627427 140737285988608 18446744073709551615 47784751703986 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 12803 347 299 106 0 7774 0
[pid=24395/tid=24396] ppid=24393 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 599152088 52441088 347 33554432000 4194304 4627427 140737285988608 18446744073709551615 47784751703986 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 599152088 52441088 347 33554432000 4194304 4627427 140737285988608 18446744073709551615 216746976310 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 599152088 52441088 347 33554432000 4194304 4627427 140737285988608 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 2 0 0 0

[startup+0.163816 s]
/proc/loadavg: 7.96 8.01 7.79 6/180 24395
/proc/meminfo: memFree=12484780/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=285052 CPUtime=3.19 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 5324 0 0 0 318 1 0 0 19 0 4 0 599152088 291893248 2840 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 71263 2840 385 106 0 66234 0
[pid=24395/tid=24396] ppid=24393 vsize=285052 CPUtime=0.8 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1374 0 0 0 80 0 0 0 19 0 4 0 599152088 291893248 2840 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=285052 CPUtime=0.79 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1166 0 0 0 79 0 0 0 18 0 4 0 599152088 291893248 2840 33554432000 4194304 4627427 140737285988608 18446744073709551615 4321678 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=285052 CPUtime=0.79 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1203 0 0 0 79 0 0 0 18 0 4 0 599152088 291893248 2840 33554432000 4194304 4627427 140737285988608 18446744073709551615 4332756 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 285052

[startup+0.906059 s]
/proc/loadavg: 7.96 8.01 7.79 6/180 24395
/proc/meminfo: memFree=12484780/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=285404 CPUtime=3.59 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 5905 0 0 0 358 1 0 0 19 0 4 0 599152088 292253696 2769 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 71351 2769 385 106 0 66322 0
[pid=24395/tid=24396] ppid=24393 vsize=285404 CPUtime=0.9 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1437 0 0 0 90 0 0 0 19 0 4 0 599152088 292253696 2769 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=285404 CPUtime=0.89 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1395 0 0 0 89 0 0 0 19 0 4 0 599152088 292253696 2769 33554432000 4194304 4627427 140737285988608 18446744073709551615 4310399 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=285404 CPUtime=0.89 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1269 0 0 0 89 0 0 0 19 0 4 0 599152088 292253696 2769 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.59
Current children cumulated vsize (KiB) 285404

[startup+1.00604 s]
/proc/loadavg: 7.96 8.01 7.79 6/180 24395
/proc/meminfo: memFree=12484780/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=285568 CPUtime=3.99 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 6199 0 0 0 398 1 0 0 19 0 4 0 599152088 292421632 3063 33554432000 4194304 4627427 140737285988608 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 71392 3063 385 106 0 66363 0
[pid=24395/tid=24396] ppid=24393 vsize=285568 CPUtime=1 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1505 0 0 0 100 0 0 0 19 0 4 0 599152088 292421632 3063 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=285568 CPUtime=0.99 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1484 0 0 0 99 0 0 0 19 0 4 0 599152088 292421632 3063 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309085 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=285568 CPUtime=0.99 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1342 0 0 0 99 0 0 0 19 0 4 0 599152088 292421632 3063 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3.99
Current children cumulated vsize (KiB) 285568

[startup+1.10602 s]
/proc/loadavg: 7.96 8.01 7.79 6/180 24395
/proc/meminfo: memFree=12484780/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=285568 CPUtime=4.39 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 6443 0 0 0 438 1 0 0 19 0 4 0 599152088 292421632 3307 33554432000 4194304 4627427 140737285988608 18446744073709551615 4327749 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 71392 3307 385 106 0 66363 0
[pid=24395/tid=24396] ppid=24393 vsize=285568 CPUtime=1.1 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1565 0 0 0 110 0 0 0 19 0 4 0 599152088 292421632 3307 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=285568 CPUtime=1.09 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1539 0 0 0 109 0 0 0 19 0 4 0 599152088 292421632 3307 33554432000 4194304 4627427 140737285988608 18446744073709551615 4308335 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=285568 CPUtime=1.09 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1397 0 0 0 109 0 0 0 19 0 4 0 599152088 292421632 3307 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4.39
Current children cumulated vsize (KiB) 285568

[startup+1.50096 s]
/proc/loadavg: 7.96 8.01 7.79 6/180 24395
/proc/meminfo: memFree=12484780/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=286048 CPUtime=5.97 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 8201 0 0 0 596 1 0 0 20 0 4 0 599152088 292913152 3493 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 71512 3493 389 106 0 66483 0
[pid=24395/tid=24396] ppid=24393 vsize=286048 CPUtime=1.49 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 2018 0 0 0 149 0 0 0 20 0 4 0 599152088 292913152 3493 33554432000 4194304 4627427 140737285988608 18446744073709551615 4324721 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=286048 CPUtime=1.48 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1971 0 0 0 148 0 0 0 20 0 4 0 599152088 292913152 3493 33554432000 4194304 4627427 140737285988608 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=286048 CPUtime=1.49 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 1834 0 0 0 149 0 0 0 19 0 4 0 599152088 292913152 3493 33554432000 4194304 4627427 140737285988608 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286048

[startup+3.10068 s]
/proc/loadavg: 7.97 8.01 7.79 9/184 24399
/proc/meminfo: memFree=12450404/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=286780 CPUtime=12.36 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 19300 0 0 0 1233 3 0 0 25 0 4 0 599152088 293662720 10550 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309209 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 71695 10550 389 106 0 66666 0
[pid=24395/tid=24396] ppid=24393 vsize=286780 CPUtime=3.08 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 4366 0 0 0 308 0 0 0 25 0 4 0 599152088 293662720 10550 33554432000 4194304 4627427 140737285988608 18446744073709551615 4322609 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=286780 CPUtime=3.08 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 5161 0 0 0 308 0 0 0 25 0 4 0 599152088 293662720 10550 33554432000 4194304 4627427 140737285988608 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=286780 CPUtime=3.08 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 4680 0 0 0 308 0 0 0 25 0 4 0 599152088 293662720 10550 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 286780

[startup+6.30612 s]
/proc/loadavg: 7.97 8.01 7.79 9/184 24399
/proc/meminfo: memFree=12429696/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=287664 CPUtime=25.17 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 29729 0 0 0 2512 5 0 0 25 0 4 0 599152088 294567936 14502 33554432000 4194304 4627427 140737285988608 18446744073709551615 4324341 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 71916 14502 389 106 0 66887 0
[pid=24395/tid=24396] ppid=24393 vsize=287664 CPUtime=6.26 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 7767 0 0 0 626 0 0 0 25 0 4 0 599152088 294567936 14502 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=287664 CPUtime=6.29 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 7617 0 0 0 628 1 0 0 25 0 4 0 599152088 294567936 14502 33554432000 4194304 4627427 140737285988608 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=287664 CPUtime=6.29 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 7004 0 0 0 628 1 0 0 25 0 4 0 599152088 294567936 14502 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309242 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 287664

[startup+12.701 s]
/proc/loadavg: 7.97 8.01 7.79 10/184 24400
/proc/meminfo: memFree=12392824/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=288144 CPUtime=50.72 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 47890 0 0 0 5063 9 0 0 25 0 4 0 599152088 295059456 21919 33554432000 4194304 4627427 140737285988608 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 72036 21919 389 106 0 67007 0
[pid=24395/tid=24396] ppid=24393 vsize=288144 CPUtime=12.63 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 12636 0 0 0 1262 1 0 0 25 0 4 0 599152088 295059456 21919 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=288144 CPUtime=12.68 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 10550 0 0 0 1266 2 0 0 25 0 4 0 599152088 295059456 21919 33554432000 4194304 4627427 140737285988608 18446744073709551615 4308277 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=288144 CPUtime=12.69 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 12383 0 0 0 1267 2 0 0 25 0 4 0 599152088 295059456 21919 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 288144

[startup+25.5008 s]
/proc/loadavg: 8.04 8.02 7.80 9/184 24400
/proc/meminfo: memFree=12339976/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=298776 CPUtime=101.85 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 71097 0 0 0 10170 15 0 0 25 0 4 0 599152088 305946624 30158 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 74694 30158 389 106 0 69665 0
[pid=24395/tid=24396] ppid=24393 vsize=298776 CPUtime=25.36 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 20326 0 0 0 2533 3 0 0 25 0 4 0 599152088 305946624 30158 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=298776 CPUtime=25.48 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 15845 0 0 0 2544 4 0 0 25 0 4 0 599152088 305946624 30158 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=298776 CPUtime=25.48 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 17545 0 0 0 2545 3 0 0 25 0 4 0 599152088 305946624 30158 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 298776

[startup+51.1003 s]
/proc/loadavg: 8.03 8.02 7.81 9/184 24410
/proc/meminfo: memFree=12318256/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=299212 CPUtime=204.11 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 99778 0 0 0 20387 24 0 0 25 0 4 0 599152088 306393088 34442 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 74803 34442 389 106 0 69774 0
[pid=24395/tid=24396] ppid=24393 vsize=299212 CPUtime=50.84 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 27736 0 0 0 5078 6 0 0 25 0 4 0 599152088 306393088 34442 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=299212 CPUtime=51.08 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 23562 0 0 0 5102 6 0 0 25 0 4 0 599152088 306393088 34442 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=299212 CPUtime=51.08 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 26470 0 0 0 5102 6 0 0 25 0 4 0 599152088 306393088 34442 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 299212

[startup+102.3 s]
/proc/loadavg: 8.06 8.03 7.82 9/184 24411
/proc/meminfo: memFree=12256816/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=301040 CPUtime=408.65 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 152034 0 0 0 40826 39 0 0 25 0 4 0 599152088 308264960 43520 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 75260 43520 389 106 0 70231 0
[pid=24395/tid=24396] ppid=24393 vsize=301040 CPUtime=101.77 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 44040 0 0 0 10167 10 0 0 25 0 4 0 599152088 308264960 43520 33554432000 4194304 4627427 140737285988608 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=301040 CPUtime=102.28 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 33342 0 0 0 10218 10 0 0 25 0 4 0 599152088 308264960 43520 33554432000 4194304 4627427 140737285988608 18446744073709551615 4348177 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=301040 CPUtime=102.28 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 40425 0 0 0 10218 10 0 0 25 0 4 0 599152088 308264960 43520 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 408.65
Current children cumulated vsize (KiB) 301040

[startup+162.301 s]

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

[pid=24395] ppid=24393 vsize=646512 CPUtime=2565.88 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 396403 0 0 0 256454 134 0 0 25 0 4 0 599152088 662028288 112368 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 161628 112368 389 106 0 156599 0
[pid=24395/tid=24396] ppid=24393 vsize=646512 CPUtime=638.98 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 110400 0 0 0 63860 38 0 0 25 0 4 0 599152088 662028288 112368 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=646512 CPUtime=642.29 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 81550 0 0 0 64201 28 0 0 25 0 4 0 599152088 662028288 112368 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=646512 CPUtime=642.28 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 112332 0 0 0 64190 38 0 0 25 0 4 0 599152088 662028288 112368 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2565.88
Current children cumulated vsize (KiB) 646512

[startup+702.301 s]
/proc/loadavg: 8.15 8.12 7.95 9/184 24427
/proc/meminfo: memFree=11744064/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=609496 CPUtime=2805.57 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 414817 0 0 0 280416 141 0 0 25 0 4 0 599152088 624123904 114670 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 152374 114670 389 106 0 147345 0
[pid=24395/tid=24396] ppid=24393 vsize=609496 CPUtime=698.67 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 116318 0 0 0 69827 40 0 0 25 0 4 0 599152088 624123904 114670 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=609496 CPUtime=702.29 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 87325 0 0 0 70199 30 0 0 25 0 4 0 599152088 624123904 114670 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=609496 CPUtime=702.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 118868 0 0 0 70186 41 0 0 25 0 4 0 599152088 624123904 114670 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 2805.57
Current children cumulated vsize (KiB) 609496

[startup+762.301 s]
/proc/loadavg: 8.17 8.13 7.96 9/184 24429
/proc/meminfo: memFree=11701024/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=687536 CPUtime=3045.24 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 436739 0 0 0 304375 149 0 0 25 0 4 0 599152088 704036864 122596 33554432000 4194304 4627427 140737285988608 18446744073709551615 4420265 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 171884 122596 389 106 0 166855 0
[pid=24395/tid=24396] ppid=24393 vsize=687536 CPUtime=758.35 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 123176 0 0 0 75791 44 0 0 25 0 4 0 599152088 704036864 122596 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=687536 CPUtime=762.29 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 91387 0 0 0 76197 32 0 0 25 0 4 0 599152088 704036864 122596 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=687536 CPUtime=762.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 124148 0 0 0 76185 42 0 0 25 0 4 0 599152088 704036864 122596 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3045.24
Current children cumulated vsize (KiB) 687536

[startup+822.301 s]
/proc/loadavg: 8.12 8.12 7.97 9/184 24430
/proc/meminfo: memFree=11640992/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=805304 CPUtime=3284.93 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 460359 0 0 0 328335 158 0 0 25 0 4 0 599152088 824631296 136599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 201326 136599 389 106 0 196297 0
[pid=24395/tid=24396] ppid=24393 vsize=805304 CPUtime=818.03 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 128288 0 0 0 81757 46 0 0 25 0 4 0 599152088 824631296 136599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=805304 CPUtime=822.3 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 98922 0 0 0 82195 35 0 0 25 0 4 0 599152088 824631296 136599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=805304 CPUtime=822.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 131363 0 0 0 82182 45 0 0 25 0 4 0 599152088 824631296 136599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3284.93
Current children cumulated vsize (KiB) 805304

[startup+882.3 s]
/proc/loadavg: 8.09 8.11 7.97 9/184 24432
/proc/meminfo: memFree=11644064/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=818784 CPUtime=3524.6 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 480470 0 0 0 352296 164 0 0 25 0 4 0 599152088 838434816 135431 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 204696 135431 389 106 0 199667 0
[pid=24395/tid=24396] ppid=24393 vsize=818784 CPUtime=877.7 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 135270 0 0 0 87722 48 0 0 25 0 4 0 599152088 838434816 135431 33554432000 4194304 4627427 140737285988608 18446744073709551615 4420258 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=818784 CPUtime=882.29 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 105880 0 0 0 88192 37 0 0 25 0 4 0 599152088 838434816 135431 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=818784 CPUtime=882.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 136997 0 0 0 88181 46 0 0 25 0 4 0 599152088 838434816 135431 33554432000 4194304 4627427 140737285988608 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3524.6
Current children cumulated vsize (KiB) 818784

[startup+942.301 s]
/proc/loadavg: 8.08 8.10 7.98 9/184 24433
/proc/meminfo: memFree=11517064/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=818912 CPUtime=3764.31 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 506655 0 0 0 376258 173 0 0 25 0 4 0 599152088 838565888 149996 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309350 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 204728 149996 389 106 0 199699 0
[pid=24395/tid=24396] ppid=24393 vsize=818912 CPUtime=937.39 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 141113 0 0 0 93689 50 0 0 25 0 4 0 599152088 838565888 149996 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=818912 CPUtime=942.3 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 113044 0 0 0 94190 40 0 0 25 0 4 0 599152088 838565888 149996 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=818912 CPUtime=942.28 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 143564 0 0 0 94180 48 0 0 25 0 4 0 599152088 838565888 149996 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 3764.31
Current children cumulated vsize (KiB) 818912

[startup+1002.3 s]
/proc/loadavg: 8.12 8.11 7.99 9/184 24435
/proc/meminfo: memFree=11504396/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=871232 CPUtime=4003.97 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 526054 0 0 0 400216 181 0 0 25 0 4 0 599152088 892141568 151397 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 217808 151397 389 106 0 212779 0
[pid=24395/tid=24396] ppid=24393 vsize=871232 CPUtime=997.06 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 146419 0 0 0 99654 52 0 0 25 0 4 0 599152088 892141568 151397 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=871232 CPUtime=1002.29 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 118894 0 0 0 100186 43 0 0 25 0 4 0 599152088 892141568 151397 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=871232 CPUtime=1002.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 148671 0 0 0 100177 50 0 0 25 0 4 0 599152088 892141568 151397 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4003.97
Current children cumulated vsize (KiB) 871232

[startup+1062.31 s]
/proc/loadavg: 5.82 7.49 7.78 5/175 24455
/proc/meminfo: memFree=12174372/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=924372 CPUtime=4243.71 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 541293 0 0 0 424180 191 0 0 25 0 4 0 599152088 946556928 146794 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 231093 146794 389 106 0 226064 0
[pid=24395/tid=24396] ppid=24393 vsize=924372 CPUtime=1056.79 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 150653 0 0 0 105625 54 0 0 25 0 4 0 599152088 946556928 146794 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=924372 CPUtime=1062.3 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 123442 0 0 0 106184 46 0 0 25 0 4 0 599152088 946556928 146794 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=924372 CPUtime=1062.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 152910 0 0 0 106175 52 0 0 25 0 4 0 599152088 946556928 146794 33554432000 4194304 4627427 140737285988608 18446744073709551615 4333399 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4243.71
Current children cumulated vsize (KiB) 924372

[startup+1122.3 s]
/proc/loadavg: 4.67 6.85 7.54 5/175 24456
/proc/meminfo: memFree=12118776/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=925960 CPUtime=4483.41 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 562127 0 0 0 448141 200 0 0 25 0 4 0 599152088 948183040 160986 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309160 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 231490 160986 389 106 0 226461 0
[pid=24395/tid=24396] ppid=24393 vsize=925960 CPUtime=1116.5 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 154728 0 0 0 111594 56 0 0 25 0 4 0 599152088 948183040 160986 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=925960 CPUtime=1122.3 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 129567 0 0 0 112180 50 0 0 25 0 4 0 599152088 948183040 160986 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=925960 CPUtime=1122.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 160554 0 0 0 112173 54 0 0 25 0 4 0 599152088 948183040 160986 33554432000 4194304 4627427 140737285988608 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4483.41
Current children cumulated vsize (KiB) 925960

[startup+1182.3 s]
/proc/loadavg: 4.28 6.34 7.32 5/175 24458
/proc/meminfo: memFree=12143156/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=819244 CPUtime=4723.14 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 580468 0 0 0 472106 208 0 0 25 0 4 0 599152088 838905856 154599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 204811 154599 389 106 0 199782 0
[pid=24395/tid=24396] ppid=24393 vsize=819244 CPUtime=1176.23 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 158213 0 0 0 117564 59 0 0 25 0 4 0 599152088 838905856 154599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=819244 CPUtime=1182.3 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 135897 0 0 0 118178 52 0 0 25 0 4 0 599152088 838905856 154599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309284 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=819244 CPUtime=1182.27 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 164184 0 0 0 118172 55 0 0 25 0 4 0 599152088 838905856 154599 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4723.14
Current children cumulated vsize (KiB) 819244



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.6 s]
/proc/loadavg: 4.20 6.19 7.25 5/175 24458
/proc/meminfo: memFree=12128884/32951124 swapFree=67102140/67111528
[pid=24395] ppid=24393 vsize=872676 CPUtime=4800.26 cores=0,2,4,6
/proc/24395/stat : 24395 (strangenight2-m) R 24393 24395 24128 0 -1 4202496 583983 0 0 0 479815 211 0 0 25 0 4 0 599152088 893620224 158114 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/24395/statm: 218169 158114 389 106 0 213140 0
[pid=24395/tid=24396] ppid=24393 vsize=872676 CPUtime=1195.43 cores=0,2,4,6
/proc/24395/task/24396/stat : 24396 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 159302 0 0 0 119484 59 0 0 25 0 4 0 599152088 893620224 158114 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=24395/tid=24397] ppid=24393 vsize=872676 CPUtime=1201.6 cores=0,2,4,6
/proc/24395/task/24397/stat : 24397 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 136741 0 0 0 120107 53 0 0 25 0 4 0 599152088 893620224 158114 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=24395/tid=24398] ppid=24393 vsize=872676 CPUtime=1201.58 cores=0,2,4,6
/proc/24395/task/24398/stat : 24398 (strangenight2-m) R 24393 24395 24128 0 -1 4202560 165765 0 0 0 120102 56 0 0 25 0 4 0 599152088 893620224 158114 33554432000 4194304 4627427 140737285988608 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 4800.26
Current children cumulated vsize (KiB) 872676

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): 1201.64
CPU time (s): 4800.32
CPU user time (s): 4798.18
CPU system time (s): 2.14267
CPU usage (%): 399.481
Max. virtual memory (cumulated for all children) (KiB): 977768

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.18
system time used= 2.14267
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 583985
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= 292
involuntary context switches= 34220

runsolver used 1.84672 second user time and 4.24435 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 17:00:14
IDJOB=3174086
IDBENCH=82904
IDSOLVER=1586
FILE ID=node119/3174086-1304089214
RUNJOBID= node119-1304086609-24146
PBS_JOBID= 13170550
Free space on /tmp= 71812 MiB

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

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

MD5SUM BENCH= 8567972e0c3ca849f27342fc5fce028c
RANDOM SEED=1438022400

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12485068 kB
Buffers:       2234668 kB
Cached:       17313996 kB
SwapCached:       5504 kB
Active:        8249876 kB
Inactive:     11631900 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12485068 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:            5508 kB
Writeback:           0 kB
AnonPages:      330488 kB
Mapped:          15324 kB
Slab:           521292 kB
PageTables:       5512 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   607128 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= 71812 MiB
End job on node119 at 2011-04-29 17:20:18