Trace number 3174060

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.35 1201.73

General information on the benchmark

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

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.00	c Using 4 threads
0.00/0.00	c This is CryptoMiniSat 3.0.0
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3174060-1304080343.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.01	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.01	c -- vars added        650
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2769/2769 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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.18/0.80	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.00 s
3.18/0.80	c Finding binary XORs  T:     0.00 s  found:       0
3.18/0.80	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.18/0.80	c calculated reachability. Time: 0.00
3.18/0.80	c Calc default polars -  time:   0.00 s pos:     275 undec:      72 neg:     303
3.18/0.80	c =========================================================================================
3.18/0.80	c types(t): F = full restart, N = normal restart
3.18/0.80	c types(t): S = simplification begin/end, E = solution found
3.18/0.80	c restart types(rt): st = static, dy = dynamic
3.18/0.80	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.18/0.80	c  B st     0         0       633      2752         0         0      8367         0   no data   no data
3.18/0.80	c Decided on static restart strategy
3.18/0.80	c  N st     8      4915       633      2752         0      4859      8367    137775   no data   no data
3.18/0.80	c  N st    10     11300       633      2752         0      4506      8367     88208   no data   no data
3.18/0.80	c  N st    11     17043       633      2752         0     10184      8367    266567   no data   no data
4.39/1.20	c  F st    12     25000       633      2752         0     12482      8367    321351   no data   no data
4.39/1.20	c  N st    12     25000       633      2752         0     12482      8367    321351   no data   no data
5.57/1.45	c Decided on static restart strategy
5.57/1.45	c  N st    18     30000       633      2752         0     10763      8367    244442   no data   no data
5.57/1.45	c  S st    18     30000       633      2752         0     10763      8367    244442   no data   no data
5.57/1.48	c  S st    18     30503       633      2752         0     11266      8367    257150   no data   no data
5.57/1.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.48	c blocked clauses removed:        0 vars:      0 tried:         633 T: 0.00 s
5.57/1.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.57/1.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.54	c lits-rem:        66  cl-subs:      288  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.55	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
5.97/1.55	c calculated reachability. Time: 0.00
5.97/1.55	c  N st    18     30503       633      2752         0     10978      8367    247535   no data   no data
7.57/1.96	c  N st    20     37616       633      2752         0     10220      8367    208058   no data   no data
9.56/2.40	c  N st    21     44016       633      2752         0     16505      8367    394897   no data   no data
9.96/2.52	c  S st    22     45754       633      2752         0      9408      8367    159169   no data   no data
9.96/2.55	c  S st    22     46254       633      2752         0      9908      8367    171602   no data   no data
9.96/2.55	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.96/2.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.96/2.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.96/2.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.96/2.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
9.96/2.55	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.96/2.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.96/2.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.96/2.57	c lits-rem:        21  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.01 s
9.96/2.57	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
9.96/2.57	c vivif2 --  cl tried     9846 cl shrink        0 lits rem          0 time: 0.00
9.96/2.58	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
9.96/2.58	c calculated reachability. Time: 0.00
9.96/2.58	c  N st    22     46254       633      2752         0      9846      8367    169533   no data   no data
13.95/3.57	c  N st    23     60656       633      2752         0     14213      8367    283092   no data   no data
16.76/4.22	c  N st    24     69382       633      2752         0     11964      8367    206968   no data   no data
16.76/4.22	c  S st    24     69382       633      2752         0     11964      8367    206968   no data   no data
16.76/4.25	c  S st    24     69887       633      2752         0     12468      8367    220786   no data   no data
16.76/4.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.76/4.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.76/4.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.76/4.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.76/4.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
16.76/4.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.76/4.26	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.76/4.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.76/4.30	c lits-rem:        60  cl-subs:      187  v-elim:      0  v-fix:    0  time:  0.03 s
16.76/4.30	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
17.16/4.30	c vivif2 --  cl tried    12281 cl shrink        0 lits rem          0 time: 0.00
17.16/4.31	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
17.16/4.31	c calculated reachability. Time: 0.00
17.16/4.31	c  N st    24     69887       633      2752         0     12281      8367    214979   no data   no data
21.96/5.55	c  F st    25     87501       633      2752         0     17789      8367    362869   no data   no data
21.96/5.55	c  N st    25     87501       633      2752         0     17789      8367    362869   no data   no data
23.54/5.96	c Decided on static restart strategy
24.74/6.23	c  N st    32     95541       633      2752         0     12934      8367    195723   no data   no data
27.14/6.88	c  N st    34    104830       633      2752         0     22038      8367    446810   no data   no data
27.14/6.88	c  S st    34    104830       633      2752         0     22038      8367    446810   no data   no data
27.54/6.94	c  S st    34    105335       633      2752         0     22543      8367    460051   no data   no data
27.54/6.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.54/6.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.54/6.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.54/6.95	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.54/6.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
27.54/6.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.54/6.96	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.54/6.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.17	c lits-rem:       234  cl-subs:      873  v-elim:      0  v-fix:    0  time:  0.19 s
28.33/7.17	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
28.33/7.17	c vivif2 --  cl tried    21670 cl shrink        0 lits rem          0 time: 0.01
28.33/7.18	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
28.33/7.19	c calculated reachability. Time: 0.00
28.33/7.19	c  N st    34    105335       633      2752         0     21670      8367    434416   no data   no data
31.53/7.98	c  N st    35    114933       633      2752         0     17368      8367    294165   no data   no data
37.13/9.38	c  N st    36    129331       633      2752         0     16824      8367    264404   no data   no data
45.11/11.31	c  N st    37    150929       633      2752         0     22289      8367    413120   no data   no data
47.91/12.05	c  S st    38    158002       633      2752         0     29231      8367    617676   no data   no data
48.33/12.12	c  S st    38    158502       633      2752         0     29728      8367    630045   no data   no data
48.33/12.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.33/12.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.33/12.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.33/12.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.33/12.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.33/12.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
48.33/12.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.33/12.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.33/12.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.91/12.53	c lits-rem:       398  cl-subs:      977  v-elim:      0  v-fix:    0  time:  0.38 s
49.91/12.53	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
49.91/12.54	c vivif2 --  cl tried    28751 cl shrink        0 lits rem          0 time: 0.01
49.91/12.56	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.02
49.91/12.56	c calculated reachability. Time: 0.00
49.91/12.56	c  N st    38    158502       633      2752         0     28751      8367    596006   no data   no data
71.88/18.03	c  N st    39    207091       633      2752         0     23399      8367    396852   no data   no data
86.26/21.64	c  N st    40    237754       633      2752         0     33826      8367    679667   no data   no data
86.26/21.64	c  S st    40    237754       633      2752         0     33826      8367    679667   no data   no data
86.66/21.73	c  S st    40    238255       633      2752         0     34327      8367    693360   no data   no data
86.66/21.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.66/21.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.66/21.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.66/21.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.66/21.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.66/21.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
86.66/21.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.66/21.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.66/21.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.86/22.52	c lits-rem:       239  cl-subs:     1615  v-elim:      0  v-fix:    0  time:  0.74 s
89.86/22.52	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
89.86/22.52	c vivif2 --  cl tried    32712 cl shrink        0 lits rem          0 time: 0.01
89.86/22.55	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.02
89.86/22.55	c calculated reachability. Time: 0.00
89.86/22.55	c  N st    40    238255       633      2752         0     32712      8367    641126   no data   no data
125.00/31.34	c  F st    41    306252       633      2752         0     34772      8367    638990   no data   no data
125.00/31.34	c  N st    41    306252       633      2752         0     34772      8367    638990   no data   no data
127.82/32.07	c Decided on static restart strategy
139.78/35.05	c  N st    51    334564       633      2752         0     39062      8367    748882   no data   no data
151.38/37.95	c  N st    53    357382       633      2752         0     37004      8367    664433   no data   no data
151.38/37.95	c  S st    53    357382       633      2752         0     37004      8367    664433   no data   no data
151.77/38.05	c  S st    53    357885       633      2752         0     37507      8367    677643   no data   no data
151.77/38.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
151.77/38.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
151.77/38.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
151.77/38.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.77/38.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.77/38.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
151.77/38.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
151.77/38.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
152.17/38.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
152.97/38.38	c lits-rem:       235  cl-subs:      680  v-elim:      0  v-fix:    0  time:  0.28 s
152.97/38.38	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
152.97/38.39	c vivif2 --  cl tried    36827 cl shrink        0 lits rem          0 time: 0.01
153.37/38.41	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.03
153.37/38.41	c calculated reachability. Time: 0.00
153.37/38.41	c  N st    53    357885       633      2752         0     36827      8367    655619   no data   no data
170.54/42.71	c  N st    54    390278       633      2752         0     43053      8367    820578   no data   no data
196.51/49.27	c  N st    55    438867       633      2752         0     36753      8367    571211   no data   no data
241.24/60.41	c  N st    56    511749       633      2752         0     50458      8367    967897   no data   no data
256.43/64.29	c  N st    57    536827       633      2752         0     44673      8367    806844   no data   no data
256.43/64.29	c  S st    57    536827       633      2752         0     44673      8367    806844   no data   no data
257.23/64.41	c  S st    57    537328       633      2752         0     45174      8367    820361   no data   no data
257.23/64.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.23/64.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.23/64.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.23/64.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.23/64.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.23/64.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
257.23/64.43	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.23/64.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.23/64.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
259.24/64.92	c lits-rem:       159  cl-subs:      681  v-elim:      0  v-fix:    0  time:  0.45 s
259.24/64.92	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
259.24/64.93	c vivif2 --  cl tried    44493 cl shrink        0 lits rem          0 time: 0.01
259.24/64.96	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.04
259.24/64.97	c calculated reachability. Time: 0.00
259.24/64.97	c  N st    57    537328       633      2752         0     44493      8367    796495   no data   no data
383.05/95.96	c  N st    58    701312       633      2752         0     38467      8367    490261   no data   no data
462.95/115.92	c  N st    59    805993       633      2752         0     67373      8367   1304523   no data   no data
462.95/115.92	c  S st    59    805993       633      2752         0     67373      8367   1304523   no data   no data
463.74/116.13	c  S st    59    806497       633      2752         0     67877      8367   1318320   no data   no data
463.74/116.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
463.74/116.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
463.74/116.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
463.74/116.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
463.74/116.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
463.74/116.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
463.74/116.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
463.74/116.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
464.14/116.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
480.12/120.27	c lits-rem:       825  cl-subs:     3540  v-elim:      0  v-fix:    0  time:  4.04 s
480.12/120.27	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
480.12/120.29	c vivif2 --  cl tried    64337 cl shrink        0 lits rem          0 time: 0.02
480.52/120.35	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.06
480.52/120.35	c calculated reachability. Time: 0.00
480.52/120.35	c  N st    59    806497       633      2752         0     64337      8367   1209798   no data   no data
705.01/176.60	c  F st    60   1071875       633      2752         0     80046      8367   1579486   no data   no data
705.41/176.60	c  N st    60   1071875       633      2752         0     80046      8367   1579486   no data   no data
710.61/177.95	c Decided on static restart strategy
728.99/182.54	c  N st    70   1100179       633      2752         0     64058      8367   1101077   no data   no data
766.53/191.92	c  N st    72   1136177       633      2752         0     54345      8367    743173   no data   no data
799.71/200.26	c  N st    73   1168569       633      2752         0     86123      8367   1687643   no data   no data
837.24/209.66	c  N st    74   1209745       633      2752         0     80482      8367   1513454   no data   no data
837.24/209.66	c  S st    74   1209745       633      2752         0     80482      8367   1513454   no data   no data
838.44/209.92	c  S st    74   1210247       633      2752         0     80983      8367   1526997   no data   no data
838.44/209.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
838.44/209.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
838.44/209.97	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
838.44/209.97	c bin-w-bin subsume rem            0 bins  time:  0.00 s
838.44/209.97	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
838.44/209.97	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
838.44/209.97	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
838.44/209.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
838.84/210.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
863.20/216.13	c lits-rem:       656  cl-subs:     3493  v-elim:      0  v-fix:    0  time:  6.09 s
863.20/216.13	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
863.20/216.15	c vivif2 --  cl tried    77490 cl shrink        0 lits rem          0 time: 0.02
863.60/216.25	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.10
863.60/216.26	c calculated reachability. Time: 0.00
863.60/216.26	c  N st    74   1210247       633      2752         0     77490      8367   1423380   no data   no data
938.30/235.00	c  N st    75   1283129       633      2752         0     53825      8367    672175   no data   no data
1048.95/262.66	c  N st    76   1392452       633      2752         0     61907      8367    862749   no data   no data
1223.11/306.22	c  N st    77   1556436       633      2752         0     66674      8367    927374   no data   no data
1393.31/348.81	c  N st    78   1710249       633      2752         0    109088      8367   2266724   no data   no data
1393.31/348.81	c  S st    78   1710249       633      2752         0    109088      8367   2266724   no data   no data
1394.48/349.17	c  S st    78   1710751       633      2752         0    109589      8367   2281242   no data   no data
1394.48/349.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1394.88/349.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1394.88/349.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1394.88/349.24	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1394.88/349.24	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1394.88/349.24	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
1394.88/349.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1394.88/349.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
1395.28/349.35	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1443.22/361.38	c lits-rem:      1258  cl-subs:     5036  v-elim:      0  v-fix:    0  time: 12.03 s
1443.22/361.38	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
1443.62/361.41	c vivif2 --  cl tried   104553 cl shrink        0 lits rem          0 time: 0.03
1444.02/361.53	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.12
1444.02/361.53	c calculated reachability. Time: 0.00
1444.02/361.53	c  N st    78   1710751       633      2752         0    104553      8367   2127516   no data   no data
1870.24/468.30	c  N st    79   2079715       633      2752         0    116161      8367   2357821   no data   no data
2040.41/510.81	c  N st    80   2210752       633      2752         0    119691      8367   2336073   no data   no data
2040.41/510.81	c  S st    80   2210752       633      2752         0    119691      8367   2336073   no data   no data
2041.61/511.19	c  S st    80   2211257       633      2752         0    120195      8367   2349600   no data   no data
2042.01/511.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2042.01/511.27	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2042.01/511.27	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2042.01/511.27	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2042.01/511.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2042.01/511.27	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2042.01/511.27	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2042.41/511.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2042.41/511.38	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2133.09/534.02	c lits-rem:       909  cl-subs:     9814  v-elim:      0  v-fix:    0  time: 22.64 s
2133.09/534.02	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2133.09/534.05	c vivif2 --  cl tried   110381 cl shrink        0 lits rem          0 time: 0.03
2133.49/534.17	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.12
2133.49/534.18	c calculated reachability. Time: 0.00
2133.49/534.18	c  N st    80   2211257       633      2752         0    110381      8367   2063633   no data   no data
2815.76/704.96	c  N st    81   2711257       633      2752         0    134166      8367   2694750   no data   no data
2815.76/704.96	c  S st    81   2711257       633      2752         0    134166      8367   2694750   no data   no data
2817.77/705.41	c  S st    81   2711761       633      2752         0    134669      8367   2708192   no data   no data
2817.77/705.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2817.77/705.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2817.77/705.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2817.77/705.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2817.77/705.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2817.77/705.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2817.77/705.49	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2818.17/705.53	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2818.56/705.61	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2912.04/729.09	c lits-rem:      1530  cl-subs:     8581  v-elim:      0  v-fix:    0  time: 23.47 s
2912.04/729.09	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2912.44/729.13	c vivif2 --  cl tried   126088 cl shrink        0 lits rem          0 time: 0.04
2912.84/729.28	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.15
2912.84/729.28	c calculated reachability. Time: 0.00
2912.84/729.28	c  N st    81   2711761       633      2752         0    126088      8367   2461467   no data   no data
3636.66/910.44	c  N st    82   3211763       633      2752         0    101695      8367   1515148   no data   no data
3636.66/910.44	c  S st    82   3211763       633      2752         0    101695      8367   1515148   no data   no data
3637.86/910.78	c  S st    82   3212263       633      2752         0    102194      8367   1528694   no data   no data
3637.86/910.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3638.27/910.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3638.27/910.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3638.27/910.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3638.27/910.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3638.27/910.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
3638.27/910.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3638.27/910.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3638.67/910.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3653.44/914.66	c lits-rem:       216  cl-subs:     3666  v-elim:      0  v-fix:    0  time:  3.75 s
3653.44/914.66	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
3653.44/914.68	c vivif2 --  cl tried    98528 cl shrink        0 lits rem          0 time: 0.02
3653.84/914.79	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.10
3653.84/914.79	c calculated reachability. Time: 0.00
3653.84/914.79	c  N st    82   3212263       633      2752         0     98528      8367   1432438   no data   no data
4416.80/1105.70	c  N st    83   3712263       633      2752         0    109555      8367   1652898   no data   no data
4416.80/1105.70	c  S st    83   3712263       633      2752         0    109555      8367   1652898   no data   no data
4418.00/1106.05	c  S st    83   3712763       633      2752         0    110055      8367   1666005   no data   no data
4418.00/1106.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4418.40/1106.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
4418.40/1106.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4418.40/1106.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4418.40/1106.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4418.40/1106.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
4418.40/1106.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4418.40/1106.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4418.80/1106.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4436.77/1110.71	c lits-rem:       474  cl-subs:     3525  v-elim:      0  v-fix:    0  time:  4.51 s
4436.77/1110.71	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
4436.77/1110.73	c vivif2 --  cl tried   106530 cl shrink        0 lits rem          0 time: 0.02
4437.17/1110.85	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.12
4437.17/1110.86	c calculated reachability. Time: 0.00
4437.17/1110.86	c  N st    83   3712763       633      2752         0    106530      8367   1563323   no data   no data
4499.91/1126.56	c  F st    84   3751564       633      2752         0    144401      8367   2641242   no data   no data
4499.91/1126.56	c  N st    84   3751564       633      2752         0    144401      8367   2641242   no data   no data
4511.48/1129.41	c Decided on static restart strategy
4557.41/1140.93	c  N st    94   3779867       633      2752         0     89133      8367   1010616   no data   no data
4606.55/1153.27	c  N st    96   3815861       633      2752         0    124510      8367   2032328   no data   no data
4666.48/1168.26	c  N st    97   3848254       633      2752         0    156332      8367   2996924   no data   no data
4739.17/1186.49	c  N st    98   3896845       633      2752         0    119615      8367   1879992   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 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-3174060-1304080343/watcher-3174060-1304080343 -o /tmp/evaluation-result-3174060-1304080343/solver-3174060-1304080343 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174060-1304080343.cnf 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 7.81 8.03 7.92 5/180 29048
/proc/meminfo: memFree=30766932/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 519632250 52441088 347 33554432000 4194304 4627427 140734271327856 18446744073709551615 47367845885874 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 12803 347 299 106 0 7774 0
[pid=29048/tid=29049] ppid=29046 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 519632251 52441088 347 33554432000 4194304 4627427 140734271327856 18446744073709551615 47367845885864 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519632251 52441088 347 33554432000 4194304 4627427 140734271327856 18446744073709551615 47367845885874 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 519632251 52441088 347 33554432000 4194304 4627427 140734271327856 18446744073709551615 228244405233 0 0 4096 2 0 0 0 -1 5 0 0 0

[startup+0.156799 s]
/proc/loadavg: 7.81 8.03 7.92 5/180 29048
/proc/meminfo: memFree=30766932/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=282428 CPUtime=0.6 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 2122 0 0 0 60 0 0 0 25 0 4 0 519632250 289206272 1974 33554432000 4194304 4627427 140734271327856 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 70607 1974 384 106 0 65578 0
[pid=29048/tid=29049] ppid=29046 vsize=282428 CPUtime=0.15 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 490 0 0 0 15 0 0 0 25 0 4 0 519632251 289206272 1974 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=282428 CPUtime=0.14 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 440 0 0 0 14 0 0 0 18 0 4 0 519632251 289206272 1974 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308715 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=282428 CPUtime=0.14 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 358 0 0 0 14 0 0 0 25 0 4 0 519632251 289206272 1974 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 282428

[startup+0.200792 s]
/proc/loadavg: 7.81 8.03 7.92 5/180 29048
/proc/meminfo: memFree=30766932/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=283932 CPUtime=0.78 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 2603 0 0 0 78 0 0 0 25 0 4 0 519632250 290746368 1779 33554432000 4194304 4627427 140734271327856 18446744073709551615 4324663 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 70983 1780 385 106 0 65954 0
[pid=29048/tid=29049] ppid=29046 vsize=283932 CPUtime=0.19 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 611 0 0 0 19 0 0 0 25 0 4 0 519632251 290746368 1780 33554432000 4194304 4627427 140734271327856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=283932 CPUtime=0.19 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 554 0 0 0 19 0 0 0 18 0 4 0 519632251 290746368 1780 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=283932 CPUtime=0.19 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 478 0 0 0 19 0 0 0 25 0 4 0 519632251 290746368 1780 33554432000 4194304 4627427 140734271327856 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.78
Current children cumulated vsize (KiB) 283932

[startup+0.300773 s]
/proc/loadavg: 7.81 8.03 7.92 5/180 29048
/proc/meminfo: memFree=30766932/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=284096 CPUtime=1.18 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 3038 0 0 0 118 0 0 0 25 0 4 0 519632250 290914304 2214 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 71024 2215 385 106 0 65995 0
[pid=29048/tid=29049] ppid=29046 vsize=284096 CPUtime=0.29 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 733 0 0 0 29 0 0 0 25 0 4 0 519632251 290914304 2215 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=284096 CPUtime=0.29 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 635 0 0 0 29 0 0 0 18 0 4 0 519632251 290914304 2215 33554432000 4194304 4627427 140734271327856 18446744073709551615 4333052 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=284096 CPUtime=0.29 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 589 0 0 0 29 0 0 0 25 0 4 0 519632251 290914304 2215 33554432000 4194304 4627427 140734271327856 18446744073709551615 4321720 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 284096

[startup+0.700705 s]
/proc/loadavg: 7.81 8.03 7.92 5/180 29048
/proc/meminfo: memFree=30766932/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=284972 CPUtime=2.78 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 4758 0 0 0 277 1 0 0 25 0 4 0 519632250 291811328 2899 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 71243 2899 385 106 0 66214 0
[pid=29048/tid=29049] ppid=29046 vsize=284972 CPUtime=0.69 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 1128 0 0 0 69 0 0 0 25 0 4 0 519632251 291811328 2899 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309250 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=284972 CPUtime=0.69 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 1062 0 0 0 69 0 0 0 18 0 4 0 519632251 291811328 2899 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=284972 CPUtime=0.69 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 1036 0 0 0 69 0 0 0 25 0 4 0 519632251 291811328 2899 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309130 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.78
Current children cumulated vsize (KiB) 284972

[startup+1.50057 s]
/proc/loadavg: 7.81 8.03 7.92 9/184 29052
/proc/meminfo: memFree=30753012/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=286668 CPUtime=5.97 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 9779 0 0 0 595 2 0 0 25 0 4 0 519632250 293548032 4996 33554432000 4194304 4627427 140734271327856 18446744073709551615 4467844 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 71667 4996 389 106 0 66638 0
[pid=29048/tid=29049] ppid=29046 vsize=286668 CPUtime=1.49 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 1997 0 0 0 149 0 0 0 25 0 4 0 519632251 293548032 4997 33554432000 4194304 4627427 140734271327856 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=286668 CPUtime=1.48 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 1951 0 0 0 148 0 0 0 19 0 4 0 519632251 293548032 4997 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308606 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=286668 CPUtime=1.48 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 1888 0 0 0 148 0 0 0 25 0 4 0 519632251 293548032 4997 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286668

[startup+3.10029 s]
/proc/loadavg: 7.81 8.03 7.92 9/184 29052
/proc/meminfo: memFree=30735012/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=298512 CPUtime=12.36 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 19732 0 0 0 1233 3 0 0 25 0 4 0 519632250 305676288 10697 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 74628 10697 389 106 0 69599 0
[pid=29048/tid=29049] ppid=29046 vsize=298512 CPUtime=3.08 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 4498 0 0 0 308 0 0 0 25 0 4 0 519632251 305676288 10697 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=298512 CPUtime=3.09 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 5342 0 0 0 308 1 0 0 25 0 4 0 519632251 305676288 10697 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308760 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=298512 CPUtime=3.07 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 4566 0 0 0 307 0 0 0 25 0 4 0 519632251 305676288 10697 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308359 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 298512

[startup+6.30073 s]
/proc/loadavg: 7.83 8.03 7.92 10/184 29052
/proc/meminfo: memFree=30699176/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=297588 CPUtime=25.15 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 30453 0 0 0 2509 6 0 0 25 0 4 0 519632250 304730112 13063 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 74397 13063 389 106 0 69368 0
[pid=29048/tid=29049] ppid=29046 vsize=297588 CPUtime=6.29 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 8184 0 0 0 628 1 0 0 25 0 4 0 519632251 304730112 13063 33554432000 4194304 4627427 140734271327856 18446744073709551615 4305446 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=297588 CPUtime=6.28 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 7383 0 0 0 627 1 0 0 25 0 4 0 519632251 304730112 13063 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309197 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=297588 CPUtime=6.26 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 6851 0 0 0 625 1 0 0 25 0 4 0 519632251 304730112 13063 33554432000 4194304 4627427 140734271327856 18446744073709551615 4333018 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 297588

[startup+12.7006 s]
/proc/loadavg: 7.84 8.03 7.92 9/184 29052
/proc/meminfo: memFree=30636404/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=334360 CPUtime=50.71 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 48922 0 0 0 5060 11 0 0 25 0 4 0 519632250 342384640 23978 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 83590 23978 389 106 0 78561 0
[pid=29048/tid=29049] ppid=29046 vsize=334360 CPUtime=12.69 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 11466 0 0 0 1267 2 0 0 25 0 4 0 519632251 342384640 23978 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=334360 CPUtime=12.68 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 12165 0 0 0 1266 2 0 0 25 0 4 0 519632251 342384640 23978 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309065 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=334360 CPUtime=12.61 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 10936 0 0 0 1260 1 0 0 25 0 4 0 519632251 342384640 23978 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 334360

[startup+25.5004 s]
/proc/loadavg: 7.96 8.05 7.93 9/184 29053
/proc/meminfo: memFree=30634936/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=307244 CPUtime=101.84 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 69003 0 0 0 10168 16 0 0 25 0 4 0 519632250 314617856 26976 33554432000 4194304 4627427 140734271327856 18446744073709551615 4330958 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 76811 26976 389 106 0 71782 0
[pid=29048/tid=29049] ppid=29046 vsize=307244 CPUtime=25.49 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 16043 0 0 0 2546 3 0 0 25 0 4 0 519632251 314617856 26976 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308392 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=307244 CPUtime=25.48 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 19371 0 0 0 2544 4 0 0 25 0 4 0 519632251 314617856 26976 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=307244 CPUtime=25.35 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 12534 0 0 0 2533 2 0 0 25 0 4 0 519632251 314617856 26976 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 307244

[startup+51.1009 s]
/proc/loadavg: 7.97 8.04 7.93 9/184 29053
/proc/meminfo: memFree=30605184/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=308828 CPUtime=204.1 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 100066 0 0 0 20384 26 0 0 25 0 4 0 519632250 316239872 35276 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 77207 35276 389 106 0 72178 0
[pid=29048/tid=29049] ppid=29046 vsize=308828 CPUtime=51.08 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 21072 0 0 0 5104 4 0 0 25 0 4 0 519632251 316239872 35276 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308396 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=308828 CPUtime=51.09 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 28101 0 0 0 5102 7 0 0 25 0 4 0 519632251 316239872 35276 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=308828 CPUtime=50.81 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 20873 0 0 0 5077 4 0 0 25 0 4 0 519632251 316239872 35276 33554432000 4194304 4627427 140734271327856 18446744073709551615 4327629 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.1
Current children cumulated vsize (KiB) 308828

[startup+102.301 s]
/proc/loadavg: 8.04 8.05 7.93 9/184 29055
/proc/meminfo: memFree=30563516/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=332348 CPUtime=408.64 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 144658 0 0 0 40823 41 0 0 25 0 4 0 519632250 340324352 48310 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309324 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 83087 48310 389 106 0 78058 0
[pid=29048/tid=29049] ppid=29046 vsize=332348 CPUtime=102.29 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 30542 0 0 0 10222 7 0 0 25 0 4 0 519632251 340324352 48310 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=332348 CPUtime=102.29 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 36088 0 0 0 10220 9 0 0 25 0 4 0 519632251 340324352 48310 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=332348 CPUtime=101.74 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 34106 0 0 0 10165 9 0 0 25 0 4 0 519632251 340324352 48310 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309324 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 332348

[startup+162.3 s]

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

[pid=29048] ppid=29046 vsize=546792 CPUtime=2565.71 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 407356 0 0 0 256407 164 0 0 25 0 4 0 519632250 559915008 97326 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308414 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 136698 97326 389 106 0 131669 0
[pid=29048/tid=29049] ppid=29046 vsize=546792 CPUtime=642.28 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 80508 0 0 0 64196 32 0 0 25 0 4 0 519632251 559915008 97326 33554432000 4194304 4627427 140734271327856 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=546792 CPUtime=642.29 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 88704 0 0 0 64195 34 0 0 25 0 4 0 519632251 559915008 97326 33554432000 4194304 4627427 140734271327856 18446744073709551615 4324134 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=546792 CPUtime=638.8 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 112702 0 0 0 63834 46 0 0 25 0 4 0 519632251 559915008 97326 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309598 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 546792

[startup+702.301 s]
/proc/loadavg: 8.01 8.05 7.99 9/184 29071
/proc/meminfo: memFree=30255564/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=543876 CPUtime=2805.39 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 424744 0 0 0 280366 173 0 0 25 0 4 0 519632250 556929024 99408 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 135969 99408 389 106 0 130940 0
[pid=29048/tid=29049] ppid=29046 vsize=543876 CPUtime=702.28 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 84696 0 0 0 70193 35 0 0 25 0 4 0 519632251 556929024 99408 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=543876 CPUtime=702.29 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 92643 0 0 0 70193 36 0 0 25 0 4 0 519632251 556929024 99408 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=543876 CPUtime=698.47 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 118180 0 0 0 69799 48 0 0 25 0 4 0 519632251 556929024 99408 33554432000 4194304 4627427 140734271327856 18446744073709551615 4310109 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 543876

[startup+762.3 s]
/proc/loadavg: 8.07 8.05 8.00 9/184 29072
/proc/meminfo: memFree=30186540/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=647164 CPUtime=3045.08 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 448871 0 0 0 304323 185 0 0 25 0 4 0 519632250 662695936 110055 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309170 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 161791 110055 389 106 0 156762 0
[pid=29048/tid=29049] ppid=29046 vsize=647164 CPUtime=762.29 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 90177 0 0 0 76191 38 0 0 25 0 4 0 519632251 662695936 110055 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=647164 CPUtime=762.3 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 97426 0 0 0 76190 40 0 0 25 0 4 0 519632251 662695936 110055 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=647164 CPUtime=758.15 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 123130 0 0 0 75764 51 0 0 25 0 4 0 519632251 662695936 110055 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.08
Current children cumulated vsize (KiB) 647164

[startup+822.301 s]
/proc/loadavg: 8.08 8.06 8.00 9/184 29074
/proc/meminfo: memFree=30186916/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=596740 CPUtime=3284.73 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 466965 0 0 0 328277 196 0 0 25 0 4 0 519632250 611061760 111920 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309155 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 149185 111920 389 106 0 144156 0
[pid=29048/tid=29049] ppid=29046 vsize=596740 CPUtime=822.28 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 95058 0 0 0 82188 40 0 0 25 0 4 0 519632251 611061760 111920 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=596740 CPUtime=822.29 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 100271 0 0 0 82187 42 0 0 25 0 4 0 519632251 611061760 111920 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=596740 CPUtime=817.82 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 126749 0 0 0 81729 53 0 0 25 0 4 0 519632251 611061760 111920 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.73
Current children cumulated vsize (KiB) 596740

[startup+882.306 s]
/proc/loadavg: 8.03 8.04 8.00 9/184 29076
/proc/meminfo: memFree=30172084/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=674356 CPUtime=3524.43 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 484743 0 0 0 352237 206 0 0 25 0 4 0 519632250 690540544 113888 33554432000 4194304 4627427 140734271327856 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 168589 113888 389 106 0 163560 0
[pid=29048/tid=29049] ppid=29046 vsize=674356 CPUtime=882.29 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 98155 0 0 0 88187 42 0 0 25 0 4 0 519632251 690540544 113888 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=674356 CPUtime=882.3 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 105593 0 0 0 88184 46 0 0 25 0 4 0 519632251 690540544 113888 33554432000 4194304 4627427 140734271327856 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=674356 CPUtime=877.5 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 130734 0 0 0 87694 56 0 0 25 0 4 0 519632251 690540544 113888 33554432000 4194304 4627427 140734271327856 18446744073709551615 4324208 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.43
Current children cumulated vsize (KiB) 674356

[startup+942.301 s]
/proc/loadavg: 8.01 8.03 8.00 9/184 29077
/proc/meminfo: memFree=30183272/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=675140 CPUtime=3764.08 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 507638 0 0 0 376189 219 0 0 25 0 4 0 519632250 691343360 113098 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 168785 113098 389 106 0 163756 0
[pid=29048/tid=29049] ppid=29046 vsize=675140 CPUtime=942.28 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 103073 0 0 0 94183 45 0 0 25 0 4 0 519632251 691343360 113098 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=675140 CPUtime=942.3 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 109546 0 0 0 94182 48 0 0 25 0 4 0 519632251 691343360 113098 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=675140 CPUtime=937.17 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 137855 0 0 0 93657 60 0 0 25 0 4 0 519632251 691343360 113098 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.08
Current children cumulated vsize (KiB) 675140

[startup+1002.3 s]
/proc/loadavg: 8.06 8.04 8.00 9/184 29110
/proc/meminfo: memFree=30377272/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=691508 CPUtime=4003.75 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 532510 0 0 0 400142 233 0 0 25 0 4 0 519632250 708104192 123157 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 172877 123157 389 106 0 167848 0
[pid=29048/tid=29049] ppid=29046 vsize=691508 CPUtime=1002.27 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 110738 0 0 0 100180 47 0 0 25 0 4 0 519632251 708104192 123157 33554432000 4194304 4627427 140734271327856 18446744073709551615 4310105 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=691508 CPUtime=1002.3 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 112392 0 0 0 100180 50 0 0 25 0 4 0 519632251 708104192 123157 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=691508 CPUtime=996.84 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 144953 0 0 0 99619 65 0 0 25 0 4 0 519632251 708104192 123157 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.75
Current children cumulated vsize (KiB) 691508

[startup+1062.3 s]
/proc/loadavg: 8.02 8.03 8.00 9/184 29111
/proc/meminfo: memFree=30338492/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=712000 CPUtime=4243.44 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 556204 0 0 0 424099 245 0 0 25 0 4 0 519632250 729088000 119998 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 178000 119998 389 106 0 172971 0
[pid=29048/tid=29049] ppid=29046 vsize=712000 CPUtime=1062.28 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 113199 0 0 0 106179 49 0 0 25 0 4 0 519632251 729088000 119998 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=712000 CPUtime=1062.3 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 116020 0 0 0 106178 52 0 0 25 0 4 0 519632251 729088000 119998 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=712000 CPUtime=1056.52 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 156487 0 0 0 105583 69 0 0 25 0 4 0 519632251 729088000 119998 33554432000 4194304 4627427 140734271327856 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.44
Current children cumulated vsize (KiB) 712000

[startup+1122.3 s]
/proc/loadavg: 8.11 8.05 8.01 9/184 29113
/proc/meminfo: memFree=30303636/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=659420 CPUtime=4483.11 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 573504 0 0 0 448056 255 0 0 25 0 4 0 519632250 675246080 122126 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 164855 122126 389 106 0 159826 0
[pid=29048/tid=29049] ppid=29046 vsize=659420 CPUtime=1122.28 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 117335 0 0 0 112176 52 0 0 25 0 4 0 519632251 675246080 122126 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=659420 CPUtime=1122.3 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 118724 0 0 0 112177 53 0 0 25 0 4 0 519632251 675246080 122126 33554432000 4194304 4627427 140734271327856 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=659420 CPUtime=1116.19 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 160243 0 0 0 111548 71 0 0 25 0 4 0 519632251 675246080 122126 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 659420

[startup+1182.3 s]
/proc/loadavg: 8.08 8.06 8.01 9/184 29115
/proc/meminfo: memFree=30227252/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=773604 CPUtime=4722.79 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 596502 0 0 0 472011 268 0 0 25 0 4 0 519632250 792170496 128933 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 193401 128933 389 106 0 188372 0
[pid=29048/tid=29049] ppid=29046 vsize=773604 CPUtime=1182.28 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 122764 0 0 0 118172 56 0 0 25 0 4 0 519632251 792170496 128933 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=773604 CPUtime=1182.3 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 122936 0 0 0 118174 56 0 0 25 0 4 0 519632251 792170496 128933 33554432000 4194304 4627427 140734271327856 18446744073709551615 4503019 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=773604 CPUtime=1175.87 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 166923 0 0 0 117513 74 0 0 25 0 4 0 519632251 792170496 128933 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.79
Current children cumulated vsize (KiB) 773604



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.14 8.07 8.01 9/184 29115
/proc/meminfo: memFree=30222268/32951124 swapFree=67111364/67111528
[pid=29048] ppid=29046 vsize=659628 CPUtime=4800.3 cores=1,3,5,7
/proc/29048/stat : 29048 (strangenight2-m) R 29046 29048 28877 0 -1 4202496 600354 0 0 0 479759 271 0 0 25 0 4 0 519632250 675459072 126560 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/29048/statm: 164907 126560 389 106 0 159878 0
[pid=29048/tid=29049] ppid=29046 vsize=659628 CPUtime=1201.68 cores=1,3,5,7
/proc/29048/task/29049/stat : 29049 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 123950 0 0 0 120112 56 0 0 25 0 4 0 519632251 675459072 126560 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=29048/tid=29050] ppid=29046 vsize=659628 CPUtime=1201.71 cores=1,3,5,7
/proc/29048/task/29050/stat : 29050 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 122936 0 0 0 120115 56 0 0 25 0 4 0 519632251 675459072 126560 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=29048/tid=29051] ppid=29046 vsize=659628 CPUtime=1195.16 cores=1,3,5,7
/proc/29048/task/29051/stat : 29051 (strangenight2-m) R 29046 29048 28877 0 -1 4202560 168240 0 0 0 119440 76 0 0 25 0 4 0 519632251 675459072 126560 33554432000 4194304 4627427 140734271327856 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 659628

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.73
CPU time (s): 4800.35
CPU user time (s): 4797.61
CPU system time (s): 2.73958
CPU usage (%): 399.452
Max. virtual memory (cumulated for all children) (KiB): 880196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.61
system time used= 2.73958
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 600354
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= 364
involuntary context switches= 33582

runsolver used 1.85672 second user time and 4.71928 second system time

The end

Launcher Data 

Begin job on node136 at 2011-04-29 14:32:23
IDJOB=3174060
IDBENCH=82878
IDSOLVER=1586
FILE ID=node136/3174060-1304080343
RUNJOBID= node136-1304078917-28896
PBS_JOBID= 13170526
Free space on /tmp= 72328 MiB

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

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

MD5SUM BENCH= 4fe02968acd00bdecbd1c96009763619
RANDOM SEED=518791895

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30767212 kB
Buffers:        566932 kB
Cached:         926852 kB
SwapCached:          0 kB
Active:         313328 kB
Inactive:      1446704 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30767212 kB
SwapTotal:    67111528 kB
SwapFree:     67111364 kB
Dirty:            5472 kB
Writeback:           0 kB
AnonPages:      265608 kB
Mapped:          15500 kB
Slab:           359612 kB
PageTables:       5196 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   484468 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= 72324 MiB
End job on node136 at 2011-04-29 14:52:27