Trace number 3175094

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-1-mt? (TO) 4800.33 1201.74

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf
MD5SUM65ec9a3d3f909189961ec0dd141dd0a7
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.548915
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3175094-1307654434.cnf'
0.00/0.00	c -- header says num vars:            750
0.00/0.00	c -- header says num clauses:        3195
0.00/0.00	c -- clauses added:            0 learnts,         3195 normals,            0 xors
0.00/0.00	c -- vars added        750
0.00/0.00	c Parsing time:  0.01 s
0.00/0.00	c  N st     0         0       750      3195         0         0      9585         0   no data   no data  --
0.00/0.00	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 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.02/0.85	c lits-rem:         0  cl-subs:        0  v-elim:     20  v-fix:    0  time:  0.01 s
0.02/0.85	c Finding binary XORs  T:     0.00 s  found:       0
0.02/0.85	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.02/0.85	c calculated reachability. Time: 0.00
0.02/0.85	c Calc default polars -  time:   0.00 s pos:     314 undec:      96 neg:     340
0.02/0.85	c =========================================================================================
0.02/0.85	c types(t): F = full restart, N = normal restart
0.02/0.85	c types(t): S = simplification begin/end, E = solution found
0.02/0.85	c restart types(rt): st = static, dy = dynamic
0.02/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.02/0.85	c  B st     0         0       730      3188         0         0      9692         0   no data   no data  --
0.02/0.85	c Decided on static restart strategy
0.02/0.85	c  N st     8      4913       730      3188         0      4869      9692    149777   no data   no data  --
0.02/0.85	c  N st    10     11295       730      3188         0      4497      9692     97212   no data   no data  --
0.02/0.85	c  N st    11     17038       730      3188         0     10152      9692    285477   no data   no data  --
4.80/1.25	c  F st    12     25002       730      3188         0     12462      9692    347726   no data   no data  --
4.80/1.25	c  N st    12     25002       730      3188         0     12462      9692    347726   no data   no data  --
5.60/1.45	c Decided on static restart strategy
5.60/1.45	c  N st    18     30003       730      3188         0     10747      9692    267653   no data   no data  --
5.60/1.45	c  S st    18     30003       730      3188         0     10747      9692    267653   no data   no data  --
5.60/1.48	c  S st    18     30505       730      3188         0     11249      9692    282141   no data   no data  --
5.60/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.60/1.48	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
5.60/1.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
5.60/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.60/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.60/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
5.60/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.19/1.82	c lits-rem:       250  cl-subs:      228  v-elim:      0  v-fix:    0  time:  1.28 s
7.19/1.83	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.04
7.19/1.83	c calculated reachability. Time: 0.00
7.19/1.83	c  N st    18     30505       730      3188         0     11021      9692    273348   no data   no data  --
8.77/2.24	c  N st    20     37615       730      3188         0     10266      9692    229441   no data   no data  --
10.37/2.68	c  N st    21     44014       730      3188         0     16582      9692    438071   no data   no data  --
11.16/2.80	c  S st    22     45757       730      3188         0      9483      9692    177244   no data   no data  --
11.16/2.83	c  S st    22     46260       730      3188         0      9986      9692    192886   no data   no data  --
11.16/2.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.16/2.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.16/2.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
11.16/2.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
11.16/2.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11.16/2.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
11.16/2.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.98/3.01	c lits-rem:        36  cl-subs:       32  v-elim:      0  v-fix:    0  time:  0.69 s
11.98/3.01	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
11.98/3.01	c vivif2 --  cl tried     9954 cl shrink        0 lits rem          0 time: 0.01
11.98/3.02	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.03
11.98/3.02	c calculated reachability. Time: 0.00
11.98/3.02	c  N st    22     46260       730      3188         0      9954      9692    191456   no data   no data  --
15.98/4.03	c  N st    23     60657       730      3188         0     14316      9692    329162   no data   no data  --
18.76/4.73	c  N st    24     69390       730      3188         0     12104      9692    237908   no data   no data  --
18.76/4.73	c  S st    24     69390       730      3188         0     12104      9692    237908   no data   no data  --
18.76/4.76	c  S st    24     69892       730      3188         0     12606      9692    251955   no data   no data  --
18.76/4.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
18.76/4.76	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
18.76/4.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.02
18.76/4.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
18.76/4.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.76/4.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
18.76/4.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
19.95/5.08	c lits-rem:        39  cl-subs:       95  v-elim:      0  v-fix:    0  time:  1.23 s
19.95/5.08	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
19.95/5.09	c vivif2 --  cl tried    12511 cl shrink        0 lits rem          0 time: 0.01
19.95/5.10	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.04
19.95/5.10	c calculated reachability. Time: 0.00
19.95/5.10	c  N st    24     69892       730      3188         0     12511      9692    248139   no data   no data  --
25.95/6.57	c  F st    25     87501       730      3188         0     18044      9692    417852   no data   no data  --
25.95/6.57	c  N st    25     87501       730      3188         0     18044      9692    417852   no data   no data  --
27.54/6.99	c Decided on static restart strategy
28.74/7.29	c  N st    32     95542       730      3188         0     13167      9692    223263   no data   no data  --
31.94/8.02	c  N st    34    104841       730      3188         0     22356      9692    510349   no data   no data  --
31.94/8.02	c  S st    34    104841       730      3188         0     22356      9692    510349   no data   no data  --
31.94/8.08	c  S st    34    105343       730      3188         0     22857      9692    525571   no data   no data  --
31.94/8.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
31.94/8.08	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
31.94/8.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.03
32.34/8.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
32.34/8.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
32.34/8.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
32.34/8.10	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
38.35/9.63	c lits-rem:       169  cl-subs:      500  v-elim:      0  v-fix:    0  time:  6.09 s
38.35/9.63	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
38.35/9.64	c vivif2 --  cl tried    22357 cl shrink        0 lits rem          0 time: 0.02
38.35/9.66	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.08
38.35/9.66	c calculated reachability. Time: 0.00
38.35/9.66	c  N st    34    105343       730      3188         0     22357      9692    506988   no data   no data  --
41.93/10.59	c  N st    35    114941       730      3188         0     18031      9692    342746   no data   no data  --
47.91/12.06	c  N st    36    129342       730      3188         0     17398      9692    302500   no data   no data  --
56.30/14.13	c  N st    37    150937       730      3188         0     22940      9692    463255   no data   no data  --
59.10/14.80	c  S st    38    158014       730      3188         0     29919      9692    683766   no data   no data  --
59.10/14.87	c  S st    38    158515       730      3188         0     30418      9692    697839   no data   no data  --
59.10/14.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
59.10/14.87	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
59.10/14.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.04
59.50/14.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
59.50/14.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
59.50/14.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
59.50/14.90	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
67.49/16.91	c lits-rem:       358  cl-subs:      931  v-elim:      0  v-fix:    0  time:  8.01 s
67.49/16.91	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
67.49/16.92	c vivif2 --  cl tried    29487 cl shrink        0 lits rem          0 time: 0.03
67.49/16.94	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.10
67.49/16.94	c calculated reachability. Time: 0.00
67.49/16.94	c  N st    38    158515       730      3188         0     29487      9692    666424   no data   no data  --
89.06/22.32	c  N st    39    207104       730      3188         0     24170      9692    454756   no data   no data  --
103.04/25.88	c  N st    40    237773       730      3188         0     34784      9692    774507   no data   no data  --
103.04/25.88	c  S st    40    237773       730      3188         0     34784      9692    774507   no data   no data  --
103.44/25.95	c  S st    40    238276       730      3188         0     35286      9692    789478   no data   no data  --
103.44/25.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
103.44/25.96	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
103.44/25.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.05
103.44/25.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
103.44/25.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
103.44/25.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
103.44/25.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
113.05/28.31	c lits-rem:       744  cl-subs:      991  v-elim:      0  v-fix:    0  time:  9.23 s
113.05/28.31	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
113.05/28.32	c vivif2 --  cl tried    34295 cl shrink        0 lits rem          0 time: 0.04
113.05/28.35	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.14
113.05/28.35	c calculated reachability. Time: 0.00
113.05/28.35	c  N st    40    238276       730      3188         0     34295      9692    754041   no data   no data  --
148.98/37.37	c  F st    41    306250       730      3188         0     36047      9692    751700   no data   no data  --
148.98/37.37	c  N st    41    306250       730      3188         0     36047      9692    751700   no data   no data  --
159.37/39.98	c  N dy    92    326220       730      3188         0     32158      9692    526614     20.93     22.10  --
170.55/42.79	c  N dy   137    346281       730      3188         0     27248      9692    333332     19.94     21.20  --
176.14/44.13	c  S st   193    357415       730      3188         0     38322      9692    673012     20.07     17.82  --
176.55/44.22	c  S st   193    357917       730      3188         0     38823      9692    687350     20.07   no data  --
176.55/44.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
176.55/44.22	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
176.55/44.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.05
176.55/44.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
176.55/44.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
176.55/44.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
176.55/44.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
185.73/46.54	c lits-rem:       565  cl-subs:      205  v-elim:      0  v-fix:    0  time:  9.09 s
185.73/46.54	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
185.73/46.55	c vivif2 --  cl tried    38618 cl shrink        0 lits rem          0 time: 0.03
185.73/46.58	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.15
185.73/46.58	c calculated reachability. Time: 0.00
185.73/46.58	c  N dy   193    357917       730      3188         0     38618      9692    679071     20.07   no data  --
198.11/49.69	c  N dy   273    378415       730      3188         0     33182      9692    472828     20.00     21.25  --
212.10/53.12	c  N dy   394    398487       730      3188         0     53138      9692   1078501     20.22     26.98  --
222.89/55.81	c  N dy   486    418570       730      3188         0     46289      9692    842237     20.25     21.79  --
235.68/59.02	c  N dy   595    438668       730      3188         0     38441      9692    577521     20.33     24.48  --
249.65/62.58	c  N dy   694    458708       730      3188         0     29540      9692    275642     20.40     21.53  --
261.23/65.42	c  N dy   783    478721       730      3188         0     49411      9692    875013     20.40     21.57  --
275.63/69.04	c  N dy   857    500832       730      3188         0     41575      9692    615398     20.32     21.52  --
290.39/72.79	c  N dy   924    520849       730      3188         0     61454      9692   1212430     20.26     24.31  --
299.98/75.13	c  S st  1010    536876       730      3188         0     46592      9692    741968     20.30     18.94  --
300.38/75.23	c  S st  1010    537382       730      3188         0     47098      9692    756370     20.30   no data  --
300.38/75.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
300.38/75.23	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
300.38/75.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.07
300.38/75.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
300.38/75.28	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
300.38/75.28	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
300.38/75.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
310.37/77.71	c lits-rem:       580  cl-subs:      309  v-elim:      0  v-fix:    0  time:  9.69 s
310.37/77.71	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
310.37/77.71	c vivif2 --  cl tried    46789 cl shrink        0 lits rem          0 time: 0.03
310.37/77.76	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.20
310.37/77.77	c calculated reachability. Time: 0.00
310.37/77.77	c  N dy  1010    537382       730      3188         0     46789      9692    744321     20.30   no data  --
325.54/81.54	c  N dy  1100    557553       730      3188         0     35021      9692    361522     20.32     21.45  --
338.32/84.79	c  N dy  1208    577615       730      3188         0     54941      9692    963170     20.35     23.68  --
354.32/88.75	c  N dy  1315    598795       730      3188         0     43198      9692    583932     20.38     21.51  --
369.89/92.61	c  N dy  1390    618890       730      3188         0     63144      9692   1182791     20.39     21.50  --
384.27/96.21	c  N dy  1478    639843       730      3188         0     50170      9692    760898     20.39     21.50  --
402.65/100.81	c  N dy  1583    659973       730      3188         0     35429      9692    295343     20.42     21.97  --
415.84/104.19	c  N dy  1695    680459       730      3188         0     55747      9692    914569     20.46     21.59  --
434.19/108.73	c  N dy  1792    700506       730      3188         0     39938      9692    409401     20.49     24.55  --
449.77/112.69	c  N dy  1879    720612       730      3188         0     59881      9692   1013688     20.49     21.73  --
467.75/117.12	c  N dy  1978    740797       730      3188         0     43194      9692    480071     20.51     21.60  --
482.93/120.97	c  N dy  2059    760860       730      3188         0     63079      9692   1080014     20.51     21.73  --
500.51/125.33	c  N dy  2154    780931       730      3188         0     45304      9692    517901     20.53     22.21  --
517.31/129.53	c  N dy  2227    801545       730      3188         0     65734      9692   1134969     20.53     21.68  --
522.08/130.70	c  S st  2250    806073       730      3188         0     70239      9692   1275991     20.54     17.17  --
522.48/130.88	c  S st  2250    806578       730      3188         0     70742      9692   1290768     20.54   no data  --
522.48/130.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
522.48/130.89	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
522.88/130.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.13
522.88/130.96	c bin-w-bin subsume rem            0 bins  time:  0.00 s
522.88/130.96	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
522.88/130.96	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
522.88/130.96	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
531.27/133.02	c lits-rem:       299  cl-subs:      885  v-elim:      0  v-fix:    0  time:  8.21 s
531.27/133.02	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
531.27/133.03	c vivif2 --  cl tried    69857 cl shrink        0 lits rem          0 time: 0.06
531.67/133.12	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.33
531.67/133.12	c calculated reachability. Time: 0.00
531.67/133.12	c  N dy  2250    806578       730      3188         0     69857      9692   1260071     20.54   no data  --
548.44/137.31	c  N dy  2314    826597       730      3188         0     51006      9692    678647     20.50     21.63  --
566.41/141.89	c  N dy  2384    847327       730      3188         0     71542      9692   1290244     20.49     21.82  --
615.55/154.10	c  N dy  2448    900038       730      3188         0     43481      9692    393823     20.24     21.56  --
631.55/158.13	c  N dy  2581    920072       730      3188         0     63372      9692    996759     20.28     22.82  --
653.90/163.74	c  N dy  2693    940143       730      3188         0     83303      9692   1604195     20.31     23.28  --
668.67/167.45	c  N dy  2799    960210       730      3188         0     61560      9692    922378     20.34     21.44  --
690.64/172.90	c  N dy  2907    980278       730      3188         0     81514      9692   1531957     20.36     22.99  --
707.82/177.22	c  N dy  3042   1000326       730      3188         0     58767      9692    814193     20.39     23.91  --
728.60/182.47	c  N dy  3169   1020359       730      3188         0     78655      9692   1423178     20.42     21.50  --
748.18/187.40	c  N dy  3279   1040368       730      3188         0     54820      9692    667411     20.44     23.92  --
768.54/192.41	c  N dy  3384   1060861       730      3188         0     75161      9692   1281766     20.46     21.64  --
782.52/195.98	c  F st  3449   1071875       730      3188         0     86097      9692   1614053     20.47   no data  --
788.12/197.35	c Decided on static restart strategy
792.51/198.49	c  N st  3457   1084181       730      3188         0     53578      9692    612772     20.47   no data  --
820.87/205.53	c  N st  3460   1114575       730      3188         0     83571      9692   1607544     20.47   no data  --
840.05/210.30	c  N st  3461   1136171       730      3188         0     59280      9692   1289376     20.47   no data  --
876.40/219.44	c  N st  3462   1168564       730      3188         0     91186      9692   2312707     20.47   no data  --
916.76/229.51	c  N st  3463   1209867       730      3188         0     85421      9692   2021667     20.47   no data  --
916.76/229.51	c  S st  3463   1209867       730      3188         0     85421      9692   2021667     20.47   no data  --
917.54/229.75	c  S st  3463   1210371       730      3188         0     85925      9692   2037109     20.47   no data  --
917.54/229.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
917.54/229.75	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
917.94/229.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.17
917.94/229.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
917.94/229.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
917.94/229.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
917.94/229.86	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
955.89/239.30	c lits-rem:       219  cl-subs:     4726  v-elim:      0  v-fix:    0  time: 37.68 s
955.89/239.30	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
955.89/239.33	c vivif2 --  cl tried    81199 cl shrink        0 lits rem          0 time: 0.09
956.31/239.45	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.48
956.31/239.45	c calculated reachability. Time: 0.00
956.31/239.45	c  N st  3463   1210371       730      3188         0     81199      9692   1879472     20.47   no data  --
1037.77/259.88	c  N st  3464   1283255       730      3188         0     57736      9692   1033040     20.47   no data  --
1149.23/287.73	c  N st  3465   1392578       730      3188         0     66017      9692   1254526     20.47   no data  --
1327.79/332.48	c  N st  3466   1556562       730      3188         0     70540      9692   1242194     20.47   no data  --
1498.75/375.22	c  N st  3467   1710373       730      3188         0     56595      9692    721530     20.47   no data  --
1498.75/375.22	c  S st  3467   1710373       730      3188         0     56595      9692    721530     20.47   no data  --
1499.15/375.36	c  S st  3467   1710876       730      3188         0     57098      9692    735934     20.47   no data  --
1499.15/375.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
1499.15/375.36	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1499.15/375.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.10
1499.55/375.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1499.55/375.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1499.55/375.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
1499.55/375.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1507.54/377.49	c lits-rem:       474  cl-subs:      213  v-elim:      0  v-fix:    0  time:  8.29 s
1507.54/377.49	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
1507.94/377.50	c vivif2 --  cl tried    56885 cl shrink        0 lits rem          0 time: 0.04
1507.94/377.56	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.27
1507.94/377.57	c calculated reachability. Time: 0.00
1507.94/377.57	c  N st  3467   1710876       730      3188         0     56885      9692    729670     20.47   no data  --
1968.11/492.73	c  N st  3468   2079842       730      3188         0     62497      9692    737038     20.47   no data  --
2123.50/531.67	c  N st  3469   2210876       730      3188         0     64675      9692    756896     20.47   no data  --
2123.50/531.67	c  S st  3469   2210876       730      3188         0     64675      9692    756896     20.47   no data  --
2124.30/531.83	c  S st  3469   2211380       730      3188         0     65179      9692    772641     20.47   no data  --
2124.30/531.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
2124.30/531.83	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2124.30/531.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.11
2124.30/531.89	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2124.30/531.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2124.30/531.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
2124.30/531.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2133.10/534.04	c lits-rem:       242  cl-subs:      141  v-elim:      0  v-fix:    0  time:  8.59 s
2133.10/534.04	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
2133.10/534.05	c vivif2 --  cl tried    65038 cl shrink        0 lits rem          0 time: 0.04
2133.50/534.13	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.32
2133.50/534.13	c calculated reachability. Time: 0.00
2133.50/534.13	c  N st  3469   2211380       730      3188         0     65038      9692    768786     20.47   no data  --
2717.49/680.36	c  N st  3470   2711380       730      3188         0     82164      9692   1211768     20.47   no data  --
2717.49/680.36	c  S st  3470   2711380       730      3188         0     82164      9692   1211768     20.47   no data  --
2718.31/680.58	c  S st  3470   2711884       730      3188         0     82668      9692   1226421     20.47   no data  --
2718.31/680.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2718.31/680.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2718.71/680.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.16
2718.71/680.67	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2718.71/680.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2718.71/680.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
2718.71/680.67	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2727.10/682.74	c lits-rem:       292  cl-subs:      648  v-elim:      0  v-fix:    0  time:  8.26 s
2727.10/682.74	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
2727.10/682.75	c vivif2 --  cl tried    82020 cl shrink        0 lits rem          0 time: 0.06
2727.50/682.87	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.46
2727.50/682.87	c calculated reachability. Time: 0.00
2727.50/682.87	c  N st  3470   2711884       730      3188         0     82020      9692   1200267     20.47   no data  --
3393.37/849.51	c  N st  3471   3211885       730      3188         0    128190      9692   2793649     20.47   no data  --
3393.37/849.51	c  S st  3471   3211885       730      3188         0    128190      9692   2793649     20.47   no data  --
3394.57/849.87	c  S st  3471   3212392       730      3188         0    128697      9692   2810694     20.47   no data  --
3394.57/849.88	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3394.57/849.88	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3394.99/849.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.27
3395.40/850.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3395.40/850.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3395.40/850.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
3395.40/850.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3470.87/868.94	c lits-rem:       336  cl-subs:     4243  v-elim:      0  v-fix:    0  time: 75.50 s
3470.87/868.94	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
3470.87/868.98	c vivif2 --  cl tried   124454 cl shrink        0 lits rem          0 time: 0.13
3471.67/869.19	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.86
3471.67/869.20	c calculated reachability. Time: 0.00
3471.67/869.20	c  N st  3471   3212392       730      3188         0    124454      9692   2643578     20.47   no data  --
4262.59/1067.13	c  N st  3472   3712392       730      3188         0    135286      9692   2816420     20.47   no data  --
4262.59/1067.13	c  S st  3472   3712392       730      3188         0    135286      9692   2816420     20.47   no data  --
4264.19/1067.56	c  S st  3472   3712894       730      3188         0    135787      9692   2831850     20.47   no data  --
4264.19/1067.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4264.19/1067.57	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4264.59/1067.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.30
4265.01/1067.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4265.01/1067.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4265.01/1067.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    730 time:  0.00 s
4265.01/1067.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4340.88/1086.78	c lits-rem:       140  cl-subs:     4351  v-elim:      0  v-fix:    0  time: 76.01 s
4340.88/1086.78	c vivif2 --  cl tried     3188 cl shrink        0 lits rem          0 time: 0.00
4341.28/1086.81	c vivif2 --  cl tried   131436 cl shrink        0 lits rem          0 time: 0.14
4342.08/1087.02	c asymm  cl-useful: 0/3188/3188 lits-rem:0 time: 0.85
4342.08/1087.03	c calculated reachability. Time: 0.00
4342.08/1087.03	c  N st  3472   3712894       730      3188         0    131436      9692   2671438     20.47   no data  --
4419.19/1106.37	c  F st  3473   3751563       730      3188         0     86051      9692    968132     20.47   no data  --
4419.19/1106.37	c  N st  3473   3751563       730      3188         0     86051      9692    968132     20.47   no data  --
4425.17/1107.86	c Decided on static restart strategy
4459.11/1116.39	c  N st  3483   3779865       730      3188         0    113979      9692   1893426     20.47   no data  --
4526.63/1133.28	c  N st  3485   3815857       730      3188         0    149424      9692   3051431     20.47   no data  --
4588.94/1148.81	c  N st  3486   3848252       730      3188         0     96582      9692   1312575     20.47   no data  --
4672.03/1169.60	c  N st  3487   3896842       730      3188         0    144161      9692   2790116     20.47   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: 977)

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-3175094-1307654434/watcher-3175094-1307654434 -o /tmp/evaluation-result-3175094-1307654434/solver-3175094-1307654434 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3175094-1307654434.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.71 7.93 6.32 7/180 28802
/proc/meminfo: memFree=32090488/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 418 0 0 0 0 0 0 0 25 0 4 0 877043089 52465664 357 33554432000 4194304 4650419 140733298823664 18446744073709551615 274473967547 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 12809 357 306 112 0 7774 0
[pid=28802/tid=28803] ppid=28800 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877043089 52465664 357 33554432000 4194304 4650419 140733298823664 18446744073709551615 47195878066098 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877043089 52465664 357 33554432000 4194304 4650419 140733298823664 18446744073709551615 274469014614 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=51236 CPUtime=0 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 877043089 52465664 357 33554432000 4194304 4650419 140733298823664 18446744073709551615 274469014614 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.010981 s]
/proc/loadavg: 7.71 7.93 6.32 7/180 28802
/proc/meminfo: memFree=32090488/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=282204 CPUtime=0.02 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 1265 0 0 0 2 0 0 0 25 0 4 0 877043089 288976896 1113 33554432000 4194304 4650419 140733298823664 18446744073709551615 274474010807 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 70551 1277 384 112 0 65516 0
[pid=28802/tid=28803] ppid=28800 vsize=291692 CPUtime=0.18 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) D 28800 28802 28625 0 -1 4202560 565 0 0 0 18 0 0 0 18 0 4 0 877043089 298692608 2136 33554432000 4194304 4650419 140733298823664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=285196 CPUtime=0.79 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1315 0 0 0 79 0 0 0 18 0 4 0 877043089 292040704 3314 33554432000 4194304 4650419 140733298823664 18446744073709551615 4339892 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=285196 CPUtime=0.8 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1306 0 0 0 80 0 0 0 25 0 4 0 877043089 292040704 3314 33554432000 4194304 4650419 140733298823664 18446744073709551615 4360308 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 282204

[startup+0.906796 s]
/proc/loadavg: 7.71 7.93 6.32 7/180 28802
/proc/meminfo: memFree=32090488/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=285788 CPUtime=3.6 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 6607 0 0 0 359 1 0 0 25 0 4 0 877043089 292646912 3137 33554432000 4194304 4650419 140733298823664 18446744073709551615 4334592 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 71447 3137 393 112 0 66412 0
[pid=28802/tid=28803] ppid=28800 vsize=285788 CPUtime=0.89 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1646 0 0 0 89 0 0 0 19 0 4 0 877043089 292646912 3137 33554432000 4194304 4650419 140733298823664 18446744073709551615 4303973 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=285788 CPUtime=0.89 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1597 0 0 0 89 0 0 0 19 0 4 0 877043089 292646912 3137 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366943 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=285788 CPUtime=0.9 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1375 0 0 0 90 0 0 0 25 0 4 0 877043089 292646912 3137 33554432000 4194304 4650419 140733298823664 18446744073709551615 4333980 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 285788

[startup+1.00678 s]
/proc/loadavg: 7.71 7.93 6.32 7/180 28802
/proc/meminfo: memFree=32090488/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=285788 CPUtime=4 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 6864 0 0 0 399 1 0 0 25 0 4 0 877043089 292646912 3394 33554432000 4194304 4650419 140733298823664 18446744073709551615 4328315 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 71447 3394 393 112 0 66412 0
[pid=28802/tid=28803] ppid=28800 vsize=285788 CPUtime=0.99 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1711 0 0 0 99 0 0 0 19 0 4 0 877043089 292646912 3394 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=285788 CPUtime=0.99 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1662 0 0 0 99 0 0 0 19 0 4 0 877043089 292646912 3394 33554432000 4194304 4650419 140733298823664 18446744073709551615 4349707 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=285788 CPUtime=1 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1437 0 0 0 100 0 0 0 25 0 4 0 877043089 292646912 3394 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 285788

[startup+1.10676 s]
/proc/loadavg: 7.71 7.93 6.32 7/180 28802
/proc/meminfo: memFree=32090488/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=285788 CPUtime=4.4 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 7098 0 0 0 439 1 0 0 25 0 4 0 877043089 292646912 3628 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366845 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 71447 3628 394 112 0 66412 0
[pid=28802/tid=28803] ppid=28800 vsize=285788 CPUtime=1.09 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1770 0 0 0 109 0 0 0 19 0 4 0 877043089 292646912 3628 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363566 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=285788 CPUtime=1.09 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1716 0 0 0 109 0 0 0 19 0 4 0 877043089 292646912 3628 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365327 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=285788 CPUtime=1.1 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1500 0 0 0 110 0 0 0 25 0 4 0 877043089 292646912 3628 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363880 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 285788

[startup+1.50669 s]
/proc/loadavg: 7.71 7.93 6.32 7/180 28802
/proc/meminfo: memFree=32090488/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=286444 CPUtime=5.99 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 10597 0 0 0 598 1 0 0 25 0 4 0 877043089 293318656 5430 33554432000 4194304 4650419 140733298823664 18446744073709551615 4433074 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 71611 5430 395 112 0 66576 0
[pid=28802/tid=28803] ppid=28800 vsize=286444 CPUtime=1.49 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 2274 0 0 0 149 0 0 0 20 0 4 0 877043089 293318656 5430 33554432000 4194304 4650419 140733298823664 18446744073709551615 4331944 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=286444 CPUtime=1.49 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 2211 0 0 0 149 0 0 0 20 0 4 0 877043089 293318656 5430 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=286444 CPUtime=1.5 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 1915 0 0 0 150 0 0 0 25 0 4 0 877043089 293318656 5430 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 286444

[startup+3.10041 s]
/proc/loadavg: 7.71 7.93 6.32 9/184 28806
/proc/meminfo: memFree=32002260/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=304380 CPUtime=12.36 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 19635 0 0 0 1233 3 0 0 25 0 4 0 877043089 311685120 11742 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366904 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 76095 11742 395 112 0 71060 0
[pid=28802/tid=28803] ppid=28800 vsize=304380 CPUtime=3.07 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 4719 0 0 0 307 0 0 0 25 0 4 0 877043089 311685120 11742 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366906 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=304380 CPUtime=3.08 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 5168 0 0 0 308 0 0 0 25 0 4 0 877043089 311685120 11742 33554432000 4194304 4650419 140733298823664 18446744073709551615 4476738 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=304380 CPUtime=3.08 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 4289 0 0 0 308 0 0 0 25 0 4 0 877043089 311685120 11742 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364424 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) 304380

[startup+6.30685 s]
/proc/loadavg: 7.73 7.94 6.33 9/184 28807
/proc/meminfo: memFree=31973876/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=314476 CPUtime=25.17 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 28615 0 0 0 2512 5 0 0 25 0 4 0 877043089 322023424 15440 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 78619 15440 395 112 0 73584 0
[pid=28802/tid=28803] ppid=28800 vsize=314476 CPUtime=6.26 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 8058 0 0 0 625 1 0 0 25 0 4 0 877043089 322023424 15440 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363506 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=314476 CPUtime=6.29 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 7266 0 0 0 628 1 0 0 25 0 4 0 877043089 322023424 15440 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=314476 CPUtime=6.29 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 5106 0 0 0 629 0 0 0 25 0 4 0 877043089 322023424 15440 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364346 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 314476

[startup+12.7007 s]
/proc/loadavg: 7.76 7.94 6.34 9/184 28807
/proc/meminfo: memFree=31916872/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=300564 CPUtime=50.71 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 42328 0 0 0 5063 8 0 0 25 0 4 0 877043089 307777536 23562 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363484 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 75141 23562 395 112 0 70106 0
[pid=28802/tid=28803] ppid=28800 vsize=300564 CPUtime=12.63 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 11117 0 0 0 1261 2 0 0 25 0 4 0 877043089 307777536 23562 33554432000 4194304 4650419 140733298823664 18446744073709551615 4438399 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=300564 CPUtime=12.68 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 11313 0 0 0 1266 2 0 0 25 0 4 0 877043089 307777536 23562 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363337 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=300564 CPUtime=12.69 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 7467 0 0 0 1268 1 0 0 25 0 4 0 877043089 307777536 23562 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 300564

[startup+25.5005 s]
/proc/loadavg: 7.81 7.94 6.37 9/184 28807
/proc/meminfo: memFree=31848056/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=310476 CPUtime=101.84 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 59343 0 0 0 10172 12 0 0 25 0 4 0 877043089 317927424 31053 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364788 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 77619 31053 395 112 0 72584 0
[pid=28802/tid=28803] ppid=28800 vsize=310476 CPUtime=25.35 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 14812 0 0 0 2532 3 0 0 25 0 4 0 877043089 317927424 31053 33554432000 4194304 4650419 140733298823664 18446744073709551615 4333866 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=310476 CPUtime=25.48 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 15824 0 0 0 2545 3 0 0 25 0 4 0 877043089 317927424 31053 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363455 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=310476 CPUtime=25.49 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 9212 0 0 0 2547 2 0 0 25 0 4 0 877043089 317927424 31053 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366253 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 310476

[startup+51.101 s]
/proc/loadavg: 7.87 7.94 6.41 9/184 28808
/proc/meminfo: memFree=31783372/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=301316 CPUtime=204.11 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 90524 0 0 0 20390 21 0 0 25 0 4 0 877043089 308547584 39150 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 75329 39150 395 112 0 70294 0
[pid=28802/tid=28803] ppid=28800 vsize=301316 CPUtime=50.83 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 25479 0 0 0 5076 7 0 0 25 0 4 0 877043089 308547584 39150 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=301316 CPUtime=51.08 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 25652 0 0 0 5103 5 0 0 25 0 4 0 877043089 308547584 39150 33554432000 4194304 4650419 140733298823664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=301316 CPUtime=51.09 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 9961 0 0 0 5107 2 0 0 25 0 4 0 877043089 308547584 39150 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 301316

[startup+102.301 s]
/proc/loadavg: 7.94 7.95 6.49 9/184 28809
/proc/meminfo: memFree=31674456/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=499104 CPUtime=408.64 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 126104 0 0 0 40832 32 0 0 25 0 4 0 877043089 511082496 54181 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364736 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 124776 54181 395 112 0 119741 0
[pid=28802/tid=28803] ppid=28800 vsize=499104 CPUtime=101.75 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 34948 0 0 0 10165 10 0 0 25 0 4 0 877043089 511082496 54181 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=499104 CPUtime=102.27 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 40051 0 0 0 10219 8 0 0 25 0 4 0 877043089 511082496 54181 33554432000 4194304 4650419 140733298823664 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=499104 CPUtime=102.29 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 12419 0 0 0 10226 3 0 0 25 0 4 0 877043089 511082496 54181 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 499104

[startup+162.3 s]

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

[pid=28802] ppid=28800 vsize=672832 CPUtime=2805.38 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 418077 0 0 0 280392 146 0 0 25 0 4 0 877043089 688979968 109097 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 168208 109097 395 112 0 163173 0
[pid=28802/tid=28803] ppid=28800 vsize=672832 CPUtime=698.52 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 124678 0 0 0 69810 42 0 0 25 0 4 0 877043089 688979968 109097 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=672832 CPUtime=702.29 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 133884 0 0 0 70179 50 0 0 25 0 4 0 877043089 688979968 109097 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=672832 CPUtime=702.31 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 31040 0 0 0 70221 10 0 0 25 0 4 0 877043089 688979968 109097 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2805.38
Current children cumulated vsize (KiB) 672832

[startup+762.301 s]
/proc/loadavg: 8.21 8.10 7.29 9/184 28827
/proc/meminfo: memFree=31142792/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=674708 CPUtime=3045.05 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 444026 0 0 0 304349 156 0 0 25 0 4 0 877043089 690900992 111575 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366831 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 168677 111575 395 112 0 163642 0
[pid=28802/tid=28803] ppid=28800 vsize=674708 CPUtime=758.18 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 130834 0 0 0 75774 44 0 0 25 0 4 0 877043089 690900992 111575 33554432000 4194304 4650419 140733298823664 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=674708 CPUtime=762.29 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 141797 0 0 0 76176 53 0 0 25 0 4 0 877043089 690900992 111575 33554432000 4194304 4650419 140733298823664 18446744073709551615 4313064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=674708 CPUtime=762.31 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 31389 0 0 0 76221 10 0 0 25 0 4 0 877043089 690900992 111575 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3045.05
Current children cumulated vsize (KiB) 674708

[startup+822.3 s]
/proc/loadavg: 8.20 8.11 7.34 9/184 28828
/proc/meminfo: memFree=31097968/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=688348 CPUtime=3284.73 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 472035 0 0 0 328306 167 0 0 25 0 4 0 877043089 704868352 127179 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 172087 127179 395 112 0 167052 0
[pid=28802/tid=28803] ppid=28800 vsize=688348 CPUtime=817.86 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 138353 0 0 0 81739 47 0 0 25 0 4 0 877043089 704868352 127179 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=688348 CPUtime=822.29 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 151827 0 0 0 82173 56 0 0 25 0 4 0 877043089 704868352 127179 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=688348 CPUtime=822.3 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 32101 0 0 0 82220 10 0 0 25 0 4 0 877043089 704868352 127179 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 688348

[startup+882.301 s]
/proc/loadavg: 8.18 8.12 7.39 9/184 28830
/proc/meminfo: memFree=31116740/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=715012 CPUtime=3524.4 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 498265 0 0 0 352264 176 0 0 25 0 4 0 877043089 732172288 117057 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 178753 117057 395 112 0 173718 0
[pid=28802/tid=28803] ppid=28800 vsize=715012 CPUtime=877.54 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 142176 0 0 0 87705 49 0 0 25 0 4 0 877043089 732172288 117057 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=715012 CPUtime=882.29 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 157178 0 0 0 88170 59 0 0 25 0 4 0 877043089 732172288 117057 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=715012 CPUtime=882.31 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 32755 0 0 0 88220 11 0 0 25 0 4 0 877043089 732172288 117057 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365195 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3524.4
Current children cumulated vsize (KiB) 715012

[startup+942.301 s]
/proc/loadavg: 8.17 8.13 7.44 9/184 28831
/proc/meminfo: memFree=31044756/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=887124 CPUtime=3764.09 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 524884 0 0 0 376223 186 0 0 25 0 4 0 877043089 908414976 131000 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365325 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 221781 131000 395 112 0 216746 0
[pid=28802/tid=28803] ppid=28800 vsize=887124 CPUtime=937.22 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 151371 0 0 0 93671 51 0 0 25 0 4 0 877043089 908414976 131000 33554432000 4194304 4650419 140733298823664 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=887124 CPUtime=942.3 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 167526 0 0 0 94168 62 0 0 25 0 4 0 877043089 908414976 131000 33554432000 4194304 4650419 140733298823664 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=887124 CPUtime=942.31 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 33117 0 0 0 94220 11 0 0 25 0 4 0 877043089 908414976 131000 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 887124

[startup+1002.3 s]
/proc/loadavg: 8.16 8.13 7.48 9/184 28833
/proc/meminfo: memFree=31049160/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=924416 CPUtime=4003.74 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 563299 0 0 0 400175 199 0 0 25 0 4 0 877043089 946601984 131731 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364775 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 231104 131731 395 112 0 226069 0
[pid=28802/tid=28803] ppid=28800 vsize=924416 CPUtime=996.89 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 173438 0 0 0 99634 55 0 0 25 0 4 0 877043089 946601984 131731 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=924416 CPUtime=1002.3 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 174435 0 0 0 100164 66 0 0 25 0 4 0 877043089 946601984 131731 33554432000 4194304 4650419 140733298823664 18446744073709551615 4328325 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=924416 CPUtime=1002.31 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 34313 0 0 0 100219 12 0 0 25 0 4 0 877043089 946601984 131731 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4003.74
Current children cumulated vsize (KiB) 924416

[startup+1062.31 s]
/proc/loadavg: 8.14 8.13 7.52 9/184 28835
/proc/meminfo: memFree=30971832/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=819520 CPUtime=4243.44 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 590579 0 0 0 424134 210 0 0 25 0 4 0 877043089 839188480 142436 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365346 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 204880 142436 395 112 0 199845 0
[pid=28802/tid=28803] ppid=28800 vsize=819520 CPUtime=1056.57 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 180293 0 0 0 105599 58 0 0 25 0 4 0 877043089 839188480 142436 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=819520 CPUtime=1062.3 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 182520 0 0 0 106161 69 0 0 25 0 4 0 877043089 839188480 142436 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=819520 CPUtime=1062.32 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 37305 0 0 0 106218 14 0 0 25 0 4 0 877043089 839188480 142436 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 819520

[startup+1122.3 s]
/proc/loadavg: 8.05 8.11 7.55 9/184 28836
/proc/meminfo: memFree=31001144/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=830504 CPUtime=4483.08 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 609634 0 0 0 448090 218 0 0 25 0 4 0 877043089 850436096 138435 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 207626 138435 395 112 0 202591 0
[pid=28802/tid=28803] ppid=28800 vsize=830504 CPUtime=1116.24 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 182216 0 0 0 111565 59 0 0 25 0 4 0 877043089 850436096 138435 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=830504 CPUtime=1122.3 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 187200 0 0 0 112158 72 0 0 25 0 4 0 877043089 850436096 138435 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365289 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=830504 CPUtime=1122.31 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 39035 0 0 0 112216 15 0 0 25 0 4 0 877043089 850436096 138435 33554432000 4194304 4650419 140733298823664 18446744073709551615 4367232 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4483.08
Current children cumulated vsize (KiB) 830504

[startup+1182.3 s]
/proc/loadavg: 8.06 8.10 7.58 9/184 28838
/proc/meminfo: memFree=30944800/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=831692 CPUtime=4722.76 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 626256 0 0 0 472050 226 0 0 25 0 4 0 877043089 851652608 144207 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365246 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 207923 144207 395 112 0 202888 0
[pid=28802/tid=28803] ppid=28800 vsize=831692 CPUtime=1175.91 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 186896 0 0 0 117530 61 0 0 25 0 4 0 877043089 851652608 144207 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=831692 CPUtime=1182.3 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 190670 0 0 0 118156 74 0 0 25 0 4 0 877043089 851652608 144207 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=831692 CPUtime=1182.32 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 41583 0 0 0 118215 17 0 0 25 0 4 0 877043089 851652608 144207 33554432000 4194304 4650419 140733298823664 18446744073709551615 4364433 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4722.76
Current children cumulated vsize (KiB) 831692



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.04 8.09 7.58 5/180 28839
/proc/meminfo: memFree=31500692/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=878496 CPUtime=4800.27 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 634731 0 0 0 479798 229 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 219624 148257 395 112 0 214589 0
[pid=28802/tid=28803] ppid=28800 vsize=878496 CPUtime=1195.21 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 190921 0 0 0 119459 62 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=878496 CPUtime=1201.71 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 191599 0 0 0 120096 75 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=878496 CPUtime=1201.72 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 42141 0 0 0 120155 17 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 878496

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

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

[startup+1201.7 s]
/proc/loadavg: 8.04 8.09 7.58 5/180 28839
/proc/meminfo: memFree=31500692/32950928 swapFree=67079488/67111528
[pid=28802] ppid=28800 vsize=878496 CPUtime=4800.27 cores=0,2,4,6
/proc/28802/stat : 28802 (strangenight1-m) R 28800 28802 28625 0 -1 4202496 634731 0 0 0 479798 229 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366819 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/28802/statm: 219624 148257 395 112 0 214589 0
[pid=28802/tid=28803] ppid=28800 vsize=878496 CPUtime=1195.21 cores=0,2,4,6
/proc/28802/task/28803/stat : 28803 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 190921 0 0 0 119459 62 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4433081 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=28802/tid=28804] ppid=28800 vsize=878496 CPUtime=1201.71 cores=0,2,4,6
/proc/28802/task/28804/stat : 28804 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 191599 0 0 0 120096 75 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=28802/tid=28805] ppid=28800 vsize=878496 CPUtime=1201.72 cores=0,2,4,6
/proc/28802/task/28805/stat : 28805 (strangenight1-m) R 28800 28802 28625 0 -1 4202560 42141 0 0 0 120155 17 0 0 25 0 4 0 877043089 899579904 148257 33554432000 4194304 4650419 140733298823664 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.27
Current children cumulated vsize (KiB) 878496

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.33
CPU user time (s): 4798
CPU system time (s): 2.32165
CPU usage (%): 399.449
Max. virtual memory (cumulated for all children) (KiB): 959644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798
system time used= 2.32165
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 634731
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= 279
involuntary context switches= 23864

runsolver used 2.02369 second user time and 4.50331 second system time

The end

Launcher Data 

Begin job on node125 at 2011-06-09 23:20:34
IDJOB=3175094
IDBENCH=82712
IDSOLVER=1588
FILE ID=node125/3175094-1307654434
RUNJOBID= node125-1307653230-28643
PBS_JOBID= 13549420
Free space on /tmp= 74060 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v750-c3195-S8215859-049.SATISFIABLE.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3175094-1307654434/watcher-3175094-1307654434 -o /tmp/evaluation-result-3175094-1307654434/solver-3175094-1307654434 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3175094-1307654434.cnf

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

MD5SUM BENCH= 65ec9a3d3f909189961ec0dd141dd0a7
RANDOM SEED=1948263887

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32091048 kB
Buffers:        212940 kB
Cached:         408672 kB
SwapCached:       3400 kB
Active:         346448 kB
Inactive:       318984 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32091048 kB
SwapTotal:    67111528 kB
SwapFree:     67079488 kB
Dirty:           12440 kB
Writeback:           0 kB
AnonPages:       41504 kB
Mapped:          14108 kB
Slab:           130040 kB
PageTables:       3880 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   276264 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= 74060 MiB
End job on node125 at 2011-06-09 23:40:38