Trace number 3174018

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S1061710238-001.UNKNOWN.cnf
MD5SUM23ebfbdf095807765a162fcb1d02f57a
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 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-3174018-1307654299.cnf'
0.00/0.00	c -- header says num vars:            125
0.00/0.00	c -- header says num clauses:        2662
0.00/0.00	c -- clauses added:            0 learnts,         2662 normals,            0 xors
0.00/0.00	c -- vars added        125
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.02	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.01
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.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
0.00/0.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
0.00/0.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.13	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.13	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.13	c calculated reachability. Time: 0.00
0.00/0.13	c Calc default polars -  time:   0.00 s pos:      61 undec:       2 neg:      62
0.00/0.13	c =========================================================================================
0.00/0.13	c types(t): F = full restart, N = normal restart
0.00/0.13	c types(t): S = simplification begin/end, E = solution found
0.00/0.13	c restart types(rt): st = static, dy = dynamic
0.00/0.13	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.13	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.13	c Decided on static restart strategy
0.00/0.13	c  N st     8      4916       125      2662         0      4651     13310    121915   no data   no data
0.00/0.32	c  N st    10     11299       125      2662         0      4304     13310     88460   no data   no data
0.00/0.54	c  N st    11     17042       125      2662         0      9702     13310    228411   no data   no data
0.00/0.87	c  F st    12     25001       125      2662         0     11916     13310    283080   no data   no data
0.00/0.87	c  N st    12     25001       125      2662         0     11916     13310    283080   no data   no data
4.00/1.08	c Decided on static restart strategy
4.00/1.08	c  N st    18     30000       125      2662         0     10218     13310    226433   no data   no data
4.00/1.08	c  S st    18     30000       125      2662         0     10218     13310    226433   no data   no data
4.40/1.11	c  S st    18     30505       125      2662         0     10710     13310    239168   no data   no data
4.40/1.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.40/1.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.40/1.11	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.40/1.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.40/1.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.40/1.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.40/1.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.40/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.40/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.77/1.29	c lits-rem:       225  cl-subs:     1422  v-elim:      0  v-fix:    0  time:  0.17 s
5.17/1.32	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.03
5.17/1.32	c calculated reachability. Time: 0.00
5.17/1.32	c  N st    18     30505       125      2662         0      9288     13310    199806   no data   no data
6.37/1.67	c  N st    20     37615       125      2662         0      8540     13310    162855   no data   no data
7.59/1.98	c  N st    21     44015       125      2662         0     14585     13310    318165   no data   no data
7.99/2.08	c  S st    22     45758       125      2662         0     16213     13310    359087   no data   no data
8.37/2.13	c  S st    22     46259       125      2662         0     16697     13310    371507   no data   no data
8.37/2.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.37/2.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.37/2.13	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.37/2.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.37/2.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.37/2.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.37/2.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.37/2.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.97/2.57	c lits-rem:       233  cl-subs:     1829  v-elim:      0  v-fix:    0  time:  0.42 s
9.97/2.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.97/2.57	c vivif2 --  cl tried    14868 cl shrink        0 lits rem          0 time: 0.00
10.36/2.62	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.36/2.63	c calculated reachability. Time: 0.00
10.36/2.63	c  N st    22     46259       125      2662         0     14868     13310    323481   no data   no data
13.16/3.36	c  N st    23     60657       125      2662         0     10697     13310    188876   no data   no data
15.16/3.86	c  N st    24     69390       125      2662         0     18873     13310    395855   no data   no data
15.16/3.86	c  S st    24     69390       125      2662         0     18873     13310    395855   no data   no data
15.57/3.92	c  S st    24     69895       125      2662         0     19362     13310    408463   no data   no data
15.57/3.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.57/3.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.57/3.92	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.57/3.92	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.57/3.92	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.57/3.92	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.57/3.92	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.57/3.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
15.57/3.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.96/4.54	c lits-rem:       498  cl-subs:     2095  v-elim:      0  v-fix:    0  time:  0.60 s
17.96/4.54	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.96/4.55	c vivif2 --  cl tried    17267 cl shrink        0 lits rem          0 time: 0.01
18.36/4.61	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.36/4.61	c calculated reachability. Time: 0.00
18.36/4.61	c  N st    24     69895       125      2662         0     17267     13310    354584   no data   no data
22.34/5.67	c  F st    25     87501       125      2662         0     12325     13310    210905   no data   no data
22.34/5.67	c  N st    25     87501       125      2662         0     12325     13310    210905   no data   no data
23.55/5.95	c Decided on static restart strategy
24.35/6.12	c  N st    32     95542       125      2662         0     19911     13310    410823   no data   no data
26.34/6.68	c  N st    34    104842       125      2662         0     16438     13310    316352   no data   no data
26.34/6.68	c  S st    34    104842       125      2662         0     16438     13310    316352   no data   no data
26.74/6.73	c  S st    34    105347       125      2662         0     16929     13310    328815   no data   no data
26.74/6.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.74/6.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.74/6.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.74/6.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.74/6.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.74/6.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.74/6.74	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.74/6.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.74/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.54/6.96	c lits-rem:       215  cl-subs:     1025  v-elim:      0  v-fix:    0  time:  0.21 s
27.54/6.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.54/6.97	c vivif2 --  cl tried    15904 cl shrink        0 lits rem          0 time: 0.01
27.94/7.03	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
27.94/7.03	c calculated reachability. Time: 0.00
27.94/7.03	c  N st    34    105347       125      2662         0     15904     13310    299978   no data   no data
30.73/7.71	c  N st    35    114945       125      2662         0     24962     13310    541077   no data   no data
34.73/8.74	c  N st    36    129342       125      2662         0     25347     13310    526665   no data   no data
40.72/10.29	c  N st    37    150938       125      2662         0     16580     13310    268413   no data   no data
42.74/10.74	c  S st    38    158023       125      2662         0     23186     13310    434640   no data   no data
43.15/10.80	c  S st    38    158524       125      2662         0     23671     13310    447094   no data   no data
43.15/10.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.15/10.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.15/10.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.15/10.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.15/10.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.15/10.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.15/10.81	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.15/10.82	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.15/10.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.11/11.31	c lits-rem:       384  cl-subs:     1716  v-elim:      0  v-fix:    0  time:  0.48 s
45.11/11.31	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.11/11.31	c vivif2 --  cl tried    21955 cl shrink        0 lits rem          0 time: 0.00
45.11/11.39	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.11/11.39	c calculated reachability. Time: 0.00
45.11/11.39	c  N st    38    158524       125      2662         0     21955     13310    402972   no data   no data
61.90/15.56	c  N st    39    207112       125      2662         0     34683     13310    694669   no data   no data
73.08/18.31	c  N st    40    237786       125      2662         0     26898     13310    489640   no data   no data
73.08/18.31	c  S st    40    237786       125      2662         0     26898     13310    489640   no data   no data
73.08/18.38	c  S st    40    238291       125      2662         0     27391     13310    502427   no data   no data
73.08/18.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.08/18.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
73.08/18.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
73.08/18.39	c bin-w-bin subsume rem            0 bins  time:  0.00 s
73.08/18.39	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
73.08/18.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
73.08/18.39	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.08/18.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
73.50/18.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.28/19.13	c lits-rem:       388  cl-subs:     2062  v-elim:      0  v-fix:    0  time:  0.72 s
76.28/19.13	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
76.28/19.14	c vivif2 --  cl tried    25329 cl shrink        0 lits rem          0 time: 0.01
76.68/19.23	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.09
76.68/19.23	c calculated reachability. Time: 0.00
76.68/19.23	c  N st    40    238291       125      2662         0     25329     13310    447500   no data   no data
100.26/25.14	c  F st    41    306253       125      2662         0     27272     13310    460313   no data   no data
100.26/25.14	c  N st    41    306253       125      2662         0     27272     13310    460313   no data   no data
102.24/25.62	c Decided on static restart strategy
111.03/27.81	c  N st    51    334555       125      2662         0     31293     13310    533725   no data   no data
121.42/30.47	c  N st    53    357438       125      2662         0     29287     13310    470295   no data   no data
121.42/30.47	c  S st    53    357438       125      2662         0     29287     13310    470295   no data   no data
121.83/30.54	c  S st    53    357938       125      2662         0     29769     13310    483318   no data   no data
121.83/30.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
121.83/30.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
121.83/30.55	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
121.83/30.55	c bin-w-bin subsume rem            0 bins  time:  0.00 s
121.83/30.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.83/30.55	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
121.83/30.55	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
121.83/30.56	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
121.83/30.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.41/30.99	c lits-rem:       281  cl-subs:     1317  v-elim:      0  v-fix:    0  time:  0.41 s
123.41/30.99	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
123.41/30.99	c vivif2 --  cl tried    28452 cl shrink        0 lits rem          0 time: 0.01
124.20/31.11	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
124.20/31.11	c calculated reachability. Time: 0.00
124.20/31.11	c  N st    53    357938       125      2662         0     28452     13310    448272   no data   no data
136.99/34.37	c  N st    54    390330       125      2662         0     34526     13310    600108   no data   no data
163.75/41.08	c  N st    55    438923       125      2662         0     28456     13310    414119   no data   no data
199.30/49.96	c  N st    56    511806       125      2662         0     41230     13310    711630   no data   no data
211.29/52.99	c  N st    57    536911       125      2662         0     35898     13310    564413   no data   no data
211.29/52.99	c  S st    57    536911       125      2662         0     35898     13310    564413   no data   no data
211.69/53.08	c  S st    57    537418       125      2662         0     36388     13310    577830   no data   no data
211.69/53.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.09/53.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
212.09/53.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.09/53.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.09/53.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.09/53.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
212.09/53.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
212.09/53.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
212.09/53.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.50/53.73	c lits-rem:       514  cl-subs:     1460  v-elim:      0  v-fix:    0  time:  0.61 s
214.50/53.73	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
214.50/53.73	c vivif2 --  cl tried    34928 cl shrink        0 lits rem          0 time: 0.01
214.88/53.88	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
214.88/53.88	c calculated reachability. Time: 0.00
214.88/53.88	c  N st    57    537418       125      2662         0     34928     13310    537745   no data   no data
308.36/77.23	c  N st    58    701402       125      2662         0     62795     13310   1195409   no data   no data
371.48/93.07	c  N st    59    806127       125      2662         0     56848     13310    988032   no data   no data
371.48/93.07	c  S st    59    806127       125      2662         0     56848     13310    988032   no data   no data
372.29/93.22	c  S st    59    806633       125      2662         0     57336     13310   1000911   no data   no data
372.29/93.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
372.29/93.25	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
372.29/93.25	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.29/93.25	c bin-w-bin subsume rem            0 bins  time:  0.00 s
372.29/93.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.29/93.25	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
372.29/93.25	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
372.29/93.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
372.29/93.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
389.87/97.66	c lits-rem:      1236  cl-subs:     5689  v-elim:      0  v-fix:    0  time:  4.37 s
389.87/97.66	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
389.87/97.67	c vivif2 --  cl tried    51647 cl shrink        0 lits rem          0 time: 0.01
391.04/97.94	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
391.04/97.94	c calculated reachability. Time: 0.00
391.04/97.94	c  N st    59    806633       125      2662         0     51647     13310    867945   no data   no data
556.84/139.41	c  F st    60   1071876       125      2662         0     67309     13310   1220243   no data   no data
556.84/139.41	c  N st    60   1071876       125      2662         0     67309     13310   1220243   no data   no data
561.63/140.69	c Decided on static restart strategy
580.38/145.32	c  N st    70   1100181       125      2662         0     51817     13310    765738   no data   no data
603.95/151.23	c  N st    72   1136174       125      2662         0     85560     13310   1656962   no data   no data
625.52/156.60	c  N st    73   1168566       125      2662         0     72929     13310   1303450   no data   no data
655.89/164.24	c  N st    74   1209949       125      2662         0     67670     13310   1150062   no data   no data
655.89/164.24	c  S st    74   1209949       125      2662         0     67670     13310   1150062   no data   no data
657.09/164.51	c  S st    74   1210452       125      2662         0     68160     13310   1163113   no data   no data
657.09/164.52	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
657.09/164.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
657.09/164.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
657.09/164.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
657.09/164.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
657.09/164.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
657.09/164.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
657.09/164.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
657.49/164.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
697.03/174.53	c lits-rem:      1034  cl-subs:     5225  v-elim:      0  v-fix:    0  time:  9.90 s
697.03/174.53	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
697.03/174.55	c vivif2 --  cl tried    62935 cl shrink        0 lits rem          0 time: 0.02
699.02/175.05	c asymm  cl-useful: 0/2253/2662 lits-rem:0 time: 0.50
699.02/175.05	c calculated reachability. Time: 0.00
699.02/175.05	c  N st    74   1210452       125      2662         0     62935     13310   1038415   no data   no data
762.14/190.83	c  N st    75   1283336       125      2662         0     86192     13310   1599446   no data   no data
856.04/214.37	c  N st    76   1392662       125      2662         0     48124     13310    584591   no data   no data
980.64/245.57	c  N st    77   1556648       125      2662         0     52976     13310    668865   no data   no data
1099.68/275.30	c  N st    78   1710457       125      2662         0     92606     13310   1715608   no data   no data
1099.68/275.30	c  S st    78   1710457       125      2662         0     92606     13310   1715608   no data   no data
1100.88/275.63	c  S st    78   1710958       125      2662         0     93089     13310   1728390   no data   no data
1100.88/275.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1100.88/275.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1100.88/275.68	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1100.88/275.68	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1100.88/275.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1100.88/275.68	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1100.88/275.68	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1101.28/275.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1101.28/275.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1183.97/296.41	c lits-rem:      2884  cl-subs:    10606  v-elim:      0  v-fix:    0  time: 20.65 s
1183.97/296.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1183.97/296.43	c vivif2 --  cl tried    82483 cl shrink        0 lits rem          0 time: 0.03
1185.96/296.90	c asymm  cl-useful: 0/1749/2662 lits-rem:0 time: 0.47
1185.96/296.90	c calculated reachability. Time: 0.00
1185.96/296.90	c  N st    78   1710958       125      2662         0     82483     13310   1449989   no data   no data
1573.45/393.99	c  N st    79   2079925       125      2662         0     94221     13310   1653194   no data   no data
1704.47/426.77	c  N st    80   2210958       125      2662         0     98040     13310   1663553   no data   no data
1704.47/426.77	c  S st    80   2210958       125      2662         0     98040     13310   1663553   no data   no data
1706.07/427.10	c  S st    80   2211462       125      2662         0     98529     13310   1676425   no data   no data
1706.07/427.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1706.07/427.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1706.07/427.15	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1706.07/427.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1706.07/427.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1706.07/427.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1706.07/427.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1706.07/427.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1706.47/427.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1773.17/443.97	c lits-rem:      1495  cl-subs:    11454  v-elim:      0  v-fix:    0  time: 16.74 s
1773.17/443.97	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1773.17/443.99	c vivif2 --  cl tried    87075 cl shrink        0 lits rem          0 time: 0.02
1774.39/444.21	c asymm  cl-useful: 0/913/2662 lits-rem:0 time: 0.22
1774.39/444.21	c calculated reachability. Time: 0.00
1774.39/444.21	c  N st    80   2211462       125      2662         0     87075     13310   1413207   no data   no data
2334.82/584.50	c  N st    81   2711463       125      2662         0    110065     13310   1912124   no data   no data
2334.82/584.50	c  S st    81   2711463       125      2662         0    110065     13310   1912124   no data   no data
2336.02/584.80	c  S st    81   2711965       125      2662         0    110557     13310   1925566   no data   no data
2336.02/584.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2336.02/584.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2336.02/584.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2336.02/584.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2336.02/584.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2336.02/584.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2336.02/584.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2336.02/584.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2336.44/584.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2429.49/608.22	c lits-rem:      2617  cl-subs:    11939  v-elim:      0  v-fix:    0  time: 23.27 s
2429.49/608.22	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2429.49/608.24	c vivif2 --  cl tried    98618 cl shrink        0 lits rem          0 time: 0.02
2430.69/608.59	c asymm  cl-useful: 0/1568/2662 lits-rem:0 time: 0.35
2430.69/608.59	c calculated reachability. Time: 0.00
2430.69/608.59	c  N st    81   2711965       125      2662         0     98618     13310   1637836   no data   no data
3032.28/759.15	c  N st    82   3211967       125      2662         0     75962     13310    934132   no data   no data
3032.28/759.15	c  S st    82   3211967       125      2662         0     75962     13310    934132   no data   no data
3033.08/759.38	c  S st    82   3212469       125      2662         0     76450     13310    947202   no data   no data
3033.08/759.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3033.48/759.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3033.48/759.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3033.48/759.42	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3033.48/759.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3033.48/759.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3033.48/759.42	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3033.48/759.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3033.48/759.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3036.68/760.27	c lits-rem:       137  cl-subs:     1131  v-elim:      0  v-fix:    0  time:  0.81 s
3036.68/760.27	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3036.68/760.28	c vivif2 --  cl tried    75319 cl shrink        0 lits rem          0 time: 0.01
3037.48/760.48	c asymm  cl-useful: 0/1094/2662 lits-rem:0 time: 0.20
3037.48/760.49	c calculated reachability. Time: 0.00
3037.48/760.49	c  N st    82   3212469       125      2662         0     75319     13310    921307   no data   no data
3671.82/919.29	c  N st    83   3712470       125      2662         0     86006     13310   1111715   no data   no data
3671.82/919.29	c  S st    83   3712470       125      2662         0     86006     13310   1111715   no data   no data
3673.02/919.53	c  S st    83   3712976       125      2662         0     86505     13310   1125264   no data   no data
3673.02/919.54	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3673.02/919.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3673.02/919.58	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3673.02/919.58	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3673.02/919.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3673.02/919.58	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3673.02/919.58	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3673.42/919.60	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3673.42/919.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3679.41/921.11	c lits-rem:       408  cl-subs:     1929  v-elim:      0  v-fix:    0  time:  1.47 s
3679.41/921.11	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3679.41/921.13	c vivif2 --  cl tried    84576 cl shrink        0 lits rem          0 time: 0.02
3680.61/921.45	c asymm  cl-useful: 0/1825/2662 lits-rem:0 time: 0.32
3680.61/921.45	c calculated reachability. Time: 0.00
3680.61/921.45	c  N st    83   3712976       125      2662         0     84576     13310   1078263   no data   no data
3722.15/931.88	c  F st    84   3751562       125      2662         0    120592     13310   2048664   no data   no data
3722.15/931.88	c  N st    84   3751562       125      2662         0    120592     13310   2048664   no data   no data
3730.54/933.99	c Decided on static restart strategy
3766.89/943.02	c  N st    94   3779867       125      2662         0    147164     13310   2757698   no data   no data
3812.43/954.49	c  N st    96   3815860       125      2662         0    101799     13310   1529209   no data   no data
3859.17/966.16	c  N st    97   3848253       125      2662         0    132140     13310   2348564   no data   no data
3938.65/986.00	c  N st    98   3896841       125      2662         0     97028     13310   1348623   no data   no data
4044.91/1012.63	c  N st    99   3969723       125      2662         0     83768     13310    993462   no data   no data
4197.11/1050.75	c  N st   100   4079048       125      2662         0    103738     13310   1505577   no data   no data
4369.27/1093.89	c  N st   101   4212977       125      2662         0    145983     13310   2671493   no data   no data
4369.27/1093.89	c  S st   101   4212977       125      2662         0    145983     13310   2671493   no data   no data
4371.29/1094.34	c  S st   101   4213481       125      2662         0    146475     13310   2684780   no data   no data
4371.29/1094.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4371.67/1094.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4371.67/1094.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4371.67/1094.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4371.67/1094.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4371.67/1094.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4371.67/1094.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4371.67/1094.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4372.07/1094.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4533.87/1135.04	c lits-rem:      3934  cl-subs:    13129  v-elim:      0  v-fix:    0  time: 40.48 s
4533.87/1135.04	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4533.87/1135.07	c vivif2 --  cl tried   133346 cl shrink        0 lits rem          0 time: 0.03
4535.45/1135.41	c asymm  cl-useful: 0/837/2662 lits-rem:0 time: 0.34
4535.45/1135.42	c calculated reachability. Time: 0.00
4535.45/1135.42	c  N st   101   4213481       125      2662         0    133346     13310   2338427   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: 977)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174018-1307654299/watcher-3174018-1307654299 -o /tmp/evaluation-result-3174018-1307654299/solver-3174018-1307654299 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174018-1307654299.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: 1.00 1.14 1.52 6/180 10449
/proc/meminfo: memFree=32611436/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 877028637 52441088 347 33554432000 4194304 4627427 140733673748688 18446744073709551615 235594922993 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 12803 347 299 106 0 7774 0
[pid=10449/tid=10450] ppid=10447 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 877028637 52441088 347 33554432000 4194304 4627427 140733673748688 18446744073709551615 47602531108786 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 877028637 52441088 347 33554432000 4194304 4627427 140733673748688 18446744073709551615 47602531108786 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 877028637 52441088 347 33554432000 4194304 4627427 140733673748688 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.3163 s]
/proc/loadavg: 1.00 1.14 1.52 6/180 10449
/proc/meminfo: memFree=32611436/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=286168 CPUtime=3.6 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 6248 0 0 0 359 1 0 0 19 0 4 0 877028637 293036032 3371 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 71542 3372 385 106 0 66513 0
[pid=10449/tid=10450] ppid=10447 vsize=286168 CPUtime=0.9 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1531 0 0 0 90 0 0 0 25 0 4 0 877028637 293036032 3372 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309360 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=286168 CPUtime=0.89 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1469 0 0 0 89 0 0 0 19 0 4 0 877028637 293036032 3372 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=286168 CPUtime=0.89 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1326 0 0 0 89 0 0 0 25 0 4 0 877028637 293036032 3372 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 286168

[startup+1.00767 s]
/proc/loadavg: 1.00 1.14 1.52 6/180 10449
/proc/meminfo: memFree=32611436/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=286608 CPUtime=4 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 7229 0 0 0 399 1 0 0 19 0 4 0 877028637 293486592 2911 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309408 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 71652 2911 385 106 0 66623 0
[pid=10449/tid=10450] ppid=10447 vsize=286608 CPUtime=1 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1764 0 0 0 100 0 0 0 25 0 4 0 877028637 293486592 2912 33554432000 4194304 4627427 140733673748688 18446744073709551615 4324663 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=286608 CPUtime=0.99 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1719 0 0 0 99 0 0 0 19 0 4 0 877028637 293486592 2912 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=286608 CPUtime=0.99 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1581 0 0 0 99 0 0 0 25 0 4 0 877028637 293486592 2912 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 286608

[startup+1.10765 s]
/proc/loadavg: 1.00 1.14 1.52 6/180 10449
/proc/meminfo: memFree=32611436/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=286608 CPUtime=4.4 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 7507 0 0 0 439 1 0 0 19 0 4 0 877028637 293486592 3189 33554432000 4194304 4627427 140733673748688 18446744073709551615 4332667 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 71652 3189 385 106 0 66623 0
[pid=10449/tid=10450] ppid=10447 vsize=286608 CPUtime=1.1 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1828 0 0 0 110 0 0 0 25 0 4 0 877028637 293486592 3189 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309253 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=286608 CPUtime=1.09 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1786 0 0 0 109 0 0 0 19 0 4 0 877028637 293486592 3189 33554432000 4194304 4627427 140733673748688 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=286608 CPUtime=1.09 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1660 0 0 0 109 0 0 0 25 0 4 0 877028637 293486592 3189 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309220 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 286608

[startup+1.20064 s]
/proc/loadavg: 1.00 1.14 1.52 6/180 10449
/proc/meminfo: memFree=32611436/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=286608 CPUtime=4.77 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 9169 0 0 0 476 1 0 0 19 0 4 0 877028637 293486592 4851 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420272 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 71652 4851 388 106 0 66623 0
[pid=10449/tid=10450] ppid=10447 vsize=286608 CPUtime=1.19 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1882 0 0 0 119 0 0 0 25 0 4 0 877028637 293486592 4852 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=286608 CPUtime=1.19 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1844 0 0 0 119 0 0 0 19 0 4 0 877028637 293486592 4852 33554432000 4194304 4627427 140733673748688 18446744073709551615 4328865 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=286608 CPUtime=1.18 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 1724 0 0 0 118 0 0 0 25 0 4 0 877028637 293486592 4852 33554432000 4194304 4627427 140733673748688 18446744073709551615 4507021 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.77
Current children cumulated vsize (KiB) 286608

[startup+1.50059 s]
/proc/loadavg: 1.00 1.14 1.52 6/180 10449
/proc/meminfo: memFree=32611436/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=286936 CPUtime=5.97 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 11552 0 0 0 595 2 0 0 20 0 4 0 877028637 293822464 5816 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309242 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 71734 5816 388 106 0 66705 0
[pid=10449/tid=10450] ppid=10447 vsize=286936 CPUtime=1.49 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 3397 0 0 0 149 0 0 0 25 0 4 0 877028637 293822464 5817 33554432000 4194304 4627427 140733673748688 18446744073709551615 4427152 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=286936 CPUtime=1.49 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 2230 0 0 0 149 0 0 0 20 0 4 0 877028637 293822464 5817 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=286936 CPUtime=1.48 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 2087 0 0 0 148 0 0 0 25 0 4 0 877028637 293822464 5817 33554432000 4194304 4627427 140733673748688 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286936

[startup+3.10631 s]
/proc/loadavg: 1.56 1.26 1.56 9/184 10453
/proc/meminfo: memFree=32520352/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=295508 CPUtime=12.38 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 20707 0 0 0 1235 3 0 0 25 0 4 0 877028637 302600192 10868 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309315 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 73877 10868 388 106 0 68848 0
[pid=10449/tid=10450] ppid=10447 vsize=295508 CPUtime=3.09 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 4617 0 0 0 309 0 0 0 25 0 4 0 877028637 302600192 10868 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=295508 CPUtime=3.07 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 5335 0 0 0 307 0 0 0 25 0 4 0 877028637 302600192 10868 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309568 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=295508 CPUtime=3.08 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 5071 0 0 0 308 0 0 0 25 0 4 0 877028637 302600192 10868 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309287 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 295508

[startup+6.30074 s]
/proc/loadavg: 1.56 1.26 1.56 9/184 10453
/proc/meminfo: memFree=32493692/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=292796 CPUtime=25.16 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 32005 0 0 0 2511 5 0 0 25 0 4 0 877028637 299823104 15273 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309568 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 73199 15273 388 106 0 68170 0
[pid=10449/tid=10450] ppid=10447 vsize=292796 CPUtime=6.29 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 8121 0 0 0 628 1 0 0 25 0 4 0 877028637 299823104 15273 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=292796 CPUtime=6.26 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 8513 0 0 0 626 0 0 0 25 0 4 0 877028637 299823104 15273 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=292796 CPUtime=6.29 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 7432 0 0 0 628 1 0 0 25 0 4 0 877028637 299823104 15273 33554432000 4194304 4627427 140733673748688 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 292796

[startup+12.7006 s]
/proc/loadavg: 2.08 1.37 1.59 9/184 10453
/proc/meminfo: memFree=32453244/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=302860 CPUtime=50.71 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 49351 0 0 0 5063 8 0 0 25 0 4 0 877028637 310128640 20643 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 75715 20643 388 106 0 70686 0
[pid=10449/tid=10450] ppid=10447 vsize=302860 CPUtime=12.68 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 12476 0 0 0 1267 1 0 0 25 0 4 0 877028637 310128640 20643 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=302860 CPUtime=12.62 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 11990 0 0 0 1261 1 0 0 25 0 4 0 877028637 310128640 20643 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=302860 CPUtime=12.69 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 12369 0 0 0 1267 2 0 0 25 0 4 0 877028637 310128640 20643 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 302860

[startup+25.5004 s]
/proc/loadavg: 3.39 1.69 1.69 9/184 10453
/proc/meminfo: memFree=32404988/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=292388 CPUtime=101.84 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 73595 0 0 0 10170 14 0 0 25 0 4 0 877028637 299405312 26402 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309095 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 73097 26402 388 106 0 68068 0
[pid=10449/tid=10450] ppid=10447 vsize=292388 CPUtime=25.49 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 19139 0 0 0 2546 3 0 0 25 0 4 0 877028637 299405312 26402 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309304 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=292388 CPUtime=25.35 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 18308 0 0 0 2532 3 0 0 25 0 4 0 877028637 299405312 26402 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309260 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=292388 CPUtime=25.49 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 18584 0 0 0 2545 4 0 0 25 0 4 0 877028637 299405312 26402 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.84
Current children cumulated vsize (KiB) 292388

[startup+51.1009 s]
/proc/loadavg: 5.04 2.21 1.87 9/184 10454
/proc/meminfo: memFree=32374364/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=317524 CPUtime=204.11 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 111442 0 0 0 20387 24 0 0 25 0 4 0 877028637 325144576 30474 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309572 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 79381 30474 388 106 0 74352 0
[pid=10449/tid=10450] ppid=10447 vsize=317524 CPUtime=51.09 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 29758 0 0 0 5104 5 0 0 25 0 4 0 877028637 325144576 30474 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=317524 CPUtime=50.81 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 27429 0 0 0 5076 5 0 0 25 0 4 0 877028637 325144576 30474 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=317524 CPUtime=51.08 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 27609 0 0 0 5102 6 0 0 25 0 4 0 877028637 325144576 30474 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 317524

[startup+102.301 s]
/proc/loadavg: 6.79 3.12 2.19 9/184 10455
/proc/meminfo: memFree=32306348/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=320052 CPUtime=408.62 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 175263 0 0 0 40822 40 0 0 25 0 4 0 877028637 327733248 40592 33554432000 4194304 4627427 140733673748688 18446744073709551615 4333202 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 80013 40592 388 106 0 74984 0
[pid=10449/tid=10450] ppid=10447 vsize=320052 CPUtime=102.29 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 45195 0 0 0 10219 10 0 0 25 0 4 0 877028637 327733248 40592 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=320052 CPUtime=101.74 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 43749 0 0 0 10164 10 0 0 25 0 4 0 877028637 327733248 40592 33554432000 4194304 4627427 140733673748688 18446744073709551615 4468060 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=320052 CPUtime=102.28 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 44112 0 0 0 10218 10 0 0 25 0 4 0 877028637 327733248 40592 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.62
Current children cumulated vsize (KiB) 320052

[startup+162.3 s]

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

[pid=10449] ppid=10447 vsize=578796 CPUtime=2565.71 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 496650 0 0 0 256399 172 0 0 25 0 4 0 877028637 592687104 98489 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 144699 98489 388 106 0 139670 0
[pid=10449/tid=10450] ppid=10447 vsize=578796 CPUtime=642.3 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 123083 0 0 0 64190 40 0 0 25 0 4 0 877028637 592687104 98489 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=578796 CPUtime=638.8 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 123703 0 0 0 63835 45 0 0 25 0 4 0 877028637 592687104 98489 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309111 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=578796 CPUtime=642.3 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 131032 0 0 0 64186 44 0 0 25 0 4 0 877028637 592687104 98489 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2565.71
Current children cumulated vsize (KiB) 578796

[startup+702.301 s]
/proc/loadavg: 8.18 7.44 4.99 9/184 10471
/proc/meminfo: memFree=31917644/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=553364 CPUtime=2805.39 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 515839 0 0 0 280354 185 0 0 25 0 4 0 877028637 566644736 98089 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309290 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 138341 98089 388 106 0 133312 0
[pid=10449/tid=10450] ppid=10447 vsize=553364 CPUtime=702.29 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 126040 0 0 0 70188 41 0 0 25 0 4 0 877028637 566644736 98089 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=553364 CPUtime=698.48 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 130005 0 0 0 69798 50 0 0 25 0 4 0 877028637 566644736 98089 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309095 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=553364 CPUtime=702.3 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 134106 0 0 0 70185 45 0 0 25 0 4 0 877028637 566644736 98089 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2805.39
Current children cumulated vsize (KiB) 553364

[startup+762.301 s]
/proc/loadavg: 8.18 7.57 5.18 9/184 10473
/proc/meminfo: memFree=31847640/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=619244 CPUtime=3045.06 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 547693 0 0 0 304308 198 0 0 25 0 4 0 877028637 634105856 109034 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 154811 109034 388 106 0 149782 0
[pid=10449/tid=10450] ppid=10447 vsize=619244 CPUtime=762.3 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 135233 0 0 0 76185 45 0 0 25 0 4 0 877028637 634105856 109034 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=619244 CPUtime=758.15 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 137402 0 0 0 75762 53 0 0 25 0 4 0 877028637 634105856 109034 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309587 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=619244 CPUtime=762.3 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 140455 0 0 0 76182 48 0 0 25 0 4 0 877028637 634105856 109034 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3045.06
Current children cumulated vsize (KiB) 619244

[startup+822.301 s]
/proc/loadavg: 8.17 7.68 5.37 9/184 10474
/proc/meminfo: memFree=31870652/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=619560 CPUtime=3284.74 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 575776 0 0 0 328264 210 0 0 25 0 4 0 877028637 634429440 108685 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 154890 108685 388 106 0 149861 0
[pid=10449/tid=10450] ppid=10447 vsize=619560 CPUtime=822.3 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 140815 0 0 0 82183 47 0 0 25 0 4 0 877028637 634429440 108685 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420232 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=619560 CPUtime=817.83 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 145896 0 0 0 81726 57 0 0 25 0 4 0 877028637 634429440 108685 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=619560 CPUtime=822.31 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 146847 0 0 0 82180 51 0 0 25 0 4 0 877028637 634429440 108685 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3284.74
Current children cumulated vsize (KiB) 619560

[startup+882.3 s]
/proc/loadavg: 8.17 7.77 5.54 9/184 10476
/proc/meminfo: memFree=31808108/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=695240 CPUtime=3524.41 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 599820 0 0 0 352218 223 0 0 25 0 4 0 877028637 711925760 116193 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309098 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 173810 116193 388 106 0 168781 0
[pid=10449/tid=10450] ppid=10447 vsize=695240 CPUtime=882.3 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 144778 0 0 0 88180 50 0 0 25 0 4 0 877028637 711925760 116193 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=695240 CPUtime=877.5 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 153063 0 0 0 87690 60 0 0 25 0 4 0 877028637 711925760 116194 33554432000 4194304 4627427 140733673748688 18446744073709551615 4324267 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=695240 CPUtime=882.3 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 152645 0 0 0 88176 54 0 0 25 0 4 0 877028637 711925760 116194 33554432000 4194304 4627427 140733673748688 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3524.41
Current children cumulated vsize (KiB) 695240

[startup+942.301 s]
/proc/loadavg: 8.16 7.83 5.70 9/184 10478
/proc/meminfo: memFree=31809904/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=695560 CPUtime=3764.09 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 625605 0 0 0 376174 235 0 0 25 0 4 0 877028637 712253440 112193 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309056 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 173890 112193 388 106 0 168861 0
[pid=10449/tid=10450] ppid=10447 vsize=695560 CPUtime=942.3 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 149502 0 0 0 94178 52 0 0 25 0 4 0 877028637 712253440 112193 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=695560 CPUtime=937.17 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 161486 0 0 0 93654 63 0 0 25 0 4 0 877028637 712253440 112193 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=695560 CPUtime=942.3 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 158182 0 0 0 94173 57 0 0 25 0 4 0 877028637 712253440 112193 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3764.09
Current children cumulated vsize (KiB) 695560

[startup+1002.3 s]
/proc/loadavg: 8.22 7.91 5.86 9/184 10479
/proc/meminfo: memFree=31794704/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=630216 CPUtime=4003.76 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 648906 0 0 0 400129 247 0 0 25 0 4 0 877028637 645341184 117197 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309089 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 157554 117197 388 106 0 152525 0
[pid=10449/tid=10450] ppid=10447 vsize=630216 CPUtime=1002.3 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 155732 0 0 0 100175 55 0 0 25 0 4 0 877028637 645341184 117197 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=630216 CPUtime=996.85 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 167125 0 0 0 99619 66 0 0 25 0 4 0 877028637 645341184 117197 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=630216 CPUtime=1002.31 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 162623 0 0 0 100171 60 0 0 25 0 4 0 877028637 645341184 117197 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309056 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4003.76
Current children cumulated vsize (KiB) 630216

[startup+1062.3 s]
/proc/loadavg: 8.21 7.95 6.00 9/184 10481
/proc/meminfo: memFree=31806776/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=622944 CPUtime=4243.46 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 672251 0 0 0 424088 258 0 0 25 0 4 0 877028637 637894656 115856 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 155736 115856 388 106 0 150707 0
[pid=10449/tid=10450] ppid=10447 vsize=622944 CPUtime=1062.31 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 158857 0 0 0 106175 56 0 0 25 0 4 0 877028637 637894656 115856 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=622944 CPUtime=1056.53 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 174833 0 0 0 105584 69 0 0 25 0 4 0 877028637 637894656 115856 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309266 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=622944 CPUtime=1062.31 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 168240 0 0 0 106169 62 0 0 25 0 4 0 877028637 637894656 115856 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309142 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4243.46
Current children cumulated vsize (KiB) 622944

[startup+1122.3 s]
/proc/loadavg: 8.19 7.99 6.13 9/184 10483
/proc/meminfo: memFree=31783536/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=663896 CPUtime=4483.11 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 693068 0 0 0 448043 268 0 0 25 0 4 0 877028637 679829504 119172 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420151 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 165974 119172 388 106 0 160945 0
[pid=10449/tid=10450] ppid=10447 vsize=663896 CPUtime=1122.3 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 163303 0 0 0 112171 59 0 0 25 0 4 0 877028637 679829504 119172 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309272 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=663896 CPUtime=1116.2 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 181314 0 0 0 111548 72 0 0 25 0 4 0 877028637 679829504 119172 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=663896 CPUtime=1122.3 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 171486 0 0 0 112166 64 0 0 25 0 4 0 877028637 679829504 119172 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309572 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4483.11
Current children cumulated vsize (KiB) 663896

[startup+1182.31 s]
/proc/loadavg: 8.17 8.02 6.26 9/184 10484
/proc/meminfo: memFree=31737844/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=855176 CPUtime=4722.81 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 719476 0 0 0 472004 277 0 0 25 0 4 0 877028637 875700224 129495 33554432000 4194304 4627427 140733673748688 18446744073709551615 4308419 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 213794 129495 388 106 0 208765 0
[pid=10449/tid=10450] ppid=10447 vsize=855176 CPUtime=1182.32 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 170792 0 0 0 118171 61 0 0 25 0 4 0 877028637 875700224 129495 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=855176 CPUtime=1175.87 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 186641 0 0 0 117513 74 0 0 25 0 4 0 877028637 875700224 129495 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=855176 CPUtime=1182.31 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 180519 0 0 0 118164 67 0 0 25 0 4 0 877028637 875700224 129495 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420171 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4722.81
Current children cumulated vsize (KiB) 855176



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 8.20 8.03 6.30 9/184 10485
/proc/meminfo: memFree=31746872/32950928 swapFree=67052072/67111528
[pid=10449] ppid=10447 vsize=743592 CPUtime=4800.3 cores=1,3,5,7
/proc/10449/stat : 10449 (strangenight2-m) R 10447 10449 8181 0 -1 4202496 724413 0 0 0 479749 281 0 0 25 0 4 0 877028637 761438208 127024 33554432000 4194304 4627427 140733673748688 18446744073709551615 4507260 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/10449/statm: 185898 127024 388 106 0 180869 0
[pid=10449/tid=10450] ppid=10447 vsize=743592 CPUtime=1201.72 cores=1,3,5,7
/proc/10449/task/10450/stat : 10450 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 170792 0 0 0 120111 61 0 0 25 0 4 0 877028637 761438208 127024 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=10449/tid=10451] ppid=10447 vsize=743592 CPUtime=1195.17 cores=1,3,5,7
/proc/10449/task/10451/stat : 10451 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 189145 0 0 0 119441 76 0 0 25 0 4 0 877028637 761438208 127024 33554432000 4194304 4627427 140733673748688 18446744073709551615 4309209 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=10449/tid=10452] ppid=10447 vsize=743592 CPUtime=1201.71 cores=1,3,5,7
/proc/10449/task/10452/stat : 10452 (strangenight2-m) R 10447 10449 8181 0 -1 4202560 180519 0 0 0 120104 67 0 0 25 0 4 0 877028637 761438208 127024 33554432000 4194304 4627427 140733673748688 18446744073709551615 4420268 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.3
Current children cumulated vsize (KiB) 743592

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.36
CPU user time (s): 4797.52
CPU system time (s): 2.83457
CPU usage (%): 399.453
Max. virtual memory (cumulated for all children) (KiB): 855176

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.52
system time used= 2.83457
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 724413
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= 305
involuntary context switches= 31703

runsolver used 1.78673 second user time and 4.78027 second system time

The end

Launcher Data 

Begin job on node120 at 2011-06-09 23:18:19
IDJOB=3174018
IDBENCH=82836
IDSOLVER=1586
FILE ID=node120/3174018-1307654299
RUNJOBID= node120-1307654299-10419
PBS_JOBID= 13549392
Free space on /tmp= 74040 MiB

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

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

MD5SUM BENCH= 23ebfbdf095807765a162fcb1d02f57a
RANDOM SEED=2101981622

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      32613072 kB
Buffers:         43920 kB
Cached:         126716 kB
SwapCached:      11084 kB
Active:          99572 kB
Inactive:        88096 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      32613072 kB
SwapTotal:    67111528 kB
SwapFree:     67052072 kB
Dirty:           11272 kB
Writeback:           0 kB
AnonPages:       14444 kB
Mapped:           8820 kB
Slab:            85468 kB
PageTables:       4268 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:   189192 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= 74032 MiB
End job on node120 at 2011-06-09 23:38:22