Trace number 3174075

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S675870149-098.SATISFIABLE.cnf
MD5SUMddac1e46d651615f8587e799d64e665b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.042993
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-3174075-1304086612.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.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:      57 undec:       6 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.85	c Decided on static restart strategy
0.00/0.85	c  N st     8      4915       125      2662         0      4664     13310    122048   no data   no data
0.00/0.85	c  N st    10     11298       125      2662         0      4309     13310     88426   no data   no data
0.00/0.85	c  N st    11     17043       125      2662         0      9701     13310    229819   no data   no data
3.40/0.95	c  F st    12     25000       125      2662         0     11885     13310    274310   no data   no data
3.40/0.95	c  N st    12     25000       125      2662         0     11885     13310    274310   no data   no data
4.21/1.15	c Decided on static restart strategy
4.21/1.15	c  N st    18     30002       125      2662         0     10207     13310    229213   no data   no data
4.21/1.15	c  S st    18     30002       125      2662         0     10207     13310    229213   no data   no data
4.21/1.15	c  S st    18     30504       125      2662         0     10697     13310    242599   no data   no data
4.21/1.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.21/1.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.21/1.15	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.21/1.15	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.21/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.21/1.15	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.21/1.15	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.21/1.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.21/1.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.18/1.35	c lits-rem:       241  cl-subs:     1466  v-elim:      0  v-fix:    0  time:  0.18 s
5.18/1.35	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.18/1.35	c calculated reachability. Time: 0.00
5.18/1.35	c  N st    18     30504       125      2662         0      9231     13310    201498   no data   no data
6.38/1.67	c  N st    20     37616       125      2662         0      8497     13310    163327   no data   no data
7.60/2.00	c  N st    21     44015       125      2662         0     14554     13310    319379   no data   no data
7.97/2.09	c  S st    22     45757       125      2662         0     16211     13310    362170   no data   no data
8.37/2.13	c  S st    22     46261       125      2662         0     16698     13310    374695   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.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
8.37/2.14	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.37/2.14	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.37/2.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.37/2.14	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.37/2.14	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.59	c lits-rem:       430  cl-subs:     1794  v-elim:      0  v-fix:    0  time:  0.43 s
9.97/2.59	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
9.97/2.59	c vivif2 --  cl tried    14904 cl shrink        0 lits rem          0 time: 0.00
10.37/2.65	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.05
10.37/2.65	c calculated reachability. Time: 0.00
10.37/2.65	c  N st    22     46261       125      2662         0     14904     13310    326883   no data   no data
13.57/3.45	c  N st    23     60660       125      2662         0     10690     13310    190031   no data   no data
15.56/3.96	c  N st    24     69391       125      2662         0     18881     13310    399821   no data   no data
15.56/3.96	c  S st    24     69391       125      2662         0     18881     13310    399821   no data   no data
15.98/4.01	c  S st    24     69894       125      2662         0     19370     13310    412647   no data   no data
15.98/4.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.98/4.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
15.98/4.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.98/4.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.98/4.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.98/4.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.98/4.01	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.98/4.02	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
15.98/4.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.76/4.73	c lits-rem:       434  cl-subs:     2452  v-elim:      0  v-fix:    0  time:  0.71 s
18.76/4.73	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.76/4.74	c vivif2 --  cl tried    16918 cl shrink        0 lits rem          0 time: 0.00
19.16/4.80	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
19.16/4.80	c calculated reachability. Time: 0.00
19.16/4.80	c  N st    24     69894       125      2662         0     16918     13310    348848   no data   no data
23.16/5.85	c  F st    25     87500       125      2662         0     12020     13310    203328   no data   no data
23.16/5.86	c  N st    25     87500       125      2662         0     12020     13310    203328   no data   no data
24.36/6.13	c Decided on static restart strategy
24.77/6.29	c  N st    32     95538       125      2662         0     19594     13310    394820   no data   no data
27.15/6.85	c  N st    34    104842       125      2662         0     16139     13310    297645   no data   no data
27.15/6.85	c  S st    34    104842       125      2662         0     16139     13310    297645   no data   no data
27.55/6.90	c  S st    34    105345       125      2662         0     16628     13310    310560   no data   no data
27.55/6.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.55/6.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
27.55/6.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.55/6.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.55/6.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.55/6.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
27.55/6.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
27.55/6.91	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
27.55/6.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.35/7.10	c lits-rem:       233  cl-subs:     1055  v-elim:      0  v-fix:    0  time:  0.18 s
28.35/7.10	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
28.35/7.10	c vivif2 --  cl tried    15573 cl shrink        0 lits rem          0 time: 0.00
28.35/7.17	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
28.35/7.17	c calculated reachability. Time: 0.00
28.35/7.17	c  N st    34    105345       125      2662         0     15573     13310    284982   no data   no data
31.14/7.81	c  N st    35    114944       125      2662         0     24565     13310    512613   no data   no data
34.74/8.78	c  N st    36    129343       125      2662         0     24894     13310    508072   no data   no data
41.13/10.36	c  N st    37    150938       125      2662         0     16105     13310    252498   no data   no data
42.75/10.79	c  S st    38    158017       125      2662         0     22743     13310    431008   no data   no data
43.13/10.85	c  S st    38    158520       125      2662         0     23229     13310    443957   no data   no data
43.13/10.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
43.13/10.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
43.13/10.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
43.13/10.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
43.13/10.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
43.13/10.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
43.13/10.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
43.13/10.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
43.13/10.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.12/11.37	c lits-rem:       481  cl-subs:     1802  v-elim:      0  v-fix:    0  time:  0.50 s
45.12/11.37	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
45.12/11.38	c vivif2 --  cl tried    21427 cl shrink        0 lits rem          0 time: 0.00
45.52/11.46	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
45.52/11.46	c calculated reachability. Time: 0.00
45.52/11.46	c  N st    38    158520       125      2662         0     21427     13310    394834   no data   no data
60.70/15.27	c  N st    39    207110       125      2662         0     34244     13310    708021   no data   no data
71.49/17.94	c  N st    40    237781       125      2662         0     26384     13310    467117   no data   no data
71.49/17.94	c  S st    40    237781       125      2662         0     26384     13310    467117   no data   no data
71.89/18.01	c  S st    40    238284       125      2662         0     26871     13310    480347   no data   no data
71.89/18.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
71.89/18.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
71.89/18.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71.89/18.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
71.89/18.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71.89/18.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
71.89/18.02	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
71.89/18.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
71.89/18.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
74.69/18.72	c lits-rem:       462  cl-subs:     2060  v-elim:      0  v-fix:    0  time:  0.68 s
74.69/18.72	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
74.69/18.73	c vivif2 --  cl tried    24811 cl shrink        0 lits rem          0 time: 0.01
75.08/18.83	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
75.08/18.83	c calculated reachability. Time: 0.00
75.08/18.83	c  N st    40    238284       125      2662         0     24811     13310    429755   no data   no data
99.87/25.05	c  F st    41    306253       125      2662         0     26826     13310    442385   no data   no data
99.87/25.05	c  N st    41    306253       125      2662         0     26826     13310    442385   no data   no data
101.85/25.52	c Decided on static restart strategy
110.23/27.62	c  N st    51    334555       125      2662         0     30802     13310    521622   no data   no data
119.42/29.96	c  N st    53    357426       125      2662         0     28899     13310    462688   no data   no data
119.42/29.96	c  S st    53    357426       125      2662         0     28899     13310    462688   no data   no data
119.82/30.04	c  S st    53    357931       125      2662         0     29390     13310    475758   no data   no data
119.82/30.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
119.82/30.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
119.82/30.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
119.82/30.05	c bin-w-bin subsume rem            0 bins  time:  0.00 s
119.82/30.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
119.82/30.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
119.82/30.05	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
119.82/30.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
119.82/30.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
121.43/30.42	c lits-rem:       353  cl-subs:     1082  v-elim:      0  v-fix:    0  time:  0.35 s
121.43/30.42	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
121.43/30.43	c vivif2 --  cl tried    28308 cl shrink        0 lits rem          0 time: 0.00
121.84/30.54	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
121.84/30.54	c calculated reachability. Time: 0.00
121.84/30.54	c  N st    53    357931       125      2662         0     28308     13310    446372   no data   no data
135.40/33.94	c  N st    54    390325       125      2662         0     34347     13310    595745   no data   no data
161.77/40.52	c  N st    55    438915       125      2662         0     28120     13310    403631   no data   no data
191.74/48.06	c  N st    56    511798       125      2662         0     41386     13310    731037   no data   no data
203.71/51.05	c  N st    57    536898       125      2662         0     35846     13310    559099   no data   no data
203.71/51.05	c  S st    57    536898       125      2662         0     35846     13310    559099   no data   no data
204.11/51.15	c  S st    57    537404       125      2662         0     36344     13310    572289   no data   no data
204.11/51.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
204.11/51.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
204.11/51.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
204.11/51.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
204.11/51.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
204.11/51.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
204.11/51.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
204.11/51.17	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
204.11/51.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
206.90/51.82	c lits-rem:       279  cl-subs:     1713  v-elim:      0  v-fix:    0  time:  0.64 s
206.90/51.82	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
206.90/51.83	c vivif2 --  cl tried    34631 cl shrink        0 lits rem          0 time: 0.01
207.30/51.97	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.14
207.30/51.97	c calculated reachability. Time: 0.00
207.30/51.97	c  N st    57    537404       125      2662         0     34631     13310    526932   no data   no data
294.79/73.83	c  N st    58    701388       125      2662         0     62559     13310   1227761   no data   no data
353.91/88.62	c  N st    59    806109       125      2662         0     56773     13310   1017551   no data   no data
353.91/88.62	c  S st    59    806109       125      2662         0     56773     13310   1017551   no data   no data
354.32/88.77	c  S st    59    806613       125      2662         0     57257     13310   1030216   no data   no data
354.32/88.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
354.32/88.80	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
354.32/88.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
354.32/88.80	c bin-w-bin subsume rem            0 bins  time:  0.00 s
354.32/88.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
354.32/88.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
354.32/88.80	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
354.73/88.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
354.73/88.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
372.68/93.35	c lits-rem:      1415  cl-subs:     5525  v-elim:      0  v-fix:    0  time:  4.51 s
372.68/93.35	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
372.68/93.37	c vivif2 --  cl tried    51732 cl shrink        0 lits rem          0 time: 0.01
373.88/93.62	c asymm  cl-useful: 0/2594/2662 lits-rem:0 time: 0.26
373.88/93.62	c calculated reachability. Time: 0.00
373.88/93.62	c  N st    59    806613       125      2662         0     51732     13310    888900   no data   no data
540.45/135.31	c  F st    60   1071875       125      2662         0     66953     13310   1195313   no data   no data
540.45/135.31	c  N st    60   1071875       125      2662         0     66953     13310   1195313   no data   no data
544.44/136.38	c Decided on static restart strategy
562.02/140.77	c  N st    70   1100179       125      2662         0     51495     13310    765258   no data   no data
587.61/147.10	c  N st    72   1136173       125      2662         0     85144     13310   1636205   no data   no data
611.56/153.17	c  N st    73   1168567       125      2662         0     72539     13310   1294372   no data   no data
647.51/162.12	c  N st    74   1209921       125      2662         0     67480     13310   1191940   no data   no data
647.51/162.12	c  S st    74   1209921       125      2662         0     67480     13310   1191940   no data   no data
648.31/162.37	c  S st    74   1210426       125      2662         0     67973     13310   1204933   no data   no data
648.31/162.38	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
648.73/162.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
648.73/162.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
648.73/162.41	c bin-w-bin subsume rem            0 bins  time:  0.00 s
648.73/162.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
648.73/162.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
648.73/162.41	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
648.73/162.43	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
648.73/162.47	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
672.68/168.41	c lits-rem:      1506  cl-subs:     3968  v-elim:      0  v-fix:    0  time:  5.94 s
672.68/168.41	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
672.68/168.43	c vivif2 --  cl tried    64005 cl shrink        0 lits rem          0 time: 0.02
674.28/168.86	c asymm  cl-useful: 0/2111/2662 lits-rem:0 time: 0.43
674.28/168.86	c calculated reachability. Time: 0.00
674.28/168.86	c  N st    74   1210426       125      2662         0     64005     13310   1097124   no data   no data
742.18/185.88	c  N st    75   1283308       125      2662         0     87499     13310   1722476   no data   no data
839.25/210.16	c  N st    76   1392632       125      2662         0     49210     13310    615033   no data   no data
963.89/241.34	c  N st    77   1556619       125      2662         0     53796     13310    691946   no data   no data
1091.71/273.39	c  N st    78   1710429       125      2662         0     93730     13310   1692349   no data   no data
1091.71/273.39	c  S st    78   1710429       125      2662         0     93730     13310   1692349   no data   no data
1093.30/273.79	c  S st    78   1710935       125      2662         0     94215     13310   1705296   no data   no data
1093.70/273.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1093.70/273.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.06
1093.70/273.86	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1093.70/273.86	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1093.70/273.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1093.70/273.86	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1093.70/273.86	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1093.70/273.89	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1094.10/273.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1230.73/308.15	c lits-rem:      2360  cl-subs:    10479  v-elim:      0  v-fix:    0  time: 34.21 s
1230.73/308.15	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1230.73/308.18	c vivif2 --  cl tried    83736 cl shrink        0 lits rem          0 time: 0.03
1231.52/308.39	c asymm  cl-useful: 0/551/2662 lits-rem:0 time: 0.21
1231.52/308.39	c calculated reachability. Time: 0.00
1231.52/308.39	c  N st    78   1710935       125      2662         0     83736     13310   1454579   no data   no data
1567.09/392.32	c  N st    79   2079899       125      2662         0     95432     13310   1687754   no data   no data
1690.13/423.18	c  N st    80   2210935       125      2662         0     99038     13310   1750891   no data   no data
1690.13/423.18	c  S st    80   2210935       125      2662         0     99038     13310   1750891   no data   no data
1691.71/423.50	c  S st    80   2211436       125      2662         0     99521     13310   1763880   no data   no data
1691.71/423.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1691.71/423.56	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.04
1691.71/423.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1691.71/423.56	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1691.71/423.56	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1691.71/423.56	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1691.71/423.56	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1691.71/423.58	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1692.11/423.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1765.60/442.05	c lits-rem:      2253  cl-subs:     9870  v-elim:      0  v-fix:    0  time: 18.42 s
1765.60/442.05	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1765.60/442.07	c vivif2 --  cl tried    89651 cl shrink        0 lits rem          0 time: 0.03
1767.60/442.54	c asymm  cl-useful: 0/1583/2662 lits-rem:0 time: 0.47
1767.60/442.54	c calculated reachability. Time: 0.00
1767.60/442.54	c  N st    80   2211436       125      2662         0     89651     13310   1516704   no data   no data
2295.29/574.65	c  N st    81   2711436       125      2662         0    112662     13310   2029455   no data   no data
2295.29/574.65	c  S st    81   2711436       125      2662         0    112662     13310   2029455   no data   no data
2296.91/575.05	c  S st    81   2711937       125      2662         0    113152     13310   2042526   no data   no data
2296.91/575.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2297.29/575.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.05
2297.29/575.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2297.29/575.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2297.29/575.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2297.29/575.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2297.29/575.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2297.29/575.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2297.29/575.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2400.36/600.97	c lits-rem:      2670  cl-subs:    11966  v-elim:      0  v-fix:    0  time: 25.77 s
2400.36/600.97	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2400.76/601.00	c vivif2 --  cl tried   101186 cl shrink        0 lits rem          0 time: 0.02
2401.98/601.31	c asymm  cl-useful: 0/1079/2662 lits-rem:0 time: 0.31
2401.98/601.31	c calculated reachability. Time: 0.00
2401.98/601.31	c  N st    81   2711937       125      2662         0    101186     13310   1750073   no data   no data
3036.30/760.10	c  N st    82   3211938       125      2662         0     78727     13310   1004060   no data   no data
3036.30/760.10	c  S st    82   3211938       125      2662         0     78727     13310   1004060   no data   no data
3037.10/760.33	c  S st    82   3212442       125      2662         0     79212     13310   1017205   no data   no data
3037.10/760.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3037.10/760.37	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
3037.10/760.37	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3037.10/760.37	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3037.10/760.37	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3037.10/760.37	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3037.10/760.37	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3037.10/760.39	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3037.50/760.42	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3042.29/761.63	c lits-rem:       268  cl-subs:     1912  v-elim:      0  v-fix:    0  time:  1.21 s
3042.29/761.63	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3042.29/761.65	c vivif2 --  cl tried    77300 cl shrink        0 lits rem          0 time: 0.01
3043.51/761.95	c asymm  cl-useful: 0/1784/2662 lits-rem:0 time: 0.30
3043.51/761.95	c calculated reachability. Time: 0.00
3043.51/761.95	c  N st    82   3212442       125      2662         0     77300     13310    973908   no data   no data
3632.71/909.43	c  N st    83   3712442       125      2662         0     87436     13310   1156560   no data   no data
3632.71/909.43	c  S st    83   3712442       125      2662         0     87436     13310   1156560   no data   no data
3633.89/909.71	c  S st    83   3712946       125      2662         0     87914     13310   1168956   no data   no data
3633.89/909.72	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3633.89/909.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3633.89/909.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3633.89/909.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3633.89/909.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3633.89/909.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3633.89/909.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3633.89/909.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3634.29/909.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3641.51/911.61	c lits-rem:       464  cl-subs:     2250  v-elim:      0  v-fix:    0  time:  1.80 s
3641.51/911.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3641.51/911.63	c vivif2 --  cl tried    85664 cl shrink        0 lits rem          0 time: 0.02
3642.29/911.82	c asymm  cl-useful: 0/878/2662 lits-rem:0 time: 0.19
3642.29/911.82	c calculated reachability. Time: 0.00
3642.29/911.82	c  N st    83   3712946       125      2662         0     85664     13310   1114973   no data   no data
3688.62/923.48	c  F st    84   3751562       125      2662         0    121690     13310   2050870   no data   no data
3688.62/923.48	c  N st    84   3751562       125      2662         0    121690     13310   2050870   no data   no data
3696.62/925.44	c Decided on static restart strategy
3730.97/934.00	c  N st    94   3779865       125      2662         0    148167     13310   2743890   no data   no data
3771.71/944.20	c  N st    96   3815858       125      2662         0    102880     13310   1556966   no data   no data
3808.48/953.47	c  N st    97   3848250       125      2662         0    133329     13310   2365276   no data   no data
3877.97/970.85	c  N st    98   3896839       125      2662         0     98262     13310   1398093   no data   no data
3970.25/993.91	c  N st    99   3969721       125      2662         0     85133     13310   1045098   no data   no data
4110.45/1029.09	c  N st   100   4079045       125      2662         0    104882     13310   1544573   no data   no data
4294.61/1075.18	c  N st   101   4212949       125      2662         0    146185     13310   2543255   no data   no data
4294.61/1075.18	c  S st   101   4212949       125      2662         0    146185     13310   2543255   no data   no data
4297.41/1075.83	c  S st   101   4213454       125      2662         0    146674     13310   2556504   no data   no data
4297.41/1075.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4297.80/1075.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.09
4297.80/1075.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4297.80/1075.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4297.80/1075.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4297.80/1075.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4297.80/1075.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4297.80/1075.99	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
4298.20/1076.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4532.29/1134.65	c lits-rem:      3280  cl-subs:    18624  v-elim:      0  v-fix:    0  time: 58.58 s
4532.29/1134.65	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4532.29/1134.68	c vivif2 --  cl tried   128050 cl shrink        0 lits rem          0 time: 0.03
4533.88/1135.06	c asymm  cl-useful: 0/1141/2662 lits-rem:0 time: 0.38
4533.88/1135.07	c calculated reachability. Time: 0.00
4533.88/1135.07	c  N st   101   4213454       125      2662         0    128050     13310   2122917   no data   no data

Verifier Data 

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

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 935)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3174075-1304086612/watcher-3174075-1304086612 -o /tmp/evaluation-result-3174075-1304086612/solver-3174075-1304086612 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3174075-1304086612.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: 0.03 1.92 4.37 5/180 24169
/proc/meminfo: memFree=12722104/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 408 0 0 0 0 0 0 0 22 0 4 0 598891916 52441088 348 33554432000 4194304 4627427 140734398233936 18446744073709551615 47696110753714 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 12803 348 299 106 0 7774 0
[pid=24169/tid=24170] ppid=24167 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 4 0 598891917 52441088 348 33554432000 4194304 4627427 140734398233936 18446744073709551615 47696110753712 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 0 0 0 0 0 0 0 0 23 0 4 0 598891917 52441088 348 33554432000 4194304 4627427 140734398233936 18446744073709551615 47696110753714 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=51212 CPUtime=0 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 4 0 598891917 52441088 348 33554432000 4194304 4627427 140734398233936 18446744073709551615 216735235057 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.300519 s]
/proc/loadavg: 0.03 1.92 4.37 5/180 24169
/proc/meminfo: memFree=12722104/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=285384 CPUtime=3.4 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 5982 0 0 0 340 0 0 0 19 0 4 0 598891916 292233216 3084 33554432000 4194304 4627427 140734398233936 18446744073709551615 4308416 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 71346 3084 384 106 0 66317 0
[pid=24169/tid=24170] ppid=24167 vsize=285384 CPUtime=0.85 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1423 0 0 0 85 0 0 0 19 0 4 0 598891917 292233216 3084 33554432000 4194304 4627427 140734398233936 18446744073709551615 4308231 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=285384 CPUtime=0.85 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1386 0 0 0 85 0 0 0 18 0 4 0 598891917 292233216 3084 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=285384 CPUtime=0.84 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1301 0 0 0 84 0 0 0 19 0 4 0 598891917 292233216 3084 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 285384

[startup+0.956866 s]
/proc/loadavg: 0.03 1.92 4.37 5/180 24169
/proc/meminfo: memFree=12722104/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=285848 CPUtime=3.81 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 6900 0 0 0 380 1 0 0 19 0 4 0 598891916 292708352 2937 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309079 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 71462 2937 385 106 0 66433 0
[pid=24169/tid=24170] ppid=24167 vsize=285848 CPUtime=0.95 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1707 0 0 0 95 0 0 0 19 0 4 0 598891917 292708352 2937 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=285848 CPUtime=0.95 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1483 0 0 0 95 0 0 0 19 0 4 0 598891917 292708352 2937 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309312 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=285848 CPUtime=0.94 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1576 0 0 0 94 0 0 0 19 0 4 0 598891917 292708352 2937 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309396 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 285848

[startup+1.05685 s]
/proc/loadavg: 0.03 1.92 4.37 5/180 24169
/proc/meminfo: memFree=12722104/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=285952 CPUtime=4.21 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 7399 0 0 0 420 1 0 0 19 0 4 0 598891916 292814848 3078 33554432000 4194304 4627427 140734398233936 18446744073709551615 4332712 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 71488 3078 385 106 0 66459 0
[pid=24169/tid=24170] ppid=24167 vsize=285952 CPUtime=1.05 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1795 0 0 0 105 0 0 0 19 0 4 0 598891917 292814848 3078 33554432000 4194304 4627427 140734398233936 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=285952 CPUtime=1.05 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1726 0 0 0 105 0 0 0 19 0 4 0 598891917 292814848 3078 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309584 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=285952 CPUtime=1.04 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1667 0 0 0 104 0 0 0 19 0 4 0 598891917 292814848 3078 33554432000 4194304 4627427 140734398233936 18446744073709551615 4308419 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.21
Current children cumulated vsize (KiB) 285952

[startup+1.15683 s]
/proc/loadavg: 0.03 1.92 4.37 5/180 24169
/proc/meminfo: memFree=12722104/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=292316 CPUtime=4.6 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 9142 0 0 0 459 1 0 0 19 0 4 0 598891916 299331584 4821 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420258 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 73079 4821 388 106 0 68050 0
[pid=24169/tid=24170] ppid=24167 vsize=292316 CPUtime=1.15 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1857 0 0 0 115 0 0 0 19 0 4 0 598891917 299331584 4821 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309164 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=292316 CPUtime=1.15 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1807 0 0 0 115 0 0 0 19 0 4 0 598891917 299331584 4821 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=292316 CPUtime=1.14 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 1728 0 0 0 114 0 0 0 19 0 4 0 598891917 299331584 4821 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309392 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4.6
Current children cumulated vsize (KiB) 292316

[startup+1.50077 s]
/proc/loadavg: 0.03 1.92 4.37 5/180 24169
/proc/meminfo: memFree=12722104/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=292500 CPUtime=5.98 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 11518 0 0 0 597 1 0 0 20 0 4 0 598891916 299520000 5979 33554432000 4194304 4627427 140734398233936 18446744073709551615 4310114 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 73125 5979 388 106 0 68096 0
[pid=24169/tid=24170] ppid=24167 vsize=292500 CPUtime=1.49 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 3371 0 0 0 149 0 0 0 20 0 4 0 598891917 299520000 5979 33554432000 4194304 4627427 140734398233936 18446744073709551615 4427851 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=292500 CPUtime=1.49 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 2187 0 0 0 149 0 0 0 19 0 4 0 598891917 299520000 5979 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=292500 CPUtime=1.49 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 2114 0 0 0 149 0 0 0 20 0 4 0 598891917 299520000 5979 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309160 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 5.98
Current children cumulated vsize (KiB) 292500

[startup+3.10049 s]
/proc/loadavg: 0.83 2.05 4.40 9/184 24173
/proc/meminfo: memFree=12672048/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=295940 CPUtime=12.37 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 20316 0 0 0 1234 3 0 0 25 0 4 0 598891916 303042560 10480 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309270 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 73985 10480 388 106 0 68956 0
[pid=24169/tid=24170] ppid=24167 vsize=295940 CPUtime=3.08 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 4536 0 0 0 308 0 0 0 25 0 4 0 598891917 303042560 10481 33554432000 4194304 4627427 140734398233936 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=295940 CPUtime=3.08 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 5330 0 0 0 308 0 0 0 25 0 4 0 598891917 303042560 10481 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=295940 CPUtime=3.07 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 4936 0 0 0 307 0 0 0 25 0 4 0 598891917 303042560 10481 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309247 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 295940

[startup+6.30693 s]
/proc/loadavg: 1.41 2.15 4.42 9/184 24173
/proc/meminfo: memFree=12641908/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=290932 CPUtime=25.17 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 31194 0 0 0 2513 4 0 0 25 0 4 0 598891916 297914368 14420 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 72733 14420 388 106 0 67704 0
[pid=24169/tid=24170] ppid=24167 vsize=290932 CPUtime=6.29 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 7830 0 0 0 629 0 0 0 25 0 4 0 598891917 297914368 14420 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309109 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=290932 CPUtime=6.29 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 8385 0 0 0 628 1 0 0 25 0 4 0 598891917 297914368 14420 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309902 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=290932 CPUtime=6.26 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 7333 0 0 0 626 0 0 0 25 0 4 0 598891917 297914368 14420 33554432000 4194304 4627427 140734398233936 18446744073709551615 4310133 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 290932

[startup+12.7008 s]
/proc/loadavg: 1.93 2.25 4.44 9/184 24173
/proc/meminfo: memFree=12626316/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=310684 CPUtime=50.72 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 48561 0 0 0 5065 7 0 0 25 0 4 0 598891916 318140416 18685 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 77671 18685 388 106 0 72642 0
[pid=24169/tid=24170] ppid=24167 vsize=310684 CPUtime=12.68 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 12297 0 0 0 1267 1 0 0 25 0 4 0 598891917 318140416 18686 33554432000 4194304 4627427 140734398233936 18446744073709551615 4507260 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=310684 CPUtime=12.69 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 12211 0 0 0 1267 2 0 0 25 0 4 0 598891917 318140416 18686 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309182 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=310684 CPUtime=12.63 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 12195 0 0 0 1262 1 0 0 25 0 4 0 598891917 318140416 18686 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 50.72
Current children cumulated vsize (KiB) 310684

[startup+25.5006 s]
/proc/loadavg: 2.94 2.45 4.48 9/184 24174
/proc/meminfo: memFree=12575032/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=367680 CPUtime=101.85 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 74398 0 0 0 10173 12 0 0 25 0 4 0 598891916 376504320 26137 33554432000 4194304 4627427 140734398233936 18446744073709551615 4507218 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 91920 26137 388 106 0 86891 0
[pid=24169/tid=24170] ppid=24167 vsize=367680 CPUtime=25.49 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 19388 0 0 0 2546 3 0 0 25 0 4 0 598891917 376504320 26137 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=367680 CPUtime=25.49 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 19128 0 0 0 2546 3 0 0 25 0 4 0 598891917 376504320 26137 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=367680 CPUtime=25.35 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 17628 0 0 0 2533 2 0 0 25 0 4 0 598891917 376504320 26137 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 101.85
Current children cumulated vsize (KiB) 367680

[startup+51.1011 s]
/proc/loadavg: 4.93 2.98 4.59 9/184 24174
/proc/meminfo: memFree=12533892/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=358288 CPUtime=204.11 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 112481 0 0 0 20389 22 0 0 25 0 4 0 598891916 366886912 33017 33554432000 4194304 4627427 140734398233936 18446744073709551615 4310117 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 89572 33017 388 106 0 84543 0
[pid=24169/tid=24170] ppid=24167 vsize=358288 CPUtime=51.09 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 28224 0 0 0 5104 5 0 0 25 0 4 0 598891917 366886912 33017 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=358288 CPUtime=51.09 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 28889 0 0 0 5104 5 0 0 25 0 4 0 598891917 366886912 33017 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309098 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=358288 CPUtime=50.82 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 27522 0 0 0 5076 6 0 0 25 0 4 0 598891917 366886912 33017 33554432000 4194304 4627427 140734398233936 18446744073709551615 4310360 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 204.11
Current children cumulated vsize (KiB) 358288

[startup+102.301 s]
/proc/loadavg: 6.80 3.78 4.78 9/184 24176
/proc/meminfo: memFree=12488236/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=376740 CPUtime=408.63 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 169619 0 0 0 40828 35 0 0 25 0 4 0 598891916 385781760 43829 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309142 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 94185 43829 388 106 0 89156 0
[pid=24169/tid=24170] ppid=24167 vsize=376740 CPUtime=102.29 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 39905 0 0 0 10221 8 0 0 25 0 4 0 598891917 385781760 43829 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309089 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=376740 CPUtime=102.29 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 42222 0 0 0 10221 8 0 0 25 0 4 0 598891917 385781760 43829 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309244 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=376740 CPUtime=101.73 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 44189 0 0 0 10164 9 0 0 25 0 4 0 598891917 385781760 43829 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 408.63
Current children cumulated vsize (KiB) 376740

[startup+162.301 s]

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

[pid=24169] ppid=24167 vsize=571968 CPUtime=2805.41 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 520911 0 0 0 280366 175 0 0 25 0 4 0 598891916 585695232 108094 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309594 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 142992 108094 388 106 0 137963 0
[pid=24169/tid=24170] ppid=24167 vsize=571968 CPUtime=702.3 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 111596 0 0 0 70194 36 0 0 25 0 4 0 598891917 585695232 108094 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309347 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=571968 CPUtime=702.3 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 147631 0 0 0 70177 53 0 0 25 0 4 0 598891917 585695232 108094 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309293 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=571968 CPUtime=698.48 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 128120 0 0 0 69806 42 0 0 25 0 4 0 598891917 585695232 108094 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2805.41
Current children cumulated vsize (KiB) 571968

[startup+762.301 s]
/proc/loadavg: 8.01 7.58 6.43 9/184 24193
/proc/meminfo: memFree=12064616/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=650296 CPUtime=3045.09 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 545890 0 0 0 304325 184 0 0 25 0 4 0 598891916 665903104 115976 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309279 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 162574 115976 388 106 0 157545 0
[pid=24169/tid=24170] ppid=24167 vsize=650296 CPUtime=762.3 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 117807 0 0 0 76191 39 0 0 25 0 4 0 598891917 665903104 115976 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309315 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=650296 CPUtime=762.3 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 158066 0 0 0 76174 56 0 0 25 0 4 0 598891917 665903104 115976 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=650296 CPUtime=758.15 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 131222 0 0 0 75772 43 0 0 25 0 4 0 598891917 665903104 115976 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309905 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3045.09
Current children cumulated vsize (KiB) 650296

[startup+822.3 s]
/proc/loadavg: 8.10 7.68 6.53 9/184 24195
/proc/meminfo: memFree=11990828/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=715988 CPUtime=3284.77 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 565069 0 0 0 328282 195 0 0 25 0 4 0 598891916 733171712 128586 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 178997 128586 388 106 0 173968 0
[pid=24169/tid=24170] ppid=24167 vsize=715988 CPUtime=822.31 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 120941 0 0 0 82190 41 0 0 25 0 4 0 598891917 733171712 128586 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309270 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=715988 CPUtime=822.3 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 163024 0 0 0 82171 59 0 0 25 0 4 0 598891917 733171712 128586 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=715988 CPUtime=817.83 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 137603 0 0 0 81737 46 0 0 25 0 4 0 598891917 733171712 128586 33554432000 4194304 4627427 140734398233936 18446744073709551615 4333347 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3284.77
Current children cumulated vsize (KiB) 715988

[startup+882.301 s]
/proc/loadavg: 8.12 7.77 6.63 9/184 24196
/proc/meminfo: memFree=12034580/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=716168 CPUtime=3524.44 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 584358 0 0 0 352240 204 0 0 25 0 4 0 598891916 733356032 121289 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 179042 121289 388 106 0 174013 0
[pid=24169/tid=24170] ppid=24167 vsize=716168 CPUtime=882.31 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 127419 0 0 0 88187 44 0 0 25 0 4 0 598891917 733356032 121289 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309077 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=716168 CPUtime=882.3 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 171925 0 0 0 88167 63 0 0 25 0 4 0 598891917 733356032 121289 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309594 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=716168 CPUtime=877.5 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 140783 0 0 0 87703 47 0 0 25 0 4 0 598891917 733356032 121289 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309170 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3524.44
Current children cumulated vsize (KiB) 716168

[startup+942.301 s]
/proc/loadavg: 8.10 7.82 6.72 9/184 24198
/proc/meminfo: memFree=12033708/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=702368 CPUtime=3764.14 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 602229 0 0 0 376200 214 0 0 25 0 4 0 598891916 719224832 121627 33554432000 4194304 4627427 140734398233936 18446744073709551615 4332712 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 175592 121627 388 106 0 170563 0
[pid=24169/tid=24170] ppid=24167 vsize=702368 CPUtime=942.32 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 130741 0 0 0 94186 46 0 0 25 0 4 0 598891917 719224832 121627 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=702368 CPUtime=942.31 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 175996 0 0 0 94166 65 0 0 25 0 4 0 598891917 719224832 121627 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=702368 CPUtime=937.17 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 146159 0 0 0 93668 49 0 0 25 0 4 0 598891917 719224832 121627 33554432000 4194304 4627427 140734398233936 18446744073709551615 4308256 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3764.14
Current children cumulated vsize (KiB) 702368

[startup+1002.3 s]
/proc/loadavg: 8.15 7.88 6.81 9/184 24200
/proc/meminfo: memFree=12013480/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=703588 CPUtime=4003.8 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 616043 0 0 0 400159 221 0 0 25 0 4 0 598891916 720474112 124485 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 175897 124485 388 106 0 170868 0
[pid=24169/tid=24170] ppid=24167 vsize=703588 CPUtime=1002.31 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 137196 0 0 0 100183 48 0 0 25 0 4 0 598891917 720474112 124485 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=703588 CPUtime=1002.31 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 176233 0 0 0 100165 66 0 0 25 0 4 0 598891917 720474112 124485 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=703588 CPUtime=996.85 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 147843 0 0 0 99634 51 0 0 25 0 4 0 598891917 720474112 124485 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4003.8
Current children cumulated vsize (KiB) 703588

[startup+1062.31 s]
/proc/loadavg: 8.16 7.93 6.89 9/184 24201
/proc/meminfo: memFree=12018676/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=652120 CPUtime=4243.5 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 635203 0 0 0 424119 231 0 0 25 0 4 0 598891916 667770880 125789 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 163030 125789 388 106 0 158001 0
[pid=24169/tid=24170] ppid=24167 vsize=652120 CPUtime=1062.32 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 140458 0 0 0 106181 51 0 0 25 0 4 0 598891917 667770880 125789 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=652120 CPUtime=1062.32 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 186014 0 0 0 106162 70 0 0 25 0 4 0 598891917 667770880 125789 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=652120 CPUtime=1056.52 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 148305 0 0 0 105601 51 0 0 25 0 4 0 598891917 667770880 125789 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309279 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4243.5
Current children cumulated vsize (KiB) 652120

[startup+1122.3 s]
/proc/loadavg: 8.16 7.97 6.97 9/184 24203
/proc/meminfo: memFree=11996956/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=830224 CPUtime=4483.16 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 641050 0 0 0 448081 235 0 0 25 0 4 0 598891916 850149376 127469 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420268 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 207556 127469 388 106 0 202527 0
[pid=24169/tid=24170] ppid=24167 vsize=830224 CPUtime=1122.31 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 141462 0 0 0 112180 51 0 0 25 0 4 0 598891917 850149376 127469 33554432000 4194304 4627427 140734398233936 18446744073709551615 4324104 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=830224 CPUtime=1122.31 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 186845 0 0 0 112161 70 0 0 25 0 4 0 598891917 850149376 127469 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=830224 CPUtime=1116.2 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 151321 0 0 0 111567 53 0 0 25 0 4 0 598891917 850149376 127469 33554432000 4194304 4627427 140734398233936 18446744073709551615 4308414 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4483.16
Current children cumulated vsize (KiB) 830224

[startup+1182.3 s]
/proc/loadavg: 8.09 7.99 7.03 9/184 24204
/proc/meminfo: memFree=11954656/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=784156 CPUtime=4722.83 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 665006 0 0 0 472039 244 0 0 25 0 4 0 598891916 802975744 139169 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309244 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 196039 139169 390 106 0 191010 0
[pid=24169/tid=24170] ppid=24167 vsize=784156 CPUtime=1182.31 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 148116 0 0 0 118178 53 0 0 25 0 4 0 598891917 802975744 139169 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420265 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=784156 CPUtime=1182.3 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 193572 0 0 0 118157 73 0 0 25 0 4 0 598891917 802975744 139169 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309155 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=784156 CPUtime=1175.87 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 157503 0 0 0 117533 54 0 0 25 0 4 0 598891917 802975744 139169 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420146 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4722.83
Current children cumulated vsize (KiB) 784156



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1201.7 s]
/proc/loadavg: 7.81 7.94 7.04 6/176 24228
/proc/meminfo: memFree=12222204/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=775308 CPUtime=4800.34 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 666335 0 0 0 479789 245 0 0 25 0 4 0 598891916 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 193827 133447 390 106 0 188798 0
[pid=24169/tid=24170] ppid=24167 vsize=775308 CPUtime=1201.72 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 148116 0 0 0 120119 53 0 0 25 0 4 0 598891917 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=775308 CPUtime=1201.71 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 194624 0 0 0 120097 74 0 0 25 0 4 0 598891917 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=775308 CPUtime=1195.17 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 157503 0 0 0 119463 54 0 0 25 0 4 0 598891917 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 775308

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

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

[startup+1201.7 s]
/proc/loadavg: 7.81 7.94 7.04 6/176 24228
/proc/meminfo: memFree=12222204/32951124 swapFree=67102140/67111528
[pid=24169] ppid=24167 vsize=775308 CPUtime=4800.34 cores=1,3,5,7
/proc/24169/stat : 24169 (strangenight2-m) R 24167 24169 24128 0 -1 4202496 666335 0 0 0 479789 245 0 0 25 0 4 0 598891916 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309347 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/24169/statm: 193827 133447 390 106 0 188798 0
[pid=24169/tid=24170] ppid=24167 vsize=775308 CPUtime=1201.72 cores=1,3,5,7
/proc/24169/task/24170/stat : 24170 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 148116 0 0 0 120119 53 0 0 25 0 4 0 598891917 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420243 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=24169/tid=24171] ppid=24167 vsize=775308 CPUtime=1201.71 cores=1,3,5,7
/proc/24169/task/24171/stat : 24171 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 194624 0 0 0 120097 74 0 0 25 0 4 0 598891917 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4309145 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=24169/tid=24172] ppid=24167 vsize=775308 CPUtime=1195.17 cores=1,3,5,7
/proc/24169/task/24172/stat : 24172 (strangenight2-m) R 24167 24169 24128 0 -1 4202560 157503 0 0 0 119463 54 0 0 25 0 4 0 598891917 793915392 133447 33554432000 4194304 4627427 140734398233936 18446744073709551615 4420272 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.34
Current children cumulated vsize (KiB) 775308

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1201.73
CPU time (s): 4800.4
CPU user time (s): 4797.92
CPU system time (s): 2.48162
CPU usage (%): 399.456
Max. virtual memory (cumulated for all children) (KiB): 840052

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

runsolver used 1.84672 second user time and 4.71728 second system time

The end

Launcher Data 

Begin job on node119 at 2011-04-29 16:16:53
IDJOB=3174075
IDBENCH=82893
IDSOLVER=1586
FILE ID=node119/3174075-1304086612
RUNJOBID= node119-1304086609-24147
PBS_JOBID= 13170550
Free space on /tmp= 71812 MiB

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

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

MD5SUM BENCH= ddac1e46d651615f8587e799d64e665b
RANDOM SEED=2107464802

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      12722384 kB
Buffers:       2234504 kB
Cached:       17313832 kB
SwapCached:       5504 kB
Active:        8010816 kB
Inactive:     11633044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      12722384 kB
SwapTotal:    67111528 kB
SwapFree:     67102140 kB
Dirty:           11668 kB
Writeback:           0 kB
AnonPages:       92432 kB
Mapped:          15316 kB
Slab:           521624 kB
PageTables:       4740 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   302480 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= 71804 MiB
End job on node119 at 2011-04-29 16:36:56