Trace number 3366476

Some explanations

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

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

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

Solver answer on this benchmark

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

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v125-c2662-S446351158-079.SATISFIABLE.cnf
MD5SUM871f75d4bb41b463ca12a7a8837d201b
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.057991
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-3366476-1305405140.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.03	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
0.00/0.03	c calculated reachability. Time: 0.00
0.00/0.03	c Calc default polars -  time:   0.00 s pos:      71 undec:       5 neg:      49
0.00/0.03	c =========================================================================================
0.00/0.03	c types(t): F = full restart, N = normal restart
0.00/0.03	c types(t): S = simplification begin/end, E = solution found
0.00/0.03	c restart types(rt): st = static, dy = dynamic
0.00/0.03	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.03	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.42/0.13	c  N st     8      4915       125      2662         0      4671     13310    119185   no data   no data
1.17/0.33	c  N st    10     11301       125      2662         0      4313     13310     88634   no data   no data
1.97/0.54	c  N st    11     17044       125      2662         0      9674     13310    232660   no data   no data
3.17/0.88	c  F st    12     25000       125      2662         0     11905     13310    283358   no data   no data
3.17/0.88	c  N st    12     25000       125      2662         0     11905     13310    283358   no data   no data
3.97/1.09	c Decided on static restart strategy
3.97/1.09	c  N st    18     30002       125      2662         0     10215     13310    230382   no data   no data
3.97/1.09	c  S st    18     30002       125      2662         0     10215     13310    230382   no data   no data
4.39/1.13	c  S st    18     30504       125      2662         0     10700     13310    243025   no data   no data
4.39/1.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4.39/1.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
4.39/1.13	c blocked clauses removed:        0 vars:      0 tried:         125 T: 0.00 s
4.39/1.13	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4.39/1.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.39/1.13	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4.39/1.13	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4.39/1.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
4.39/1.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.16/1.31	c lits-rem:       214  cl-subs:     1348  v-elim:      0  v-fix:    0  time:  0.17 s
5.16/1.35	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.04
5.16/1.35	c calculated reachability. Time: 0.00
5.16/1.35	c  N st    18     30504       125      2662         0      9352     13310    204659   no data   no data
6.75/1.71	c  N st    20     37616       125      2662         0      8633     13310    167945   no data   no data
7.96/2.05	c  N st    21     44015       125      2662         0     14645     13310    324126   no data   no data
8.35/2.14	c  S st    22     45756       125      2662         0     16301     13310    368259   no data   no data
8.35/2.19	c  S st    22     46259       125      2662         0     16789     13310    381062   no data   no data
8.35/2.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
8.78/2.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.01
8.78/2.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8.78/2.22	c bin-w-bin subsume rem            0 bins  time:  0.00 s
8.78/2.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
8.78/2.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
8.78/2.22	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
8.78/2.22	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
8.78/2.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
10.35/2.64	c lits-rem:       412  cl-subs:     1596  v-elim:      0  v-fix:    0  time:  0.41 s
10.35/2.64	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
10.35/2.64	c vivif2 --  cl tried    15193 cl shrink        0 lits rem          0 time: 0.00
10.74/2.70	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
10.74/2.70	c calculated reachability. Time: 0.00
10.74/2.70	c  N st    22     46259       125      2662         0     15193     13310    336869   no data   no data
13.93/3.54	c  N st    23     60658       125      2662         0     10999     13310    198530   no data   no data
15.93/4.04	c  N st    24     69389       125      2662         0     19230     13310    410962   no data   no data
15.93/4.04	c  S st    24     69389       125      2662         0     19230     13310    410962   no data   no data
15.93/4.08	c  S st    24     69892       125      2662         0     19716     13310    423738   no data   no data
15.93/4.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
15.93/4.09	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
15.93/4.09	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
15.93/4.09	c bin-w-bin subsume rem            0 bins  time:  0.00 s
15.93/4.09	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
15.93/4.09	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
15.93/4.09	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
15.93/4.09	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.33/4.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
18.72/4.75	c lits-rem:       417  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  0.63 s
18.72/4.75	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
18.72/4.75	c vivif2 --  cl tried    17528 cl shrink        0 lits rem          0 time: 0.00
19.12/4.82	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
19.12/4.82	c calculated reachability. Time: 0.00
19.12/4.82	c  N st    24     69892       125      2662         0     17528     13310    364884   no data   no data
23.50/5.97	c  F st    25     87500       125      2662         0     12553     13310    217413   no data   no data
23.50/5.97	c  N st    25     87500       125      2662         0     12553     13310    217413   no data   no data
24.70/6.27	c Decided on static restart strategy
25.51/6.45	c  N st    32     95536       125      2662         0     20138     13310    416147   no data   no data
27.89/7.07	c  N st    34    104838       125      2662         0     16675     13310    316604   no data   no data
27.89/7.07	c  S st    34    104838       125      2662         0     16675     13310    316604   no data   no data
28.29/7.11	c  S st    34    105344       125      2662         0     17163     13310    328968   no data   no data
28.29/7.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
28.29/7.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
28.29/7.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28.29/7.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
28.29/7.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.29/7.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
28.29/7.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
28.29/7.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
28.29/7.13	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
29.09/7.36	c lits-rem:       199  cl-subs:     1206  v-elim:      0  v-fix:    0  time:  0.23 s
29.09/7.36	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
29.09/7.36	c vivif2 --  cl tried    15957 cl shrink        0 lits rem          0 time: 0.00
29.49/7.42	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.06
29.49/7.43	c calculated reachability. Time: 0.00
29.49/7.43	c  N st    34    105344       125      2662         0     15957     13310    297584   no data   no data
32.68/8.21	c  N st    35    114943       125      2662         0     25006     13310    529724   no data   no data
36.67/9.24	c  N st    36    129340       125      2662         0     25424     13310    532475   no data   no data
43.46/10.94	c  N st    37    150935       125      2662         0     16537     13310    264175   no data   no data
45.44/11.42	c  S st    38    158017       125      2662         0     23219     13310    434588   no data   no data
45.44/11.48	c  S st    38    158521       125      2662         0     23715     13310    447468   no data   no data
45.44/11.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
45.44/11.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
45.44/11.49	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45.44/11.49	c bin-w-bin subsume rem            0 bins  time:  0.00 s
45.44/11.49	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
45.44/11.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
45.44/11.49	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
45.44/11.49	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
45.84/11.50	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.83/12.01	c lits-rem:       320  cl-subs:     1740  v-elim:      0  v-fix:    0  time:  0.51 s
47.83/12.01	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
47.83/12.02	c vivif2 --  cl tried    21975 cl shrink        0 lits rem          0 time: 0.00
48.25/12.11	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.08
48.25/12.11	c calculated reachability. Time: 0.00
48.25/12.11	c  N st    38    158521       125      2662         0     21975     13310    402701   no data   no data
65.39/16.40	c  N st    39    207109       125      2662         0     34659     13310    705133   no data   no data
76.55/19.22	c  N st    40    237783       125      2662         0     26881     13310    483100   no data   no data
76.55/19.22	c  S st    40    237783       125      2662         0     26881     13310    483100   no data   no data
76.55/19.29	c  S st    40    238284       125      2662         0     27370     13310    495481   no data   no data
76.55/19.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
76.95/19.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
76.95/19.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
76.95/19.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
76.95/19.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
76.95/19.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
76.95/19.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
76.95/19.30	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
76.95/19.31	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
79.73/20.02	c lits-rem:       479  cl-subs:     2144  v-elim:      0  v-fix:    0  time:  0.69 s
79.73/20.02	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
79.73/20.03	c vivif2 --  cl tried    25226 cl shrink        0 lits rem          0 time: 0.01
80.13/20.12	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.10
80.13/20.13	c calculated reachability. Time: 0.00
80.13/20.13	c  N st    40    238284       125      2662         0     25226     13310    443158   no data   no data
106.06/26.67	c  F st    41    306250       125      2662         0     27115     13310    449125   no data   no data
106.06/26.67	c  N st    41    306250       125      2662         0     27115     13310    449125   no data   no data
108.06/27.16	c Decided on static restart strategy
118.45/29.81	c  N st    51    334562       125      2662         0     31262     13310    540522   no data   no data
128.39/32.22	c  N st    53    357426       125      2662         0     29324     13310    474329   no data   no data
128.39/32.22	c  S st    53    357426       125      2662         0     29324     13310    474329   no data   no data
128.39/32.29	c  S st    53    357928       125      2662         0     29815     13310    487289   no data   no data
128.39/32.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
128.79/32.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
128.79/32.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
128.79/32.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
128.79/32.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
128.79/32.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
128.79/32.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
128.79/32.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
128.79/32.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
130.39/32.73	c lits-rem:       259  cl-subs:     1259  v-elim:      0  v-fix:    0  time:  0.41 s
130.39/32.73	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
130.39/32.74	c vivif2 --  cl tried    28556 cl shrink        0 lits rem          0 time: 0.01
130.79/32.85	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.11
130.79/32.85	c calculated reachability. Time: 0.00
130.79/32.85	c  N st    53    357928       125      2662         0     28556     13310    453101   no data   no data
145.54/36.54	c  N st    54    390320       125      2662         0     34527     13310    590185   no data   no data
171.09/42.94	c  N st    55    438910       125      2662         0     28502     13310    415300   no data   no data
202.97/50.99	c  N st    56    511792       125      2662         0     41656     13310    731447   no data   no data
217.73/54.66	c  N st    57    536892       125      2662         0     36029     13310    566142   no data   no data
217.73/54.66	c  S st    57    536892       125      2662         0     36029     13310    566142   no data   no data
218.13/54.74	c  S st    57    537397       125      2662         0     36520     13310    579319   no data   no data
218.13/54.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
218.13/54.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
218.13/54.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
218.13/54.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
218.13/54.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
218.13/54.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
218.13/54.76	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
218.13/54.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
218.13/54.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
220.91/55.45	c lits-rem:       565  cl-subs:     1655  v-elim:      0  v-fix:    0  time:  0.66 s
220.91/55.45	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
220.91/55.46	c vivif2 --  cl tried    34865 cl shrink        0 lits rem          0 time: 0.01
221.72/55.61	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.15
221.72/55.61	c calculated reachability. Time: 0.00
221.72/55.61	c  N st    57    537397       125      2662         0     34865     13310    534783   no data   no data
310.66/77.96	c  N st    58    701381       125      2662         0     62642     13310   1213779   no data   no data
375.27/94.12	c  N st    59    806097       125      2662         0     56524     13310    973186   no data   no data
375.27/94.12	c  S st    59    806097       125      2662         0     56524     13310    973186   no data   no data
375.66/94.28	c  S st    59    806602       125      2662         0     57013     13310    986268   no data   no data
375.66/94.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
376.06/94.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
376.06/94.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
376.06/94.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
376.06/94.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
376.06/94.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
376.06/94.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
376.06/94.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
376.06/94.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
394.84/99.06	c lits-rem:      1053  cl-subs:     6519  v-elim:      0  v-fix:    0  time:  4.65 s
394.84/99.06	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
394.84/99.07	c vivif2 --  cl tried    50494 cl shrink        0 lits rem          0 time: 0.01
396.00/99.32	c asymm  cl-useful: 0/2662/2662 lits-rem:0 time: 0.25
396.00/99.32	c calculated reachability. Time: 0.00
396.00/99.32	c  N st    59    806602       125      2662         0     50494     13310    835885   no data   no data
560.33/140.50	c  F st    60   1071877       125      2662         0     66393     13310   1180340   no data   no data
560.33/140.51	c  N st    60   1071877       125      2662         0     66393     13310   1180340   no data   no data
565.11/141.78	c Decided on static restart strategy
585.05/146.76	c  N st    70   1100184       125      2662         0     50999     13310    767521   no data   no data
615.36/154.35	c  N st    72   1136178       125      2662         0     84807     13310   1661662   no data   no data
636.55/159.68	c  N st    73   1168571       125      2662         0     71986     13310   1286217   no data   no data
677.18/169.83	c  N st    74   1209904       125      2662         0     66757     13310   1146847   no data   no data
677.18/169.83	c  S st    74   1209904       125      2662         0     66757     13310   1146847   no data   no data
678.37/170.17	c  S st    74   1210407       125      2662         0     67239     13310   1160303   no data   no data
678.37/170.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
678.77/170.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.05
678.77/170.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
678.77/170.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
678.77/170.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
678.77/170.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
678.77/170.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
678.77/170.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
678.77/170.29	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
725.43/181.91	c lits-rem:      1773  cl-subs:     5411  v-elim:      0  v-fix:    0  time: 11.47 s
725.43/181.91	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
725.43/181.93	c vivif2 --  cl tried    61828 cl shrink        0 lits rem          0 time: 0.01
727.03/182.36	c asymm  cl-useful: 0/2211/2662 lits-rem:0 time: 0.43
727.03/182.36	c calculated reachability. Time: 0.00
727.03/182.36	c  N st    74   1210407       125      2662         0     61828     13310   1016259   no data   no data
778.07/195.10	c  N st    75   1283290       125      2662         0     85300     13310   1671329   no data   no data
871.80/218.65	c  N st    76   1392613       125      2662         0     94728     13310   1823034   no data   no data
1004.63/251.93	c  N st    77   1556598       125      2662         0     51716     13310    637641   no data   no data
1134.22/284.44	c  N st    78   1710408       125      2662         0     91546     13310   1645691   no data   no data
1134.22/284.44	c  S st    78   1710408       125      2662         0     91546     13310   1645691   no data   no data
1135.42/284.73	c  S st    78   1710911       125      2662         0     92028     13310   1658734   no data   no data
1135.42/284.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1135.42/284.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1135.42/284.78	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1135.42/284.78	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1135.42/284.78	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1135.42/284.78	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1135.42/284.78	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1135.82/284.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1135.82/284.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1283.77/321.98	c lits-rem:      3708  cl-subs:    11184  v-elim:      0  v-fix:    0  time: 36.67 s
1283.77/321.98	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1284.17/322.00	c vivif2 --  cl tried    80844 cl shrink        0 lits rem          0 time: 0.03
1286.56/322.60	c asymm  cl-useful: 0/1844/2662 lits-rem:0 time: 0.58
1286.56/322.60	c calculated reachability. Time: 0.00
1286.56/322.60	c  N st    78   1710911       125      2662         0     80844     13310   1387942   no data   no data
1624.75/407.49	c  N st    79   2079876       125      2662         0     92929     13310   1631567   no data   no data
1743.20/437.10	c  N st    80   2210912       125      2662         0     96907     13310   1681223   no data   no data
1743.20/437.10	c  S st    80   2210912       125      2662         0     96907     13310   1681223   no data   no data
1744.40/437.43	c  S st    80   2211417       125      2662         0     97397     13310   1694014   no data   no data
1744.40/437.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1744.40/437.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.2M T:  0.05
1744.40/437.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1744.40/437.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1744.40/437.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1744.40/437.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
1744.40/437.48	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1744.81/437.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1744.81/437.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1807.45/453.23	c lits-rem:      2412  cl-subs:     9507  v-elim:      0  v-fix:    0  time: 15.48 s
1807.45/453.23	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
1807.45/453.25	c vivif2 --  cl tried    87890 cl shrink        0 lits rem          0 time: 0.02
1808.62/453.53	c asymm  cl-useful: 0/818/2662 lits-rem:0 time: 0.27
1808.62/453.53	c calculated reachability. Time: 0.00
1808.62/453.53	c  N st    80   2211417       125      2662         0     87890     13310   1461647   no data   no data
2359.78/591.74	c  N st    81   2711419       125      2662         0    110039     13310   1897115   no data   no data
2359.78/591.74	c  S st    81   2711419       125      2662         0    110039     13310   1897115   no data   no data
2361.37/592.12	c  S st    81   2711922       125      2662         0    110532     13310   1910224   no data   no data
2361.37/592.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2361.37/592.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.05
2361.37/592.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2361.37/592.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2361.37/592.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2361.37/592.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
2361.37/592.18	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2361.77/592.21	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2361.77/592.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2447.13/613.61	c lits-rem:      2460  cl-subs:    12300  v-elim:      0  v-fix:    0  time: 21.10 s
2447.13/613.61	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
2447.13/613.64	c vivif2 --  cl tried    98232 cl shrink        0 lits rem          0 time: 0.03
2448.71/614.01	c asymm  cl-useful: 0/1556/2662 lits-rem:0 time: 0.36
2448.71/614.01	c calculated reachability. Time: 0.00
2448.71/614.01	c  N st    81   2711922       125      2662         0     98232     13310   1633157   no data   no data
3090.39/774.98	c  N st    82   3211923       125      2662         0     75957     13310    931449   no data   no data
3090.39/774.98	c  S st    82   3211923       125      2662         0     75957     13310    931449   no data   no data
3091.19/775.19	c  S st    82   3212425       125      2662         0     76440     13310    944627   no data   no data
3091.59/775.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3091.59/775.23	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
3091.59/775.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3091.59/775.23	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3091.59/775.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3091.59/775.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3091.59/775.23	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3091.59/775.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3091.59/775.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3094.38/775.96	c lits-rem:       104  cl-subs:      937  v-elim:      0  v-fix:    0  time:  0.68 s
3094.38/775.96	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3094.38/775.98	c vivif2 --  cl tried    75503 cl shrink        0 lits rem          0 time: 0.02
3095.18/776.19	c asymm  cl-useful: 0/1106/2662 lits-rem:0 time: 0.21
3095.18/776.19	c calculated reachability. Time: 0.00
3095.18/776.19	c  N st    82   3212425       125      2662         0     75503     13310    922850   no data   no data
3691.03/925.55	c  N st    83   3712426       125      2662         0     85663     13310   1103072   no data   no data
3691.03/925.55	c  S st    83   3712426       125      2662         0     85663     13310   1103072   no data   no data
3691.83/925.79	c  S st    83   3712934       125      2662         0     86157     13310   1116479   no data   no data
3692.23/925.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3692.23/925.84	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
3692.23/925.84	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3692.23/925.84	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3692.23/925.84	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3692.23/925.84	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
3692.23/925.84	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3692.23/925.86	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3692.23/925.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3698.24/927.31	c lits-rem:       295  cl-subs:     1755  v-elim:      0  v-fix:    0  time:  1.39 s
3698.24/927.31	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
3698.24/927.33	c vivif2 --  cl tried    84402 cl shrink        0 lits rem          0 time: 0.02
3699.40/927.65	c asymm  cl-useful: 0/1764/2662 lits-rem:0 time: 0.33
3699.40/927.66	c calculated reachability. Time: 0.00
3699.40/927.66	c  N st    83   3712934       125      2662         0     84402     13310   1075763   no data   no data
3738.89/937.56	c  F st    84   3751562       125      2662         0    120661     13310   2046485   no data   no data
3738.89/937.57	c  N st    84   3751562       125      2662         0    120661     13310   2046485   no data   no data
3745.67/939.27	c Decided on static restart strategy
3780.37/947.96	c  N st    94   3779863       125      2662         0    147303     13310   2762888   no data   no data
3823.04/958.61	c  N st    96   3815858       125      2662         0    101673     13310   1519976   no data   no data
3871.30/970.79	c  N st    97   3848250       125      2662         0    131883     13310   2315608   no data   no data
3938.30/987.55	c  N st    98   3896838       125      2662         0     97170     13310   1384549   no data   no data
4047.99/1015.02	c  N st    99   3969721       125      2662         0     84038     13310   1005800   no data   no data
4208.71/1055.36	c  N st   100   4079044       125      2662         0    103785     13310   1496248   no data   no data
4394.17/1101.87	c  N st   101   4212934       125      2662         0    145500     13310   2563017   no data   no data
4394.17/1101.87	c  S st   101   4212934       125      2662         0    145500     13310   2563017   no data   no data
4396.21/1102.35	c  S st   101   4213436       125      2662         0    145987     13310   2576217   no data   no data
4396.21/1102.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4396.55/1102.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.8M T:  0.07
4396.55/1102.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4396.55/1102.44	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4396.55/1102.44	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4396.55/1102.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    125 time:  0.00 s
4396.55/1102.44	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4396.55/1102.47	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
4396.95/1102.55	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4577.63/1147.87	c lits-rem:      3968  cl-subs:    17442  v-elim:      0  v-fix:    0  time: 44.79 s
4577.63/1147.87	c vivif2 --  cl tried     2662 cl shrink        0 lits rem          0 time: 0.00
4578.03/1147.90	c vivif2 --  cl tried   128545 cl shrink        0 lits rem          0 time: 0.03
4579.23/1148.26	c asymm  cl-useful: 0/898/2662 lits-rem:0 time: 0.36
4579.23/1148.26	c calculated reachability. Time: 0.00
4579.23/1148.26	c  N st   101   4213436       125      2662         0    128545     13310   2165367   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-3366476-1305405140/watcher-3366476-1305405140 -o /tmp/evaluation-result-3366476-1305405140/solver-3366476-1305405140 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366476-1305405140.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: 5.53 7.42 7.80 6/367 15413
/proc/meminfo: memFree=23304732/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 406 0 0 0 0 0 0 0 24 0 4 0 730744695 52396032 347 33554432000 4194304 4580107 140735057948800 18446744073709551615 47319548479400 0 0 4096 2 18446744073709551615 0 0 17 1 0 0 0
/proc/15413/statm: 12792 347 299 95 0 7774 0
[pid=15413/tid=15414] ppid=15411 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730744695 52396032 347 33554432000 4194304 4580107 140735057948800 18446744073709551615 260905450481 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 730744695 52396032 347 33554432000 4194304 4580107 140735057948800 18446744073709551615 47319548479404 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 730744695 52396032 347 33554432000 4194304 4580107 140735057948800 18446744073709551615 47319548479410 0 0 4096 2 0 0 0 -1 3 0 0 0

[startup+0.113542 s]
/proc/loadavg: 5.53 7.42 7.80 6/367 15413
/proc/meminfo: memFree=23304732/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=281968 CPUtime=0.42 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 1886 0 0 0 42 0 0 0 25 0 4 0 730744695 288735232 1768 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 70492 1768 376 95 0 65474 0
[pid=15413/tid=15414] ppid=15411 vsize=281968 CPUtime=0.09 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 392 0 0 0 9 0 0 0 25 0 4 0 730744695 288735232 1768 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294581 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=281968 CPUtime=0.1 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 396 0 0 0 10 0 0 0 25 0 4 0 730744695 288735232 1768 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=281968 CPUtime=0.11 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 258 0 0 0 11 0 0 0 25 0 4 0 730744695 288735232 1768 33554432000 4194304 4580107 140735057948800 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 281968

[startup+0.200526 s]
/proc/loadavg: 5.53 7.42 7.80 6/367 15413
/proc/meminfo: memFree=23304732/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=283596 CPUtime=0.77 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 2590 0 0 0 77 0 0 0 25 0 4 0 730744695 290402304 1851 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 70899 1851 377 95 0 65881 0
[pid=15413/tid=15414] ppid=15411 vsize=283596 CPUtime=0.18 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 562 0 0 0 18 0 0 0 25 0 4 0 730744695 290402304 1851 33554432000 4194304 4580107 140735057948800 18446744073709551615 4295723 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=283596 CPUtime=0.19 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 574 0 0 0 19 0 0 0 25 0 4 0 730744695 290402304 1851 33554432000 4194304 4580107 140735057948800 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=283596 CPUtime=0.19 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 432 0 0 0 19 0 0 0 25 0 4 0 730744695 290402304 1851 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283596

[startup+0.300507 s]
/proc/loadavg: 5.53 7.42 7.80 6/367 15413
/proc/meminfo: memFree=23304732/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=283760 CPUtime=1.17 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 3059 0 0 0 117 0 0 0 25 0 4 0 730744695 290570240 2320 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 70940 2320 377 95 0 65922 0
[pid=15413/tid=15414] ppid=15411 vsize=283760 CPUtime=0.28 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 681 0 0 0 28 0 0 0 25 0 4 0 730744695 290570240 2320 33554432000 4194304 4580107 140735057948800 18446744073709551615 4316555 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=283760 CPUtime=0.29 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 697 0 0 0 29 0 0 0 25 0 4 0 730744695 290570240 2320 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=283760 CPUtime=0.29 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 540 0 0 0 29 0 0 0 25 0 4 0 730744695 290570240 2320 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283760

[startup+0.700435 s]
/proc/loadavg: 5.53 7.42 7.80 6/367 15413
/proc/meminfo: memFree=23304732/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=285508 CPUtime=2.77 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 5507 0 0 0 277 0 0 0 25 0 4 0 730744695 292360192 2606 33554432000 4194304 4580107 140735057948800 18446744073709551615 4316677 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 71377 2606 377 95 0 66359 0
[pid=15413/tid=15414] ppid=15411 vsize=285508 CPUtime=0.68 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 1303 0 0 0 68 0 0 0 25 0 4 0 730744695 292360192 2606 33554432000 4194304 4580107 140735057948800 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=285508 CPUtime=0.68 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 1295 0 0 0 68 0 0 0 25 0 4 0 730744695 292360192 2606 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=285508 CPUtime=0.69 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 1150 0 0 0 69 0 0 0 25 0 4 0 730744695 292360192 2606 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285508

[startup+1.50029 s]
/proc/loadavg: 5.72 7.43 7.80 9/371 15417
/proc/meminfo: memFree=23284364/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=286484 CPUtime=5.95 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 11538 0 0 0 594 1 0 0 25 0 4 0 730744695 293359616 5900 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294574 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 71621 5900 379 95 0 66603 0
[pid=15413/tid=15414] ppid=15411 vsize=286484 CPUtime=1.48 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 3428 0 0 0 148 0 0 0 25 0 4 0 730744695 293359616 5900 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=286484 CPUtime=1.48 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 2182 0 0 0 148 0 0 0 25 0 4 0 730744695 293359616 5900 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=286484 CPUtime=1.49 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 2090 0 0 0 149 0 0 0 25 0 4 0 730744695 293359616 5900 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286484

[startup+3.101 s]
/proc/loadavg: 5.72 7.43 7.80 9/371 15417
/proc/meminfo: memFree=23242948/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=287532 CPUtime=12.34 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 20766 0 0 0 1231 3 0 0 25 0 4 0 730744695 294432768 11226 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 71883 11226 379 95 0 66865 0
[pid=15413/tid=15414] ppid=15411 vsize=287532 CPUtime=3.08 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 4681 0 0 0 308 0 0 0 25 0 4 0 730744695 294432768 11226 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=287532 CPUtime=3.09 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 5242 0 0 0 308 1 0 0 25 0 4 0 730744695 294432768 11226 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=287532 CPUtime=3.09 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 4860 0 0 0 309 0 0 0 25 0 4 0 730744695 294432768 11227 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 287532

[startup+6.30041 s]
/proc/loadavg: 5.72 7.43 7.80 9/371 15417
/proc/meminfo: memFree=23190108/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=288404 CPUtime=25.11 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 32445 0 0 0 2505 6 0 0 25 0 4 0 730744695 295325696 15151 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294504 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 72101 15151 379 95 0 67083 0
[pid=15413/tid=15414] ppid=15411 vsize=288404 CPUtime=6.28 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 8257 0 0 0 627 1 0 0 25 0 4 0 730744695 295325696 15151 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=288404 CPUtime=6.28 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 8386 0 0 0 627 1 0 0 25 0 4 0 730744695 295325696 15151 33554432000 4194304 4580107 140735057948800 18446744073709551615 4318269 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=288404 CPUtime=6.29 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 7153 0 0 0 628 1 0 0 25 0 4 0 730744695 295325696 15151 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 25.11
Current children cumulated vsize (KiB) 288404

[startup+12.7002 s]
/proc/loadavg: 6.07 7.45 7.80 9/371 15418
/proc/meminfo: memFree=23125520/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=308088 CPUtime=50.62 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 49178 0 0 0 5054 8 0 0 25 0 4 0 730744695 315482112 19769 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294422 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 77022 19769 379 95 0 72004 0
[pid=15413/tid=15414] ppid=15411 vsize=308088 CPUtime=12.68 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 12862 0 0 0 1266 2 0 0 25 0 4 0 730744695 315482112 19769 33554432000 4194304 4580107 140735057948800 18446744073709551615 4341614 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=308088 CPUtime=12.68 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 12219 0 0 0 1266 2 0 0 25 0 4 0 730744695 315482112 19769 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=308088 CPUtime=12.68 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 12101 0 0 0 1267 1 0 0 25 0 4 0 730744695 315482112 19769 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 50.62
Current children cumulated vsize (KiB) 308088

[startup+25.5009 s]
/proc/loadavg: 6.37 7.46 7.80 9/371 15418
/proc/meminfo: memFree=23062032/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=290344 CPUtime=101.67 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 73276 0 0 0 10155 12 0 0 25 0 4 0 730744695 297312256 25298 33554432000 4194304 4580107 140735057948800 18446744073709551615 4295401 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 72586 25298 379 95 0 67568 0
[pid=15413/tid=15414] ppid=15411 vsize=290344 CPUtime=25.47 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 20104 0 0 0 2545 2 0 0 25 0 4 0 730744695 297312256 25298 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294627 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=290344 CPUtime=25.48 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 17802 0 0 0 2546 2 0 0 25 0 4 0 730744695 297312256 25298 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=290344 CPUtime=25.49 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 18525 0 0 0 2546 3 0 0 25 0 4 0 730744695 297312256 25298 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 290344

[startup+51.1012 s]
/proc/loadavg: 6.93 7.50 7.81 9/371 15419
/proc/meminfo: memFree=23003268/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=356828 CPUtime=203.78 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 105036 0 0 0 20355 23 0 0 25 0 4 0 730744695 365391872 34105 33554432000 4194304 4580107 140735057948800 18446744073709551615 4295679 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 89207 34105 379 95 0 84189 0
[pid=15413/tid=15414] ppid=15411 vsize=356828 CPUtime=51.07 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 30025 0 0 0 5102 5 0 0 25 0 4 0 730744695 365391872 34105 33554432000 4194304 4580107 140735057948800 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=356828 CPUtime=51.08 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 25294 0 0 0 5103 5 0 0 25 0 4 0 730744695 365391872 34105 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=356828 CPUtime=51.09 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 27873 0 0 0 5103 6 0 0 25 0 4 0 730744695 365391872 34105 33554432000 4194304 4580107 140735057948800 18446744073709551615 4321072 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 203.78
Current children cumulated vsize (KiB) 356828

[startup+102.301 s]
/proc/loadavg: 7.61 7.60 7.82 9/371 15420
/proc/meminfo: memFree=22920768/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=325108 CPUtime=407.99 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 155260 0 0 0 40762 37 0 0 25 0 4 0 730744695 332910592 44545 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294952 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 81277 44545 379 95 0 76259 0
[pid=15413/tid=15414] ppid=15411 vsize=325108 CPUtime=102.29 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 42992 0 0 0 10220 9 0 0 25 0 4 0 730744695 332910592 44549 33554432000 4194304 4580107 140735057948800 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=325108 CPUtime=102.29 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 37925 0 0 0 10220 9 0 0 25 0 4 0 730744695 332910592 44549 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=325108 CPUtime=102.3 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 43291 0 0 0 10220 10 0 0 25 0 4 0 730744695 332910592 44549 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 407.99
Current children cumulated vsize (KiB) 325108

[startup+162.301 s]

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

[pid=15413] ppid=15411 vsize=662428 CPUtime=2800.84 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 490972 0 0 0 279903 181 0 0 25 0 4 0 730744695 678326272 109781 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 165607 109781 379 95 0 160589 0
[pid=15413/tid=15414] ppid=15411 vsize=662428 CPUtime=702.29 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 134904 0 0 0 70182 47 0 0 25 0 4 0 730744695 678326272 109781 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=662428 CPUtime=702.3 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 115132 0 0 0 70185 45 0 0 25 0 4 0 730744695 678326272 109781 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=662428 CPUtime=702.31 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 128365 0 0 0 70184 47 0 0 25 0 4 0 730744695 678326272 109781 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294438 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 2800.84
Current children cumulated vsize (KiB) 662428

[startup+762.301 s]
/proc/loadavg: 8.21 8.10 7.97 9/371 15441
/proc/meminfo: memFree=22382564/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=715168 CPUtime=3040.17 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 514981 0 0 0 303823 194 0 0 25 0 4 0 730744695 732332032 118432 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 178792 118432 379 95 0 173774 0
[pid=15413/tid=15414] ppid=15411 vsize=715168 CPUtime=762.31 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 142229 0 0 0 76181 50 0 0 25 0 4 0 730744695 732332032 118433 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=715168 CPUtime=762.31 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 120325 0 0 0 76183 48 0 0 25 0 4 0 730744695 732332032 118433 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=715168 CPUtime=762.32 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 136493 0 0 0 76180 52 0 0 25 0 4 0 730744695 732332032 118433 33554432000 4194304 4580107 140735057948800 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3040.17
Current children cumulated vsize (KiB) 715168

[startup+822.301 s]
/proc/loadavg: 8.16 8.11 7.98 10/371 15442
/proc/meminfo: memFree=22378888/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=676516 CPUtime=3279.44 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 536604 0 0 0 327740 204 0 0 25 0 4 0 730744695 692752384 120822 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294356 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 169129 120822 379 95 0 164111 0
[pid=15413/tid=15414] ppid=15411 vsize=676516 CPUtime=822.29 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 148555 0 0 0 82177 52 0 0 25 0 4 0 730744695 692752384 120822 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=676516 CPUtime=822.3 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 126760 0 0 0 82179 51 0 0 25 0 4 0 730744695 692752384 120822 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294487 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=676516 CPUtime=822.31 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 139096 0 0 0 82177 54 0 0 25 0 4 0 730744695 692752384 120822 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3279.44
Current children cumulated vsize (KiB) 676516

[startup+882.314 s]
/proc/loadavg: 8.18 8.13 8.00 9/371 15444
/proc/meminfo: memFree=22343996/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=637980 CPUtime=3518.79 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 559924 0 0 0 351663 216 0 0 25 0 4 0 730744695 653291520 114977 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 159495 114977 379 95 0 154477 0
[pid=15413/tid=15414] ppid=15411 vsize=637980 CPUtime=882.31 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 153765 0 0 0 88177 54 0 0 25 0 4 0 730744695 653291520 114977 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=637980 CPUtime=882.31 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 133908 0 0 0 88177 54 0 0 25 0 4 0 730744695 653291520 114977 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294410 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=637980 CPUtime=882.33 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 146634 0 0 0 88175 58 0 0 25 0 4 0 730744695 653291520 114977 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3518.79
Current children cumulated vsize (KiB) 637980

[startup+942.301 s]
/proc/loadavg: 8.10 8.12 8.00 9/371 15445
/proc/meminfo: memFree=22391780/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=612168 CPUtime=3758.04 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 590469 0 0 0 375574 230 0 0 25 0 4 0 730744695 626860032 107664 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 153042 107664 379 95 0 148024 0
[pid=15413/tid=15414] ppid=15411 vsize=612168 CPUtime=942.3 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 161684 0 0 0 94172 58 0 0 25 0 4 0 730744695 626860032 107664 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=612168 CPUtime=942.31 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 140686 0 0 0 94172 59 0 0 25 0 4 0 730744695 626860032 107664 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=612168 CPUtime=942.31 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 155772 0 0 0 94170 61 0 0 25 0 4 0 730744695 626860032 107664 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3758.04
Current children cumulated vsize (KiB) 612168

[startup+1002.3 s]
/proc/loadavg: 8.07 8.11 8.00 9/371 15447
/proc/meminfo: memFree=22352416/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=664544 CPUtime=3997.33 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 620523 0 0 0 399490 243 0 0 25 0 4 0 730744695 680493056 110903 33554432000 4194304 4580107 140735057948800 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 166136 110903 379 95 0 161118 0
[pid=15413/tid=15414] ppid=15411 vsize=664544 CPUtime=1002.3 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 169494 0 0 0 100169 61 0 0 25 0 4 0 730744695 680493056 110903 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=664544 CPUtime=1002.3 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 148006 0 0 0 100169 61 0 0 25 0 4 0 730744695 680493056 110903 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=664544 CPUtime=1002.31 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 163455 0 0 0 100166 65 0 0 25 0 4 0 730744695 680493056 110903 33554432000 4194304 4580107 140735057948800 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3997.33
Current children cumulated vsize (KiB) 664544

[startup+1062.3 s]
/proc/loadavg: 8.10 8.11 8.01 9/371 15449
/proc/meminfo: memFree=22314152/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=788732 CPUtime=4236.64 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 645854 0 0 0 423411 253 0 0 25 0 4 0 730744695 807661568 121514 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294389 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 197183 121514 379 95 0 192165 0
[pid=15413/tid=15414] ppid=15411 vsize=788732 CPUtime=1062.3 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 175039 0 0 0 106167 63 0 0 25 0 4 0 730744695 807661568 121514 33554432000 4194304 4580107 140735057948800 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=788732 CPUtime=1062.31 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 155092 0 0 0 106168 63 0 0 25 0 4 0 730744695 807661568 121514 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=788732 CPUtime=1062.32 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 169460 0 0 0 106164 68 0 0 25 0 4 0 730744695 807661568 121514 33554432000 4194304 4580107 140735057948800 18446744073709551615 4305058 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4236.64
Current children cumulated vsize (KiB) 788732

[startup+1122.3 s]
/proc/loadavg: 8.03 8.09 8.00 9/371 15450
/proc/meminfo: memFree=22238196/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=692448 CPUtime=4475.93 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 668648 0 0 0 447330 263 0 0 25 0 4 0 730744695 709066752 128995 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406473 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 173112 128995 379 95 0 168094 0
[pid=15413/tid=15414] ppid=15411 vsize=692448 CPUtime=1122.3 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 178663 0 0 0 112164 66 0 0 25 0 4 0 730744695 709066752 128995 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=692448 CPUtime=1122.31 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 160354 0 0 0 112165 66 0 0 25 0 4 0 730744695 709066752 128995 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=692448 CPUtime=1122.32 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 176392 0 0 0 112161 71 0 0 25 0 4 0 730744695 709066752 128995 33554432000 4194304 4580107 140735057948800 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4475.93
Current children cumulated vsize (KiB) 692448

[startup+1182.3 s]
/proc/loadavg: 8.12 8.10 8.01 9/371 15452
/proc/meminfo: memFree=22242956/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=693084 CPUtime=4715.22 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 691367 0 0 0 471248 274 0 0 25 0 4 0 730744695 709718016 129035 33554432000 4194304 4580107 140735057948800 18446744073709551615 4293216 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 173271 129035 379 95 0 168253 0
[pid=15413/tid=15414] ppid=15411 vsize=693084 CPUtime=1182.3 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 182270 0 0 0 118162 68 0 0 25 0 4 0 730744695 709718016 129035 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=693084 CPUtime=1182.31 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 166556 0 0 0 118162 69 0 0 25 0 4 0 730744695 709718016 129035 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=693084 CPUtime=1182.32 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 186774 0 0 0 118158 74 0 0 25 0 4 0 730744695 709718016 129035 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4715.22
Current children cumulated vsize (KiB) 693084



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.6 s]
/proc/loadavg: 8.08 8.09 8.00 9/371 15452
/proc/meminfo: memFree=22241692/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=693084 CPUtime=4800.16 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 693745 0 0 0 479741 275 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 173271 131413 379 95 0 168253 0
[pid=15413/tid=15414] ppid=15411 vsize=693084 CPUtime=1203.62 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 182270 0 0 0 120294 68 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=693084 CPUtime=1203.62 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 167793 0 0 0 120292 70 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=693084 CPUtime=1203.63 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 186774 0 0 0 120289 74 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 693084

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

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

[startup+1203.6 s]
/proc/loadavg: 8.08 8.09 8.00 9/371 15452
/proc/meminfo: memFree=22241692/32950928 swapFree=65730864/67111528
[pid=15413] ppid=15411 vsize=693084 CPUtime=4800.16 cores=1,3,5,7
/proc/15413/stat : 15413 (strangenight2-m) R 15411 15413 14715 0 -1 4202496 693745 0 0 0 479741 275 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4294963 0 0 4096 2 18446744073709551615 0 0 17 7 0 0 0
/proc/15413/statm: 173271 131413 379 95 0 168253 0
[pid=15413/tid=15414] ppid=15411 vsize=693084 CPUtime=1203.62 cores=1,3,5,7
/proc/15413/task/15414/stat : 15414 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 182270 0 0 0 120294 68 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=15413/tid=15415] ppid=15411 vsize=693084 CPUtime=1203.62 cores=1,3,5,7
/proc/15413/task/15415/stat : 15415 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 167793 0 0 0 120292 70 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4321100 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=15413/tid=15416] ppid=15411 vsize=693084 CPUtime=1203.63 cores=1,3,5,7
/proc/15413/task/15416/stat : 15416 (strangenight2-m) R 15411 15413 14715 0 -1 4202560 186774 0 0 0 120289 74 0 0 25 0 4 0 730744695 709718016 131413 33554432000 4194304 4580107 140735057948800 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 4800.16
Current children cumulated vsize (KiB) 693084

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.64
CPU time (s): 4800.24
CPU user time (s): 4797.46
CPU system time (s): 2.78158
CPU usage (%): 398.809
Max. virtual memory (cumulated for all children) (KiB): 859196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.46
system time used= 2.78158
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 693745
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= 331
involuntary context switches= 20140

runsolver used 3.9604 second user time and 10.4344 second system time

The end

Launcher Data 

Begin job on node116 at 2011-05-14 22:32:20
IDJOB=3366476
IDBENCH=82885
IDSOLVER=1844
FILE ID=node116/3366476-1305405140
RUNJOBID= node116-1305405140-15391
PBS_JOBID= 13324469
Free space on /tmp= 73132 MiB

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

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

MD5SUM BENCH= 871f75d4bb41b463ca12a7a8837d201b
RANDOM SEED=1120545566

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.826
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.75
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.826
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.826
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.77
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.826
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.826
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.75
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.826
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:      23306748 kB
Buffers:         32304 kB
Cached:         110524 kB
SwapCached:      12356 kB
Active:        9388284 kB
Inactive:        49808 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      23306748 kB
SwapTotal:    67111528 kB
SwapFree:     65730864 kB
Dirty:           10960 kB
Writeback:           0 kB
AnonPages:     9293492 kB
Mapped:          16160 kB
Slab:            96556 kB
PageTables:      44544 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 82833220 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= 73124 MiB
End job on node116 at 2011-05-14 22:52:26