Trace number 3174240

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
MD5SUM010b9faa30750ce3440cb9a8110ebefe
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.095984
Satisfiable
(Un)Satisfiability was proved
Number of variables125
Number of clauses2662
Sum of the clauses size13310
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 52662
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-3174240-1304115803.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.01	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.01	c -- vars added        125
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
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.38/0.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.38/0.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.38/0.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.38/0.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.38/0.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.38/0.10	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.38/0.10	c Finding binary XORs  T:     0.00 s  found:       0
0.38/0.10	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.38/0.10	c calculated reachability. Time: 0.00
0.38/0.10	c Calc default polars -  time:   0.00 s pos:      62 undec:       6 neg:      57
0.38/0.10	c =========================================================================================
0.38/0.10	c types(t): F = full restart, N = normal restart
0.38/0.10	c types(t): S = simplification begin/end, E = solution found
0.38/0.10	c restart types(rt): st = static, dy = dynamic
0.38/0.10	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.38/0.10	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.38/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4916       125      2662         0      4675     13310    121093   no data   no data
1.17/0.34	c  N st    10     11299       125      2662         0      4301     13310     87724   no data   no data
1.97/0.54	c  N st    11     17043       125      2662         0      9691     13310    234790   no data   no data
3.17/0.86	c  F st    12     25000       125      2662         0     11876     13310    283438   no data   no data
3.17/0.86	c  N st    12     25000       125      2662         0     11876     13310    283438   no data   no data
3.99/1.08	c Decided on static restart strategy
3.99/1.08	c  N st    18     30002       125      2662         0     10199     13310    225995   no data   no data
3.99/1.08	c  S st    18     30002       125      2662         0     10199     13310    225995   no data   no data
4.39/1.11	c  S st    18     30504       125      2662         0     10685     13310    238817   no data   no data
4.39/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.11	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.29	c lits-rem:       242  cl-subs:     1426  v-elim:      0  v-fix:    0  time:  0.17 s
5.16/1.33	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
5.16/1.33	c calculated reachability. Time: 0.00
5.16/1.33	c  N st    18     30504       125      2662         0      9259     13310    199358   no data   no data
6.37/1.66	c  N st    20     37614       125      2662         0      8542     13310    167008   no data   no data
7.57/1.98	c  N st    21     44016       125      2662         0     14575     13310    330874   no data   no data
7.96/2.08	c  S st    22     45756       125      2662         0     16226     13310    373667   no data   no data
8.38/2.13	c  S st    22     46261       125      2662         0     16724     13310    386360   no data   no data
8.38/2.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.38/2.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.38/2.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.38/2.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.38/2.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.38/2.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.38/2.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.38/2.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.38/2.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.60	c lits-rem:       557  cl-subs:     1707  v-elim:      0  v-fix:    0  time:  0.44 s
10.35/2.60	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.35/2.60	c vivif2 --  cl tried    15017 cl shrink        0 lits rem          0 time: 0.00
10.35/2.66	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.35/2.66	c calculated reachability. Time: 0.00
10.35/2.66	c  N st    22     46261       125      2662         0     15017     13310    336948   no data   no data
13.95/3.51	c  N st    23     60658       125      2662         0     10777     13310    193014   no data   no data
15.95/4.00	c  N st    24     69391       125      2662         0     18996     13310    401155   no data   no data
15.95/4.00	c  S st    24     69391       125      2662         0     18996     13310    401155   no data   no data
15.95/4.05	c  S st    24     69893       125      2662         0     19484     13310    413557   no data   no data
15.95/4.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.95/4.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.95/4.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.95/4.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.95/4.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.95/4.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.95/4.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.95/4.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.95/4.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.34/4.67	c lits-rem:       282  cl-subs:     2130  v-elim:      0  v-fix:    0  time:  0.59 s
18.34/4.67	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.34/4.67	c vivif2 --  cl tried    17354 cl shrink        0 lits rem          0 time: 0.00
18.74/4.74	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.74/4.74	c calculated reachability. Time: 0.00
18.74/4.74	c  N st    24     69893       125      2662         0     17354     13310    359715   no data   no data
23.14/5.84	c  F st    25     87500       125      2662         0     12397     13310    214715   no data   no data
23.14/5.84	c  N st    25     87500       125      2662         0     12397     13310    214715   no data   no data
24.34/6.12	c Decided on static restart strategy
25.14/6.30	c  N st    32     95535       125      2662         0     20003     13310    410190   no data   no data
27.13/6.88	c  N st    34    104839       125      2662         0     16563     13310    317656   no data   no data
27.13/6.88	c  S st    34    104839       125      2662         0     16563     13310    317656   no data   no data
27.53/6.93	c  S st    34    105342       125      2662         0     17055     13310    330287   no data   no data
27.53/6.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.53/6.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.53/6.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.53/6.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.53/6.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.53/6.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.53/6.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.53/6.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.53/6.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.33/7.16	c lits-rem:       225  cl-subs:     1041  v-elim:      0  v-fix:    0  time:  0.21 s
28.33/7.16	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.33/7.16	c vivif2 --  cl tried    16014 cl shrink        0 lits rem          0 time: 0.00
28.73/7.22	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.73/7.22	c calculated reachability. Time: 0.00
28.73/7.22	c  N st    34    105342       125      2662         0     16014     13310    300876   no data   no data
31.53/7.91	c  N st    35    114942       125      2662         0     25037     13310    539716   no data   no data
35.14/8.87	c  N st    36    129341       125      2662         0     25440     13310    540847   no data   no data
41.91/10.51	c  N st    37    150936       125      2662         0     16512     13310    262908   no data   no data
43.53/10.95	c  S st    38    158014       125      2662         0     23128     13310    438860   no data   no data
43.93/11.00	c  S st    38    158519       125      2662         0     23617     13310    451598   no data   no data
43.93/11.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.93/11.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.93/11.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.93/11.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.93/11.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.93/11.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.93/11.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.93/11.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.93/11.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.91/11.55	c lits-rem:       483  cl-subs:     1675  v-elim:      0  v-fix:    0  time:  0.52 s
45.91/11.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.91/11.55	c vivif2 --  cl tried    21942 cl shrink        0 lits rem          0 time: 0.01
46.31/11.64	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
46.31/11.64	c calculated reachability. Time: 0.00
46.31/11.64	c  N st    38    158519       125      2662         0     21942     13310    406015   no data   no data
62.69/15.71	c  N st    39    207107       125      2662         0     34735     13310    701465   no data   no data
73.07/18.39	c  N st    40    237779       125      2662         0     26958     13310    489180   no data   no data
73.07/18.39	c  S st    40    237779       125      2662         0     26958     13310    489180   no data   no data
73.47/18.46	c  S st    40    238281       125      2662         0     27435     13310    501765   no data   no data
73.47/18.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.47/18.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
73.47/18.47	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
73.47/18.47	c bin-w-bin subsume rem            0 bins  time:  0.00 s
73.47/18.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
73.47/18.47	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
73.47/18.47	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.47/18.48	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
73.47/18.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.67/19.20	c lits-rem:       641  cl-subs:     2090  v-elim:      0  v-fix:    0  time:  0.71 s
76.67/19.20	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
76.67/19.20	c vivif2 --  cl tried    25345 cl shrink        0 lits rem          0 time: 0.00
77.07/19.30	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
77.07/19.30	c calculated reachability. Time: 0.00
77.07/19.30	c  N st    40    238281       125      2662         0     25345     13310    448500   no data   no data
101.05/25.31	c  F st    41    306251       125      2662         0     27121     13310    447187   no data   no data
101.05/25.31	c  N st    41    306251       125      2662         0     27121     13310    447187   no data   no data
102.63/25.75	c Decided on static restart strategy
111.82/28.03	c  N st    51    334560       125      2662         0     31321     13310    533975   no data   no data
121.00/30.31	c  N st    53    357421       125      2662         0     29342     13310    472617   no data   no data
121.00/30.31	c  S st    53    357421       125      2662         0     29342     13310    472617   no data   no data
121.00/30.39	c  S st    53    357924       125      2662         0     29831     13310    485557   no data   no data
121.00/30.39	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
121.40/30.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
121.40/30.40	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.40/30.40	c bin-w-bin subsume rem            0 bins  time:  0.00 s
121.40/30.40	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.40/30.40	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
121.40/30.40	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.40/30.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
121.40/30.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.02/30.83	c lits-rem:       699  cl-subs:     1306  v-elim:      0  v-fix:    0  time:  0.42 s
123.02/30.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
123.02/30.84	c vivif2 --  cl tried    28525 cl shrink        0 lits rem          0 time: 0.01
123.40/30.95	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
123.40/30.95	c calculated reachability. Time: 0.00
123.40/30.95	c  N st    53    357924       125      2662         0     28525     13310    450014   no data   no data
136.58/34.21	c  N st    54    390316       125      2662         0     34633     13310    601653   no data   no data
160.95/40.40	c  N st    55    438905       125      2662         0     28599     13310    416968   no data   no data
197.71/49.51	c  N st    56    511790       125      2662         0     41447     13310    711255   no data   no data
211.28/52.96	c  N st    57    536888       125      2662         0     35949     13310    554385   no data   no data
211.28/52.96	c  S st    57    536888       125      2662         0     35949     13310    554385   no data   no data
211.68/53.05	c  S st    57    537392       125      2662         0     36436     13310    567104   no data   no data
211.68/53.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
211.68/53.06	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
211.68/53.06	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
211.68/53.06	c bin-w-bin subsume rem            0 bins  time:  0.00 s
211.68/53.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
211.68/53.06	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
211.68/53.06	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
211.68/53.07	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
211.68/53.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.48/53.73	c lits-rem:       417  cl-subs:     1693  v-elim:      0  v-fix:    0  time:  0.64 s
214.48/53.73	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
214.48/53.73	c vivif2 --  cl tried    34743 cl shrink        0 lits rem          0 time: 0.01
214.90/53.87	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
214.90/53.87	c calculated reachability. Time: 0.00
214.90/53.87	c  N st    57    537392       125      2662         0     34743     13310    526187   no data   no data
303.17/75.94	c  N st    58    701378       125      2662         0     62777     13310   1199265   no data   no data
366.67/91.82	c  N st    59    806090       125      2662         0     56882     13310   1007375   no data   no data
366.67/91.82	c  S st    59    806090       125      2662         0     56882     13310   1007375   no data   no data
367.07/91.98	c  S st    59    806592       125      2662         0     57370     13310   1020258   no data   no data
367.07/91.99	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
367.47/92.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
367.47/92.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
367.47/92.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
367.47/92.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
367.47/92.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
367.47/92.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
367.47/92.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
367.47/92.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
384.24/96.28	c lits-rem:      1576  cl-subs:     5182  v-elim:      0  v-fix:    0  time:  4.23 s
384.24/96.28	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
384.24/96.29	c vivif2 --  cl tried    52188 cl shrink        0 lits rem          0 time: 0.01
385.45/96.55	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
385.45/96.55	c calculated reachability. Time: 0.00
385.45/96.55	c  N st    59    806592       125      2662         0     52188     13310    891733   no data   no data
554.81/138.91	c  F st    60   1071876       125      2662         0     67728     13310   1232710   no data   no data
554.81/138.91	c  N st    60   1071876       125      2662         0     67728     13310   1232710   no data   no data
559.21/140.00	c Decided on static restart strategy
574.79/143.92	c  N st    70   1100179       125      2662         0     52278     13310    799010   no data   no data
601.98/150.79	c  N st    72   1136173       125      2662         0     85939     13310   1664663   no data   no data
624.72/156.49	c  N st    73   1168567       125      2662         0     73214     13310   1318328   no data   no data
653.08/163.51	c  N st    74   1209888       125      2662         0     67905     13310   1183088   no data   no data
653.08/163.51	c  S st    74   1209888       125      2662         0     67905     13310   1183088   no data   no data
653.88/163.75	c  S st    74   1210390       125      2662         0     68389     13310   1195734   no data   no data
653.88/163.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
653.88/163.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
653.88/163.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
653.88/163.79	c bin-w-bin subsume rem            0 bins  time:  0.00 s
653.88/163.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
653.88/163.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
653.88/163.79	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
654.30/163.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
654.30/163.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
694.25/173.88	c lits-rem:      1593  cl-subs:     4954  v-elim:      0  v-fix:    0  time: 10.03 s
694.25/173.88	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
694.25/173.89	c vivif2 --  cl tried    63435 cl shrink        0 lits rem          0 time: 0.02
696.22/174.32	c asymm  cl-useful: 0/2349/2662 lits-rem:0 time: 0.42
696.22/174.32	c calculated reachability. Time: 0.00
696.22/174.32	c  N st    74   1210390       125      2662         0     63435     13310   1063670   no data   no data
759.76/190.24	c  N st    75   1283272       125      2662         0     86416     13310   1607022   no data   no data
861.60/215.72	c  N st    76   1392595       125      2662         0     48773     13310    601451   no data   no data
1001.83/250.87	c  N st    77   1556580       125      2662         0     53103     13310    676074   no data   no data
1133.25/283.77	c  N st    78   1710390       125      2662         0     93077     13310   1683335   no data   no data
1133.25/283.77	c  S st    78   1710390       125      2662         0     93077     13310   1683335   no data   no data
1134.43/284.05	c  S st    78   1710896       125      2662         0     93559     13310   1696187   no data   no data
1134.43/284.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1134.83/284.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1134.83/284.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1134.83/284.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1134.83/284.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1134.83/284.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1134.83/284.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1134.83/284.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1134.83/284.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1239.89/310.46	c lits-rem:      2567  cl-subs:    10418  v-elim:      0  v-fix:    0  time: 26.27 s
1239.89/310.46	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1239.89/310.48	c vivif2 --  cl tried    83141 cl shrink        0 lits rem          0 time: 0.02
1241.88/310.95	c asymm  cl-useful: 0/1779/2662 lits-rem:0 time: 0.47
1241.88/310.96	c calculated reachability. Time: 0.00
1241.88/310.96	c  N st    78   1710896       125      2662         0     83141     13310   1441585   no data   no data
1606.99/402.38	c  N st    79   2079862       125      2662         0     94898     13310   1679871   no data   no data
1744.42/436.78	c  N st    80   2210896       125      2662         0     98534     13310   1676394   no data   no data
1744.42/436.78	c  S st    80   2210896       125      2662         0     98534     13310   1676394   no data   no data
1745.59/437.08	c  S st    80   2211404       125      2662         0     99026     13310   1689530   no data   no data
1745.59/437.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1745.99/437.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1745.99/437.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1745.99/437.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1745.99/437.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1745.99/437.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1745.99/437.14	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1745.99/437.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1746.39/437.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1814.33/454.23	c lits-rem:      1483  cl-subs:    11303  v-elim:      0  v-fix:    0  time: 17.02 s
1814.33/454.23	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1814.33/454.25	c vivif2 --  cl tried    87723 cl shrink        0 lits rem          0 time: 0.02
1815.11/454.45	c asymm  cl-useful: 0/883/2662 lits-rem:0 time: 0.20
1815.11/454.45	c calculated reachability. Time: 0.00
1815.11/454.45	c  N st    80   2211404       125      2662         0     87723     13310   1429231   no data   no data
2365.15/592.11	c  N st    81   2711404       125      2662         0    110394     13310   1859446   no data   no data
2365.15/592.11	c  S st    81   2711404       125      2662         0    110394     13310   1859446   no data   no data
2366.35/592.48	c  S st    81   2711908       125      2662         0    110889     13310   1872701   no data   no data
2366.35/592.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2366.75/592.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2366.75/592.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2366.75/592.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2366.75/592.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2366.75/592.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2366.75/592.54	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2366.75/592.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2367.15/592.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2455.04/614.61	c lits-rem:      1684  cl-subs:    13629  v-elim:      0  v-fix:    0  time: 21.99 s
2455.04/614.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2455.04/614.64	c vivif2 --  cl tried    97260 cl shrink        0 lits rem          0 time: 0.02
2456.25/614.99	c asymm  cl-useful: 0/1524/2662 lits-rem:0 time: 0.35
2456.25/614.99	c calculated reachability. Time: 0.00
2456.25/614.99	c  N st    81   2711908       125      2662         0     97260     13310   1574682   no data   no data
3045.81/762.51	c  N st    82   3211909       125      2662         0     75569     13310    916314   no data   no data
3045.81/762.51	c  S st    82   3211909       125      2662         0     75569     13310    916314   no data   no data
3046.61/762.73	c  S st    82   3212413       125      2662         0     76060     13310    929376   no data   no data
3046.61/762.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3046.61/762.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.03
3046.61/762.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3046.61/762.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3046.61/762.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3046.61/762.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3046.61/762.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3046.61/762.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3047.01/762.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3049.44/763.49	c lits-rem:       168  cl-subs:      826  v-elim:      0  v-fix:    0  time:  0.67 s
3049.44/763.49	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3049.82/763.50	c vivif2 --  cl tried    75234 cl shrink        0 lits rem          0 time: 0.01
3050.61/763.70	c asymm  cl-useful: 0/1138/2662 lits-rem:0 time: 0.20
3050.61/763.71	c calculated reachability. Time: 0.00
3050.61/763.71	c  N st    82   3212413       125      2662         0     75234     13310    910397   no data   no data
3652.60/914.46	c  N st    83   3712414       125      2662         0     85281     13310   1087171   no data   no data
3652.60/914.46	c  S st    83   3712414       125      2662         0     85281     13310   1087171   no data   no data
3653.80/914.73	c  S st    83   3712922       125      2662         0     85775     13310   1100172   no data   no data
3653.80/914.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3653.80/914.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3653.80/914.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3653.80/914.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3653.80/914.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3653.80/914.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3653.80/914.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3654.20/914.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3654.20/914.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3660.21/916.37	c lits-rem:       496  cl-subs:     2034  v-elim:      0  v-fix:    0  time:  1.54 s
3660.21/916.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3660.21/916.39	c vivif2 --  cl tried    83741 cl shrink        0 lits rem          0 time: 0.02
3661.79/916.70	c asymm  cl-useful: 0/1790/2662 lits-rem:0 time: 0.31
3661.79/916.70	c calculated reachability. Time: 0.00
3661.79/916.70	c  N st    83   3712922       125      2662         0     83741     13310   1053553   no data   no data
3708.92/928.55	c  F st    84   3751562       125      2662         0    119515     13310   1976627   no data   no data
3708.92/928.55	c  N st    84   3751562       125      2662         0    119515     13310   1976627   no data   no data
3719.31/931.16	c Decided on static restart strategy
3759.65/941.29	c  N st    94   3779869       125      2662         0    145972     13310   2661688   no data   no data
3808.39/953.42	c  N st    96   3815863       125      2662         0    100790     13310   1475264   no data   no data
3850.33/963.93	c  N st    97   3848255       125      2662         0    130871     13310   2228973   no data   no data
3924.23/982.47	c  N st    98   3896843       125      2662         0     96242     13310   1339841   no data   no data
4039.28/1011.29	c  N st    99   3969726       125      2662         0     83273     13310    988016   no data   no data
4197.46/1050.84	c  N st   100   4079050       125      2662         0    102968     13310   1471367   no data   no data
4389.61/1098.96	c  N st   101   4212922       125      2662         0    144778     13310   2554023   no data   no data
4389.61/1098.96	c  S st   101   4212922       125      2662         0    144778     13310   2554023   no data   no data
4391.59/1099.44	c  S st   101   4213425       125      2662         0    145259     13310   2566674   no data   no data
4391.59/1099.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4391.99/1099.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4391.99/1099.52	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4391.99/1099.52	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4391.99/1099.52	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4391.99/1099.52	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4391.99/1099.52	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4391.99/1099.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4392.39/1099.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4661.64/1167.04	c lits-rem:      2224  cl-subs:    15034  v-elim:      0  v-fix:    0  time: 67.38 s
4661.64/1167.04	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4661.64/1167.08	c vivif2 --  cl tried   130225 cl shrink        0 lits rem          0 time: 0.04
4663.62/1167.58	c asymm  cl-useful: 0/872/2662 lits-rem:0 time: 0.50
4663.62/1167.58	c calculated reachability. Time: 0.00
4663.62/1167.58	c  N st   101   4213425       125      2662         0    130225     13310   2195033   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-3174240-1304115803/watcher-3174240-1304115803 -o /tmp/evaluation-result-3174240-1304115803/solver-3174240-1304115803 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174240-1304115803.cnf 

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

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


[startup+0 s]
/proc/loadavg: 8.25 8.10 8.02 5/180 5267
/proc/meminfo: memFree=29247404/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 408 0 0 0 0 0 0 0 25 0 4 0 601810945 52441088 347 33554432000 4194304 4627427 140736576070400 18446744073709551615 47763524143026 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 12803 347 299 106 0 7774 0
[pid=5267/tid=5268] ppid=5265 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 601810945 52441088 347 33554432000 4194304 4627427 140736576070400 18446744073709551615 47763524143020 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601810945 52441088 347 33554432000 4194304 4627427 140736576070400 18446744073709551615 231895546865 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=51212 CPUtime=0 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 601810945 52441088 347 33554432000 4194304 4627427 140736576070400 18446744073709551615 47763524143026 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.0900541 s]
/proc/loadavg: 8.25 8.10 8.02 5/180 5267
/proc/meminfo: memFree=29247404/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=281988 CPUtime=0.33 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 1811 0 0 0 33 0 0 0 18 0 4 0 601810945 288755712 1664 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 70497 1664 383 106 0 65468 0
[pid=5267/tid=5268] ppid=5265 vsize=281988 CPUtime=0.08 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 379 0 0 0 8 0 0 0 25 0 4 0 601810945 288755712 1664 33554432000 4194304 4627427 140736576070400 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=281988 CPUtime=0.08 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 415 0 0 0 8 0 0 0 18 0 4 0 601810945 288755712 1664 33554432000 4194304 4627427 140736576070400 18446744073709551615 4333328 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=281988 CPUtime=0.08 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 229 0 0 0 8 0 0 0 18 0 4 0 601810945 288755712 1664 33554432000 4194304 4627427 140736576070400 18446744073709551615 4330537 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 281988

[startup+0.10105 s]
/proc/loadavg: 8.25 8.10 8.02 5/180 5267
/proc/meminfo: memFree=29247404/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=281988 CPUtime=0.38 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 1864 0 0 0 38 0 0 0 18 0 4 0 601810945 288755712 1717 33554432000 4194304 4627427 140736576070400 18446744073709551615 4310580 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 70497 1717 383 106 0 65468 0
[pid=5267/tid=5268] ppid=5265 vsize=281988 CPUtime=0.09 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 390 0 0 0 9 0 0 0 25 0 4 0 601810945 288755712 1717 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=281988 CPUtime=0.09 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 432 0 0 0 9 0 0 0 18 0 4 0 601810945 288755712 1718 33554432000 4194304 4627427 140736576070400 18446744073709551615 4331244 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=281988 CPUtime=0.09 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 241 0 0 0 9 0 0 0 18 0 4 0 601810945 288755712 1718 33554432000 4194304 4627427 140736576070400 18446744073709551615 4507218 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.38
Current children cumulated vsize (KiB) 281988

[startup+0.301014 s]
/proc/loadavg: 8.25 8.10 8.02 5/180 5267
/proc/meminfo: memFree=29247404/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=283844 CPUtime=1.17 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 3072 0 0 0 117 0 0 0 18 0 4 0 601810945 290656256 2310 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 70961 2310 384 106 0 65932 0
[pid=5267/tid=5268] ppid=5265 vsize=283844 CPUtime=0.29 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 673 0 0 0 29 0 0 0 25 0 4 0 601810945 290656256 2311 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=283844 CPUtime=0.29 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 759 0 0 0 29 0 0 0 18 0 4 0 601810945 290656256 2311 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=283844 CPUtime=0.29 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 537 0 0 0 29 0 0 0 18 0 4 0 601810945 290656256 2311 33554432000 4194304 4627427 140736576070400 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283844

[startup+0.700939 s]
/proc/loadavg: 8.25 8.10 8.02 5/180 5267
/proc/meminfo: memFree=29247404/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=285336 CPUtime=2.77 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 5539 0 0 0 277 0 0 0 18 0 4 0 601810945 292184064 2649 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 71334 2649 384 106 0 66305 0
[pid=5267/tid=5268] ppid=5265 vsize=285336 CPUtime=0.69 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 1306 0 0 0 69 0 0 0 25 0 4 0 601810945 292184064 2649 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=285336 CPUtime=0.69 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 1351 0 0 0 69 0 0 0 18 0 4 0 601810945 292184064 2649 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=285336 CPUtime=0.69 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 1144 0 0 0 69 0 0 0 18 0 4 0 601810945 292184064 2649 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285336

[startup+1.50079 s]
/proc/loadavg: 8.25 8.10 8.02 9/184 5271
/proc/meminfo: memFree=29234724/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=286556 CPUtime=5.97 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 11516 0 0 0 595 2 0 0 20 0 4 0 601810945 293433344 5796 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 71639 5796 388 106 0 66610 0
[pid=5267/tid=5268] ppid=5265 vsize=286556 CPUtime=1.48 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 3313 0 0 0 148 0 0 0 25 0 4 0 601810945 293433344 5796 33554432000 4194304 4627427 140736576070400 18446744073709551615 4420204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=286556 CPUtime=1.48 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 2290 0 0 0 148 0 0 0 20 0 4 0 601810945 293433344 5796 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=286556 CPUtime=1.49 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 2056 0 0 0 149 0 0 0 20 0 4 0 601810945 293433344 5796 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286556

[startup+3.10049 s]
/proc/loadavg: 8.23 8.10 8.02 9/184 5271
/proc/meminfo: memFree=29213768/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=288008 CPUtime=12.36 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 20957 0 0 0 1232 4 0 0 25 0 4 0 601810945 294920192 10964 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309266 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 72002 10964 388 106 0 66973 0
[pid=5267/tid=5268] ppid=5265 vsize=288008 CPUtime=3.07 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 4478 0 0 0 307 0 0 0 25 0 4 0 601810945 294920192 10964 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=288008 CPUtime=3.09 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 5496 0 0 0 308 1 0 0 25 0 4 0 601810945 294920192 10964 33554432000 4194304 4627427 140736576070400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=288008 CPUtime=3.08 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 5029 0 0 0 308 0 0 0 25 0 4 0 601810945 294920192 10964 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.36
Current children cumulated vsize (KiB) 288008

[startup+6.30089 s]
/proc/loadavg: 8.23 8.10 8.02 9/184 5271
/proc/meminfo: memFree=29189872/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=288916 CPUtime=25.14 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 32258 0 0 0 2507 7 0 0 25 0 4 0 601810945 295849984 14967 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309247 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 72229 14967 389 106 0 67200 0
[pid=5267/tid=5268] ppid=5265 vsize=288916 CPUtime=6.25 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 7854 0 0 0 624 1 0 0 25 0 4 0 601810945 295849984 14967 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=288916 CPUtime=6.28 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 8442 0 0 0 627 1 0 0 25 0 4 0 601810945 295849984 14967 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=288916 CPUtime=6.28 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 7336 0 0 0 627 1 0 0 25 0 4 0 601810945 295849984 14967 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 288916

[startup+12.7007 s]
/proc/loadavg: 8.19 8.10 8.01 9/184 5271
/proc/meminfo: memFree=29164576/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=289620 CPUtime=50.7 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 50085 0 0 0 5060 10 0 0 25 0 4 0 601810945 296570880 18393 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309905 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 72405 18394 388 106 0 67376 0
[pid=5267/tid=5268] ppid=5265 vsize=289620 CPUtime=12.62 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 12227 0 0 0 1260 2 0 0 25 0 4 0 601810945 296570880 18394 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=289620 CPUtime=12.68 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 12197 0 0 0 1266 2 0 0 25 0 4 0 601810945 296570880 18394 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=289620 CPUtime=12.69 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 12122 0 0 0 1267 2 0 0 25 0 4 0 601810945 296570880 18394 33554432000 4194304 4627427 140736576070400 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.7
Current children cumulated vsize (KiB) 289620

[startup+25.5003 s]
/proc/loadavg: 8.16 8.09 8.01 9/184 5271
/proc/meminfo: memFree=29123648/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=280652 CPUtime=101.82 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 76674 0 0 0 10166 16 0 0 25 0 4 0 601810945 287387648 25703 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 70163 25703 388 106 0 65134 0
[pid=5267/tid=5268] ppid=5265 vsize=280652 CPUtime=25.34 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 19128 0 0 0 2531 3 0 0 25 0 4 0 601810945 287387648 25703 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=280652 CPUtime=25.49 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 19052 0 0 0 2545 4 0 0 25 0 4 0 601810945 287387648 25703 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=280652 CPUtime=25.49 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 17977 0 0 0 2545 4 0 0 25 0 4 0 601810945 287387648 25703 33554432000 4194304 4627427 140736576070400 18446744073709551615 4324192 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.82
Current children cumulated vsize (KiB) 280652

[startup+51.1005 s]
/proc/loadavg: 8.18 8.10 8.02 9/184 5272
/proc/meminfo: memFree=29108260/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=357444 CPUtime=204.09 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 114575 0 0 0 20380 29 0 0 25 0 4 0 601810945 366022656 33039 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 89361 33039 388 106 0 84332 0
[pid=5267/tid=5268] ppid=5265 vsize=357444 CPUtime=50.81 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 29188 0 0 0 5075 6 0 0 25 0 4 0 601810945 366022656 33039 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=357444 CPUtime=51.09 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 29329 0 0 0 5100 9 0 0 25 0 4 0 601810945 366022656 33039 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=357444 CPUtime=51.08 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 26494 0 0 0 5102 6 0 0 25 0 4 0 601810945 366022656 33039 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309277 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 204.09
Current children cumulated vsize (KiB) 357444

[startup+102.307 s]
/proc/loadavg: 8.14 8.10 8.02 9/184 5273
/proc/meminfo: memFree=29079096/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=316300 CPUtime=408.64 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 176113 0 0 0 40819 45 0 0 25 0 4 0 601810945 323891200 39613 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 79075 39613 389 106 0 74046 0
[pid=5267/tid=5268] ppid=5265 vsize=316300 CPUtime=101.73 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 41980 0 0 0 10165 8 0 0 25 0 4 0 601810945 323891200 39613 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=316300 CPUtime=102.29 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 45042 0 0 0 10216 13 0 0 25 0 4 0 601810945 323891200 39613 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=316300 CPUtime=102.29 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 42900 0 0 0 10219 10 0 0 25 0 4 0 601810945 323891200 39613 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.64
Current children cumulated vsize (KiB) 316300

[startup+162.301 s]

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

[pid=5267] ppid=5265 vsize=666632 CPUtime=2805.35 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 497169 0 0 0 280369 166 0 0 25 0 4 0 601810945 682631168 106251 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309902 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 166658 106251 388 106 0 161629 0
[pid=5267/tid=5268] ppid=5265 vsize=666632 CPUtime=698.48 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 110453 0 0 0 69816 32 0 0 25 0 4 0 601810945 682631168 106251 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=666632 CPUtime=702.31 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 128703 0 0 0 70181 50 0 0 25 0 4 0 601810945 682631168 106251 33554432000 4194304 4627427 140736576070400 18446744073709551615 4308399 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=666632 CPUtime=702.3 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 125893 0 0 0 70191 39 0 0 25 0 4 0 601810945 682631168 106251 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2805.35
Current children cumulated vsize (KiB) 666632

[startup+762.306 s]
/proc/loadavg: 8.16 8.11 8.02 9/184 5291
/proc/meminfo: memFree=28674648/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=575708 CPUtime=3045.04 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 522814 0 0 0 304328 176 0 0 25 0 4 0 601810945 589524992 105046 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309360 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 143927 105046 388 106 0 138898 0
[pid=5267/tid=5268] ppid=5265 vsize=575708 CPUtime=758.16 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 116404 0 0 0 75782 34 0 0 25 0 4 0 601810945 589524992 105046 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=575708 CPUtime=762.32 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 131667 0 0 0 76180 52 0 0 25 0 4 0 601810945 589524992 105046 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=575708 CPUtime=762.31 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 133389 0 0 0 76188 43 0 0 25 0 4 0 601810945 589524992 105046 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3045.04
Current children cumulated vsize (KiB) 575708

[startup+822.301 s]
/proc/loadavg: 8.20 8.12 8.03 9/184 5324
/proc/meminfo: memFree=28987516/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=589064 CPUtime=3284.71 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 549726 0 0 0 328283 188 0 0 25 0 4 0 601810945 603201536 112473 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309293 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 147266 112473 388 106 0 142237 0
[pid=5267/tid=5268] ppid=5265 vsize=589064 CPUtime=817.84 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 122634 0 0 0 81748 36 0 0 25 0 4 0 601810945 603201536 112473 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=589064 CPUtime=822.31 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 138403 0 0 0 82177 54 0 0 25 0 4 0 601810945 603201536 112473 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309195 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=589064 CPUtime=822.3 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 139783 0 0 0 82184 46 0 0 25 0 4 0 601810945 603201536 112473 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3284.71
Current children cumulated vsize (KiB) 589064

[startup+882.301 s]
/proc/loadavg: 8.07 8.09 8.02 9/184 5325
/proc/meminfo: memFree=28968448/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=602936 CPUtime=3524.37 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 574255 0 0 0 352239 198 0 0 25 0 4 0 601810945 617406464 111206 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 150734 111206 388 106 0 145705 0
[pid=5267/tid=5268] ppid=5265 vsize=602936 CPUtime=877.52 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 127340 0 0 0 87713 39 0 0 25 0 4 0 601810945 617406464 111206 33554432000 4194304 4627427 140736576070400 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=602936 CPUtime=882.32 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 147244 0 0 0 88173 59 0 0 25 0 4 0 601810945 617406464 111206 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=602936 CPUtime=882.31 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 143072 0 0 0 88184 47 0 0 25 0 4 0 601810945 617406464 111206 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3524.37
Current children cumulated vsize (KiB) 602936

[startup+942.301 s]
/proc/loadavg: 8.33 8.14 8.04 10/185 5330
/proc/meminfo: memFree=28901800/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=616540 CPUtime=3764.04 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 595158 0 0 0 376199 205 0 0 25 0 4 0 601810945 631336960 114828 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 154135 114828 388 106 0 149106 0
[pid=5267/tid=5268] ppid=5265 vsize=616540 CPUtime=937.2 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 132484 0 0 0 93679 41 0 0 25 0 4 0 601810945 631336960 114828 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=616540 CPUtime=942.32 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 152463 0 0 0 94171 61 0 0 25 0 4 0 601810945 631336960 114828 33554432000 4194304 4627427 140736576070400 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=616540 CPUtime=942.31 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 149879 0 0 0 94182 49 0 0 25 0 4 0 601810945 631336960 114828 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3764.04
Current children cumulated vsize (KiB) 616540

[startup+1002.3 s]
/proc/loadavg: 8.22 8.14 8.04 9/184 5331
/proc/meminfo: memFree=28878492/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=721264 CPUtime=4003.72 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 621053 0 0 0 400157 215 0 0 25 0 4 0 601810945 738574336 119419 33554432000 4194304 4627427 140736576070400 18446744073709551615 4310097 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 180316 119419 388 106 0 175287 0
[pid=5267/tid=5268] ppid=5265 vsize=721264 CPUtime=996.86 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 137721 0 0 0 99644 42 0 0 25 0 4 0 601810945 738574336 119419 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=721264 CPUtime=1002.32 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 159784 0 0 0 100168 64 0 0 25 0 4 0 601810945 738574336 119419 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=721264 CPUtime=1002.31 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 156567 0 0 0 100180 51 0 0 25 0 4 0 601810945 738574336 119420 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4003.72
Current children cumulated vsize (KiB) 721264

[startup+1062.3 s]
/proc/loadavg: 8.15 8.13 8.04 9/184 5333
/proc/meminfo: memFree=28823268/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=655848 CPUtime=4243.39 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 637499 0 0 0 424117 222 0 0 25 0 4 0 601810945 671588352 121777 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 163962 121777 388 106 0 158933 0
[pid=5267/tid=5268] ppid=5265 vsize=655848 CPUtime=1056.54 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 141087 0 0 0 105610 44 0 0 25 0 4 0 601810945 671588352 121777 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=655848 CPUtime=1062.31 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 163806 0 0 0 106165 66 0 0 25 0 4 0 601810945 671588352 121777 33554432000 4194304 4627427 140736576070400 18446744073709551615 4308139 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=655848 CPUtime=1062.31 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 161535 0 0 0 106178 53 0 0 25 0 4 0 601810945 671588352 121777 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4243.39
Current children cumulated vsize (KiB) 655848

[startup+1122.3 s]
/proc/loadavg: 8.11 8.12 8.04 9/184 5335
/proc/meminfo: memFree=28827308/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=737448 CPUtime=4483.07 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 658954 0 0 0 448079 228 0 0 25 0 4 0 601810945 755146752 125071 33554432000 4194304 4627427 140736576070400 18446744073709551615 4420204 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 184362 125071 388 106 0 179333 0
[pid=5267/tid=5268] ppid=5265 vsize=737448 CPUtime=1116.22 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 142950 0 0 0 111577 45 0 0 25 0 4 0 601810945 755146752 125071 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309079 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=737448 CPUtime=1122.32 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 173359 0 0 0 112164 68 0 0 25 0 4 0 601810945 755146752 125071 33554432000 4194304 4627427 140736576070400 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=737448 CPUtime=1122.32 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 164428 0 0 0 112177 55 0 0 25 0 4 0 601810945 755146752 125071 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4483.07
Current children cumulated vsize (KiB) 737448

[startup+1182.3 s]
/proc/loadavg: 7.21 7.91 7.97 5/175 5353
/proc/meminfo: memFree=28974204/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=914988 CPUtime=4722.74 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 671814 0 0 0 472040 234 0 0 25 0 4 0 601810945 936947712 137771 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 228747 137771 388 106 0 223718 0
[pid=5267/tid=5268] ppid=5265 vsize=914988 CPUtime=1175.89 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 148087 0 0 0 117542 47 0 0 25 0 4 0 601810945 936947712 137771 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=914988 CPUtime=1182.32 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 173951 0 0 0 118163 69 0 0 25 0 4 0 601810945 936947712 137771 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=914988 CPUtime=1182.32 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 170855 0 0 0 118175 57 0 0 25 0 4 0 601810945 936947712 137771 33554432000 4194304 4627427 140736576070400 18446744073709551615 4420174 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4722.74
Current children cumulated vsize (KiB) 914988



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 6.30 7.66 7.89 5/175 5354
/proc/meminfo: memFree=28988616/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=774980 CPUtime=4800.25 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 676102 0 0 0 479789 236 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 193745 133867 388 106 0 188716 0
[pid=5267/tid=5268] ppid=5265 vsize=774980 CPUtime=1195.19 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 149456 0 0 0 119471 48 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=774980 CPUtime=1201.73 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 174489 0 0 0 120103 70 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=774980 CPUtime=1201.73 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 170855 0 0 0 120116 57 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 774980

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

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

[startup+1201.7 s]
/proc/loadavg: 6.30 7.66 7.89 5/175 5354
/proc/meminfo: memFree=28988616/32950928 swapFree=67111356/67111528
[pid=5267] ppid=5265 vsize=774980 CPUtime=4800.25 cores=0,2,4,6
/proc/5267/stat : 5267 (strangenight2-m) R 5265 5267 4858 0 -1 4202496 676102 0 0 0 479789 236 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/5267/statm: 193745 133867 388 106 0 188716 0
[pid=5267/tid=5268] ppid=5265 vsize=774980 CPUtime=1195.19 cores=0,2,4,6
/proc/5267/task/5268/stat : 5268 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 149456 0 0 0 119471 48 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=5267/tid=5269] ppid=5265 vsize=774980 CPUtime=1201.73 cores=0,2,4,6
/proc/5267/task/5269/stat : 5269 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 174489 0 0 0 120103 70 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=5267/tid=5270] ppid=5265 vsize=774980 CPUtime=1201.73 cores=0,2,4,6
/proc/5267/task/5270/stat : 5270 (strangenight2-m) R 5265 5267 4858 0 -1 4202560 170855 0 0 0 120116 57 0 0 25 0 4 0 601810945 793579520 133867 33554432000 4194304 4627427 140736576070400 18446744073709551615 4467844 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.25
Current children cumulated vsize (KiB) 774980

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.74
CPU time (s): 4800.31
CPU user time (s): 4797.92
CPU system time (s): 2.39664
CPU usage (%): 399.447
Max. virtual memory (cumulated for all children) (KiB): 914988

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.92
system time used= 2.39663
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 676102
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= 370
involuntary context switches= 33484

runsolver used 1.89571 second user time and 4.65829 second system time

The end

Launcher Data 

Begin job on node114 at 2011-04-30 00:23:23
IDJOB=3174240
IDBENCH=83058
IDSOLVER=1586
FILE ID=node114/3174240-1304115803
RUNJOBID= node114-1304115388-5203
PBS_JOBID= 13170690
Free space on /tmp= 71800 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v125-c2662-S218235649-089.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3174240-1304115803/watcher-3174240-1304115803 -o /tmp/evaluation-result-3174240-1304115803/solver-3174240-1304115803 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3174240-1304115803.cnf

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

MD5SUM BENCH= 010b9faa30750ce3440cb9a8110ebefe
RANDOM SEED=1646527064

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29247568 kB
Buffers:       1067152 kB
Cached:        1794696 kB
SwapCached:        168 kB
Active:         422620 kB
Inactive:      2776376 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29247568 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5852 kB
Writeback:           0 kB
AnonPages:      336636 kB
Mapped:          15448 kB
Slab:           440588 kB
PageTables:       4752 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   567244 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= 71800 MiB
End job on node114 at 2011-04-30 00:43:26