Trace number 3366427

Some explanations

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

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

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

Solver answer on this benchmark

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

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.01	c Using 4 threads
0.00/0.01	c This is CryptoMiniSat 3.0.0
0.00/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.01	c Reading file 'HOME/instance-3366427-1305404093.cnf'
0.00/0.01	c -- header says num vars:            125
0.00/0.01	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.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.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
0.00/0.02	c Finding binary XORs  T:     0.00 s  found:       0
0.00/0.02	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.02	c calculated reachability. Time: 0.00
0.00/0.02	c Calc default polars -  time:   0.00 s pos:      61 undec:       2 neg:      62
0.00/0.02	c =========================================================================================
0.00/0.02	c types(t): F = full restart, N = normal restart
0.00/0.02	c types(t): S = simplification begin/end, E = solution found
0.00/0.02	c restart types(rt): st = static, dy = dynamic
0.00/0.02	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.02	c  B st     0         0       125      2662         0         0     13310         0   no data   no data
0.00/0.06	c Decided on static restart strategy
0.37/0.13	c  N st     8      4916       125      2662         0      4651     13310    121915   no data   no data
1.17/0.32	c  N st    10     11299       125      2662         0      4304     13310     88460   no data   no data
1.97/0.55	c  N st    11     17042       125      2662         0      9702     13310    228411   no data   no data
3.17/0.88	c  F st    12     25001       125      2662         0     11916     13310    283080   no data   no data
3.17/0.88	c  N st    12     25001       125      2662         0     11916     13310    283080   no data   no data
3.99/1.08	c Decided on static restart strategy
3.99/1.08	c  N st    18     30000       125      2662         0     10218     13310    226433   no data   no data
3.99/1.08	c  S st    18     30000       125      2662         0     10218     13310    226433   no data   no data
4.41/1.11	c  S st    18     30505       125      2662         0     10710     13310    239168   no data   no data
4.41/1.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.41/1.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.41/1.12	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.41/1.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.41/1.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.41/1.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.41/1.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.41/1.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.41/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.76/1.29	c lits-rem:       225  cl-subs:     1422  v-elim:      0  v-fix:    0  time:  0.16 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     30505       125      2662         0      9288     13310    199806   no data   no data
6.36/1.68	c  N st    20     37615       125      2662         0      8540     13310    162855   no data   no data
7.57/1.99	c  N st    21     44015       125      2662         0     14585     13310    318165   no data   no data
7.97/2.08	c  S st    22     45758       125      2662         0     16213     13310    359087   no data   no data
8.38/2.13	c  S st    22     46259       125      2662         0     16697     13310    371507   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.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.38/2.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.57	c lits-rem:       233  cl-subs:     1829  v-elim:      0  v-fix:    0  time:  0.42 s
9.95/2.57	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.95/2.58	c vivif2 --  cl tried    14868 cl shrink        0 lits rem          0 time: 0.00
10.35/2.63	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.35/2.63	c calculated reachability. Time: 0.00
10.35/2.63	c  N st    22     46259       125      2662         0     14868     13310    323481   no data   no data
13.18/3.37	c  N st    23     60657       125      2662         0     10697     13310    188876   no data   no data
15.14/3.88	c  N st    24     69390       125      2662         0     18873     13310    395855   no data   no data
15.14/3.88	c  S st    24     69390       125      2662         0     18873     13310    395855   no data   no data
15.53/3.93	c  S st    24     69895       125      2662         0     19362     13310    408463   no data   no data
15.53/3.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.53/3.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.53/3.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.53/3.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.53/3.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.53/3.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.53/3.93	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.53/3.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.53/3.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
17.92/4.55	c lits-rem:       498  cl-subs:     2095  v-elim:      0  v-fix:    0  time:  0.60 s
17.92/4.55	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
17.92/4.55	c vivif2 --  cl tried    17267 cl shrink        0 lits rem          0 time: 0.00
18.32/4.62	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
18.32/4.62	c calculated reachability. Time: 0.00
18.32/4.62	c  N st    24     69895       125      2662         0     17267     13310    354584   no data   no data
22.32/5.68	c  F st    25     87501       125      2662         0     12325     13310    210905   no data   no data
22.32/5.68	c  N st    25     87501       125      2662         0     12325     13310    210905   no data   no data
23.52/5.96	c Decided on static restart strategy
24.32/6.14	c  N st    32     95542       125      2662         0     19911     13310    410823   no data   no data
26.70/6.70	c  N st    34    104842       125      2662         0     16438     13310    316352   no data   no data
26.70/6.70	c  S st    34    104842       125      2662         0     16438     13310    316352   no data   no data
26.70/6.75	c  S st    34    105347       125      2662         0     16929     13310    328815   no data   no data
26.70/6.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
26.70/6.75	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
26.70/6.75	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26.70/6.75	c bin-w-bin subsume rem            0 bins  time:  0.00 s
26.70/6.75	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
26.70/6.75	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
26.70/6.75	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
26.70/6.75	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
26.70/6.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.51/6.97	c lits-rem:       215  cl-subs:     1025  v-elim:      0  v-fix:    0  time:  0.21 s
27.51/6.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
27.51/6.98	c vivif2 --  cl tried    15904 cl shrink        0 lits rem          0 time: 0.00
27.91/7.04	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
27.91/7.04	c calculated reachability. Time: 0.00
27.91/7.04	c  N st    34    105347       125      2662         0     15904     13310    299978   no data   no data
30.74/7.73	c  N st    35    114945       125      2662         0     24962     13310    541077   no data   no data
34.71/8.76	c  N st    36    129342       125      2662         0     25347     13310    526665   no data   no data
41.07/10.31	c  N st    37    150938       125      2662         0     16580     13310    268413   no data   no data
42.67/10.77	c  S st    38    158023       125      2662         0     23186     13310    434640   no data   no data
43.07/10.83	c  S st    38    158524       125      2662         0     23671     13310    447094   no data   no data
43.07/10.83	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.07/10.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.07/10.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.07/10.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.07/10.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.07/10.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.07/10.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.07/10.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
43.07/10.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.06/11.33	c lits-rem:       384  cl-subs:     1716  v-elim:      0  v-fix:    0  time:  0.48 s
45.06/11.33	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.06/11.34	c vivif2 --  cl tried    21955 cl shrink        0 lits rem          0 time: 0.01
45.46/11.42	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.46/11.42	c calculated reachability. Time: 0.00
45.46/11.42	c  N st    38    158524       125      2662         0     21955     13310    402972   no data   no data
62.21/15.60	c  N st    39    207112       125      2662         0     34683     13310    694669   no data   no data
72.99/18.36	c  N st    40    237786       125      2662         0     26898     13310    489640   no data   no data
72.99/18.36	c  S st    40    237786       125      2662         0     26898     13310    489640   no data   no data
73.39/18.42	c  S st    40    238291       125      2662         0     27391     13310    502427   no data   no data
73.39/18.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
73.39/18.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
73.39/18.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
73.39/18.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
73.39/18.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
73.39/18.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
73.39/18.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
73.39/18.44	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
73.39/18.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.19/19.17	c lits-rem:       388  cl-subs:     2062  v-elim:      0  v-fix:    0  time:  0.72 s
76.19/19.17	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
76.19/19.17	c vivif2 --  cl tried    25329 cl shrink        0 lits rem          0 time: 0.00
76.59/19.27	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
76.59/19.27	c calculated reachability. Time: 0.00
76.59/19.27	c  N st    40    238291       125      2662         0     25329     13310    447500   no data   no data
100.13/25.19	c  F st    41    306253       125      2662         0     27272     13310    460313   no data   no data
100.13/25.19	c  N st    41    306253       125      2662         0     27272     13310    460313   no data   no data
102.12/25.68	c Decided on static restart strategy
110.90/27.88	c  N st    51    334555       125      2662         0     31293     13310    533725   no data   no data
121.67/30.55	c  N st    53    357438       125      2662         0     29287     13310    470295   no data   no data
121.67/30.55	c  S st    53    357438       125      2662         0     29287     13310    470295   no data   no data
122.07/30.62	c  S st    53    357938       125      2662         0     29769     13310    483318   no data   no data
122.07/30.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
122.07/30.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
122.07/30.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
122.07/30.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
122.07/30.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
122.07/30.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
122.07/30.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
122.07/30.63	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
122.07/30.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
123.66/31.05	c lits-rem:       281  cl-subs:     1317  v-elim:      0  v-fix:    0  time:  0.41 s
123.66/31.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
123.66/31.06	c vivif2 --  cl tried    28452 cl shrink        0 lits rem          0 time: 0.01
124.06/31.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
124.06/31.17	c calculated reachability. Time: 0.00
124.06/31.17	c  N st    53    357938       125      2662         0     28452     13310    448272   no data   no data
137.23/34.46	c  N st    54    390330       125      2662         0     34526     13310    600108   no data   no data
163.97/41.19	c  N st    55    438923       125      2662         0     28456     13310    414119   no data   no data
199.48/50.08	c  N st    56    511806       125      2662         0     41230     13310    711630   no data   no data
211.85/53.12	c  N st    57    536911       125      2662         0     35898     13310    564413   no data   no data
211.85/53.12	c  S st    57    536911       125      2662         0     35898     13310    564413   no data   no data
212.25/53.21	c  S st    57    537418       125      2662         0     36388     13310    577830   no data   no data
212.25/53.22	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
212.25/53.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
212.25/53.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
212.25/53.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
212.25/53.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
212.25/53.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
212.25/53.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
212.25/53.24	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
212.25/53.25	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
214.66/53.85	c lits-rem:       514  cl-subs:     1460  v-elim:      0  v-fix:    0  time:  0.60 s
214.66/53.85	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
214.66/53.86	c vivif2 --  cl tried    34928 cl shrink        0 lits rem          0 time: 0.01
215.43/54.00	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
215.43/54.00	c calculated reachability. Time: 0.00
215.43/54.01	c  N st    57    537418       125      2662         0     34928     13310    537745   no data   no data
308.41/77.36	c  N st    58    701402       125      2662         0     62795     13310   1195409   no data   no data
371.85/93.26	c  N st    59    806127       125      2662         0     56848     13310    988032   no data   no data
371.85/93.26	c  S st    59    806127       125      2662         0     56848     13310    988032   no data   no data
372.67/93.41	c  S st    59    806633       125      2662         0     57336     13310   1000911   no data   no data
372.67/93.41	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
372.67/93.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
372.67/93.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
372.67/93.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
372.67/93.43	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.67/93.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
372.67/93.43	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
372.67/93.45	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
372.67/93.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
390.23/97.83	c lits-rem:      1236  cl-subs:     5689  v-elim:      0  v-fix:    0  time:  4.36 s
390.23/97.83	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
390.23/97.85	c vivif2 --  cl tried    51647 cl shrink        0 lits rem          0 time: 0.01
391.40/98.11	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.26
391.40/98.11	c calculated reachability. Time: 0.00
391.40/98.11	c  N st    59    806633       125      2662         0     51647     13310    867945   no data   no data
557.44/139.72	c  F st    60   1071876       125      2662         0     67309     13310   1220243   no data   no data
557.44/139.72	c  N st    60   1071876       125      2662         0     67309     13310   1220243   no data   no data
562.58/141.03	c Decided on static restart strategy
580.94/145.65	c  N st    70   1100181       125      2662         0     51817     13310    765738   no data   no data
604.88/151.61	c  N st    72   1136174       125      2662         0     85560     13310   1656962   no data   no data
626.03/156.99	c  N st    73   1168566       125      2662         0     72929     13310   1303450   no data   no data
656.35/164.55	c  N st    74   1209949       125      2662         0     67670     13310   1150062   no data   no data
656.35/164.55	c  S st    74   1209949       125      2662         0     67670     13310   1150062   no data   no data
657.56/164.83	c  S st    74   1210452       125      2662         0     68160     13310   1163113   no data   no data
657.56/164.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
657.56/164.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.04
657.56/164.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
657.56/164.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
657.56/164.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
657.56/164.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
657.56/164.88	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
657.56/164.90	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
657.98/164.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
697.47/174.89	c lits-rem:      1034  cl-subs:     5225  v-elim:      0  v-fix:    0  time:  9.95 s
697.47/174.89	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
697.47/174.91	c vivif2 --  cl tried    62935 cl shrink        0 lits rem          0 time: 0.02
699.84/175.44	c asymm  cl-useful: 0/2253/2662 lits-rem:0 time: 0.54
699.84/175.45	c calculated reachability. Time: 0.00
699.84/175.45	c  N st    74   1210452       125      2662         0     62935     13310   1038415   no data   no data
763.72/191.43	c  N st    75   1283336       125      2662         0     86192     13310   1599446   no data   no data
855.88/214.59	c  N st    76   1392662       125      2662         0     48124     13310    584591   no data   no data
982.34/246.27	c  N st    77   1556648       125      2662         0     52976     13310    668865   no data   no data
1101.68/276.13	c  N st    78   1710457       125      2662         0     92606     13310   1715608   no data   no data
1101.68/276.13	c  S st    78   1710457       125      2662         0     92606     13310   1715608   no data   no data
1102.84/276.46	c  S st    78   1710958       125      2662         0     93089     13310   1728390   no data   no data
1102.84/276.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1103.24/276.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1103.24/276.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1103.24/276.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1103.24/276.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1103.24/276.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1103.24/276.51	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1103.24/276.54	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1103.24/276.58	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1181.84/296.22	c lits-rem:      2884  cl-subs:    10606  v-elim:      0  v-fix:    0  time: 19.64 s
1181.84/296.22	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1181.84/296.25	c vivif2 --  cl tried    82483 cl shrink        0 lits rem          0 time: 0.02
1183.84/296.72	c asymm  cl-useful: 0/1749/2662 lits-rem:0 time: 0.47
1183.84/296.72	c calculated reachability. Time: 0.00
1183.84/296.72	c  N st    78   1710958       125      2662         0     82483     13310   1449989   no data   no data
1574.45/394.63	c  N st    79   2079925       125      2662         0     94221     13310   1653194   no data   no data
1705.72/427.52	c  N st    80   2210958       125      2662         0     98040     13310   1663553   no data   no data
1705.72/427.52	c  S st    80   2210958       125      2662         0     98040     13310   1663553   no data   no data
1706.94/427.86	c  S st    80   2211462       125      2662         0     98529     13310   1676425   no data   no data
1706.94/427.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1707.35/427.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1707.35/427.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1707.35/427.91	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1707.35/427.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1707.35/427.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1707.35/427.91	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1707.35/427.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1707.35/427.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1774.34/444.74	c lits-rem:      1495  cl-subs:    11454  v-elim:      0  v-fix:    0  time: 16.76 s
1774.34/444.74	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1774.34/444.76	c vivif2 --  cl tried    87075 cl shrink        0 lits rem          0 time: 0.02
1775.14/444.98	c asymm  cl-useful: 0/913/2662 lits-rem:0 time: 0.22
1775.14/444.99	c calculated reachability. Time: 0.00
1775.14/444.99	c  N st    80   2211462       125      2662         0     87075     13310   1413207   no data   no data
2336.95/585.74	c  N st    81   2711463       125      2662         0    110065     13310   1912124   no data   no data
2336.95/585.74	c  S st    81   2711463       125      2662         0    110065     13310   1912124   no data   no data
2338.15/586.04	c  S st    81   2711965       125      2662         0    110557     13310   1925566   no data   no data
2338.15/586.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2338.55/586.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2338.55/586.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2338.55/586.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2338.55/586.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2338.55/586.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2338.55/586.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2338.55/586.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2338.55/586.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2431.91/609.50	c lits-rem:      2617  cl-subs:    11939  v-elim:      0  v-fix:    0  time: 23.32 s
2431.91/609.50	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2431.91/609.52	c vivif2 --  cl tried    98618 cl shrink        0 lits rem          0 time: 0.02
2433.11/609.88	c asymm  cl-useful: 0/1568/2662 lits-rem:0 time: 0.35
2433.11/609.88	c calculated reachability. Time: 0.00
2433.11/609.88	c  N st    81   2711965       125      2662         0     98618     13310   1637836   no data   no data
3036.00/760.90	c  N st    82   3211967       125      2662         0     75962     13310    934132   no data   no data
3036.00/760.90	c  S st    82   3211967       125      2662         0     75962     13310    934132   no data   no data
3036.82/761.12	c  S st    82   3212469       125      2662         0     76450     13310    947202   no data   no data
3036.82/761.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3036.82/761.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3036.82/761.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3036.82/761.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3036.82/761.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3036.82/761.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3036.82/761.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3036.82/761.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3036.82/761.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3040.39/762.02	c lits-rem:       137  cl-subs:     1131  v-elim:      0  v-fix:    0  time:  0.82 s
3040.39/762.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3040.39/762.04	c vivif2 --  cl tried    75319 cl shrink        0 lits rem          0 time: 0.01
3041.20/762.24	c asymm  cl-useful: 0/1094/2662 lits-rem:0 time: 0.20
3041.20/762.24	c calculated reachability. Time: 0.00
3041.20/762.24	c  N st    82   3212469       125      2662         0     75319     13310    921307   no data   no data
3676.01/921.35	c  N st    83   3712470       125      2662         0     86006     13310   1111715   no data   no data
3676.01/921.35	c  S st    83   3712470       125      2662         0     86006     13310   1111715   no data   no data
3676.81/921.58	c  S st    83   3712976       125      2662         0     86505     13310   1125264   no data   no data
3676.81/921.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3677.21/921.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3677.21/921.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3677.21/921.63	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3677.21/921.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3677.21/921.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3677.21/921.63	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3677.21/921.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3677.21/921.68	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3683.19/923.17	c lits-rem:       408  cl-subs:     1929  v-elim:      0  v-fix:    0  time:  1.49 s
3683.19/923.17	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3683.19/923.19	c vivif2 --  cl tried    84576 cl shrink        0 lits rem          0 time: 0.02
3684.79/923.50	c asymm  cl-useful: 0/1825/2662 lits-rem:0 time: 0.31
3684.79/923.50	c calculated reachability. Time: 0.00
3684.79/923.50	c  N st    83   3712976       125      2662         0     84576     13310   1078263   no data   no data
3726.33/933.96	c  F st    84   3751562       125      2662         0    120592     13310   2048664   no data   no data
3726.33/933.96	c  N st    84   3751562       125      2662         0    120592     13310   2048664   no data   no data
3734.68/936.07	c Decided on static restart strategy
3771.37/945.21	c  N st    94   3779867       125      2662         0    147164     13310   2757698   no data   no data
3816.86/956.64	c  N st    96   3815860       125      2662         0    101799     13310   1529209   no data   no data
3863.54/968.33	c  N st    97   3848253       125      2662         0    132140     13310   2348564   no data   no data
3942.54/988.11	c  N st    98   3896841       125      2662         0     97028     13310   1348623   no data   no data
4049.08/1014.88	c  N st    99   3969723       125      2662         0     83768     13310    993462   no data   no data
4201.91/1053.15	c  N st   100   4079048       125      2662         0    103738     13310   1505577   no data   no data
4374.67/1096.49	c  N st   101   4212977       125      2662         0    145983     13310   2671493   no data   no data
4374.67/1096.49	c  S st   101   4212977       125      2662         0    145983     13310   2671493   no data   no data
4376.66/1096.95	c  S st   101   4213481       125      2662         0    146475     13310   2684780   no data   no data
4376.66/1096.96	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4377.06/1097.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.08
4377.06/1097.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4377.06/1097.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4377.06/1097.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4377.06/1097.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4377.06/1097.04	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4377.06/1097.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4377.46/1097.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4539.87/1137.84	c lits-rem:      3934  cl-subs:    13129  v-elim:      0  v-fix:    0  time: 40.68 s
4539.87/1137.84	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4539.87/1137.87	c vivif2 --  cl tried   133346 cl shrink        0 lits rem          0 time: 0.03
4541.47/1138.22	c asymm  cl-useful: 0/837/2662 lits-rem:0 time: 0.35
4541.47/1138.23	c calculated reachability. Time: 0.00
4541.47/1138.23	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: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3366427-1305404093/watcher-3366427-1305404093 -o /tmp/evaluation-result-3366427-1305404093/solver-3366427-1305404093 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366427-1305404093.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: 4.06 4.78 6.33 2/304 13925
/proc/meminfo: memFree=12332044/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 407 0 0 0 0 0 0 0 23 0 4 0 652008018 52396032 347 33554432000 4194304 4580107 140735370147712 18446744073709551615 47677039597490 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 12792 347 299 95 0 7774 0
[pid=13925/tid=13926] ppid=13922 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 1 0 0 0 0 0 0 0 24 0 4 0 652008018 52396032 347 33554432000 4194304 4580107 140735370147712 18446744073709551615 47677039597490 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652008018 52396032 347 33554432000 4194304 4580107 140735370147712 18446744073709551615 235594922993 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 652008018 52396032 347 33554432000 4194304 4580107 140735370147712 18446744073709551615 47677039597490 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.097045 s]
/proc/loadavg: 4.06 4.78 6.33 2/304 13925
/proc/meminfo: memFree=12332044/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=282332 CPUtime=0.36 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 1824 0 0 0 36 0 0 0 25 0 4 0 652008018 289107968 1673 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 70583 1673 376 95 0 65565 0
[pid=13925/tid=13926] ppid=13922 vsize=282332 CPUtime=0.09 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 396 0 0 0 9 0 0 0 25 0 4 0 652008018 289107968 1673 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=282332 CPUtime=0.08 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 373 0 0 0 8 0 0 0 25 0 4 0 652008018 289107968 1673 33554432000 4194304 4580107 140735370147712 18446744073709551615 4321296 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=282332 CPUtime=0.08 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 264 0 0 0 8 0 0 0 25 0 4 0 652008018 289107968 1673 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 282332

[startup+0.101044 s]
/proc/loadavg: 4.06 4.78 6.33 2/304 13925
/proc/meminfo: memFree=12332044/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=282332 CPUtime=0.37 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 1845 0 0 0 37 0 0 0 25 0 4 0 652008018 289107968 1694 33554432000 4194304 4580107 140735370147712 18446744073709551615 4318525 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 70583 1694 376 95 0 65565 0
[pid=13925/tid=13926] ppid=13922 vsize=282332 CPUtime=0.09 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 402 0 0 0 9 0 0 0 25 0 4 0 652008018 289107968 1694 33554432000 4194304 4580107 140735370147712 18446744073709551615 4489524 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=282332 CPUtime=0.08 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 378 0 0 0 8 0 0 0 25 0 4 0 652008018 289107968 1694 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=282332 CPUtime=0.09 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 269 0 0 0 9 0 0 0 25 0 4 0 652008018 289107968 1694 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294794 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 282332

[startup+0.301009 s]
/proc/loadavg: 4.06 4.78 6.33 2/304 13925
/proc/meminfo: memFree=12332044/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=284068 CPUtime=1.17 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 3100 0 0 0 117 0 0 0 25 0 4 0 652008018 290885632 2329 33554432000 4194304 4580107 140735370147712 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 71017 2329 377 95 0 65999 0
[pid=13925/tid=13926] ppid=13922 vsize=284068 CPUtime=0.29 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 704 0 0 0 29 0 0 0 25 0 4 0 652008018 290885632 2329 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=284068 CPUtime=0.28 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 694 0 0 0 28 0 0 0 25 0 4 0 652008018 290885632 2329 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=284068 CPUtime=0.29 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 582 0 0 0 29 0 0 0 25 0 4 0 652008018 290885632 2329 33554432000 4194304 4580107 140735370147712 18446744073709551615 4293235 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 284068

[startup+0.700938 s]
/proc/loadavg: 4.06 4.78 6.33 2/304 13925
/proc/meminfo: memFree=12332044/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=285668 CPUtime=2.77 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 5556 0 0 0 277 0 0 0 25 0 4 0 652008018 292524032 2648 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294595 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 71417 2648 377 95 0 66399 0
[pid=13925/tid=13926] ppid=13922 vsize=285668 CPUtime=0.69 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 1361 0 0 0 69 0 0 0 25 0 4 0 652008018 292524032 2648 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=285668 CPUtime=0.68 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 1293 0 0 0 68 0 0 0 25 0 4 0 652008018 292524032 2648 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=285668 CPUtime=0.68 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 1166 0 0 0 68 0 0 0 25 0 4 0 652008018 292524032 2648 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285668

[startup+1.5008 s]
/proc/loadavg: 4.37 4.83 6.34 9/315 13937
/proc/meminfo: memFree=12298244/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=291940 CPUtime=5.96 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 11545 0 0 0 594 2 0 0 25 0 4 0 652008018 298946560 5950 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294460 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 72985 5950 379 95 0 67967 0
[pid=13925/tid=13926] ppid=13922 vsize=291940 CPUtime=1.49 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 3437 0 0 0 149 0 0 0 25 0 4 0 652008018 298946560 5950 33554432000 4194304 4580107 140735370147712 18446744073709551615 4415758 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=291940 CPUtime=1.47 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 2223 0 0 0 147 0 0 0 25 0 4 0 652008018 298946560 5950 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=291940 CPUtime=1.48 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 2086 0 0 0 148 0 0 0 25 0 4 0 652008018 298946560 5950 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 291940

[startup+3.10052 s]
/proc/loadavg: 4.37 4.83 6.34 9/315 13937
/proc/meminfo: memFree=12256580/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=283244 CPUtime=12.35 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 20566 0 0 0 1232 3 0 0 25 0 4 0 652008018 290041856 11019 33554432000 4194304 4580107 140735370147712 18446744073709551615 4293067 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 70811 11019 379 95 0 65793 0
[pid=13925/tid=13926] ppid=13922 vsize=283244 CPUtime=3.08 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 4655 0 0 0 308 0 0 0 25 0 4 0 652008018 290041856 11019 33554432000 4194304 4580107 140735370147712 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=283244 CPUtime=3.05 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 5091 0 0 0 305 0 0 0 25 0 4 0 652008018 290041856 11019 33554432000 4194304 4580107 140735370147712 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=283244 CPUtime=3.08 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 5056 0 0 0 308 0 0 0 25 0 4 0 652008018 290041856 11019 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294445 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 283244

[startup+6.30096 s]
/proc/loadavg: 4.37 4.83 6.34 9/315 13937
/proc/meminfo: memFree=12213244/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=281544 CPUtime=25.11 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 32049 0 0 0 2506 5 0 0 25 0 4 0 652008018 288301056 15351 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 70386 15351 379 95 0 65368 0
[pid=13925/tid=13926] ppid=13922 vsize=281544 CPUtime=6.29 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 8085 0 0 0 628 1 0 0 25 0 4 0 652008018 288301056 15351 33554432000 4194304 4580107 140735370147712 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=281544 CPUtime=6.23 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 8327 0 0 0 622 1 0 0 25 0 4 0 652008018 288301056 15351 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=281544 CPUtime=6.29 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 7529 0 0 0 628 1 0 0 25 0 4 0 652008018 288301056 15351 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 281544

[startup+12.7008 s]
/proc/loadavg: 4.93 4.94 6.35 9/315 13938
/proc/meminfo: memFree=12175156/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=295724 CPUtime=50.65 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 48566 0 0 0 5057 8 0 0 25 0 4 0 652008018 302821376 19449 33554432000 4194304 4580107 140735370147712 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 73931 19449 379 95 0 68913 0
[pid=13925/tid=13926] ppid=13922 vsize=295724 CPUtime=12.69 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 12227 0 0 0 1267 2 0 0 25 0 4 0 652008018 302821376 19449 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=295724 CPUtime=12.55 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 11725 0 0 0 1254 1 0 0 25 0 4 0 652008018 302821376 19449 33554432000 4194304 4580107 140735370147712 18446744073709551615 4320786 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=295724 CPUtime=12.69 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 12540 0 0 0 1267 2 0 0 25 0 4 0 652008018 302821376 19449 33554432000 4194304 4580107 140735370147712 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 295724

[startup+25.5006 s]
/proc/loadavg: 5.40 5.04 6.37 9/315 13938
/proc/meminfo: memFree=12119716/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=323168 CPUtime=101.72 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 74115 0 0 0 10158 14 0 0 25 0 4 0 652008018 330924032 28082 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 80792 28082 379 95 0 75774 0
[pid=13925/tid=13926] ppid=13922 vsize=323168 CPUtime=25.49 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 18578 0 0 0 2546 3 0 0 25 0 4 0 652008018 330924032 28082 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=323168 CPUtime=25.23 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 18670 0 0 0 2520 3 0 0 25 0 4 0 652008018 330924032 28082 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=323168 CPUtime=25.48 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 18676 0 0 0 2545 3 0 0 25 0 4 0 652008018 330924032 28082 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.72
Current children cumulated vsize (KiB) 323168

[startup+51.1011 s]
/proc/loadavg: 6.29 5.28 6.41 9/315 13939
/proc/meminfo: memFree=12079520/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=345508 CPUtime=203.87 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 109475 0 0 0 20365 22 0 0 25 0 4 0 652008018 353800192 33094 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 86377 33094 379 95 0 81359 0
[pid=13925/tid=13926] ppid=13922 vsize=345508 CPUtime=51.09 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 27411 0 0 0 5104 5 0 0 25 0 4 0 652008018 353800192 33094 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=345508 CPUtime=50.58 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 27600 0 0 0 5053 5 0 0 25 0 4 0 652008018 353800192 33094 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=345508 CPUtime=51.08 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 27597 0 0 0 5103 5 0 0 25 0 4 0 652008018 353800192 33094 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 345508

[startup+102.311 s]
/proc/loadavg: 7.35 5.75 6.51 9/315 13940
/proc/meminfo: memFree=12045020/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=326236 CPUtime=408.2 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 173223 0 0 0 40781 39 0 0 25 0 4 0 652008018 334065664 37490 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294555 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 81559 37490 379 95 0 76541 0
[pid=13925/tid=13926] ppid=13922 vsize=326236 CPUtime=102.3 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 42807 0 0 0 10220 10 0 0 25 0 4 0 652008018 334065664 37490 33554432000 4194304 4580107 140735370147712 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=326236 CPUtime=101.28 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 42643 0 0 0 10119 9 0 0 25 0 4 0 652008018 334065664 37490 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=326236 CPUtime=102.3 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 44307 0 0 0 10219 11 0 0 25 0 4 0 652008018 334065664 37490 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 408.2
Current children cumulated vsize (KiB) 326236

[startup+162.301 s]

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

[pid=13925] ppid=13922 vsize=547232 CPUtime=2562.81 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 505532 0 0 0 256123 158 0 0 25 0 4 0 652008018 560365568 98058 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 136808 98058 379 95 0 131790 0
[pid=13925/tid=13926] ppid=13922 vsize=547232 CPUtime=642.31 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 116081 0 0 0 64196 35 0 0 25 0 4 0 652008018 560365568 98058 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=547232 CPUtime=635.87 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 122931 0 0 0 63549 38 0 0 25 0 4 0 652008018 560365568 98058 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=547232 CPUtime=642.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 129805 0 0 0 64189 42 0 0 25 0 4 0 652008018 560365568 98058 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2562.81
Current children cumulated vsize (KiB) 547232

[startup+702.301 s]
/proc/loadavg: 8.05 7.76 7.25 9/315 13956
/proc/meminfo: memFree=11622176/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=534676 CPUtime=2802.18 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 524077 0 0 0 280051 167 0 0 25 0 4 0 652008018 547508224 96733 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 133669 96733 379 95 0 128651 0
[pid=13925/tid=13926] ppid=13922 vsize=534676 CPUtime=702.3 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 118841 0 0 0 70194 36 0 0 25 0 4 0 652008018 547508224 96733 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=534676 CPUtime=695.25 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 128979 0 0 0 69484 41 0 0 25 0 4 0 652008018 547508224 96733 33554432000 4194304 4580107 140735370147712 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=534676 CPUtime=702.3 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 132501 0 0 0 70187 43 0 0 25 0 4 0 652008018 547508224 96733 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2802.18
Current children cumulated vsize (KiB) 534676

[startup+762.312 s]
/proc/loadavg: 8.10 7.83 7.30 9/315 13958
/proc/meminfo: memFree=11549096/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=653216 CPUtime=3041.62 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 558278 0 0 0 303983 179 0 0 25 0 4 0 652008018 668893184 106304 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 163304 106304 379 95 0 158286 0
[pid=13925/tid=13926] ppid=13922 vsize=653216 CPUtime=762.31 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 128234 0 0 0 76192 39 0 0 25 0 4 0 652008018 668893184 106304 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=653216 CPUtime=754.66 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 136541 0 0 0 75421 45 0 0 25 0 4 0 652008018 668893184 106304 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=653216 CPUtime=762.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 141263 0 0 0 76185 46 0 0 25 0 4 0 652008018 668893184 106304 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294367 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3041.62
Current children cumulated vsize (KiB) 653216

[startup+822.301 s]
/proc/loadavg: 8.11 7.89 7.35 9/315 13959
/proc/meminfo: memFree=11558864/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=614424 CPUtime=3280.99 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 587607 0 0 0 327909 190 0 0 25 0 4 0 652008018 629170176 110305 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 153606 110305 379 95 0 148588 0
[pid=13925/tid=13926] ppid=13922 vsize=614424 CPUtime=822.3 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 137067 0 0 0 82187 43 0 0 25 0 4 0 652008018 629170176 110305 33554432000 4194304 4580107 140735370147712 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=614424 CPUtime=814.05 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 143789 0 0 0 81358 47 0 0 25 0 4 0 652008018 629170176 110305 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=614424 CPUtime=822.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 146884 0 0 0 82182 49 0 0 25 0 4 0 652008018 629170176 110305 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3280.99
Current children cumulated vsize (KiB) 614424

[startup+882.301 s]
/proc/loadavg: 8.11 7.93 7.40 9/315 13961
/proc/meminfo: memFree=11538864/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=680072 CPUtime=3520.4 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 610636 0 0 0 351840 200 0 0 25 0 4 0 652008018 696393728 113600 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 170018 113600 379 95 0 165000 0
[pid=13925/tid=13926] ppid=13922 vsize=680072 CPUtime=882.31 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 142528 0 0 0 88185 46 0 0 25 0 4 0 652008018 696393728 113600 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=680072 CPUtime=873.45 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 149311 0 0 0 87297 48 0 0 25 0 4 0 652008018 696393728 113600 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=680072 CPUtime=882.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 151837 0 0 0 88180 51 0 0 25 0 4 0 652008018 696393728 113600 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3520.4
Current children cumulated vsize (KiB) 680072

[startup+942.301 s]
/proc/loadavg: 8.18 7.99 7.45 9/315 13963
/proc/meminfo: memFree=11510704/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=680740 CPUtime=3759.8 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 631828 0 0 0 375771 209 0 0 25 0 4 0 652008018 697077760 124503 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 170185 124503 379 95 0 165167 0
[pid=13925/tid=13926] ppid=13922 vsize=680740 CPUtime=942.31 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 142668 0 0 0 94185 46 0 0 25 0 4 0 652008018 697077760 124503 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=680740 CPUtime=932.86 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 156478 0 0 0 93234 52 0 0 25 0 4 0 652008018 697077760 124503 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=680740 CPUtime=942.3 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 158356 0 0 0 94177 53 0 0 25 0 4 0 652008018 697077760 124503 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3759.8
Current children cumulated vsize (KiB) 680740

[startup+1002.3 s]
/proc/loadavg: 8.14 8.00 7.49 9/315 13964
/proc/meminfo: memFree=11540680/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=628920 CPUtime=3999.2 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 651083 0 0 0 399703 217 0 0 25 0 4 0 652008018 644014080 113670 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 157230 113670 379 95 0 152212 0
[pid=13925/tid=13926] ppid=13922 vsize=628920 CPUtime=1002.31 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 146306 0 0 0 100184 47 0 0 25 0 4 0 652008018 644014080 113670 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=628920 CPUtime=992.25 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 160511 0 0 0 99172 53 0 0 25 0 4 0 652008018 644014080 113670 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=628920 CPUtime=1002.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 163032 0 0 0 100175 56 0 0 25 0 4 0 652008018 644014080 113670 33554432000 4194304 4580107 140735370147712 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3999.2
Current children cumulated vsize (KiB) 628920

[startup+1062.3 s]
/proc/loadavg: 8.23 8.05 7.53 9/315 13966
/proc/meminfo: memFree=11552436/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=654360 CPUtime=4238.62 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 671878 0 0 0 423636 226 0 0 25 0 4 0 652008018 670064640 112892 33554432000 4194304 4580107 140735370147712 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 163590 112892 379 95 0 158572 0
[pid=13925/tid=13926] ppid=13922 vsize=654360 CPUtime=1062.31 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 146443 0 0 0 106184 47 0 0 25 0 4 0 652008018 670064640 112892 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=654360 CPUtime=1051.66 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 167595 0 0 0 105111 55 0 0 25 0 4 0 652008018 670064640 112892 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=654360 CPUtime=1062.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 169786 0 0 0 106172 59 0 0 25 0 4 0 652008018 670064640 112892 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4238.62
Current children cumulated vsize (KiB) 654360

[startup+1122.3 s]
/proc/loadavg: 8.16 8.05 7.56 9/315 13967
/proc/meminfo: memFree=11514716/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=602780 CPUtime=4478.02 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 695078 0 0 0 447568 234 0 0 25 0 4 0 652008018 617246720 118465 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406368 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 150695 118465 379 95 0 145677 0
[pid=13925/tid=13926] ppid=13922 vsize=602780 CPUtime=1122.31 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 149991 0 0 0 112183 48 0 0 25 0 4 0 652008018 617246720 118465 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=602780 CPUtime=1111.05 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 173176 0 0 0 111048 57 0 0 25 0 4 0 652008018 617246720 118465 33554432000 4194304 4580107 140735370147712 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=602780 CPUtime=1122.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 172961 0 0 0 112170 61 0 0 25 0 4 0 652008018 617246720 118465 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4478.02
Current children cumulated vsize (KiB) 602780

[startup+1182.3 s]
/proc/loadavg: 8.12 8.06 7.59 9/315 13969
/proc/meminfo: memFree=11483824/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=694488 CPUtime=4717.43 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 722287 0 0 0 471498 245 0 0 25 0 4 0 652008018 711155712 125787 33554432000 4194304 4580107 140735370147712 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 173622 125787 379 95 0 168604 0
[pid=13925/tid=13926] ppid=13922 vsize=694488 CPUtime=1182.32 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 155882 0 0 0 118182 50 0 0 25 0 4 0 652008018 711155712 125787 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=694488 CPUtime=1170.45 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 180142 0 0 0 116985 60 0 0 25 0 4 0 652008018 711155712 125787 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=694488 CPUtime=1182.31 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 182813 0 0 0 118167 64 0 0 25 0 4 0 652008018 711155712 125787 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4717.43
Current children cumulated vsize (KiB) 694488



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203 s]
/proc/loadavg: 8.09 8.05 7.60 9/315 13969
/proc/meminfo: memFree=11490628/32950928 swapFree=67111348/67111528
[pid=13925] ppid=13922 vsize=708544 CPUtime=4800.02 cores=0,2,4,6
/proc/13925/stat : 13925 (strangenight2-m) R 13922 13925 13350 0 -1 4202496 727176 0 0 0 479755 247 0 0 25 0 4 0 652008018 725549056 126624 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/13925/statm: 177136 126624 379 95 0 172118 0
[pid=13925/tid=13926] ppid=13922 vsize=708544 CPUtime=1203.03 cores=0,2,4,6
/proc/13925/task/13926/stat : 13926 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 155882 0 0 0 120253 50 0 0 25 0 4 0 652008018 725549056 126625 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=13925/tid=13927] ppid=13922 vsize=708544 CPUtime=1190.94 cores=0,2,4,6
/proc/13925/task/13927/stat : 13927 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 182526 0 0 0 119032 62 0 0 25 0 4 0 652008018 725549056 126625 33554432000 4194304 4580107 140735370147712 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13925/tid=13928] ppid=13922 vsize=708544 CPUtime=1203.02 cores=0,2,4,6
/proc/13925/task/13928/stat : 13928 (strangenight2-m) R 13922 13925 13350 0 -1 4202560 182813 0 0 0 120238 64 0 0 25 0 4 0 652008018 725549056 126625 33554432000 4194304 4580107 140735370147712 18446744073709551615 4406408 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.02
Current children cumulated vsize (KiB) 708544

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.04
CPU time (s): 4800.1
CPU user time (s): 4797.59
CPU system time (s): 2.50162
CPU usage (%): 398.997
Max. virtual memory (cumulated for all children) (KiB): 751428

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.59
system time used= 2.50162
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 727178
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= 378
involuntary context switches= 19125

runsolver used 3.45947 second user time and 8.62669 second system time

The end

Launcher Data 

Begin job on node120 at 2011-05-14 22:14:53
IDJOB=3366427
IDBENCH=82836
IDSOLVER=1844
FILE ID=node120/3366427-1305404093
RUNJOBID= node120-1305404092-13910
PBS_JOBID= 13324463
Free space on /tmp= 73508 MiB

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

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

MD5SUM BENCH= 23ebfbdf095807765a162fcb1d02f57a
RANDOM SEED=2022473683

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:      12331836 kB
Buffers:        256428 kB
Cached:        3571372 kB
SwapCached:          0 kB
Active:       17355816 kB
Inactive:      2977068 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      12331836 kB
SwapTotal:    67111528 kB
SwapFree:     67111348 kB
Dirty:            5456 kB
Writeback:           0 kB
AnonPages:    16504092 kB
Mapped:          24196 kB
Slab:           174644 kB
PageTables:      48324 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 51554044 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= 73500 MiB
End job on node120 at 2011-05-14 22:34:58