Trace number 3366469

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 4800.24 1203.84

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366469-1305404748.cnf'
0.00/0.01	c -- header says num vars:            650
0.00/0.01	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.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    650 time:  0.00 s
0.00/0.26	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
0.00/0.26	c lits-rem:         0  cl-subs:        0  v-elim:     17  v-fix:    0  time:  0.00 s
0.00/0.26	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.26	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.26	c calculated reachability. Time: 0.00
0.00/0.26	c Calc default polars -  time:   0.00 s pos:     275 undec:      72 neg:     303
0.00/0.26	c =========================================================================================
0.00/0.26	c types(t): F = full restart, N = normal restart
0.00/0.26	c types(t): S = simplification begin/end, E = solution found
0.00/0.26	c restart types(rt): st = static, dy = dynamic
0.00/0.26	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1.02/0.26	c  B st     0         0       633      2752         0         0      8367         0   no data   no data
1.02/0.26	c Decided on static restart strategy
1.02/0.26	c  N st     8      4915       633      2752         0      4859      8367    137775   no data   no data
3.17/0.80	c  N st    10     11300       633      2752         0      4506      8367     88208   no data   no data
3.17/0.80	c  N st    11     17043       633      2752         0     10184      8367    266567   no data   no data
4.37/1.21	c  F st    12     25000       633      2752         0     12482      8367    321351   no data   no data
4.37/1.21	c  N st    12     25000       633      2752         0     12482      8367    321351   no data   no data
5.56/1.47	c Decided on static restart strategy
5.56/1.47	c  N st    18     30000       633      2752         0     10763      8367    244442   no data   no data
5.56/1.47	c  S st    18     30000       633      2752         0     10763      8367    244442   no data   no data
5.56/1.50	c  S st    18     30503       633      2752         0     11266      8367    257150   no data   no data
5.96/1.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.96/1.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.96/1.50	c blocked clauses removed:        0 vars:      0 tried:         633 T: 0.00 s
5.96/1.50	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.96/1.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.50	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.96/1.50	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.96/1.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.96/1.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.96/1.56	c lits-rem:        66  cl-subs:      288  v-elim:      0  v-fix:    0  time:  0.04 s
5.96/1.56	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
5.96/1.57	c calculated reachability. Time: 0.00
5.96/1.57	c  N st    18     30503       633      2752         0     10978      8367    247535   no data   no data
7.56/1.98	c  N st    20     37616       633      2752         0     10220      8367    208058   no data   no data
9.59/2.42	c  N st    21     44016       633      2752         0     16505      8367    394897   no data   no data
9.94/2.55	c  S st    22     45754       633      2752         0      9408      8367    159169   no data   no data
9.94/2.57	c  S st    22     46254       633      2752         0      9908      8367    171602   no data   no data
9.94/2.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.94/2.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.94/2.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.94/2.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.94/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
9.94/2.58	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.94/2.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.94/2.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.94/2.59	c lits-rem:        21  cl-subs:       62  v-elim:      0  v-fix:    0  time:  0.01 s
9.94/2.59	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
10.34/2.60	c vivif2 --  cl tried     9846 cl shrink        0 lits rem          0 time: 0.00
10.34/2.60	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
10.34/2.60	c calculated reachability. Time: 0.00
10.34/2.60	c  N st    22     46254       633      2752         0      9846      8367    169533   no data   no data
13.98/3.59	c  N st    23     60656       633      2752         0     14213      8367    283092   no data   no data
16.73/4.25	c  N st    24     69382       633      2752         0     11964      8367    206968   no data   no data
16.73/4.25	c  S st    24     69382       633      2752         0     11964      8367    206968   no data   no data
16.73/4.28	c  S st    24     69887       633      2752         0     12468      8367    220786   no data   no data
16.73/4.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.73/4.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.73/4.29	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.73/4.29	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.73/4.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.29	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
16.73/4.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.73/4.29	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
17.13/4.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.13/4.32	c lits-rem:        60  cl-subs:      187  v-elim:      0  v-fix:    0  time:  0.03 s
17.13/4.32	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
17.13/4.33	c vivif2 --  cl tried    12281 cl shrink        0 lits rem          0 time: 0.00
17.13/4.33	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
17.13/4.33	c calculated reachability. Time: 0.00
17.13/4.33	c  N st    24     69887       633      2752         0     12281      8367    214979   no data   no data
21.92/5.58	c  F st    25     87501       633      2752         0     17789      8367    362869   no data   no data
21.92/5.58	c  N st    25     87501       633      2752         0     17789      8367    362869   no data   no data
23.50/5.99	c Decided on static restart strategy
24.70/6.26	c  N st    32     95541       633      2752         0     12934      8367    195723   no data   no data
27.49/6.92	c  N st    34    104830       633      2752         0     22038      8367    446810   no data   no data
27.49/6.92	c  S st    34    104830       633      2752         0     22038      8367    446810   no data   no data
27.49/6.98	c  S st    34    105335       633      2752         0     22543      8367    460051   no data   no data
27.49/6.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.49/6.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.49/6.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.49/6.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.49/6.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.49/6.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
27.49/6.99	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.49/6.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.89/7.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.69/7.20	c lits-rem:       234  cl-subs:      873  v-elim:      0  v-fix:    0  time:  0.19 s
28.69/7.20	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
28.69/7.20	c vivif2 --  cl tried    21670 cl shrink        0 lits rem          0 time: 0.00
28.69/7.22	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.01
28.69/7.22	c calculated reachability. Time: 0.00
28.69/7.22	c  N st    34    105335       633      2752         0     21670      8367    434416   no data   no data
31.88/8.01	c  N st    35    114933       633      2752         0     17368      8367    294165   no data   no data
37.47/9.41	c  N st    36    129331       633      2752         0     16824      8367    264404   no data   no data
45.04/11.35	c  N st    37    150929       633      2752         0     22289      8367    413120   no data   no data
47.84/12.09	c  S st    38    158002       633      2752         0     29231      8367    617676   no data   no data
48.24/12.15	c  S st    38    158502       633      2752         0     29728      8367    630045   no data   no data
48.24/12.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
48.24/12.17	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
48.24/12.17	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48.24/12.17	c bin-w-bin subsume rem            0 bins  time:  0.00 s
48.24/12.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48.24/12.17	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
48.24/12.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
48.24/12.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
48.24/12.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.82/12.57	c lits-rem:       398  cl-subs:      977  v-elim:      0  v-fix:    0  time:  0.37 s
49.82/12.57	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
49.82/12.57	c vivif2 --  cl tried    28751 cl shrink        0 lits rem          0 time: 0.01
49.82/12.59	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.02
49.82/12.60	c calculated reachability. Time: 0.00
49.82/12.60	c  N st    38    158502       633      2752         0     28751      8367    596006   no data   no data
71.75/18.06	c  N st    39    207091       633      2752         0     23399      8367    396852   no data   no data
86.11/21.68	c  N st    40    237754       633      2752         0     33826      8367    679667   no data   no data
86.11/21.68	c  S st    40    237754       633      2752         0     33826      8367    679667   no data   no data
86.51/21.77	c  S st    40    238255       633      2752         0     34327      8367    693360   no data   no data
86.51/21.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
86.51/21.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
86.51/21.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
86.51/21.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
86.51/21.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.51/21.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
86.51/21.78	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
86.51/21.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
86.91/21.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
89.70/22.55	c lits-rem:       239  cl-subs:     1615  v-elim:      0  v-fix:    0  time:  0.74 s
89.70/22.55	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
89.70/22.56	c vivif2 --  cl tried    32712 cl shrink        0 lits rem          0 time: 0.01
89.70/22.58	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.02
89.70/22.58	c calculated reachability. Time: 0.00
89.70/22.58	c  N st    40    238255       633      2752         0     32712      8367    641126   no data   no data
124.80/31.39	c  F st    41    306252       633      2752         0     34772      8367    638990   no data   no data
124.80/31.39	c  N st    41    306252       633      2752         0     34772      8367    638990   no data   no data
128.03/32.12	c Decided on static restart strategy
139.56/35.09	c  N st    51    334564       633      2752         0     39062      8367    748882   no data   no data
151.52/38.00	c  N st    53    357382       633      2752         0     37004      8367    664433   no data   no data
151.52/38.00	c  S st    53    357382       633      2752         0     37004      8367    664433   no data   no data
151.92/38.10	c  S st    53    357885       633      2752         0     37507      8367    677643   no data   no data
151.92/38.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
151.92/38.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
151.92/38.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
151.92/38.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
151.92/38.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
151.92/38.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
151.92/38.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
151.92/38.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
151.92/38.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
153.11/38.42	c lits-rem:       235  cl-subs:      680  v-elim:      0  v-fix:    0  time:  0.28 s
153.11/38.42	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
153.11/38.43	c vivif2 --  cl tried    36827 cl shrink        0 lits rem          0 time: 0.01
153.11/38.46	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.03
153.11/38.46	c calculated reachability. Time: 0.00
153.11/38.46	c  N st    53    357885       633      2752         0     36827      8367    655619   no data   no data
170.26/42.78	c  N st    54    390278       633      2752         0     43053      8367    820578   no data   no data
196.59/49.35	c  N st    55    438867       633      2752         0     36753      8367    571211   no data   no data
241.25/60.51	c  N st    56    511749       633      2752         0     50458      8367    967897   no data   no data
256.40/64.38	c  N st    57    536827       633      2752         0     44673      8367    806844   no data   no data
256.40/64.38	c  S st    57    536827       633      2752         0     44673      8367    806844   no data   no data
257.20/64.50	c  S st    57    537328       633      2752         0     45174      8367    820361   no data   no data
257.20/64.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
257.20/64.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.6M T:  0.02
257.20/64.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
257.20/64.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
257.20/64.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.20/64.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
257.20/64.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
257.20/64.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
257.20/64.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
258.80/65.00	c lits-rem:       159  cl-subs:      681  v-elim:      0  v-fix:    0  time:  0.45 s
258.80/65.00	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
259.22/65.01	c vivif2 --  cl tried    44493 cl shrink        0 lits rem          0 time: 0.01
259.22/65.05	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.03
259.22/65.05	c calculated reachability. Time: 0.00
259.22/65.05	c  N st    57    537328       633      2752         0     44493      8367    796495   no data   no data
382.80/96.00	c  N st    58    701312       633      2752         0     38467      8367    490261   no data   no data
461.76/115.89	c  N st    59    805993       633      2752         0     67373      8367   1304523   no data   no data
461.76/115.89	c  S st    59    805993       633      2752         0     67373      8367   1304523   no data   no data
462.96/116.10	c  S st    59    806497       633      2752         0     67877      8367   1318320   no data   no data
462.96/116.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
462.96/116.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
462.96/116.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.96/116.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.96/116.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.96/116.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
462.96/116.13	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.96/116.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.96/116.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
479.31/120.21	c lits-rem:       825  cl-subs:     3540  v-elim:      0  v-fix:    0  time:  4.02 s
479.31/120.21	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
479.31/120.23	c vivif2 --  cl tried    64337 cl shrink        0 lits rem          0 time: 0.02
479.31/120.29	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.06
479.31/120.29	c calculated reachability. Time: 0.00
479.31/120.29	c  N st    59    806497       633      2752         0     64337      8367   1209798   no data   no data
703.41/176.49	c  F st    60   1071875       633      2752         0     80046      8367   1579486   no data   no data
703.41/176.49	c  N st    60   1071875       633      2752         0     80046      8367   1579486   no data   no data
709.00/177.86	c Decided on static restart strategy
727.34/182.44	c  N st    70   1100179       633      2752         0     64058      8367   1101077   no data   no data
764.82/191.81	c  N st    72   1136177       633      2752         0     54345      8367    743173   no data   no data
797.92/200.13	c  N st    73   1168569       633      2752         0     86123      8367   1687643   no data   no data
835.40/209.55	c  N st    74   1209745       633      2752         0     80482      8367   1513454   no data   no data
835.40/209.55	c  S st    74   1209745       633      2752         0     80482      8367   1513454   no data   no data
836.60/209.80	c  S st    74   1210247       633      2752         0     80983      8367   1526997   no data   no data
836.60/209.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
836.60/209.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
836.60/209.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
836.60/209.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
836.60/209.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
836.60/209.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
836.60/209.85	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
836.60/209.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
837.01/209.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
854.94/214.42	c lits-rem:       656  cl-subs:     3493  v-elim:      0  v-fix:    0  time:  4.50 s
854.94/214.42	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
854.94/214.44	c vivif2 --  cl tried    77490 cl shrink        0 lits rem          0 time: 0.02
855.34/214.52	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.08
855.34/214.53	c calculated reachability. Time: 0.00
855.34/214.53	c  N st    74   1210247       633      2752         0     77490      8367   1423380   no data   no data
931.90/233.75	c  N st    75   1283129       633      2752         0     53825      8367    672175   no data   no data
1042.36/261.41	c  N st    76   1392452       633      2752         0     61907      8367    862749   no data   no data
1215.86/304.94	c  N st    77   1556436       633      2752         0     66674      8367    927374   no data   no data
1386.08/347.64	c  N st    78   1710249       633      2752         0    109088      8367   2266724   no data   no data
1386.08/347.64	c  S st    78   1710249       633      2752         0    109088      8367   2266724   no data   no data
1387.66/348.00	c  S st    78   1710751       633      2752         0    109589      8367   2281242   no data   no data
1387.66/348.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1387.66/348.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1387.66/348.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1387.66/348.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1387.66/348.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1387.66/348.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
1387.66/348.07	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1387.66/348.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1388.06/348.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1435.51/360.02	c lits-rem:      1258  cl-subs:     5036  v-elim:      0  v-fix:    0  time: 11.85 s
1435.51/360.02	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
1435.51/360.05	c vivif2 --  cl tried   104553 cl shrink        0 lits rem          0 time: 0.03
1435.91/360.16	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.12
1435.91/360.17	c calculated reachability. Time: 0.00
1435.91/360.17	c  N st    78   1710751       633      2752         0    104553      8367   2127516   no data   no data
1861.37/466.81	c  N st    79   2079715       633      2752         0    116161      8367   2357821   no data   no data
2030.85/509.34	c  N st    80   2210752       633      2752         0    119691      8367   2336073   no data   no data
2030.85/509.34	c  S st    80   2210752       633      2752         0    119691      8367   2336073   no data   no data
2032.44/509.72	c  S st    80   2211257       633      2752         0    120195      8367   2349600   no data   no data
2032.44/509.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2032.44/509.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2032.44/509.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2032.44/509.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2032.44/509.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2032.44/509.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2032.44/509.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2032.84/509.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2033.24/509.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2120.96/531.99	c lits-rem:       909  cl-subs:     9814  v-elim:      0  v-fix:    0  time: 22.09 s
2120.96/531.99	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2121.36/532.02	c vivif2 --  cl tried   110381 cl shrink        0 lits rem          0 time: 0.03
2121.76/532.14	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.12
2121.76/532.15	c calculated reachability. Time: 0.00
2121.76/532.15	c  N st    80   2211257       633      2752         0    110381      8367   2063633   no data   no data
2801.61/702.66	c  N st    81   2711257       633      2752         0    134166      8367   2694750   no data   no data
2801.61/702.66	c  S st    81   2711257       633      2752         0    134166      8367   2694750   no data   no data
2803.23/703.11	c  S st    81   2711761       633      2752         0    134669      8367   2708192   no data   no data
2803.65/703.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2803.65/703.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.6M T:  0.07
2803.65/703.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2803.65/703.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2803.65/703.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2803.65/703.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2803.65/703.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2803.99/703.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2804.39/703.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2894.91/726.08	c lits-rem:      1530  cl-subs:     8581  v-elim:      0  v-fix:    0  time: 22.78 s
2894.91/726.08	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
2895.34/726.11	c vivif2 --  cl tried   126088 cl shrink        0 lits rem          0 time: 0.03
2895.75/726.27	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.15
2895.75/726.27	c calculated reachability. Time: 0.00
2895.75/726.27	c  N st    81   2711761       633      2752         0    126088      8367   2461467   no data   no data
3617.46/907.22	c  N st    82   3211763       633      2752         0    101695      8367   1515148   no data   no data
3617.46/907.22	c  S st    82   3211763       633      2752         0    101695      8367   1515148   no data   no data
3618.66/907.56	c  S st    82   3212263       633      2752         0    102194      8367   1528694   no data   no data
3618.66/907.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3619.08/907.62	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
3619.08/907.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3619.08/907.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3619.08/907.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3619.08/907.62	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
3619.08/907.62	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3619.08/907.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3619.08/907.69	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3633.79/911.32	c lits-rem:       216  cl-subs:     3666  v-elim:      0  v-fix:    0  time:  3.63 s
3633.79/911.32	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
3633.79/911.34	c vivif2 --  cl tried    98528 cl shrink        0 lits rem          0 time: 0.02
3634.19/911.45	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.10
3634.19/911.45	c calculated reachability. Time: 0.00
3634.19/911.45	c  N st    82   3212263       633      2752         0     98528      8367   1432438   no data   no data
4394.63/1102.11	c  N st    83   3712263       633      2752         0    109555      8367   1652898   no data   no data
4394.63/1102.11	c  S st    83   3712263       633      2752         0    109555      8367   1652898   no data   no data
4395.88/1102.46	c  S st    83   3712763       633      2752         0    110055      8367   1666005   no data   no data
4395.88/1102.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4396.22/1102.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
4396.22/1102.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4396.22/1102.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4396.22/1102.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4396.22/1102.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
4396.22/1102.52	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4396.22/1102.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4396.62/1102.60	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4414.16/1107.00	c lits-rem:       474  cl-subs:     3525  v-elim:      0  v-fix:    0  time:  4.40 s
4414.16/1107.00	c vivif2 --  cl tried     2752 cl shrink        0 lits rem          0 time: 0.00
4414.16/1107.02	c vivif2 --  cl tried   106530 cl shrink        0 lits rem          0 time: 0.03
4414.56/1107.14	c asymm  cl-useful: 0/2752/2752 lits-rem:0 time: 0.12
4414.56/1107.15	c calculated reachability. Time: 0.00
4414.56/1107.15	c  N st    83   3712763       633      2752         0    106530      8367   1563323   no data   no data
4477.16/1122.85	c  F st    84   3751564       633      2752         0    144401      8367   2641242   no data   no data
4477.16/1122.85	c  N st    84   3751564       633      2752         0    144401      8367   2641242   no data   no data
4488.73/1125.70	c Decided on static restart strategy
4534.59/1137.24	c  N st    94   3779867       633      2752         0     89133      8367   1010616   no data   no data
4583.63/1149.60	c  N st    96   3815861       633      2752         0    124510      8367   2032328   no data   no data
4643.44/1164.53	c  N st    97   3848254       633      2752         0    156332      8367   2996924   no data   no data
4716.41/1182.81	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: 961)

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

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

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

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


[startup+0 s]
/proc/loadavg: 6.99 7.87 7.96 6/386 11765
/proc/meminfo: memFree=14893216/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 407 0 0 0 1 0 0 0 23 0 4 0 730705482 52396032 347 33554432000 4194304 4580107 140734073162208 18446744073709551615 47549690443698 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 12792 347 299 95 0 7774 0
[pid=11765/tid=11766] ppid=11763 vsize=51168 CPUtime=0.01 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 4 0 730705483 52396032 347 33554432000 4194304 4580107 140734073162208 18446744073709551615 47549690443698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 730705483 52396032 347 33554432000 4194304 4580107 140734073162208 18446744073709551615 47549690443696 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730705483 52396032 347 33554432000 4194304 4580107 140734073162208 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.263354 s]
/proc/loadavg: 6.99 7.87 7.96 6/386 11765
/proc/meminfo: memFree=14893216/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=283856 CPUtime=1.02 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 2824 0 0 0 102 0 0 0 18 0 4 0 730705482 290668544 1967 33554432000 4194304 4580107 140734073162208 18446744073709551615 4322777 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 70964 1967 377 95 0 65946 0
[pid=11765/tid=11766] ppid=11763 vsize=283856 CPUtime=0.26 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 629 0 0 0 26 0 0 0 18 0 4 0 730705483 290668544 1967 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=283856 CPUtime=0.25 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) S 11763 11765 11082 0 -1 4202560 654 0 0 0 25 0 0 0 18 0 4 0 730705483 290668544 1967 33554432000 4194304 4580107 140734073162208 18446744073709551615 216735283694 0 0 4096 2 18446604464344652544 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=283856 CPUtime=0.24 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 468 0 0 0 24 0 0 0 18 0 4 0 730705483 290668544 1967 33554432000 4194304 4580107 140734073162208 18446744073709551615 216734844440 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 283856

[startup+0.301139 s]
/proc/loadavg: 6.99 7.87 7.96 6/386 11765
/proc/meminfo: memFree=14893216/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=283988 CPUtime=1.17 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 3013 0 0 0 117 0 0 0 18 0 4 0 730705482 290803712 2156 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293184 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 70997 2157 377 95 0 65979 0
[pid=11765/tid=11766] ppid=11763 vsize=283988 CPUtime=0.29 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 668 0 0 0 29 0 0 0 18 0 4 0 730705483 290803712 2157 33554432000 4194304 4580107 140734073162208 18446744073709551615 4296101 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=283988 CPUtime=0.29 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 687 0 0 0 29 0 0 0 18 0 4 0 730705483 290803712 2157 33554432000 4194304 4580107 140734073162208 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=283988 CPUtime=0.28 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 532 0 0 0 28 0 0 0 18 0 4 0 730705483 290803712 2157 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283988

[startup+0.401121 s]
/proc/loadavg: 6.99 7.87 7.96 6/386 11765
/proc/meminfo: memFree=14893216/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=283988 CPUtime=1.57 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 3358 0 0 0 157 0 0 0 18 0 4 0 730705482 290803712 2501 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293192 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 70997 2501 377 95 0 65979 0
[pid=11765/tid=11766] ppid=11763 vsize=283988 CPUtime=0.39 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 759 0 0 0 39 0 0 0 18 0 4 0 730705483 290803712 2501 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=283988 CPUtime=0.39 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 787 0 0 0 39 0 0 0 18 0 4 0 730705483 290803712 2501 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=283988 CPUtime=0.38 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 611 0 0 0 38 0 0 0 18 0 4 0 730705483 290803712 2501 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.57
Current children cumulated vsize (KiB) 283988

[startup+0.701069 s]
/proc/loadavg: 6.99 7.87 7.96 6/386 11765
/proc/meminfo: memFree=14893216/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=284904 CPUtime=2.77 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 4734 0 0 0 277 0 0 0 18 0 4 0 730705482 291741696 2842 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294524 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 71226 2842 377 95 0 66208 0
[pid=11765/tid=11766] ppid=11763 vsize=284904 CPUtime=0.69 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 1110 0 0 0 69 0 0 0 18 0 4 0 730705483 291741696 2843 33554432000 4194304 4580107 140734073162208 18446744073709551615 4320696 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=284904 CPUtime=0.69 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 1132 0 0 0 69 0 0 0 18 0 4 0 730705483 291741696 2843 33554432000 4194304 4580107 140734073162208 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=284904 CPUtime=0.68 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 957 0 0 0 68 0 0 0 18 0 4 0 730705483 291741696 2843 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284904

[startup+1.50093 s]
/proc/loadavg: 6.99 7.87 7.96 9/390 11769
/proc/meminfo: memFree=14871488/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=286356 CPUtime=5.96 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 8244 0 0 0 595 1 0 0 20 0 4 0 730705482 293228544 3428 33554432000 4194304 4580107 140734073162208 18446744073709551615 4452962 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 71589 3428 379 95 0 66571 0
[pid=11765/tid=11766] ppid=11763 vsize=286356 CPUtime=1.49 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 2018 0 0 0 149 0 0 0 19 0 4 0 730705483 293228544 3428 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=286356 CPUtime=1.49 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 2008 0 0 0 149 0 0 0 20 0 4 0 730705483 293228544 3428 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=286356 CPUtime=1.47 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 1817 0 0 0 147 0 0 0 20 0 4 0 730705483 293228544 3428 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 286356

[startup+3.10065 s]
/proc/loadavg: 6.99 7.87 7.96 9/390 11769
/proc/meminfo: memFree=14842468/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=302324 CPUtime=12.34 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 19585 0 0 0 1231 3 0 0 25 0 4 0 730705482 309579776 10611 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 75581 10611 380 95 0 70563 0
[pid=11765/tid=11766] ppid=11763 vsize=302324 CPUtime=3.09 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 4466 0 0 0 309 0 0 0 25 0 4 0 730705483 309579776 10611 33554432000 4194304 4580107 140734073162208 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=302324 CPUtime=3.09 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 5463 0 0 0 308 1 0 0 25 0 4 0 730705483 309579776 10611 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=302324 CPUtime=3.05 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 4330 0 0 0 305 0 0 0 25 0 4 0 730705483 309579776 10611 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 302324

[startup+6.3011 s]
/proc/loadavg: 7.07 7.87 7.96 9/390 11769
/proc/meminfo: memFree=14803024/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=303476 CPUtime=25.1 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 30181 0 0 0 2505 5 0 0 25 0 4 0 730705482 310759424 13269 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 75869 13269 379 95 0 70851 0
[pid=11765/tid=11766] ppid=11763 vsize=303476 CPUtime=6.29 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 8356 0 0 0 628 1 0 0 25 0 4 0 730705483 310759424 13269 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=303476 CPUtime=6.28 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 7515 0 0 0 627 1 0 0 25 0 4 0 730705483 310759424 13269 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=303476 CPUtime=6.21 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 6291 0 0 0 621 0 0 0 25 0 4 0 730705483 310759424 13269 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 303476

[startup+12.701 s]
/proc/loadavg: 7.14 7.87 7.96 9/390 11769
/proc/meminfo: memFree=14738708/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=317980 CPUtime=50.62 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 48435 0 0 0 5053 9 0 0 25 0 4 0 730705482 325611520 22886 33554432000 4194304 4580107 140734073162208 18446744073709551615 4305975 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 79495 22886 379 95 0 74477 0
[pid=11765/tid=11766] ppid=11763 vsize=317980 CPUtime=12.69 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 11507 0 0 0 1267 2 0 0 25 0 4 0 730705483 325611520 22886 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=317980 CPUtime=12.68 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 12471 0 0 0 1265 3 0 0 25 0 4 0 730705483 325611520 22886 33554432000 4194304 4580107 140734073162208 18446744073709551615 4321079 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=317980 CPUtime=12.53 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 10083 0 0 0 1252 1 0 0 25 0 4 0 730705483 325611520 22886 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 317980

[startup+25.5147 s]
/proc/loadavg: 7.33 7.88 7.96 9/390 11770
/proc/meminfo: memFree=14700884/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=322524 CPUtime=101.72 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 69820 0 0 0 10157 15 0 0 25 0 4 0 730705482 330264576 27786 33554432000 4194304 4580107 140734073162208 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 80631 27786 379 95 0 75613 0
[pid=11765/tid=11766] ppid=11763 vsize=322524 CPUtime=25.51 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 17426 0 0 0 2548 3 0 0 25 0 4 0 730705483 330264576 27786 33554432000 4194304 4580107 140734073162208 18446744073709551615 4321023 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=322524 CPUtime=25.5 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 18801 0 0 0 2546 4 0 0 25 0 4 0 730705483 330264576 27786 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=322524 CPUtime=25.19 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 13124 0 0 0 2516 3 0 0 25 0 4 0 730705483 330264576 27786 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 322524

[startup+51.1003 s]
/proc/loadavg: 7.64 7.90 7.96 9/390 11770
/proc/meminfo: memFree=14632000/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=334472 CPUtime=203.75 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 100720 0 0 0 20351 24 0 0 25 0 4 0 730705482 342499328 38480 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294345 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 83618 38480 379 95 0 78600 0
[pid=11765/tid=11766] ppid=11763 vsize=334472 CPUtime=51.09 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 22336 0 0 0 5104 5 0 0 25 0 4 0 730705483 342499328 38480 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=334472 CPUtime=51.08 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 28156 0 0 0 5102 6 0 0 25 0 4 0 730705483 342499328 38480 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=334472 CPUtime=50.46 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 20119 0 0 0 5042 4 0 0 25 0 4 0 730705483 342499328 38480 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 203.75
Current children cumulated vsize (KiB) 334472

[startup+102.3 s]
/proc/loadavg: 7.89 7.93 7.97 9/390 11772
/proc/meminfo: memFree=14574836/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=326288 CPUtime=407.94 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 139422 0 0 0 40754 40 0 0 25 0 4 0 730705482 334118912 44985 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 81572 44985 379 95 0 76554 0
[pid=11765/tid=11766] ppid=11763 vsize=326288 CPUtime=102.29 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 29149 0 0 0 10222 7 0 0 25 0 4 0 730705483 334118912 44985 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=326288 CPUtime=102.29 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 37932 0 0 0 10218 11 0 0 25 0 4 0 730705483 334118912 44985 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=326288 CPUtime=101.05 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 34593 0 0 0 10095 10 0 0 25 0 4 0 730705483 334118912 44985 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 407.94
Current children cumulated vsize (KiB) 326288

[startup+162.301 s]

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

[pid=11765] ppid=11763 vsize=527672 CPUtime=2561.18 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 414295 0 0 0 255942 176 0 0 25 0 4 0 730705482 540336128 91772 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 131918 91772 379 95 0 126900 0
[pid=11765/tid=11766] ppid=11763 vsize=527672 CPUtime=642.3 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 85774 0 0 0 64196 34 0 0 25 0 4 0 730705483 540336128 91772 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=527672 CPUtime=642.28 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 89063 0 0 0 64192 36 0 0 25 0 4 0 730705483 540336128 91772 33554432000 4194304 4580107 140734073162208 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=527672 CPUtime=634.27 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 117282 0 0 0 63375 52 0 0 25 0 4 0 730705483 540336128 91772 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2561.18
Current children cumulated vsize (KiB) 527672

[startup+702.301 s]
/proc/loadavg: 8.09 8.07 8.01 9/390 11788
/proc/meminfo: memFree=14181032/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=541148 CPUtime=2800.41 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 439599 0 0 0 279854 187 0 0 25 0 4 0 730705482 554135552 101438 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 135287 101438 379 95 0 130269 0
[pid=11765/tid=11766] ppid=11763 vsize=541148 CPUtime=702.3 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 89999 0 0 0 70194 36 0 0 25 0 4 0 730705483 554135552 101438 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=541148 CPUtime=702.27 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 94800 0 0 0 70189 38 0 0 25 0 4 0 730705483 554135552 101438 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=541148 CPUtime=693.5 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 127241 0 0 0 69294 56 0 0 25 0 4 0 730705483 554135552 101438 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2800.41
Current children cumulated vsize (KiB) 541148

[startup+762.3 s]
/proc/loadavg: 8.13 8.08 8.02 9/390 11789
/proc/meminfo: memFree=14185228/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=606800 CPUtime=3039.66 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 458413 0 0 0 303768 198 0 0 25 0 4 0 730705482 621363200 98857 33554432000 4194304 4580107 140734073162208 18446744073709551615 4320813 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 151700 98857 379 95 0 146682 0
[pid=11765/tid=11766] ppid=11763 vsize=606800 CPUtime=762.31 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 94511 0 0 0 76192 39 0 0 25 0 4 0 730705483 621363200 98857 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=606800 CPUtime=762.27 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 97462 0 0 0 76186 41 0 0 25 0 4 0 730705483 621363200 98857 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=606800 CPUtime=752.76 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 133794 0 0 0 75216 60 0 0 25 0 4 0 730705483 621363200 98857 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3039.66
Current children cumulated vsize (KiB) 606800

[startup+822.301 s]
/proc/loadavg: 8.38 8.16 8.04 9/390 11794
/proc/meminfo: memFree=14134412/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=606904 CPUtime=3278.91 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 481821 0 0 0 327679 212 0 0 25 0 4 0 730705482 621469696 105867 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 151726 105867 379 95 0 146708 0
[pid=11765/tid=11766] ppid=11763 vsize=606904 CPUtime=822.3 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 97560 0 0 0 82190 40 0 0 25 0 4 0 730705483 621469696 105867 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=606904 CPUtime=822.27 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 102366 0 0 0 82183 44 0 0 25 0 4 0 730705483 621469696 105867 33554432000 4194304 4580107 140734073162208 18446744073709551615 4339876 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=606904 CPUtime=812.01 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 141651 0 0 0 81136 65 0 0 25 0 4 0 730705483 621469696 105867 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294482 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3278.91
Current children cumulated vsize (KiB) 606904

[startup+882.3 s]
/proc/loadavg: 8.18 8.14 8.04 9/390 11795
/proc/meminfo: memFree=14103232/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=621376 CPUtime=3518.2 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 504875 0 0 0 351593 227 0 0 25 0 4 0 730705482 636289024 110997 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 155344 110997 379 95 0 150326 0
[pid=11765/tid=11766] ppid=11763 vsize=621376 CPUtime=882.31 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 102920 0 0 0 88187 44 0 0 25 0 4 0 730705483 636289024 110998 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=621376 CPUtime=882.28 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 104858 0 0 0 88182 46 0 0 25 0 4 0 730705483 636289024 110998 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=621376 CPUtime=871.27 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 149585 0 0 0 87057 70 0 0 25 0 4 0 730705483 636289024 110998 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3518.2
Current children cumulated vsize (KiB) 621376

[startup+942.301 s]
/proc/loadavg: 8.15 8.13 8.04 9/390 11797
/proc/meminfo: memFree=14118456/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=634536 CPUtime=3757.42 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 525424 0 0 0 375505 237 0 0 25 0 4 0 730705482 649764864 107860 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 158634 107860 379 95 0 153616 0
[pid=11765/tid=11766] ppid=11763 vsize=634536 CPUtime=942.3 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 105647 0 0 0 94185 45 0 0 25 0 4 0 730705483 649764864 107860 33554432000 4194304 4580107 140734073162208 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=634536 CPUtime=942.26 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 108651 0 0 0 94178 48 0 0 25 0 4 0 730705483 649764864 107860 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=634536 CPUtime=930.51 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 156693 0 0 0 92977 74 0 0 25 0 4 0 730705483 649764864 107860 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3757.42
Current children cumulated vsize (KiB) 634536

[startup+1002.31 s]
/proc/loadavg: 8.25 8.15 8.05 9/390 11799
/proc/meminfo: memFree=14094364/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=634712 CPUtime=3996.72 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 550237 0 0 0 399423 249 0 0 25 0 4 0 730705482 649945088 114652 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 158678 114652 379 95 0 153660 0
[pid=11765/tid=11766] ppid=11763 vsize=634712 CPUtime=1002.32 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 113047 0 0 0 100184 48 0 0 25 0 4 0 730705483 649945088 114652 33554432000 4194304 4580107 140734073162208 18446744073709551615 4406476 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=634712 CPUtime=1002.28 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 111642 0 0 0 100178 50 0 0 25 0 4 0 730705483 649945088 114652 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=634712 CPUtime=989.77 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 163814 0 0 0 98899 78 0 0 25 0 4 0 730705483 649945088 114652 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3996.72
Current children cumulated vsize (KiB) 634712

[startup+1062.3 s]
/proc/loadavg: 8.28 8.17 8.06 9/390 11800
/proc/meminfo: memFree=14101416/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=590924 CPUtime=4235.93 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 574601 0 0 0 423330 263 0 0 25 0 4 0 730705482 605106176 109691 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294546 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 147731 109691 379 95 0 142713 0
[pid=11765/tid=11766] ppid=11763 vsize=590924 CPUtime=1062.31 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 117388 0 0 0 106179 52 0 0 25 0 4 0 730705483 605106176 109691 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294551 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=590924 CPUtime=1062.26 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 117076 0 0 0 106173 53 0 0 25 0 4 0 730705483 605106176 109691 33554432000 4194304 4580107 140734073162208 18446744073709551615 4301646 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=590924 CPUtime=1049.01 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 171298 0 0 0 104820 81 0 0 25 0 4 0 730705483 605106176 109691 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4235.93
Current children cumulated vsize (KiB) 590924

[startup+1122.3 s]
/proc/loadavg: 8.27 8.18 8.07 9/390 11802
/proc/meminfo: memFree=14033184/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=618232 CPUtime=4475.16 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 595517 0 0 0 447243 273 0 0 25 0 4 0 730705482 633069568 122142 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 154558 122142 379 95 0 149540 0
[pid=11765/tid=11766] ppid=11763 vsize=618232 CPUtime=1122.31 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 121755 0 0 0 112176 55 0 0 25 0 4 0 730705483 633069568 122142 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=618232 CPUtime=1122.27 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 122083 0 0 0 112170 57 0 0 25 0 4 0 730705483 633069568 122142 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=618232 CPUtime=1108.25 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 177222 0 0 0 110743 82 0 0 25 0 4 0 730705483 633069568 122142 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4475.16
Current children cumulated vsize (KiB) 618232

[startup+1182.3 s]
/proc/loadavg: 8.24 8.19 8.08 9/390 11803
/proc/meminfo: memFree=14021636/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=737364 CPUtime=4714.42 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 615170 0 0 0 471157 285 0 0 25 0 4 0 730705482 755060736 123250 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 184341 123250 379 95 0 179323 0
[pid=11765/tid=11766] ppid=11763 vsize=737364 CPUtime=1182.31 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 124078 0 0 0 118175 56 0 0 25 0 4 0 730705483 755060736 123250 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=737364 CPUtime=1182.26 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 127268 0 0 0 118167 59 0 0 25 0 4 0 730705483 755060736 123250 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294589 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=737364 CPUtime=1167.5 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 182643 0 0 0 116663 87 0 0 25 0 4 0 730705483 755060736 123250 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4714.42
Current children cumulated vsize (KiB) 737364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.8 s]
/proc/loadavg: 8.22 8.19 8.08 9/390 11804
/proc/meminfo: memFree=14011084/32951124 swapFree=65586204/67111528
[pid=11765] ppid=11763 vsize=737596 CPUtime=4800.17 cores=1,3,5,7
/proc/11765/stat : 11765 (strangenight2-m) R 11763 11765 11082 0 -1 4202496 622093 0 0 0 479728 289 0 0 25 0 4 0 730705482 755298304 126174 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294570 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/11765/statm: 184399 126174 379 95 0 179381 0
[pid=11765/tid=11766] ppid=11763 vsize=737596 CPUtime=1203.82 cores=1,3,5,7
/proc/11765/task/11766/stat : 11766 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 125442 0 0 0 120325 57 0 0 25 0 4 0 730705483 755298304 126177 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293698 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=11765/tid=11767] ppid=11763 vsize=737596 CPUtime=1203.78 cores=1,3,5,7
/proc/11765/task/11767/stat : 11767 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 128635 0 0 0 120318 60 0 0 25 0 4 0 730705483 755298304 126177 33554432000 4194304 4580107 140734073162208 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=11765/tid=11768] ppid=11763 vsize=737596 CPUtime=1188.72 cores=1,3,5,7
/proc/11765/task/11768/stat : 11768 (strangenight2-m) R 11763 11765 11082 0 -1 4202560 185449 0 0 0 118784 88 0 0 25 0 4 0 730705483 755298304 126177 33554432000 4194304 4580107 140734073162208 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.17
Current children cumulated vsize (KiB) 737596

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.84
CPU time (s): 4800.24
CPU user time (s): 4797.32
CPU system time (s): 2.91656
CPU usage (%): 398.743
Max. virtual memory (cumulated for all children) (KiB): 834000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.32
system time used= 2.91656
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 622096
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= 469
involuntary context switches= 32895

runsolver used 4.21336 second user time and 10.8993 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 22:25:48
IDJOB=3366469
IDBENCH=82878
IDSOLVER=1844
FILE ID=node119/3366469-1305404748
RUNJOBID= node119-1305404748-11743
PBS_JOBID= 13324462
Free space on /tmp= 73188 MiB

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

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

MD5SUM BENCH= 4fe02968acd00bdecbd1c96009763619
RANDOM SEED=90548575

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14893248 kB
Buffers:        284012 kB
Cached:        4558088 kB
SwapCached:       4756 kB
Active:       14707784 kB
Inactive:      3018200 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14893248 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           11112 kB
Writeback:           0 kB
AnonPages:    12881928 kB
Mapped:          30240 kB
Slab:           210944 kB
PageTables:      56616 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 102545064 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= 73184 MiB
End job on node119 at 2011-05-14 22:45:54