Trace number 3366384

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.27 1204.24

General information on the benchmark

Namerandom/medium/
unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
MD5SUMf913d39a64a2142ed34486c38d5636c0
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark319.762
Satisfiable
(Un)Satisfiability was proved
Number of variables100
Number of clauses2130
Sum of the clauses size10650
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 52130
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-3366384-1305403056.cnf'
0.00/0.00	c -- header says num vars:            100
0.00/0.00	c -- header says num clauses:        2130
0.00/0.00	c -- clauses added:            0 learnts,         2130 normals,            0 xors
0.00/0.00	c -- vars added        100
0.00/0.01	c Parsing time:  0.00 s
0.00/0.01	c  N st     0         0       100      2130         0         0     10650         0   no data   no data
0.00/0.01	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.01
0.00/0.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.0M T:  0.00
0.00/0.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.00/0.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.00/0.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
0.00/0.01	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:      49 undec:       6 neg:      45
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       100      2130         0         0     10650         0   no data   no data
0.00/0.10	c Decided on static restart strategy
0.77/0.20	c  N st     8      4920       100      2130         0      4577     10650     98418   no data   no data
0.77/0.29	c  N st    10     11303       100      2130         0      4238     10650     74377   no data   no data
1.57/0.48	c  N st    11     17046       100      2130         0      9591     10650    194867   no data   no data
2.77/0.77	c  F st    12     25001       100      2130         0     11709     10650    234696   no data   no data
2.77/0.77	c  N st    12     25001       100      2130         0     11709     10650    234696   no data   no data
3.57/0.97	c Decided on static restart strategy
3.57/0.97	c  N st    18     30000       100      2130         0     10048     10650    187930   no data   no data
3.57/0.97	c  S st    18     30000       100      2130         0     10048     10650    187930   no data   no data
3.97/1.00	c  S st    18     30503       100      2130         0     10533     10650    198537   no data   no data
3.97/1.00	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
3.97/1.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
3.97/1.00	c blocked clauses removed:        0 vars:      0 tried:         100 T: 0.00 s
3.97/1.00	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.97/1.00	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.97/1.00	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3.97/1.00	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3.97/1.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
3.97/1.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4.38/1.18	c lits-rem:       220  cl-subs:     1836  v-elim:      0  v-fix:    0  time:  0.17 s
4.38/1.21	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.03
4.38/1.21	c calculated reachability. Time: 0.00
4.38/1.21	c  N st    18     30503       100      2130         0      8697     10650    157782   no data   no data
5.96/1.53	c  N st    20     37615       100      2130         0      8030     10650    131585   no data   no data
7.15/1.80	c  N st    21     44016       100      2130         0     14001     10650    261693   no data   no data
7.55/1.90	c  S st    22     45754       100      2130         0     15626     10650    297400   no data   no data
7.55/1.94	c  S st    22     46256       100      2130         0     16115     10650    308265   no data   no data
7.55/1.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
7.55/1.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
7.55/1.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7.55/1.94	c bin-w-bin subsume rem            0 bins  time:  0.00 s
7.55/1.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
7.55/1.94	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
7.55/1.94	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
7.55/1.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
7.55/1.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.20/2.34	c lits-rem:       583  cl-subs:     1998  v-elim:      0  v-fix:    0  time:  0.39 s
9.20/2.34	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
9.20/2.34	c vivif2 --  cl tried    14117 cl shrink        0 lits rem          0 time: 0.00
9.20/2.39	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
9.20/2.39	c calculated reachability. Time: 0.00
9.20/2.39	c  N st    22     46256       100      2130         0     14117     10650    264227   no data   no data
12.33/3.14	c  N st    23     60653       100      2130         0      9972     10650    149770   no data   no data
13.92/3.59	c  N st    24     69384       100      2130         0     18047     10650    325920   no data   no data
13.92/3.59	c  S st    24     69384       100      2130         0     18047     10650    325920   no data   no data
14.32/3.64	c  S st    24     69889       100      2130         0     18535     10650    336962   no data   no data
14.32/3.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
14.32/3.65	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
14.32/3.65	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14.32/3.65	c bin-w-bin subsume rem            0 bins  time:  0.00 s
14.32/3.65	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
14.32/3.65	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
14.32/3.65	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
14.32/3.65	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
14.32/3.66	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.32/4.16	c lits-rem:       504  cl-subs:     2362  v-elim:      0  v-fix:    0  time:  0.50 s
16.32/4.16	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
16.32/4.17	c vivif2 --  cl tried    16173 cl shrink        0 lits rem          0 time: 0.00
16.72/4.23	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.06
16.72/4.23	c calculated reachability. Time: 0.00
16.72/4.23	c  N st    24     69889       100      2130         0     16173     10650    286622   no data   no data
20.70/5.20	c  F st    25     87500       100      2130         0     11315     10650    164480   no data   no data
20.70/5.20	c  N st    25     87500       100      2130         0     11315     10650    164480   no data   no data
21.50/5.47	c Decided on static restart strategy
22.35/5.65	c  N st    32     95537       100      2130         0     18830     10650    329225   no data   no data
24.70/6.21	c  N st    34    104833       100      2130         0     15419     10650    247900   no data   no data
24.70/6.21	c  S st    34    104833       100      2130         0     15419     10650    247900   no data   no data
24.70/6.26	c  S st    34    105337       100      2130         0     15903     10650    259123   no data   no data
24.70/6.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
24.70/6.26	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
24.70/6.26	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
24.70/6.26	c bin-w-bin subsume rem            0 bins  time:  0.00 s
24.70/6.26	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
24.70/6.26	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
24.70/6.26	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
24.70/6.27	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
24.70/6.27	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
25.50/6.42	c lits-rem:       172  cl-subs:     1228  v-elim:      0  v-fix:    0  time:  0.15 s
25.50/6.42	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
25.50/6.43	c vivif2 --  cl tried    14675 cl shrink        0 lits rem          0 time: 0.00
25.50/6.48	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.05
25.50/6.48	c calculated reachability. Time: 0.00
25.50/6.48	c  N st    34    105337       100      2130         0     14675     10650    233539   no data   no data
28.28/7.13	c  N st    35    114935       100      2130         0     23553     10650    429015   no data   no data
32.27/8.10	c  N st    36    129332       100      2130         0     23882     10650    416591   no data   no data
38.24/9.68	c  N st    37    150927       100      2130         0     15217     10650    204575   no data   no data
39.89/10.10	c  S st    38    158005       100      2130         0     21801     10650    352056   no data   no data
40.23/10.15	c  S st    38    158507       100      2130         0     22277     10650    362920   no data   no data
40.23/10.15	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
40.23/10.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.00
40.23/10.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
40.23/10.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
40.23/10.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
40.23/10.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
40.23/10.16	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
40.23/10.16	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
40.23/10.17	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41.83/10.57	c lits-rem:       446  cl-subs:     1890  v-elim:      0  v-fix:    0  time:  0.40 s
41.83/10.57	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
41.83/10.58	c vivif2 --  cl tried    20387 cl shrink        0 lits rem          0 time: 0.00
42.23/10.65	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.07
42.23/10.65	c calculated reachability. Time: 0.00
42.23/10.65	c  N st    38    158507       100      2130         0     20387     10650    322407   no data   no data
57.00/14.40	c  N st    39    207095       100      2130         0     32935     10650    568059   no data   no data
68.14/17.12	c  N st    40    237761       100      2130         0     25296     10650    386789   no data   no data
68.14/17.12	c  S st    40    237761       100      2130         0     25296     10650    386789   no data   no data
68.14/17.18	c  S st    40    238267       100      2130         0     25775     10650    397721   no data   no data
68.14/17.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
68.14/17.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
68.14/17.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
68.14/17.19	c bin-w-bin subsume rem            0 bins  time:  0.00 s
68.14/17.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
68.14/17.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
68.14/17.19	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
68.14/17.19	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
68.54/17.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
70.16/17.68	c lits-rem:       412  cl-subs:     2114  v-elim:      0  v-fix:    0  time:  0.47 s
70.16/17.68	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
70.16/17.68	c vivif2 --  cl tried    23661 cl shrink        0 lits rem          0 time: 0.00
70.58/17.77	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.08
70.58/17.77	c calculated reachability. Time: 0.00
70.58/17.77	c  N st    40    238267       100      2130         0     23661     10650    354474   no data   no data
95.25/23.97	c  F st    41    306251       100      2130         0     25520     10650    356213   no data   no data
95.25/23.97	c  N st    41    306251       100      2130         0     25520     10650    356213   no data   no data
97.24/24.43	c Decided on static restart strategy
106.01/26.63	c  N st    51    334554       100      2130         0     29648     10650    432699   no data   no data
115.58/29.02	c  N st    53    357400       100      2130         0     27627     10650    375539   no data   no data
115.58/29.02	c  S st    53    357400       100      2130         0     27627     10650    375539   no data   no data
115.58/29.10	c  S st    53    357903       100      2130         0     28111     10650    386418   no data   no data
115.98/29.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
115.98/29.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
115.98/29.10	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
115.98/29.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
115.98/29.10	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
115.98/29.10	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
115.98/29.10	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
115.98/29.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
115.98/29.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
117.18/29.44	c lits-rem:       290  cl-subs:     1712  v-elim:      0  v-fix:    0  time:  0.32 s
117.18/29.44	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
117.18/29.44	c vivif2 --  cl tried    26399 cl shrink        0 lits rem          0 time: 0.00
117.58/29.53	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.09
117.58/29.54	c calculated reachability. Time: 0.00
117.58/29.54	c  N st    53    357903       100      2130         0     26399     10650    353492   no data   no data
131.13/32.97	c  N st    54    390295       100      2130         0     32349     10650    470550   no data   no data
155.45/39.00	c  N st    55    438884       100      2130         0     26426     10650    320830   no data   no data
186.54/46.84	c  N st    56    511767       100      2130         0     39087     10650    573402   no data   no data
198.09/49.74	c  N st    57    536854       100      2130         0     33696     10650    446496   no data   no data
198.09/49.74	c  S st    57    536854       100      2130         0     33696     10650    446496   no data   no data
198.49/49.83	c  S st    57    537357       100      2130         0     34169     10650    456863   no data   no data
198.49/49.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
198.49/49.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
198.49/49.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
198.49/49.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
198.49/49.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
198.49/49.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
198.49/49.85	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
198.49/49.85	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
198.49/49.86	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
200.09/50.29	c lits-rem:       237  cl-subs:     1660  v-elim:      0  v-fix:    0  time:  0.43 s
200.09/50.29	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
200.49/50.30	c vivif2 --  cl tried    32509 cl shrink        0 lits rem          0 time: 0.00
200.89/50.42	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.12
200.89/50.42	c calculated reachability. Time: 0.00
200.89/50.42	c  N st    57    537357       100      2130         0     32509     10650    424511   no data   no data
286.19/71.82	c  N st    58    701342       100      2130         0     60169     10650    977770   no data   no data
344.00/86.36	c  N st    59    806037       100      2130         0     54477     10650    823290   no data   no data
344.00/86.36	c  S st    59    806037       100      2130         0     54477     10650    823290   no data   no data
344.80/86.51	c  S st    59    806537       100      2130         0     54955     10650    834022   no data   no data
344.80/86.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
344.80/86.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.7M T:  0.02
344.80/86.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
344.80/86.53	c bin-w-bin subsume rem            0 bins  time:  0.00 s
344.80/86.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
344.80/86.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
344.80/86.53	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
344.80/86.55	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
344.80/86.57	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
356.35/89.48	c lits-rem:      1225  cl-subs:     5467  v-elim:      0  v-fix:    0  time:  2.92 s
356.35/89.48	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
356.35/89.49	c vivif2 --  cl tried    49488 cl shrink        0 lits rem          0 time: 0.01
357.55/89.71	c asymm  cl-useful: 0/2130/2130 lits-rem:0 time: 0.22
357.55/89.71	c calculated reachability. Time: 0.00
357.55/89.71	c  N st    59    806537       100      2130         0     49488     10650    728922   no data   no data
516.22/129.52	c  F st    60   1071875       100      2130         0     64814     10650    975665   no data   no data
516.22/129.52	c  N st    60   1071875       100      2130         0     64814     10650    975665   no data   no data
520.20/130.58	c Decided on static restart strategy
537.75/134.90	c  N st    70   1100179       100      2130         0     49650     10650    645783   no data   no data
563.65/141.44	c  N st    72   1136172       100      2130         0     82874     10650   1383810   no data   no data
585.17/146.80	c  N st    73   1168564       100      2130         0     70479     10650   1089009   no data   no data
609.10/152.87	c  N st    74   1209806       100      2130         0     65136     10650    961010   no data   no data
609.10/152.87	c  S st    74   1209806       100      2130         0     65136     10650    961010   no data   no data
609.95/153.07	c  S st    74   1210309       100      2130         0     65620     10650    972299   no data   no data
609.95/153.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
610.29/153.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
610.29/153.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
610.29/153.11	c bin-w-bin subsume rem            0 bins  time:  0.00 s
610.29/153.11	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
610.29/153.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
610.29/153.11	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
610.29/153.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
610.29/153.15	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
649.41/162.91	c lits-rem:       985  cl-subs:     5891  v-elim:      0  v-fix:    0  time:  9.75 s
649.41/162.91	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
649.41/162.93	c vivif2 --  cl tried    59729 cl shrink        0 lits rem          0 time: 0.02
651.35/163.46	c asymm  cl-useful: 0/1910/2130 lits-rem:0 time: 0.53
651.35/163.46	c calculated reachability. Time: 0.00
651.35/163.46	c  N st    74   1210309       100      2130         0     59729     10650    851192   no data   no data
709.94/178.19	c  N st    75   1283191       100      2130         0     82720     10650   1343829   no data   no data
796.05/199.74	c  N st    76   1392517       100      2130         0     91964     10650   1518125   no data   no data
933.58/234.29	c  N st    77   1556502       100      2130         0     49722     10650    541283   no data   no data
1059.94/265.97	c  N st    78   1710309       100      2130         0     88863     10650   1344190   no data   no data
1059.94/265.97	c  S st    78   1710309       100      2130         0     88863     10650   1344190   no data   no data
1061.16/266.25	c  S st    78   1710815       100      2130         0     89344     10650   1355058   no data   no data
1061.16/266.26	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1061.16/266.30	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.04
1061.16/266.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1061.16/266.30	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1061.16/266.30	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1061.16/266.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1061.16/266.30	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1061.59/266.32	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1061.59/266.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1170.34/293.60	c lits-rem:      2069  cl-subs:    11159  v-elim:      0  v-fix:    0  time: 27.24 s
1170.34/293.60	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1170.34/293.63	c vivif2 --  cl tried    78185 cl shrink        0 lits rem          0 time: 0.02
1172.72/294.20	c asymm  cl-useful: 0/1481/2130 lits-rem:0 time: 0.58
1172.72/294.21	c calculated reachability. Time: 0.00
1172.72/294.21	c  N st    78   1710815       100      2130         0     78185     10650   1146157   no data   no data
1513.53/379.72	c  N st    79   2079780       100      2130         0     89773     10650   1302328   no data   no data
1639.12/411.21	c  N st    80   2210815       100      2130         0     94213     10650   1406484   no data   no data
1639.12/411.21	c  S st    80   2210815       100      2130         0     94213     10650   1406484   no data   no data
1640.70/411.68	c  S st    80   2211317       100      2130         0     94694     10650   1417609   no data   no data
1640.70/411.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1641.10/411.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.07
1641.10/411.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1641.10/411.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1641.10/411.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1641.10/411.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
1641.10/411.77	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
1641.10/411.79	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1641.50/411.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1747.52/438.40	c lits-rem:      1915  cl-subs:     9483  v-elim:      0  v-fix:    0  time: 26.54 s
1747.52/438.40	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
1747.52/438.42	c vivif2 --  cl tried    85211 cl shrink        0 lits rem          0 time: 0.02
1748.71/438.72	c asymm  cl-useful: 0/649/2130 lits-rem:0 time: 0.30
1748.71/438.72	c calculated reachability. Time: 0.00
1748.71/438.72	c  N st    80   2211317       100      2130         0     85211     10650   1236016   no data   no data
2265.72/568.45	c  N st    81   2711317       100      2130         0    107608     10650   1606972   no data   no data
2265.72/568.45	c  S st    81   2711317       100      2130         0    107608     10650   1606972   no data   no data
2267.70/568.91	c  S st    81   2711819       100      2130         0    108084     10650   1618190   no data   no data
2267.70/568.91	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2267.70/568.97	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
2267.70/568.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2267.70/568.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2267.70/568.98	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2267.70/568.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2267.70/568.98	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2268.10/569.00	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2268.10/569.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2358.19/591.60	c lits-rem:      2305  cl-subs:    12451  v-elim:      0  v-fix:    0  time: 22.55 s
2358.19/591.60	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2358.19/591.62	c vivif2 --  cl tried    95633 cl shrink        0 lits rem          0 time: 0.02
2359.77/592.08	c asymm  cl-useful: 0/1275/2130 lits-rem:0 time: 0.45
2359.77/592.08	c calculated reachability. Time: 0.00
2359.77/592.08	c  N st    81   2711819       100      2130         0     95633     10650   1394215   no data   no data
2883.98/723.58	c  N st    82   3211819       100      2130         0     73606     10650    799264   no data   no data
2883.98/723.58	c  S st    82   3211819       100      2130         0     73606     10650    799264   no data   no data
2884.79/723.80	c  S st    82   3212323       100      2130         0     74087     10650    810427   no data   no data
2884.79/723.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2885.20/723.83	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.9M T:  0.03
2885.20/723.83	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2885.20/723.83	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2885.20/723.83	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2885.20/723.83	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
2885.20/723.83	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
2885.20/723.84	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2885.20/723.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2887.57/724.44	c lits-rem:       122  cl-subs:      819  v-elim:      0  v-fix:    0  time:  0.57 s
2887.57/724.44	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
2887.57/724.45	c vivif2 --  cl tried    73268 cl shrink        0 lits rem          0 time: 0.01
2888.37/724.63	c asymm  cl-useful: 0/855/2130 lits-rem:0 time: 0.18
2888.37/724.63	c calculated reachability. Time: 0.00
2888.37/724.63	c  N st    82   3212323       100      2130         0     73268     10650    796056   no data   no data
3458.03/867.59	c  N st    83   3712324       100      2130         0     83108     10650    943550   no data   no data
3458.03/867.59	c  S st    83   3712324       100      2130         0     83108     10650    943550   no data   no data
3459.23/867.86	c  S st    83   3712826       100      2130         0     83588     10650    954829   no data   no data
3459.23/867.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3459.23/867.90	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.1M T:  0.03
3459.23/867.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3459.23/867.90	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3459.23/867.90	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3459.23/867.90	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
3459.23/867.90	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
3459.65/867.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
3459.65/867.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3464.46/869.12	c lits-rem:       287  cl-subs:     2023  v-elim:      0  v-fix:    0  time:  1.17 s
3464.46/869.12	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
3464.46/869.14	c vivif2 --  cl tried    81565 cl shrink        0 lits rem          0 time: 0.01
3465.60/869.45	c asymm  cl-useful: 0/1514/2130 lits-rem:0 time: 0.31
3465.60/869.45	c calculated reachability. Time: 0.00
3465.60/869.45	c  N st    83   3712826       100      2130         0     81565     10650    920840   no data   no data
3506.66/879.71	c  F st    84   3751563       100      2130         0    117071     10650   1699588   no data   no data
3506.66/879.71	c  N st    84   3751563       100      2130         0    117071     10650   1699588   no data   no data
3515.83/882.09	c Decided on static restart strategy
3552.89/891.35	c  N st    94   3779866       100      2130         0    143159     10650   2280747   no data   no data
3599.55/903.02	c  N st    96   3815858       100      2130         0     98690     10650   1299859   no data   no data
3642.60/913.87	c  N st    97   3848251       100      2130         0    128543     10650   1962961   no data   no data
3709.59/930.69	c  N st    98   3896841       100      2130         0     94314     10650   1174872   no data   no data
3828.41/960.50	c  N st    99   3969724       100      2130         0     81327     10650    869611   no data   no data
3967.09/995.21	c  N st   100   4079047       100      2130         0    100636     10650   1256550   no data   no data
4155.23/1042.47	c  N st   101   4212826       100      2130         0    141990     10650   2169924   no data   no data
4155.23/1042.47	c  S st   101   4212826       100      2130         0    141990     10650   2169924   no data   no data
4157.61/1043.02	c  S st   101   4213331       100      2130         0    142474     10650   2181315   no data   no data
4157.61/1043.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4158.01/1043.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.08
4158.01/1043.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4158.01/1043.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4158.01/1043.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4158.01/1043.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    100 time:  0.00 s
4158.01/1043.12	c Removed useless bin:       0  fixed:     0  props:   0.00M  time:  0.00 s
4158.01/1043.15	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4158.41/1043.22	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4283.17/1074.55	c lits-rem:      2043  cl-subs:    16362  v-elim:      0  v-fix:    0  time: 31.33 s
4283.17/1074.55	c vivif2 --  cl tried     2130 cl shrink        0 lits rem          0 time: 0.00
4283.17/1074.58	c vivif2 --  cl tried   126112 cl shrink        0 lits rem          0 time: 0.03
4284.42/1074.87	c asymm  cl-useful: 0/616/2130 lits-rem:0 time: 0.30
4284.42/1074.88	c calculated reachability. Time: 0.00
4284.42/1074.88	c  N st   101   4213331       100      2130         0    126112     10650   1866574   no data   no data
4660.65/1169.30	c  N st   102   4459307       100      2130         0    102139     10650   1247306   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-3366384-1305403056/watcher-3366384-1305403056 -o /tmp/evaluation-result-3366384-1305403056/solver-3366384-1305403056 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366384-1305403056.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: 8.02 8.09 8.08 1/411 8110
/proc/meminfo: memFree=21335112/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=51168 CPUtime=0 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 413 0 0 0 0 0 0 0 25 0 4 0 730536346 52396032 355 33554432000 4194304 4580107 140735893975968 18446744073709551615 47788250874896 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 12792 362 308 95 0 7774 0
[pid=8110/tid=8111] ppid=8108 vsize=281692 CPUtime=0.01 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 100 0 0 0 1 0 0 0 25 0 4 0 730536346 288452608 680 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=281692 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 53 0 0 0 0 0 0 0 25 0 4 0 730536346 288452608 680 33554432000 4194304 4580107 140735893975968 18446744073709551615 215988697582 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=281692 CPUtime=0 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 94 0 0 0 0 0 0 0 25 0 4 0 730536346 288452608 680 33554432000 4194304 4580107 140735893975968 18446744073709551615 4295679 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.116195 s]
/proc/loadavg: 8.02 8.09 8.08 1/411 8110
/proc/meminfo: memFree=21335112/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=282288 CPUtime=0.43 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 1824 0 0 0 43 0 0 0 25 0 4 0 730536346 289062912 1572 33554432000 4194304 4580107 140735893975968 18446744073709551615 4322556 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 70572 1572 376 95 0 65554 0
[pid=8110/tid=8111] ppid=8108 vsize=282288 CPUtime=0.11 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 377 0 0 0 11 0 0 0 25 0 4 0 730536346 289062912 1572 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294389 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=282288 CPUtime=0.1 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 330 0 0 0 10 0 0 0 25 0 4 0 730536346 289062912 1573 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=282288 CPUtime=0.11 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 333 0 0 0 11 0 0 0 25 0 4 0 730536346 289062912 1573 33554432000 4194304 4580107 140735893975968 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 282288

[startup+0.20118 s]
/proc/loadavg: 8.02 8.09 8.08 1/411 8110
/proc/meminfo: memFree=21335112/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=283408 CPUtime=0.77 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 2423 0 0 0 77 0 0 0 25 0 4 0 730536346 290209792 1781 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294367 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 70852 1781 377 95 0 65834 0
[pid=8110/tid=8111] ppid=8108 vsize=283408 CPUtime=0.19 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 541 0 0 0 19 0 0 0 25 0 4 0 730536346 290209792 1781 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=283408 CPUtime=0.18 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 481 0 0 0 18 0 0 0 25 0 4 0 730536346 290209792 1781 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=283408 CPUtime=0.19 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 435 0 0 0 19 0 0 0 25 0 4 0 730536346 290209792 1781 33554432000 4194304 4580107 140735893975968 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 283408

[startup+0.301163 s]
/proc/loadavg: 8.02 8.09 8.08 1/411 8110
/proc/meminfo: memFree=21335112/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=283852 CPUtime=1.17 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 3098 0 0 0 117 0 0 0 25 0 4 0 730536346 290664448 1869 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294449 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 70963 1869 377 95 0 65945 0
[pid=8110/tid=8111] ppid=8108 vsize=283852 CPUtime=0.29 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 748 0 0 0 29 0 0 0 25 0 4 0 730536346 290664448 1869 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=283852 CPUtime=0.28 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 578 0 0 0 28 0 0 0 25 0 4 0 730536346 290664448 1869 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=283852 CPUtime=0.29 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 616 0 0 0 29 0 0 0 25 0 4 0 730536346 290664448 1869 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 283852

[startup+0.701093 s]
/proc/loadavg: 8.02 8.09 8.08 1/411 8110
/proc/meminfo: memFree=21335112/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=284928 CPUtime=2.77 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 5011 0 0 0 276 1 0 0 25 0 4 0 730536346 291766272 2579 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 71232 2579 377 95 0 66214 0
[pid=8110/tid=8111] ppid=8108 vsize=284928 CPUtime=0.69 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 1230 0 0 0 69 0 0 0 25 0 4 0 730536346 291766272 2580 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294535 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=284928 CPUtime=0.68 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 1115 0 0 0 68 0 0 0 25 0 4 0 730536346 291766272 2580 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=284928 CPUtime=0.69 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 1056 0 0 0 69 0 0 0 25 0 4 0 730536346 291766272 2580 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 284928

[startup+1.50095 s]
/proc/loadavg: 8.02 8.09 8.08 9/420 8144
/proc/meminfo: memFree=21313556/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=285752 CPUtime=5.96 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 10200 0 0 0 594 2 0 0 25 0 4 0 730536346 292610048 5204 33554432000 4194304 4580107 140735893975968 18446744073709551615 4332180 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 71438 5204 379 95 0 66420 0
[pid=8110/tid=8111] ppid=8108 vsize=285752 CPUtime=1.49 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 3022 0 0 0 149 0 0 0 25 0 4 0 730536346 292610048 5204 33554432000 4194304 4580107 140735893975968 18446744073709551615 4321069 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=285752 CPUtime=1.46 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 1874 0 0 0 146 0 0 0 25 0 4 0 730536346 292610048 5204 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=285752 CPUtime=1.48 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 1867 0 0 0 148 0 0 0 25 0 4 0 730536346 292610048 5204 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 285752

[startup+3.10068 s]
/proc/loadavg: 8.02 8.09 8.08 9/420 8144
/proc/meminfo: memFree=21276144/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=292756 CPUtime=12.33 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 19563 0 0 0 1230 3 0 0 25 0 4 0 730536346 299782144 11144 33554432000 4194304 4580107 140735893975968 18446744073709551615 4305168 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 73189 11144 379 95 0 68171 0
[pid=8110/tid=8111] ppid=8108 vsize=292756 CPUtime=3.08 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 5431 0 0 0 308 0 0 0 25 0 4 0 730536346 299782144 11144 33554432000 4194304 4580107 140735893975968 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=292756 CPUtime=3.04 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 4387 0 0 0 304 0 0 0 25 0 4 0 730536346 299782144 11144 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=292756 CPUtime=3.09 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 4473 0 0 0 308 1 0 0 25 0 4 0 730536346 299782144 11145 33554432000 4194304 4580107 140735893975968 18446744073709551615 4489474 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.33
Current children cumulated vsize (KiB) 292756

[startup+6.30112 s]
/proc/loadavg: 8.02 8.09 8.08 9/420 8144
/proc/meminfo: memFree=21249120/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=284224 CPUtime=25.1 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 28160 0 0 0 2504 6 0 0 25 0 4 0 730536346 291045376 13772 33554432000 4194304 4580107 140735893975968 18446744073709551615 4406440 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 71056 13772 379 95 0 66038 0
[pid=8110/tid=8111] ppid=8108 vsize=284224 CPUtime=6.29 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 7108 0 0 0 628 1 0 0 25 0 4 0 730536346 291045376 13772 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=284224 CPUtime=6.2 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 6931 0 0 0 619 1 0 0 25 0 4 0 730536346 291045376 13772 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=284224 CPUtime=6.29 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 6534 0 0 0 627 2 0 0 25 0 4 0 730536346 291045376 13772 33554432000 4194304 4580107 140735893975968 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.1
Current children cumulated vsize (KiB) 284224

[startup+12.701 s]
/proc/loadavg: 8.01 8.09 8.08 9/420 8144
/proc/meminfo: memFree=21222760/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=303668 CPUtime=50.6 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 42721 0 0 0 5052 8 0 0 25 0 4 0 730536346 310956032 16667 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294544 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 75917 16667 379 95 0 70899 0
[pid=8110/tid=8111] ppid=8108 vsize=303668 CPUtime=12.69 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 11220 0 0 0 1268 1 0 0 25 0 4 0 730536346 310956032 16667 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=303668 CPUtime=12.51 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 9924 0 0 0 1249 2 0 0 25 0 4 0 730536346 310956032 16667 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=303668 CPUtime=12.68 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 10405 0 0 0 1266 2 0 0 25 0 4 0 730536346 310956032 16667 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 303668

[startup+25.5008 s]
/proc/loadavg: 8.01 8.08 8.08 9/420 8145
/proc/meminfo: memFree=21188172/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=295632 CPUtime=101.62 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 66407 0 0 0 10148 14 0 0 25 0 4 0 730536346 302727168 20191 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 73908 20191 379 95 0 68890 0
[pid=8110/tid=8111] ppid=8108 vsize=295632 CPUtime=25.49 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 17380 0 0 0 2546 3 0 0 25 0 4 0 730536346 302727168 20191 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=295632 CPUtime=25.13 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 16154 0 0 0 2510 3 0 0 25 0 4 0 730536346 302727168 20191 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294692 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=295632 CPUtime=25.49 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 16069 0 0 0 2545 4 0 0 25 0 4 0 730536346 302727168 20191 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.62
Current children cumulated vsize (KiB) 295632

[startup+51.1013 s]
/proc/loadavg: 8.09 8.09 8.08 9/420 8175
/proc/meminfo: memFree=21178752/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=307408 CPUtime=203.68 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 102544 0 0 0 20345 23 0 0 25 0 4 0 730536346 314785792 25390 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 76852 25390 379 95 0 71834 0
[pid=8110/tid=8111] ppid=8108 vsize=307408 CPUtime=51.09 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 27004 0 0 0 5104 5 0 0 25 0 4 0 730536346 314785792 25390 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=307408 CPUtime=50.39 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 25001 0 0 0 5034 5 0 0 25 0 4 0 730536346 314785792 25390 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294458 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=307408 CPUtime=51.09 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 23935 0 0 0 5103 6 0 0 25 0 4 0 730536346 314785792 25390 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 203.68
Current children cumulated vsize (KiB) 307408

[startup+102.301 s]
/proc/loadavg: 8.16 8.10 8.09 9/420 8177
/proc/meminfo: memFree=21087824/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=309520 CPUtime=407.81 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 161142 0 0 0 40742 39 0 0 25 0 4 0 730536346 316948480 35445 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 77380 35445 379 95 0 72362 0
[pid=8110/tid=8111] ppid=8108 vsize=309520 CPUtime=102.31 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 40865 0 0 0 10221 10 0 0 25 0 4 0 730536346 316948480 35449 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=309520 CPUtime=100.89 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 39249 0 0 0 10081 8 0 0 25 0 4 0 730536346 316948480 35449 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=309520 CPUtime=102.3 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 39443 0 0 0 10220 10 0 0 25 0 4 0 730536346 316948480 35449 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 407.81
Current children cumulated vsize (KiB) 309520

[startup+162.301 s]

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

[pid=8110] ppid=8108 vsize=605236 CPUtime=2799.47 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 491469 0 0 0 279778 169 0 0 25 0 4 0 730536346 619761664 90840 33554432000 4194304 4580107 140735893975968 18446744073709551615 4304880 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 151309 90840 379 95 0 146291 0
[pid=8110/tid=8111] ppid=8108 vsize=605236 CPUtime=702.29 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 129204 0 0 0 70185 44 0 0 25 0 4 0 730536346 619761664 90840 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=605236 CPUtime=692.57 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 127049 0 0 0 69211 46 0 0 25 0 4 0 730536346 619761664 90840 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=605236 CPUtime=702.27 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 109722 0 0 0 70191 36 0 0 25 0 4 0 730536346 619761664 90840 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 2799.47
Current children cumulated vsize (KiB) 605236

[startup+762.301 s]
/proc/loadavg: 8.09 8.12 8.09 9/420 8203
/proc/meminfo: memFree=20640792/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=619024 CPUtime=3038.67 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 512925 0 0 0 303689 178 0 0 25 0 4 0 730536346 633880576 90924 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 154756 90924 379 95 0 149738 0
[pid=8110/tid=8111] ppid=8108 vsize=619024 CPUtime=762.32 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 136875 0 0 0 76184 48 0 0 25 0 4 0 730536346 633880576 90926 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=619024 CPUtime=751.75 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 132630 0 0 0 75127 48 0 0 25 0 4 0 730536346 633880576 90926 33554432000 4194304 4580107 140735893975968 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=619024 CPUtime=762.3 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 110142 0 0 0 76193 37 0 0 25 0 4 0 730536346 633880576 90926 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294345 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3038.67
Current children cumulated vsize (KiB) 619024

[startup+822.3 s]
/proc/loadavg: 8.12 8.12 8.09 9/420 8205
/proc/meminfo: memFree=20624264/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=619952 CPUtime=3277.83 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 534336 0 0 0 327596 187 0 0 25 0 4 0 730536346 634830848 92669 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294373 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 154988 92669 379 95 0 149970 0
[pid=8110/tid=8111] ppid=8108 vsize=619952 CPUtime=822.3 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 143737 0 0 0 82180 50 0 0 25 0 4 0 730536346 634830848 92669 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=619952 CPUtime=810.93 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 139230 0 0 0 81042 51 0 0 25 0 4 0 730536346 634830848 92669 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294555 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=619952 CPUtime=822.28 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 110368 0 0 0 82191 37 0 0 25 0 4 0 730536346 634830848 92669 33554432000 4194304 4580107 140735893975968 18446744073709551615 4302592 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3277.83
Current children cumulated vsize (KiB) 619952

[startup+882.316 s]
/proc/loadavg: 8.04 8.10 8.08 9/420 8207
/proc/meminfo: memFree=20598428/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=620892 CPUtime=3517.08 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 555953 0 0 0 351510 198 0 0 25 0 4 0 730536346 635793408 90586 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 155223 90586 379 95 0 150205 0
[pid=8110/tid=8111] ppid=8108 vsize=620892 CPUtime=882.31 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 150851 0 0 0 88178 53 0 0 25 0 4 0 730536346 635793408 90586 33554432000 4194304 4580107 140735893975968 18446744073709551615 4293067 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=620892 CPUtime=870.12 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 146806 0 0 0 86957 55 0 0 25 0 4 0 730536346 635793408 90586 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=620892 CPUtime=882.29 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 110667 0 0 0 88192 37 0 0 25 0 4 0 730536346 635793408 90586 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3517.08
Current children cumulated vsize (KiB) 620892

[startup+942.3 s]
/proc/loadavg: 8.06 8.09 8.08 9/420 8208
/proc/meminfo: memFree=20601376/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=621200 CPUtime=3756.21 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 573607 0 0 0 375412 209 0 0 25 0 4 0 730536346 636108800 93250 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 155300 93250 379 95 0 150282 0
[pid=8110/tid=8111] ppid=8108 vsize=621200 CPUtime=942.3 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 157293 0 0 0 94172 58 0 0 25 0 4 0 730536346 636108800 93250 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=621200 CPUtime=929.3 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 151607 0 0 0 92872 58 0 0 25 0 4 0 730536346 636108800 93250 33554432000 4194304 4580107 140735893975968 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=621200 CPUtime=942.27 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 111048 0 0 0 94190 37 0 0 25 0 4 0 730536346 636108800 93250 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3756.21
Current children cumulated vsize (KiB) 621200

[startup+1002.3 s]
/proc/loadavg: 8.02 8.07 8.08 9/420 8210
/proc/meminfo: memFree=20588312/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=608600 CPUtime=3995.39 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 589874 0 0 0 399321 218 0 0 25 0 4 0 730536346 623206400 91238 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 152150 91238 379 95 0 147132 0
[pid=8110/tid=8111] ppid=8108 vsize=608600 CPUtime=1002.31 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 163809 0 0 0 100169 62 0 0 25 0 4 0 730536346 623206400 91238 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=608600 CPUtime=988.47 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 154764 0 0 0 98788 59 0 0 25 0 4 0 730536346 623206400 91238 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=608600 CPUtime=1002.28 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 111559 0 0 0 100190 38 0 0 25 0 4 0 730536346 623206400 91238 33554432000 4194304 4580107 140735893975968 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 3995.39
Current children cumulated vsize (KiB) 608600

[startup+1062.3 s]
/proc/loadavg: 8.15 8.10 8.09 9/420 8211
/proc/meminfo: memFree=20571668/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=649844 CPUtime=4234.55 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 611776 0 0 0 423227 228 0 0 25 0 4 0 730536346 665440256 97419 33554432000 4194304 4580107 140735893975968 18446744073709551615 4406134 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 162461 97419 379 95 0 157443 0
[pid=8110/tid=8111] ppid=8108 vsize=649844 CPUtime=1062.31 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 168794 0 0 0 106168 63 0 0 25 0 4 0 730536346 665440256 97419 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=649844 CPUtime=1047.63 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 160493 0 0 0 104701 62 0 0 25 0 4 0 730536346 665440256 97419 33554432000 4194304 4580107 140735893975968 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=649844 CPUtime=1062.27 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 114647 0 0 0 106187 40 0 0 25 0 4 0 730536346 665440256 97419 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4234.55
Current children cumulated vsize (KiB) 649844

[startup+1122.3 s]
/proc/loadavg: 8.09 8.09 8.09 9/420 8213
/proc/meminfo: memFree=20554752/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=596056 CPUtime=4473.7 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 631777 0 0 0 447134 236 0 0 25 0 4 0 730536346 610361344 102873 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 149014 102873 379 95 0 143996 0
[pid=8110/tid=8111] ppid=8108 vsize=596056 CPUtime=1122.31 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 174839 0 0 0 112165 66 0 0 25 0 4 0 730536346 610361344 102873 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=596056 CPUtime=1106.78 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 167900 0 0 0 110614 64 0 0 25 0 4 0 730536346 610361344 102873 33554432000 4194304 4580107 140735893975968 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=596056 CPUtime=1122.28 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 117455 0 0 0 112186 42 0 0 25 0 4 0 730536346 610361344 102873 33554432000 4194304 4580107 140735893975968 18446744073709551615 4406365 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4473.7
Current children cumulated vsize (KiB) 596056

[startup+1182.3 s]
/proc/loadavg: 8.09 8.09 8.09 9/420 8215
/proc/meminfo: memFree=20554568/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=623268 CPUtime=4712.87 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 649734 0 0 0 471042 245 0 0 25 0 4 0 730536346 638226432 103251 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294510 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 155817 103251 379 95 0 150799 0
[pid=8110/tid=8111] ppid=8108 vsize=623268 CPUtime=1182.3 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 180668 0 0 0 118161 69 0 0 25 0 4 0 730536346 638226432 103251 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=623268 CPUtime=1165.95 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 171106 0 0 0 116529 66 0 0 25 0 4 0 730536346 638226432 103251 33554432000 4194304 4580107 140735893975968 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=623268 CPUtime=1182.27 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 120528 0 0 0 118185 42 0 0 25 0 4 0 730536346 638226432 103251 33554432000 4194304 4580107 140735893975968 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4712.87
Current children cumulated vsize (KiB) 623268



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1204.2 s]
/proc/loadavg: 8.13 8.10 8.09 9/420 8215
/proc/meminfo: memFree=20537428/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=623328 CPUtime=4800.18 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 655851 0 0 0 479771 247 0 0 25 0 4 0 730536346 638287872 106031 33554432000 4194304 4580107 140735893975968 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 155832 106031 379 95 0 150814 0
[pid=8110/tid=8111] ppid=8108 vsize=623328 CPUtime=1204.22 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 182036 0 0 0 120353 69 0 0 25 0 4 0 730536346 638287872 106033 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=623328 CPUtime=1187.55 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 172283 0 0 0 118688 67 0 0 25 0 4 0 730536346 638287872 106033 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=623328 CPUtime=1204.19 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 121497 0 0 0 120376 43 0 0 25 0 4 0 730536346 638287872 106033 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 623328

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

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

[startup+1204.2 s]
/proc/loadavg: 8.13 8.10 8.09 9/420 8215
/proc/meminfo: memFree=20537428/32950940 swapFree=67111356/67111528
[pid=8110] ppid=8108 vsize=623328 CPUtime=4800.18 cores=1,3,5,7
/proc/8110/stat : 8110 (strangenight2-m) R 8108 8110 7703 0 -1 4202496 655851 0 0 0 479771 247 0 0 25 0 4 0 730536346 638287872 106031 33554432000 4194304 4580107 140735893975968 18446744073709551615 4295404 0 0 4096 2 18446744073709551615 0 0 17 3 0 0 0
/proc/8110/statm: 155832 106031 379 95 0 150814 0
[pid=8110/tid=8111] ppid=8108 vsize=623328 CPUtime=1204.22 cores=1,3,5,7
/proc/8110/task/8111/stat : 8111 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 182036 0 0 0 120353 69 0 0 25 0 4 0 730536346 638287872 106033 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8110/tid=8112] ppid=8108 vsize=623328 CPUtime=1187.55 cores=1,3,5,7
/proc/8110/task/8112/stat : 8112 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 172283 0 0 0 118688 67 0 0 25 0 4 0 730536346 638287872 106033 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8110/tid=8113] ppid=8108 vsize=623328 CPUtime=1204.19 cores=1,3,5,7
/proc/8110/task/8113/stat : 8113 (strangenight2-m) R 8108 8110 7703 0 -1 4202560 121497 0 0 0 120376 43 0 0 25 0 4 0 730536346 638287872 106033 33554432000 4194304 4580107 140735893975968 18446744073709551615 4294688 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4800.18
Current children cumulated vsize (KiB) 623328

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1204.24
CPU time (s): 4800.27
CPU user time (s): 4797.77
CPU system time (s): 2.49762
CPU usage (%): 398.613
Max. virtual memory (cumulated for all children) (KiB): 717960

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.77
system time used= 2.49762
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 655853
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= 319
involuntary context switches= 32524

runsolver used 4.6153 second user time and 12.0772 second system time

The end

Launcher Data 

Begin job on node117 at 2011-05-14 21:57:36
IDJOB=3366384
IDBENCH=82793
IDSOLVER=1844
FILE ID=node117/3366384-1305403056
RUNJOBID= node117-1305401849-8021
PBS_JOBID= 13324483
Free space on /tmp= 73412 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k5-r21.3-v100-c2130-S1760258375-046.UNKNOWN.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366384-1305403056/watcher-3366384-1305403056 -o /tmp/evaluation-result-3366384-1305403056/solver-3366384-1305403056 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366384-1305403056.cnf

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

MD5SUM BENCH= f913d39a64a2142ed34486c38d5636c0
RANDOM SEED=1230939185

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:      21335392 kB
Buffers:        298316 kB
Cached:        3080624 kB
SwapCached:          0 kB
Active:        9386888 kB
Inactive:      1874496 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:      21335392 kB
SwapTotal:    67111528 kB
SwapFree:     67111356 kB
Dirty:            5456 kB
Writeback:           0 kB
AnonPages:     7881988 kB
Mapped:          32156 kB
Slab:           243476 kB
PageTables:      44288 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 100445248 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= 73404 MiB
End job on node117 at 2011-05-14 22:17:42