Trace number 3174276

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.28 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
MD5SUM0fc04a37bb65455aedf3737bd6551a47
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.220966
Satisfiable
(Un)Satisfiability was proved
Number of variables750
Number of clauses3195
Sum of the clauses size9585
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 33195
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-3174276-1304116780.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	c -- header says num clauses:        3195
0.00/0.01	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.01	c -- vars added        750
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       750      3195         0         0      9585         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/3195/3195 lits-rem:0 time: 0.00
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    750 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.10	c lits-rem:         0  cl-subs:        0  v-elim:     16  v-fix:    0  time:  0.00 s
0.00/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.10	c calculated reachability. Time: 0.00
0.00/0.10	c Calc default polars -  time:   0.00 s pos:     329 undec:      91 neg:     330
0.00/0.10	c =========================================================================================
0.00/0.10	c types(t): F = full restart, N = normal restart
0.00/0.10	c types(t): S = simplification begin/end, E = solution found
0.00/0.10	c restart types(rt): st = static, dy = dynamic
0.00/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.10	c  B st     0         0       734      3181         0         0      9637         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.41/0.19	c  N st     8      4917       734      3181         0      4851      9637    153485   no data   no data
1.58/0.49	c  N st    10     11299       734      3181         0      4506      9637     95146   no data   no data
3.18/0.80	c  N st    11     17043       734      3181         0     10135      9637    265626   no data   no data
4.79/1.27	c  F st    12     25002       734      3181         0     12479      9637    339416   no data   no data
4.79/1.27	c  N st    12     25002       734      3181         0     12479      9637    339416   no data   no data
5.97/1.54	c  N dy    18     30002       734      3181         0     10742      9637    261744   no data   no data
5.97/1.54	c  S st    18     30002       734      3181         0     10742      9637    261744   no data   no data
5.97/1.57	c  S st    18     30505       734      3181         0     11245      9637    275158   no data   no data
5.97/1.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.97/1.57	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
5.97/1.57	c blocked clauses removed:       10 vars:      1 tried:         734 T: 0.00 s
5.97/1.57	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.97/1.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.57	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
5.97/1.57	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.97/1.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.97/1.59	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6.37/1.64	c lits-rem:        56  cl-subs:      332  v-elim:      0  v-fix:    0  time:  0.05 s
6.37/1.64	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
6.37/1.64	c calculated reachability. Time: 0.00
6.37/1.64	c  N dy    18     30505       733      3171         0     10913      9607    262880   no data   no data
7.56/1.91	c  N dy    35     34747       733      3171         0     15130      9607    388872     20.21     21.31
8.37/2.16	c  N dy    43     39264       733      3171         0     11756      9607    228649     19.37     21.11
9.56/2.42	c  N dy    60     43335       733      3171         0     15807      9607    347836     19.50     20.82
9.96/2.60	c  S st    71     45757       733      3171         0      9321      9607    123760     19.50     17.85
10.35/2.62	c  S st    71     46259       733      3171         0      9823      9607    137529     19.50   no data
10.35/2.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
10.35/2.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
10.35/2.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10.35/2.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
10.35/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
10.35/2.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
10.35/2.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
10.35/2.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.64	c lits-rem:         4  cl-subs:       13  v-elim:      0  v-fix:    0  time:  0.01 s
10.35/2.64	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
10.35/2.64	c vivif2 --  cl tried     9810 cl shrink        0 lits rem          0 time: 0.00
10.35/2.65	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
10.35/2.65	c calculated reachability. Time: 0.00
10.35/2.65	c  N dy    71     46259       733      3171         0      9810      9607    137141     19.50   no data
11.15/2.89	c  N dy    89     50330       733      3171         0     13857      9607    256872     19.50     23.75
12.36/3.17	c  N dy   119     54432       733      3171         0     17938      9607    379971     19.78     20.99
13.58/3.48	c  N dy   139     59179       733      3171         0     12732      9607    198295     19.86     21.22
14.75/3.75	c  N dy   160     63295       733      3171         0     16828      9607    321700     19.90     20.96
15.95/4.07	c  N dy   191     67402       733      3171         0     20907      9607    443747     20.04     22.34
16.75/4.23	c  S st   206     69389       733      3171         0     11967      9607    150500     20.14   no data
16.75/4.26	c  S st   206     69891       733      3171         0     12469      9607    164867     20.14   no data
16.75/4.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.75/4.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.75/4.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.75/4.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.75/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
16.75/4.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.75/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.75/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.75/4.28	c lits-rem:        24  cl-subs:       15  v-elim:      0  v-fix:    0  time:  0.01 s
16.75/4.28	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
16.75/4.28	c vivif2 --  cl tried    12454 cl shrink        0 lits rem          0 time: 0.00
16.75/4.29	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
16.75/4.29	c calculated reachability. Time: 0.00
16.75/4.29	c  N dy   206     69891       733      3171         0     12454      9607    164292     20.14   no data
18.35/4.66	c  N dy   214     75434       733      3171         0     17950      9607    329095     19.96     21.09
19.95/5.06	c  N dy   245     80290       733      3171         0     22786      9607    472973     20.01     21.15
21.55/5.42	c  N dy   264     85485       733      3171         0     16017      9607    240194     19.98     21.17
21.96/5.56	c  F st   273     87504       733      3171         0     18019      9607    299162     19.99     19.13
23.54/5.96	c  N dy   279     92703       733      3171         0     23178      9607    457638     19.99   no data
25.55/6.44	c  N dy   304     98698       733      3171         0     16238      9607    228643     20.00     21.07
27.54/6.92	c  S st   345    104836       733      3171         0     22343      9607    412501     20.10   no data
27.54/6.97	c  S st   345    105337       733      3171         0     22844      9607    427064     20.10   no data
27.54/6.97	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.54/6.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.54/6.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
27.54/6.98	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.54/6.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.93/7.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.93/7.06	c lits-rem:        73  cl-subs:      127  v-elim:      0  v-fix:    0  time:  0.07 s
27.93/7.06	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
27.93/7.07	c vivif2 --  cl tried    22717 cl shrink        0 lits rem          0 time: 0.00
27.93/7.08	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.01
27.93/7.08	c calculated reachability. Time: 0.00
27.93/7.08	c  N dy   345    105337       733      3171         0     22717      9607    422012     20.10   no data
30.33/7.69	c  N dy   373    112151       733      3171         0     15560      9607    180199     20.11     22.79
32.73/8.25	c  N dy   411    119406       733      3171         0     22768      9607    399344     20.15     23.75
35.92/9.03	c  N dy   453    127143       733      3171         0     15557      9607    156634     20.18     21.43
38.72/9.76	c  N dy   500    136309       733      3171         0     24673      9607    431111     20.23     21.34
42.32/10.62	c  N dy   537    145109       733      3171         0     17504      9607    191911     20.23     21.36
45.52/11.40	c  N dy   597    154391       733      3171         0     26729      9607    469906     20.31     23.40
46.71/11.78	c  S st   611    158006       733      3171         0     30316      9607    576110     20.30     18.06
47.11/11.85	c  S st   611    158512       733      3171         0     30822      9607    590476     20.30   no data
47.11/11.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.11/11.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.11/11.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.11/11.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.11/11.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.11/11.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
47.11/11.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.11/11.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.11/11.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.91/12.03	c lits-rem:       142  cl-subs:      311  v-elim:      0  v-fix:    0  time:  0.13 s
47.91/12.03	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
47.91/12.03	c vivif2 --  cl tried    30511 cl shrink        0 lits rem          0 time: 0.01
47.91/12.05	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.02
47.91/12.05	c calculated reachability. Time: 0.00
47.91/12.05	c  N dy   611    158512       733      3171         0     30511      9607    578911     20.30   no data
51.90/13.03	c  N dy   658    168985       733      3171         0     24044      9607    363943     20.34     21.59
56.69/14.24	c  N dy   743    179856       733      3171         0     34865      9607    697727     20.46     21.57
61.91/15.50	c  N dy   789    193320       733      3171         0     30354      9607    545230     20.42     21.72
67.48/16.96	c  N dy   858    206505       733      3171         0     24569      9607    330687     20.46     21.77
74.27/18.62	c  N dy   913    220951       733      3171         0     38912      9607    762477     20.42     22.01
79.87/20.07	c  N dy   998    235113       733      3171         0     33119      9607    567503     20.45     21.86
81.07/20.39	c  S st  1007    237768       733      3171         0     35758      9607    647953     20.45   no data
81.47/20.47	c  S st  1007    238274       733      3171         0     36264      9607    662642     20.45   no data
81.47/20.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.47/20.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
81.47/20.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.47/20.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.47/20.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81.47/20.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
81.47/20.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
81.87/20.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
81.87/20.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
82.27/20.69	c lits-rem:        88  cl-subs:      255  v-elim:      0  v-fix:    0  time:  0.17 s
82.27/20.69	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
82.66/20.70	c vivif2 --  cl tried    36009 cl shrink        0 lits rem          0 time: 0.01
82.66/20.72	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.02
82.66/20.72	c calculated reachability. Time: 0.00
82.66/20.72	c  N dy  1007    238274       733      3171         0     36009      9607    652826     20.45   no data
89.45/22.45	c  N dy  1062    253498       733      3171         0     30240      9607    456191     20.44     21.54
97.84/24.51	c  N dy  1130    269736       733      3171         0     24506      9607    263345     20.44     23.29
105.86/26.56	c  N dy  1188    287000       733      3171         0     41636      9607    782545     20.41     24.90
115.02/28.84	c  N dy  1278    305503       733      3171         0     37181      9607    612202     20.43     21.51
115.42/28.95	c  F st  1283    306251       733      3171         0     37924      9607    635526     20.43     20.30
118.22/29.68	c Decided on static restart strategy
129.80/32.52	c  N st  1293    334556       733      3171         0     42147      9607    998495     20.43   no data
142.58/35.71	c  N st  1295    357412       733      3171         0     40041      9607   1001106     20.43   no data
142.58/35.71	c  S st  1295    357412       733      3171         0     40041      9607   1001106     20.43   no data
142.98/35.82	c  S st  1295    357912       733      3171         0     40541      9607   1016140     20.43   no data
142.98/35.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
142.98/35.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
142.98/35.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
142.98/35.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
142.98/35.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
142.98/35.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
142.98/35.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
142.98/35.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
142.98/35.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.78/36.51	c lits-rem:       226  cl-subs:      951  v-elim:      0  v-fix:    0  time:  0.62 s
145.78/36.51	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
145.78/36.52	c vivif2 --  cl tried    39590 cl shrink        0 lits rem          0 time: 0.01
145.78/36.55	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.03
145.78/36.55	c calculated reachability. Time: 0.00
145.78/36.55	c  N st  1295    357912       733      3171         0     39590      9607    979988     20.43   no data
163.75/41.01	c  N st  1296    390306       733      3171         0     45838      9607   1213993     20.43   no data
198.12/49.61	c  N st  1297    438895       733      3171         0     39440      9607    874788     20.43   no data
250.46/62.73	c  N st  1298    511777       733      3171         0     53107      9607   1358395     20.43   no data
266.02/66.62	c  N st  1299    536869       733      3171         0     47354      9607   1060248     20.43   no data
266.02/66.62	c  S st  1299    536869       733      3171         0     47354      9607   1060248     20.43   no data
266.42/66.75	c  S st  1299    537375       733      3171         0     47860      9607   1074685     20.43   no data
266.42/66.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
266.42/66.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
266.42/66.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
266.42/66.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
266.42/66.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
266.42/66.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
266.42/66.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
266.42/66.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
266.81/66.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
270.41/67.75	c lits-rem:      1252  cl-subs:      894  v-elim:      0  v-fix:    0  time:  0.92 s
270.41/67.75	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
270.41/67.76	c vivif2 --  cl tried    46966 cl shrink        0 lits rem          0 time: 0.01
270.81/67.80	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.04
270.81/67.80	c calculated reachability. Time: 0.00
270.81/67.80	c  N st  1299    537375       733      3171         0     46966      9607   1039280     20.43   no data
401.83/100.63	c  N st  1300    701361       733      3171         0     41049      9607    695317     20.43   no data
489.31/122.50	c  N st  1301    806062       733      3171         0     69905      9607   1575941     20.43   no data
489.31/122.50	c  S st  1301    806062       733      3171         0     69905      9607   1575941     20.43   no data
489.71/122.68	c  S st  1301    806569       733      3171         0     70410      9607   1590715     20.43   no data
489.71/122.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
490.11/122.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
490.11/122.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
490.11/122.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
490.11/122.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
490.11/122.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
490.11/122.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
490.11/122.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
490.11/122.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
508.48/127.32	c lits-rem:       503  cl-subs:     3164  v-elim:      0  v-fix:    0  time:  4.52 s
508.48/127.32	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
508.48/127.35	c vivif2 --  cl tried    67246 cl shrink        0 lits rem          0 time: 0.02
508.87/127.41	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.06
508.87/127.41	c calculated reachability. Time: 0.00
508.87/127.41	c  N st  1301    806569       733      3171         0     67246      9607   1491446     20.43   no data
763.34/191.11	c  F st  1302   1071877       733      3171         0     83508      9607   2001620     20.43   no data
763.34/191.11	c  N st  1302   1071877       733      3171         0     83508      9607   2001620     20.43   no data
770.92/193.07	c Decided on static restart strategy
789.30/197.66	c  N st  1312   1100177       733      3171         0     67220      9607   1303814     20.43   no data
823.25/206.14	c  N st  1314   1136170       733      3171         0     57366      9607    968328     20.43   no data
855.61/214.26	c  N st  1315   1168564       733      3171         0     89464      9607   2105080     20.43   no data
895.95/224.34	c  N st  1316   1209853       733      3171         0     83714      9607   1796228     20.43   no data
895.95/224.34	c  S st  1316   1209853       733      3171         0     83714      9607   1796228     20.43   no data
896.77/224.57	c  S st  1316   1210355       733      3171         0     84216      9607   1810168     20.43   no data
896.77/224.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
897.15/224.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
897.15/224.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
897.15/224.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
897.15/224.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
897.15/224.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
897.15/224.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
897.15/224.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
897.54/224.70	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
919.52/230.24	c lits-rem:       469  cl-subs:     3109  v-elim:      0  v-fix:    0  time:  5.54 s
919.52/230.24	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
919.52/230.26	c vivif2 --  cl tried    81107 cl shrink        0 lits rem          0 time: 0.02
919.92/230.34	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.08
919.92/230.34	c calculated reachability. Time: 0.00
919.92/230.34	c  N st  1316   1210355       733      3171         0     81107      9607   1699761     20.43   no data
986.62/247.04	c  N st  1317   1283238       733      3171         0     57255      9607    881809     20.43   no data
1095.27/274.27	c  N st  1318   1392562       733      3171         0     65574      9607   1118636     20.43   no data
1268.64/317.66	c  N st  1319   1556546       733      3171         0     70416      9607   1200227     20.43   no data
1448.40/362.68	c  N st  1320   1710357       733      3171         0     56349      9607    643137     20.43   no data
1448.40/362.68	c  S st  1320   1710357       733      3171         0     56349      9607    643137     20.43   no data
1449.20/362.85	c  S st  1320   1710860       733      3171         0     56852      9607    658385     20.43   no data
1449.20/362.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1449.20/362.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.03
1449.20/362.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1449.20/362.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1449.20/362.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1449.20/362.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
1449.20/362.88	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1449.59/362.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1449.59/362.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1450.01/363.07	c lits-rem:        18  cl-subs:       72  v-elim:      0  v-fix:    0  time:  0.14 s
1450.01/363.07	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
1450.01/363.08	c vivif2 --  cl tried    56780 cl shrink        0 lits rem          0 time: 0.01
1450.41/363.12	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.05
1450.41/363.13	c calculated reachability. Time: 0.00
1450.41/363.13	c  N st  1320   1710860       733      3171         0     56780      9607    656690     20.43   no data
1890.98/473.43	c  N st  1321   2079824       733      3171         0     62690      9607    717598     20.43   no data
2056.37/514.84	c  N st  1322   2210860       733      3171         0     64561      9607    727489     20.43   no data
2056.37/514.84	c  S st  1322   2210860       733      3171         0     64561      9607    727489     20.43   no data
2057.15/515.00	c  S st  1322   2211360       733      3171         0     65060      9607    743175     20.43   no data
2057.15/515.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2057.15/515.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
2057.15/515.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2057.15/515.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2057.15/515.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2057.15/515.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
2057.15/515.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2057.15/515.06	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2057.15/515.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2057.95/515.21	c lits-rem:        26  cl-subs:       86  v-elim:      0  v-fix:    0  time:  0.13 s
2057.95/515.21	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
2057.95/515.22	c vivif2 --  cl tried    64974 cl shrink        0 lits rem          0 time: 0.01
2057.95/515.28	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.05
2057.95/515.28	c calculated reachability. Time: 0.00
2057.95/515.28	c  N st  1322   2211360       733      3171         0     64974      9607    740700     20.43   no data
2728.65/683.12	c  N st  1323   2711362       733      3171         0     81176      9607   1139906     20.43   no data
2728.65/683.12	c  S st  1323   2711362       733      3171         0     81176      9607   1139906     20.43   no data
2729.83/683.41	c  S st  1323   2711865       733      3171         0     81679      9607   1156012     20.43   no data
2729.83/683.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2729.83/683.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.05
2729.83/683.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2729.83/683.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2729.83/683.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2729.83/683.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
2729.83/683.47	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2729.83/683.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2730.23/683.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2735.42/684.82	c lits-rem:       169  cl-subs:     1245  v-elim:      0  v-fix:    0  time:  1.28 s
2735.42/684.82	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
2735.42/684.84	c vivif2 --  cl tried    80434 cl shrink        0 lits rem          0 time: 0.02
2735.82/684.92	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.09
2735.82/684.93	c calculated reachability. Time: 0.00
2735.82/684.93	c  N st  1323   2711865       733      3171         0     80434      9607   1116379     20.43   no data
3476.03/870.23	c  N st  1324   3211868       733      3171         0    126746      9607   2482012     20.43   no data
3476.03/870.23	c  S st  1324   3211868       733      3171         0    126746      9607   2482012     20.43   no data
3477.61/870.64	c  S st  1324   3212372       733      3171         0    127249      9607   2496621     20.43   no data
3477.61/870.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3478.01/870.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
3478.01/870.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3478.01/870.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3478.01/870.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3478.01/870.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
3478.01/870.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3478.01/870.76	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
3478.41/870.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3575.48/895.15	c lits-rem:       332  cl-subs:     6529  v-elim:      0  v-fix:    0  time: 24.31 s
3575.48/895.15	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
3575.48/895.19	c vivif2 --  cl tried   120720 cl shrink        0 lits rem          0 time: 0.04
3576.28/895.36	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.17
3576.28/895.37	c calculated reachability. Time: 0.00
3576.28/895.37	c  N st  1324   3212372       733      3171         0    120720      9607   2293615     20.43   no data
4342.83/1087.25	c  N st  1325   3712372       733      3171         0    131111      9607   2475030     20.43   no data
4342.83/1087.25	c  S st  1325   3712372       733      3171         0    131111      9607   2475030     20.43   no data
4344.42/1087.64	c  S st  1325   3712875       733      3171         0    131613      9607   2490400     20.43   no data
4344.42/1087.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4344.82/1087.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
4344.82/1087.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4344.82/1087.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4344.82/1087.72	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4344.82/1087.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    733 time:  0.00 s
4344.82/1087.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4344.82/1087.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4345.22/1087.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4429.12/1108.82	c lits-rem:       688  cl-subs:     8830  v-elim:      0  v-fix:    0  time: 20.99 s
4429.12/1108.82	c vivif2 --  cl tried     3171 cl shrink        0 lits rem          0 time: 0.00
4429.12/1108.86	c vivif2 --  cl tried   122783 cl shrink        0 lits rem          0 time: 0.03
4429.52/1108.99	c asymm  cl-useful: 0/3171/3171 lits-rem:0 time: 0.13
4429.52/1108.99	c calculated reachability. Time: 0.00
4429.52/1108.99	c  N st  1325   3712875       733      3171         0    122783      9607   2223837     20.43   no data
4502.61/1127.24	c  F st  1326   3751563       733      3171         0    160802      9607   3517644     20.43   no data
4502.61/1127.24	c  N st  1326   3751563       733      3171         0    160802      9607   3517644     20.43   no data
4550.14/1139.10	c  N dy  1409   3775955       733      3171         0    101914      9607   1420414     20.45     21.61
4586.89/1148.40	c  N dy  1493   3796671       733      3171         0    122464      9607   2043875     20.46     21.56
4630.83/1159.33	c  N dy  1608   3816675       733      3171         0    142336      9607   2658849     20.52     24.96
4694.74/1175.38	c  N dy  1726   3837099       733      3171         0    162639      9607   3285958     20.57     21.85
4746.67/1188.36	c  N dy  1861   3857115       733      3171         0     97818      9607   1212699     20.63     22.31
4799.79/1201.63	c  N dy  1930   3882355       733      3171         0    122814      9607   1969468     20.59     21.75

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-3174276-1304116780/watcher-3174276-1304116780 -o /tmp/evaluation-result-3174276-1304116780/solver-3174276-1304116780 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174276-1304116780.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: 8.01 7.97 7.40 2/175 20318
/proc/meminfo: memFree=30638444/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 407 0 0 0 0 0 0 0 25 0 4 0 523277792 52441088 347 33554432000 4194304 4627427 140733585528752 18446744073709551615 47926888339378 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 12803 347 299 106 0 7774 0
[pid=20318/tid=20319] ppid=20316 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 523277793 52441088 347 33554432000 4194304 4627427 140733585528752 18446744073709551615 47926888339378 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523277793 52441088 347 33554432000 4194304 4627427 140733585528752 18446744073709551615 248089754609 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 523277793 52441088 347 33554432000 4194304 4627427 140733585528752 18446744073709551615 47926888339378 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.11018 s]
/proc/loadavg: 8.01 7.97 7.40 2/175 20318
/proc/meminfo: memFree=30638444/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=282176 CPUtime=0.41 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 2030 0 0 0 41 0 0 0 25 0 4 0 523277792 288948224 1872 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308359 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 70544 1872 384 106 0 65515 0
[pid=20318/tid=20319] ppid=20316 vsize=282176 CPUtime=0.1 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 443 0 0 0 10 0 0 0 25 0 4 0 523277793 288948224 1872 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=282176 CPUtime=0.1 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 425 0 0 0 10 0 0 0 25 0 4 0 523277793 288948224 1872 33554432000 4194304 4627427 140733585528752 18446744073709551615 4333663 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=282176 CPUtime=0.1 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 316 0 0 0 10 0 0 0 25 0 4 0 523277793 288948224 1872 33554432000 4194304 4627427 140733585528752 18446744073709551615 4310094 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.41
Current children cumulated vsize (KiB) 282176

[startup+0.201174 s]
/proc/loadavg: 8.01 7.97 7.40 2/175 20318
/proc/meminfo: memFree=30638444/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=283840 CPUtime=0.77 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 2807 0 0 0 77 0 0 0 25 0 4 0 523277792 290652160 1901 33554432000 4194304 4627427 140733585528752 18446744073709551615 4352213 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 70960 1901 385 106 0 65931 0
[pid=20318/tid=20319] ppid=20316 vsize=283840 CPUtime=0.19 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 643 0 0 0 19 0 0 0 25 0 4 0 523277793 290652160 1901 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308317 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=283840 CPUtime=0.18 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 620 0 0 0 18 0 0 0 25 0 4 0 523277793 290652160 1901 33554432000 4194304 4627427 140733585528752 18446744073709551615 4507185 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=283840 CPUtime=0.19 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 506 0 0 0 19 0 0 0 25 0 4 0 523277793 290652160 1902 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283840

[startup+0.301145 s]
/proc/loadavg: 8.01 7.97 7.40 2/175 20318
/proc/meminfo: memFree=30638444/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=283840 CPUtime=1.17 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 3175 0 0 0 117 0 0 0 25 0 4 0 523277792 290652160 2269 33554432000 4194304 4627427 140733585528752 18446744073709551615 4299595 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 70960 2269 385 106 0 65931 0
[pid=20318/tid=20319] ppid=20316 vsize=283840 CPUtime=0.29 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 740 0 0 0 29 0 0 0 25 0 4 0 523277793 290652160 2269 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308329 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=283840 CPUtime=0.28 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 723 0 0 0 28 0 0 0 25 0 4 0 523277793 290652160 2269 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=283840 CPUtime=0.29 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 589 0 0 0 29 0 0 0 25 0 4 0 523277793 290652160 2269 33554432000 4194304 4627427 140733585528752 18446744073709551615 4299657 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283840

[startup+0.701086 s]
/proc/loadavg: 8.01 7.97 7.40 2/175 20318
/proc/meminfo: memFree=30638444/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=284856 CPUtime=2.77 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 4986 0 0 0 276 1 0 0 25 0 4 0 523277792 291692544 2958 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 71214 2958 385 106 0 66185 0
[pid=20318/tid=20319] ppid=20316 vsize=284856 CPUtime=0.68 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 1199 0 0 0 68 0 0 0 25 0 4 0 523277793 291692544 2958 33554432000 4194304 4627427 140733585528752 18446744073709551615 4327583 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=284856 CPUtime=0.68 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 1183 0 0 0 68 0 0 0 25 0 4 0 523277793 291692544 2958 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=284856 CPUtime=0.69 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 1047 0 0 0 69 0 0 0 25 0 4 0 523277793 291692544 2958 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284856

[startup+1.50094 s]
/proc/loadavg: 8.01 7.97 7.40 5/179 20322
/proc/meminfo: memFree=30626508/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=286500 CPUtime=5.97 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 8649 0 0 0 594 3 0 0 25 0 4 0 523277792 293376000 3478 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309195 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 71625 3478 386 106 0 66596 0
[pid=20318/tid=20319] ppid=20316 vsize=286500 CPUtime=1.48 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 2135 0 0 0 148 0 0 0 25 0 4 0 523277793 293376000 3478 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=286500 CPUtime=1.48 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 2076 0 0 0 147 1 0 0 25 0 4 0 523277793 293376000 3478 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=286500 CPUtime=1.48 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 1976 0 0 0 148 0 0 0 25 0 4 0 523277793 293376000 3478 33554432000 4194304 4627427 140733585528752 18446744073709551615 4324736 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286500

[startup+3.10059 s]
/proc/loadavg: 8.09 7.99 7.40 10/184 20352
/proc/meminfo: memFree=30608628/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=277716 CPUtime=12.36 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 19688 0 0 0 1230 6 0 0 25 0 4 0 523277792 284381184 11502 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308632 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 69429 11502 389 106 0 64400 0
[pid=20318/tid=20319] ppid=20316 vsize=277716 CPUtime=3.08 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 4496 0 0 0 307 1 0 0 25 0 4 0 523277793 284381184 11502 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309350 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=277716 CPUtime=3.07 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 5644 0 0 0 306 1 0 0 25 0 4 0 523277793 284381184 11502 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=277716 CPUtime=3.09 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 4381 0 0 0 308 1 0 0 25 0 4 0 523277793 284381184 11502 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 277716

[startup+6.30103 s]
/proc/loadavg: 8.09 7.99 7.40 9/184 20352
/proc/meminfo: memFree=30539436/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=293208 CPUtime=25.15 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 28813 0 0 0 2507 8 0 0 25 0 4 0 523277792 300244992 16695 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308317 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 73302 16695 389 106 0 68273 0
[pid=20318/tid=20319] ppid=20316 vsize=293208 CPUtime=6.28 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 7473 0 0 0 627 1 0 0 25 0 4 0 523277793 300244992 16695 33554432000 4194304 4627427 140733585528752 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=293208 CPUtime=6.25 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 7885 0 0 0 623 2 0 0 25 0 4 0 523277793 300244992 16695 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308712 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=293208 CPUtime=6.29 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 6322 0 0 0 628 1 0 0 25 0 4 0 523277793 300244992 16695 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 293208

[startup+12.7009 s]
/proc/loadavg: 8.07 7.99 7.41 9/184 20352
/proc/meminfo: memFree=30463052/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=310296 CPUtime=50.7 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 43877 0 0 0 5059 11 0 0 25 0 4 0 523277792 317743104 26075 33554432000 4194304 4627427 140733585528752 18446744073709551615 4332909 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 77574 26075 389 106 0 72545 0
[pid=20318/tid=20319] ppid=20316 vsize=310296 CPUtime=12.68 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 10568 0 0 0 1266 2 0 0 25 0 4 0 523277793 317743104 26075 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=310296 CPUtime=12.62 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 13237 0 0 0 1259 3 0 0 25 0 4 0 523277793 317743104 26075 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=310296 CPUtime=12.68 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 9095 0 0 0 1267 1 0 0 25 0 4 0 523277793 317743104 26075 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 310296

[startup+25.5006 s]
/proc/loadavg: 8.14 8.00 7.42 9/184 20352
/proc/meminfo: memFree=30394488/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=310952 CPUtime=101.83 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 60873 0 0 0 10168 15 0 0 25 0 4 0 523277792 318414848 31873 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309396 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 77738 31873 389 106 0 72709 0
[pid=20318/tid=20319] ppid=20316 vsize=310952 CPUtime=25.48 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 14043 0 0 0 2545 3 0 0 25 0 4 0 523277793 318414848 31873 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309412 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=310952 CPUtime=25.35 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 21699 0 0 0 2530 5 0 0 25 0 4 0 523277793 318414848 31873 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=310952 CPUtime=25.48 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 9881 0 0 0 2547 1 0 0 25 0 4 0 523277793 318414848 31873 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.83
Current children cumulated vsize (KiB) 310952

[startup+51.1011 s]
/proc/loadavg: 8.09 8.00 7.44 9/184 20353
/proc/meminfo: memFree=30346276/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=294736 CPUtime=204.1 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 93046 0 0 0 20385 25 0 0 25 0 4 0 523277792 301809664 38436 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309598 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 73684 38436 389 106 0 68655 0
[pid=20318/tid=20319] ppid=20316 vsize=294736 CPUtime=51.07 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 20197 0 0 0 5103 4 0 0 25 0 4 0 523277793 301809664 38436 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309300 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=294736 CPUtime=50.82 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 32272 0 0 0 5074 8 0 0 25 0 4 0 523277793 301809664 38436 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=294736 CPUtime=51.09 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 16462 0 0 0 5105 4 0 0 25 0 4 0 523277793 301809664 38436 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 294736

[startup+102.301 s]
/proc/loadavg: 8.07 8.01 7.47 9/184 20354
/proc/meminfo: memFree=30236004/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=371420 CPUtime=408.63 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 135358 0 0 0 40827 36 0 0 25 0 4 0 523277792 380334080 51704 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 92855 51704 389 106 0 87826 0
[pid=20318/tid=20319] ppid=20316 vsize=371420 CPUtime=102.28 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 29377 0 0 0 10221 7 0 0 25 0 4 0 523277793 380334080 51704 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=371420 CPUtime=101.75 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 42087 0 0 0 10164 11 0 0 25 0 4 0 523277793 380334080 51704 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=371420 CPUtime=102.3 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 23305 0 0 0 10224 6 0 0 25 0 4 0 523277793 380334080 51704 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 371420

[startup+162.3 s]

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

[pid=20318] ppid=20316 vsize=637056 CPUtime=2565.65 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 403268 0 0 0 256425 140 0 0 25 0 4 0 523277792 652345344 115039 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308399 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 159264 115039 389 106 0 154235 0
[pid=20318/tid=20319] ppid=20316 vsize=637056 CPUtime=642.28 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 101618 0 0 0 64195 33 0 0 25 0 4 0 523277793 652345344 115039 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309119 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=637056 CPUtime=638.81 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 114287 0 0 0 63842 39 0 0 25 0 4 0 523277793 652345344 115039 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=637056 CPUtime=642.3 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 68330 0 0 0 64205 25 0 0 25 0 4 0 523277793 652345344 115039 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2565.65
Current children cumulated vsize (KiB) 637056

[startup+702.301 s]
/proc/loadavg: 8.12 8.10 7.75 9/184 20370
/proc/meminfo: memFree=29807008/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=693344 CPUtime=2805.33 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 427600 0 0 0 280382 151 0 0 25 0 4 0 523277792 709984256 113494 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 173336 113494 389 106 0 168307 0
[pid=20318/tid=20319] ppid=20316 vsize=693344 CPUtime=702.28 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 111051 0 0 0 70191 37 0 0 25 0 4 0 523277793 709984256 113494 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=693344 CPUtime=698.48 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 118742 0 0 0 69807 41 0 0 25 0 4 0 523277793 709984256 113494 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=693344 CPUtime=702.3 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 73997 0 0 0 70203 27 0 0 25 0 4 0 523277793 709984256 113494 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.33
Current children cumulated vsize (KiB) 693344

[startup+762.301 s]
/proc/loadavg: 8.19 8.12 7.78 9/184 20372
/proc/meminfo: memFree=29762440/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=772852 CPUtime=3045.01 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 452185 0 0 0 304342 159 0 0 25 0 4 0 523277792 791400448 122050 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 193213 122050 389 106 0 188184 0
[pid=20318/tid=20319] ppid=20316 vsize=772852 CPUtime=762.29 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 120098 0 0 0 76189 40 0 0 25 0 4 0 523277793 791400448 122050 33554432000 4194304 4627427 140733585528752 18446744073709551615 4332320 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=772852 CPUtime=758.15 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 126118 0 0 0 75772 43 0 0 25 0 4 0 523277793 791400448 122050 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=772852 CPUtime=762.31 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 78079 0 0 0 76202 29 0 0 25 0 4 0 523277793 791400448 122050 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.01
Current children cumulated vsize (KiB) 772852

[startup+822.301 s]
/proc/loadavg: 8.20 8.13 7.80 9/184 20373
/proc/meminfo: memFree=29738960/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=839560 CPUtime=3284.67 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 473850 0 0 0 328298 169 0 0 25 0 4 0 523277792 859709440 127802 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 209890 127802 389 106 0 204861 0
[pid=20318/tid=20319] ppid=20316 vsize=839560 CPUtime=822.29 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 128790 0 0 0 82185 44 0 0 25 0 4 0 523277793 859709440 127802 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=839560 CPUtime=817.82 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 130550 0 0 0 81737 45 0 0 25 0 4 0 523277793 859709440 127802 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=839560 CPUtime=822.3 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 78972 0 0 0 82201 29 0 0 25 0 4 0 523277793 859709440 127802 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.67
Current children cumulated vsize (KiB) 839560

[startup+882.307 s]
/proc/loadavg: 8.17 8.13 7.83 9/184 20375
/proc/meminfo: memFree=29715716/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=734608 CPUtime=3524.37 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 492677 0 0 0 352261 176 0 0 25 0 4 0 523277792 752238592 126062 33554432000 4194304 4627427 140733585528752 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 183652 126062 389 106 0 178623 0
[pid=20318/tid=20319] ppid=20316 vsize=734608 CPUtime=882.3 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 136690 0 0 0 88182 48 0 0 25 0 4 0 523277793 752238592 126062 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=734608 CPUtime=877.51 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 134680 0 0 0 87703 48 0 0 25 0 4 0 523277793 752238592 126062 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=734608 CPUtime=882.31 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 79612 0 0 0 88201 30 0 0 25 0 4 0 523277793 752238592 126062 33554432000 4194304 4627427 140733585528752 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 734608

[startup+942.301 s]
/proc/loadavg: 8.17 8.14 7.84 9/184 20377
/proc/meminfo: memFree=29631604/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=843816 CPUtime=3764.02 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 518062 0 0 0 376213 189 0 0 25 0 4 0 523277792 864067584 143156 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 210954 143156 389 106 0 205925 0
[pid=20318/tid=20319] ppid=20316 vsize=843816 CPUtime=942.29 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 149311 0 0 0 94176 53 0 0 25 0 4 0 523277793 864067584 143156 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=843816 CPUtime=937.17 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 141181 0 0 0 93666 51 0 0 25 0 4 0 523277793 864067584 143156 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=843816 CPUtime=942.3 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 81123 0 0 0 94199 31 0 0 25 0 4 0 523277793 864067584 143156 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.02
Current children cumulated vsize (KiB) 843816

[startup+1002.3 s]
/proc/loadavg: 8.15 8.14 7.86 9/184 20378
/proc/meminfo: memFree=29578108/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=817512 CPUtime=4003.69 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 537258 0 0 0 400171 198 0 0 25 0 4 0 523277792 837132288 146715 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 204378 146715 389 106 0 199349 0
[pid=20318/tid=20319] ppid=20316 vsize=817512 CPUtime=1002.29 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 154966 0 0 0 100174 55 0 0 25 0 4 0 523277793 837132288 146715 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=817512 CPUtime=996.84 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 143445 0 0 0 99632 52 0 0 25 0 4 0 523277793 837132288 146715 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=817512 CPUtime=1002.31 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 88068 0 0 0 100197 34 0 0 25 0 4 0 523277793 837132288 146715 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.69
Current children cumulated vsize (KiB) 817512

[startup+1062.3 s]
/proc/loadavg: 8.15 8.14 7.87 9/184 20380
/proc/meminfo: memFree=29498832/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=818016 CPUtime=4243.37 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 560860 0 0 0 424129 208 0 0 25 0 4 0 523277792 837648384 158217 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 204504 158217 389 106 0 199475 0
[pid=20318/tid=20319] ppid=20316 vsize=818016 CPUtime=1062.29 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 162443 0 0 0 106171 58 0 0 25 0 4 0 523277793 837648384 158217 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=818016 CPUtime=1056.52 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 149898 0 0 0 105597 55 0 0 25 0 4 0 523277793 837648384 158217 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=818016 CPUtime=1062.31 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 89793 0 0 0 106195 36 0 0 25 0 4 0 523277793 837648384 158217 33554432000 4194304 4627427 140733585528752 18446744073709551615 4310097 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.37
Current children cumulated vsize (KiB) 818016

[startup+1122.3 s]
/proc/loadavg: 8.20 8.16 7.90 9/184 20381
/proc/meminfo: memFree=29572056/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=928320 CPUtime=4483.03 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 572011 0 0 0 448088 215 0 0 25 0 4 0 523277792 950599680 149219 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 232080 149219 389 106 0 227051 0
[pid=20318/tid=20319] ppid=20316 vsize=928320 CPUtime=1122.3 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 168356 0 0 0 112168 62 0 0 25 0 4 0 523277793 950599680 149219 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=928320 CPUtime=1116.19 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 152561 0 0 0 111562 57 0 0 25 0 4 0 523277793 950599680 149219 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=928320 CPUtime=1122.31 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 90380 0 0 0 112195 36 0 0 25 0 4 0 523277793 950599680 149219 33554432000 4194304 4627427 140733585528752 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.03
Current children cumulated vsize (KiB) 928320

[startup+1182.3 s]
/proc/loadavg: 8.12 8.14 7.91 9/184 20383
/proc/meminfo: memFree=29467604/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=940000 CPUtime=4722.7 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 594710 0 0 0 472045 225 0 0 25 0 4 0 523277792 962560000 159961 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 235000 159961 389 106 0 229971 0
[pid=20318/tid=20319] ppid=20316 vsize=940000 CPUtime=1182.3 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 178325 0 0 0 118165 65 0 0 25 0 4 0 523277793 962560000 159961 33554432000 4194304 4627427 140733585528752 18446744073709551615 4420116 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=940000 CPUtime=1175.87 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 159602 0 0 0 117527 60 0 0 25 0 4 0 523277793 962560000 159961 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=940000 CPUtime=1182.31 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 91625 0 0 0 118194 37 0 0 25 0 4 0 523277793 962560000 159961 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.7
Current children cumulated vsize (KiB) 940000



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.09 8.13 7.91 9/184 20384
/proc/meminfo: memFree=29499832/32950928 swapFree=67111428/67111528
[pid=20318] ppid=20316 vsize=885536 CPUtime=4800.21 cores=0,2,4,6
/proc/20318/stat : 20318 (strangenight2-m) R 20316 20318 20152 0 -1 4202496 596472 0 0 0 479795 226 0 0 25 0 4 0 523277792 906788864 159935 33554432000 4194304 4627427 140733585528752 18446744073709551615 4308376 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/20318/statm: 221384 159935 389 106 0 216355 0
[pid=20318/tid=20319] ppid=20316 vsize=885536 CPUtime=1201.7 cores=0,2,4,6
/proc/20318/task/20319/stat : 20319 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 178600 0 0 0 120105 65 0 0 25 0 4 0 523277793 906788864 159935 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=20318/tid=20320] ppid=20316 vsize=885536 CPUtime=1195.17 cores=0,2,4,6
/proc/20318/task/20320/stat : 20320 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 160566 0 0 0 119456 61 0 0 25 0 4 0 523277793 906788864 159935 33554432000 4194304 4627427 140733585528752 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=20318/tid=20321] ppid=20316 vsize=885536 CPUtime=1201.71 cores=0,2,4,6
/proc/20318/task/20321/stat : 20321 (strangenight2-m) R 20316 20318 20152 0 -1 4202560 92148 0 0 0 120134 37 0 0 25 0 4 0 523277793 906788864 159935 33554432000 4194304 4627427 140733585528752 18446744073709551615 4310114 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.21
Current children cumulated vsize (KiB) 885536

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.74
CPU time (s): 4800.28
CPU user time (s): 4797.98
CPU system time (s): 2.29865
CPU usage (%): 399.443
Max. virtual memory (cumulated for all children) (KiB): 993760

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.98
system time used= 2.29865
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 596473
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= 270
involuntary context switches= 21840

runsolver used 1.9367 second user time and 4.6043 second system time

The end

Launcher Data 

Begin job on node123 at 2011-04-30 00:39:40
IDJOB=3174276
IDBENCH=83094
IDSOLVER=1586
FILE ID=node123/3174276-1304116780
RUNJOBID= node123-1304115576-20170
PBS_JOBID= 13170709
Free space on /tmp= 72812 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S397702672-080.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174276-1304116780/watcher-3174276-1304116780 -o /tmp/evaluation-result-3174276-1304116780/solver-3174276-1304116780 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174276-1304116780.cnf

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

MD5SUM BENCH= 0fc04a37bb65455aedf3737bd6551a47
RANDOM SEED=908838344

node123.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30638732 kB
Buffers:        580648 kB
Cached:        1304348 kB
SwapCached:        100 kB
Active:         142116 kB
Inactive:      1808572 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30638732 kB
SwapTotal:    67111528 kB
SwapFree:     67111428 kB
Dirty:            5852 kB
Writeback:           0 kB
AnonPages:       65432 kB
Mapped:          15116 kB
Slab:           298000 kB
PageTables:       4288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   222016 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= 72808 MiB
End job on node123 at 2011-04-30 00:59:44