Trace number 3366636

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.41 1203.16

General information on the benchmark

Namerandom/medium/
unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
MD5SUM5668e95cadc5ec51544c425c57e1c075
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.049991
Satisfiable
(Un)Satisfiability was proved
Number of variables650
Number of clauses2769
Sum of the clauses size8307
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 32769
Number of clauses of size 40
Number of clauses of size 50
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-3366636-1305410851.cnf'
0.00/0.00	c -- header says num vars:            650
0.00/0.00	c -- header says num clauses:        2769
0.00/0.00	c -- clauses added:            0 learnts,         2769 normals,            0 xors
0.00/0.00	c -- vars added        650
0.00/0.00	c Parsing time:  0.00 s
0.00/0.00	c  N st     0         0       650      2769         0         0      8307         0   no data   no data
0.00/0.00	c asymm  cl-useful: 1/2769/2769 lits-rem:3 time: 0.00
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:        2  lits-rem:         1  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:    650 time:  0.00 s
0.00/0.01	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3.20/0.83	c lits-rem:         0  cl-subs:        0  v-elim:     15  v-fix:    0  time:  0.00 s
3.20/0.83	c Finding binary XORs  T:     0.00 s  found:       0
3.20/0.83	c Finding non-binary XORs:     0.00 s (found:       0, avg size: nan)
3.20/0.83	c calculated reachability. Time: 0.00
3.20/0.83	c Calc default polars -  time:   0.00 s pos:     302 undec:      69 neg:     279
3.20/0.83	c =========================================================================================
3.20/0.83	c types(t): F = full restart, N = normal restart
3.20/0.83	c types(t): S = simplification begin/end, E = solution found
3.20/0.83	c restart types(rt): st = static, dy = dynamic
3.20/0.83	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.20/0.83	c  B st     0         0       635      2753         2         0      8363         0   no data   no data
3.20/0.83	c Decided on static restart strategy
3.20/0.83	c  N st     8      4914       635      2753         2      4868      8363    141883   no data   no data
3.20/0.83	c  N st    10     11296       635      2753         2      4500      8363     87423   no data   no data
3.20/0.83	c  N st    11     17041       635      2753         2     10132      8363    244428   no data   no data
4.77/1.20	c  F st    12     25001       635      2753         2     12468      8363    314699   no data   no data
4.77/1.20	c  N st    12     25001       635      2753         2     12468      8363    314699   no data   no data
5.57/1.42	c Decided on static restart strategy
5.57/1.42	c  N st    18     30002       635      2753         2     10705      8363    232857   no data   no data
5.57/1.42	c  S st    18     30002       635      2753         2     10705      8363    232857   no data   no data
5.57/1.45	c  S st    18     30503       635      2753         2     11206      8363    245040   no data   no data
5.57/1.45	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
5.57/1.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
5.57/1.45	c blocked clauses removed:        9 vars:      2 tried:         635 T: 0.00 s
5.57/1.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
5.57/1.45	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.57/1.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
5.57/1.45	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
5.57/1.46	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
5.57/1.46	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
5.97/1.51	c lits-rem:       136  cl-subs:      332  v-elim:      0  v-fix:    0  time:  0.05 s
5.97/1.52	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
5.97/1.52	c calculated reachability. Time: 0.00
5.97/1.52	c  N st    18     30503       633      2744         2     10873      8336    234604   no data   no data
7.60/1.93	c  N st    20     37613       633      2744         2     10131      8336    203709   no data   no data
9.16/2.35	c  N st    21     44012       633      2744         2     16430      8336    403323   no data   no data
9.56/2.47	c  S st    22     45754       633      2744         2      9336      8336    158420   no data   no data
9.95/2.50	c  S st    22     46255       633      2744         2      9837      8336    171220   no data   no data
9.95/2.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.95/2.51	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
9.95/2.51	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
9.95/2.51	c bin-w-bin subsume rem            0 bins  time:  0.00 s
9.95/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.51	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
9.95/2.51	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
9.95/2.51	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
9.95/2.51	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
9.95/2.52	c lits-rem:        36  cl-subs:       59  v-elim:      0  v-fix:    0  time:  0.01 s
9.95/2.52	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
9.95/2.53	c vivif2 --  cl tried     9778 cl shrink        0 lits rem          0 time: 0.00
9.95/2.53	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
9.95/2.53	c calculated reachability. Time: 0.00
9.95/2.53	c  N st    22     46255       633      2744         2      9778      8336    169142   no data   no data
13.95/3.53	c  N st    23     60653       633      2744         2     14126      8336    288358   no data   no data
16.38/4.14	c  N st    24     69383       633      2744         2     11931      8336    210790   no data   no data
16.38/4.14	c  S st    24     69383       633      2744         2     11931      8336    210790   no data   no data
16.38/4.18	c  S st    24     69886       633      2744         2     12434      8336    224264   no data   no data
16.38/4.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
16.38/4.18	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.2M T:  0.00
16.38/4.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16.38/4.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
16.38/4.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.38/4.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
16.38/4.18	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16.38/4.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
16.38/4.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16.73/4.21	c lits-rem:        54  cl-subs:       81  v-elim:      0  v-fix:    0  time:  0.02 s
16.73/4.21	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
16.73/4.21	c vivif2 --  cl tried    12353 cl shrink        0 lits rem          0 time: 0.00
16.73/4.22	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
16.73/4.22	c calculated reachability. Time: 0.00
16.73/4.22	c  N st    24     69886       633      2744         2     12353      8336    221613   no data   no data
22.32/5.61	c  F st    25     87503       633      2744         2     17873      8336    364309   no data   no data
22.32/5.61	c  N st    25     87503       633      2744         2     17873      8336    364309   no data   no data
23.92/6.02	c Decided on static restart strategy
24.74/6.29	c  N st    32     95545       633      2744         2     12995      8336    195244   no data   no data
27.51/6.96	c  N st    34    104829       633      2744         2     22114      8336    437234   no data   no data
27.51/6.96	c  S st    34    104829       633      2744         2     22114      8336    437234   no data   no data
27.91/7.01	c  S st    34    105331       633      2744         2     22615      8336    450177   no data   no data
27.91/7.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
27.91/7.02	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.3M T:  0.01
27.91/7.02	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
27.91/7.02	c bin-w-bin subsume rem            0 bins  time:  0.00 s
27.91/7.02	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
27.91/7.02	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
27.91/7.02	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
27.91/7.03	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
27.91/7.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28.71/7.20	c lits-rem:       119  cl-subs:      684  v-elim:      0  v-fix:    0  time:  0.16 s
28.71/7.20	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
28.71/7.20	c vivif2 --  cl tried    21931 cl shrink        0 lits rem          0 time: 0.00
28.71/7.22	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.01
28.71/7.22	c calculated reachability. Time: 0.00
28.71/7.22	c  N st    34    105331       633      2744         2     21931      8336    429640   no data   no data
31.50/7.98	c  N st    35    114929       633      2744         2     17576      8336    294419   no data   no data
36.69/9.26	c  N st    36    129326       633      2744         2     17010      8336    265788   no data   no data
44.27/11.18	c  N st    37    150922       633      2744         2     22469      8336    416874   no data   no data
47.45/11.96	c  S st    38    157998       633      2744         2     29430      8336    630215   no data   no data
47.86/12.03	c  S st    38    158500       633      2744         2     29932      8336    643359   no data   no data
47.86/12.03	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
47.86/12.04	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
47.86/12.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
47.86/12.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
47.86/12.04	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
47.86/12.04	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
47.86/12.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
47.86/12.05	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
47.86/12.06	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
49.86/12.53	c lits-rem:       332  cl-subs:     1206  v-elim:      0  v-fix:    0  time:  0.47 s
49.86/12.53	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
49.86/12.54	c vivif2 --  cl tried    28726 cl shrink        0 lits rem          0 time: 0.01
49.86/12.56	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.02
49.86/12.56	c calculated reachability. Time: 0.00
49.86/12.56	c  N st    38    158500       633      2744         2     28726      8336    602661   no data   no data
69.80/17.50	c  N st    39    207089       633      2744         2     23522      8336    405187   no data   no data
83.77/21.02	c  N st    40    237750       633      2744         2     33892      8336    666751   no data   no data
83.77/21.02	c  S st    40    237750       633      2744         2     33892      8336    666751   no data   no data
84.17/21.10	c  S st    40    238251       633      2744         2     34393      8336    681244   no data   no data
84.17/21.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
84.17/21.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.4M T:  0.01
84.17/21.12	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
84.17/21.12	c bin-w-bin subsume rem            0 bins  time:  0.00 s
84.17/21.12	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
84.17/21.12	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
84.17/21.12	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
84.17/21.12	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
84.17/21.14	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
86.96/21.84	c lits-rem:       290  cl-subs:     1643  v-elim:      0  v-fix:    0  time:  0.69 s
86.96/21.84	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
86.96/21.85	c vivif2 --  cl tried    32750 cl shrink        0 lits rem          0 time: 0.01
86.96/21.87	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.02
86.96/21.87	c calculated reachability. Time: 0.00
86.96/21.87	c  N st    40    238251       633      2744         2     32750      8336    630837   no data   no data
120.48/30.21	c  F st    41    306250       633      2744         2     34789      8336    664283   no data   no data
120.48/30.21	c  N st    41    306250       633      2744         2     34789      8336    664283   no data   no data
123.27/30.97	c Decided on static restart strategy
135.23/33.90	c  N st    51    334556       633      2744         2     39119      8336    742136   no data   no data
146.01/36.66	c  N st    53    357376       633      2744         2     36984      8336    677413   no data   no data
146.01/36.66	c  S st    53    357376       633      2744         2     36984      8336    677413   no data   no data
146.41/36.75	c  S st    53    357880       633      2744         2     37488      8336    691562   no data   no data
146.41/36.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
146.41/36.77	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.01
146.41/36.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
146.41/36.77	c bin-w-bin subsume rem            0 bins  time:  0.00 s
146.41/36.77	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
146.41/36.77	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
146.41/36.77	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
146.41/36.78	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
146.41/36.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
147.63/37.07	c lits-rem:       154  cl-subs:      639  v-elim:      0  v-fix:    0  time:  0.27 s
147.63/37.07	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
147.63/37.08	c vivif2 --  cl tried    36849 cl shrink        0 lits rem          0 time: 0.01
147.63/37.10	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.03
147.63/37.10	c calculated reachability. Time: 0.00
147.63/37.10	c  N st    53    357880       633      2744         2     36849      8336    670475   no data   no data
165.95/41.63	c  N st    54    390272       633      2744         2     43031      8336    828466   no data   no data
194.28/48.76	c  N st    55    438860       633      2744         2     36690      8336    591126   no data   no data
239.38/60.08	c  N st    56    511743       633      2744         2     50271      8336    989053   no data   no data
253.74/63.68	c  N st    57    536821       633      2744         2     44431      8336    772036   no data   no data
253.74/63.68	c  S st    57    536821       633      2744         2     44431      8336    772036   no data   no data
254.14/63.79	c  S st    57    537324       633      2744         2     44934      8336    785420   no data   no data
254.14/63.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
254.54/63.81	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.5M T:  0.02
254.54/63.81	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
254.54/63.81	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.54/63.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
254.54/63.81	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
254.54/63.81	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
254.54/63.83	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
254.54/63.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
257.35/64.54	c lits-rem:       155  cl-subs:     1576  v-elim:      0  v-fix:    0  time:  0.69 s
257.35/64.54	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
257.35/64.55	c vivif2 --  cl tried    43358 cl shrink        0 lits rem          0 time: 0.01
257.35/64.58	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.03
257.35/64.58	c calculated reachability. Time: 0.00
257.35/64.58	c  N st    57    537324       633      2744         2     43358      8336    740522   no data   no data
379.03/95.08	c  N st    58    701308       633      2744         2     37496      8336    472454   no data   no data
461.62/115.73	c  N st    59    805986       633      2744         2     66830      8336   1332037   no data   no data
461.62/115.73	c  S st    59    805986       633      2744         2     66830      8336   1332037   no data   no data
462.42/115.90	c  S st    59    806489       633      2744         2     67333      8336   1345384   no data   no data
462.42/115.90	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
462.42/115.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  0.8M T:  0.03
462.42/115.93	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
462.42/115.93	c bin-w-bin subsume rem            0 bins  time:  0.00 s
462.42/115.93	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
462.42/115.93	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
462.42/115.93	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
462.42/115.95	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
462.42/115.99	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
473.18/118.62	c lits-rem:       381  cl-subs:     2188  v-elim:      0  v-fix:    0  time:  2.62 s
473.18/118.62	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
473.18/118.64	c vivif2 --  cl tried    65145 cl shrink        0 lits rem          0 time: 0.02
473.59/118.70	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.06
473.59/118.70	c calculated reachability. Time: 0.00
473.59/118.70	c  N st    59    806489       633      2744         2     65145      8336   1276198   no data   no data
713.80/178.94	c  F st    60   1071875       633      2744         2     81165      8336   1641047   no data   no data
713.80/178.94	c  N st    60   1071875       633      2744         2     81165      8336   1641047   no data   no data
720.17/180.55	c Decided on static restart strategy
738.92/185.20	c  N st    70   1100181       633      2744         2     64847      8336   1097214   no data   no data
774.03/194.05	c  N st    72   1136174       633      2744         2     55017      8336    771999   no data   no data
803.56/201.42	c  N st    73   1168567       633      2744         2     86849      8336   1705701   no data   no data
849.05/212.87	c  N st    74   1209733       633      2744         2     81085      8336   1562947   no data   no data
849.05/212.87	c  S st    74   1209733       633      2744         2     81085      8336   1562947   no data   no data
850.29/213.12	c  S st    74   1210237       633      2744         2     81589      8336   1577035   no data   no data
850.29/213.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
850.29/213.16	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.0M T:  0.04
850.29/213.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
850.29/213.16	c bin-w-bin subsume rem            0 bins  time:  0.00 s
850.29/213.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
850.29/213.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
850.29/213.16	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
850.29/213.18	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
850.64/213.23	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
866.60/217.23	c lits-rem:       399  cl-subs:     2665  v-elim:      0  v-fix:    0  time:  4.00 s
866.60/217.23	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
866.60/217.25	c vivif2 --  cl tried    78924 cl shrink        0 lits rem          0 time: 0.02
867.00/217.33	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.08
867.00/217.33	c calculated reachability. Time: 0.00
867.00/217.33	c  N st    74   1210237       633      2744         2     78924      8336   1492987   no data   no data
942.03/236.14	c  N st    75   1283122       633      2744         2     55186      8336    710475   no data   no data
1050.13/263.22	c  N st    76   1392445       633      2744         2     63258      8336    928044   no data   no data
1216.12/304.81	c  N st    77   1556429       633      2744         2     68482      8336   1038501   no data   no data
1397.26/350.23	c  N st    78   1710239       633      2744         2    110316      8336   2286692   no data   no data
1397.26/350.23	c  S st    78   1710239       633      2744         2    110316      8336   2286692   no data   no data
1398.48/350.58	c  S st    78   1710746       633      2744         2    110823      8336   2301434   no data   no data
1398.48/350.59	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1398.91/350.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.06
1398.91/350.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1398.91/350.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1398.91/350.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1398.91/350.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
1398.91/350.64	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1398.91/350.67	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
1399.26/350.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1454.32/364.56	c lits-rem:      1379  cl-subs:     5835  v-elim:      0  v-fix:    0  time: 13.81 s
1454.32/364.56	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
1454.32/364.59	c vivif2 --  cl tried   104988 cl shrink        0 lits rem          0 time: 0.03
1455.12/364.70	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.11
1455.12/364.71	c calculated reachability. Time: 0.00
1455.12/364.71	c  N st    78   1710746       633      2744         2    104988      8336   2115117   no data   no data
1920.35/481.40	c  N st    79   2079712       633      2744         2    116143      8336   2329500   no data   no data
2085.13/522.62	c  N st    80   2210746       633      2744         2    120320      8336   2335920   no data   no data
2085.13/522.62	c  S st    80   2210746       633      2744         2    120320      8336   2335920   no data   no data
2086.72/523.01	c  S st    80   2211249       633      2744         2    120823      8336   2351006   no data   no data
2086.72/523.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2086.72/523.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.5M T:  0.06
2086.72/523.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2086.72/523.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2086.72/523.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2086.72/523.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2086.72/523.08	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2087.12/523.11	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
2087.12/523.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2144.17/537.45	c lits-rem:       794  cl-subs:     7059  v-elim:      0  v-fix:    0  time: 14.27 s
2144.17/537.45	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
2144.17/537.48	c vivif2 --  cl tried   113764 cl shrink        0 lits rem          0 time: 0.03
2144.59/537.60	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.12
2144.59/537.61	c calculated reachability. Time: 0.00
2144.59/537.61	c  N st    80   2211249       633      2744         2    113764      8336   2158757   no data   no data
2808.09/703.84	c  N st    81   2711250       633      2744         2    138136      8336   2834829   no data   no data
2808.09/703.84	c  S st    81   2711250       633      2744         2    138136      8336   2834829   no data   no data
2809.69/704.27	c  S st    81   2711754       633      2744         2    138639      8336   2848433   no data   no data
2809.69/704.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2810.09/704.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.7M T:  0.07
2810.09/704.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2810.09/704.36	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2810.09/704.36	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2810.09/704.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
2810.09/704.36	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2810.49/704.40	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
2810.49/704.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2895.09/725.65	c lits-rem:       639  cl-subs:     7550  v-elim:      0  v-fix:    0  time: 21.17 s
2895.09/725.65	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
2895.09/725.68	c vivif2 --  cl tried   131089 cl shrink        0 lits rem          0 time: 0.04
2895.87/725.83	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.15
2895.87/725.84	c calculated reachability. Time: 0.00
2895.87/725.84	c  N st    81   2711754       633      2744         2    131089      8336   2624909   no data   no data
3698.69/927.04	c  N st    82   3211754       633      2744         2    106045      8336   1639027   no data   no data
3698.69/927.04	c  S st    82   3211754       633      2744         2    106045      8336   1639027   no data   no data
3700.25/927.46	c  S st    82   3212257       633      2744         2    106548      8336   1652291   no data   no data
3700.25/927.47	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3700.65/927.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.3M T:  0.07
3700.65/927.54	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3700.65/927.54	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3700.65/927.54	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3700.65/927.54	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
3700.65/927.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3700.65/927.57	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3701.05/927.62	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3720.21/932.45	c lits-rem:       341  cl-subs:     3508  v-elim:      0  v-fix:    0  time:  4.82 s
3720.21/932.45	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
3720.21/932.47	c vivif2 --  cl tried   103040 cl shrink        0 lits rem          0 time: 0.02
3720.63/932.58	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.11
3720.63/932.58	c calculated reachability. Time: 0.00
3720.63/932.58	c  N st    82   3212257       633      2744         2    103040      8336   1562382   no data   no data
4553.70/1141.30	c  N st    83   3712257       633      2744         2    114142      8336   1781181   no data   no data
4553.70/1141.30	c  S st    83   3712257       633      2744         2    114142      8336   1781181   no data   no data
4554.89/1141.67	c  S st    83   3712760       633      2744         2    114645      8336   1794806   no data   no data
4554.89/1141.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4555.29/1141.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  1.4M T:  0.06
4555.29/1141.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4555.29/1141.74	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4555.29/1141.74	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4555.29/1141.74	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    633 time:  0.00 s
4555.29/1141.74	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4555.29/1141.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4555.69/1141.82	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4574.84/1146.61	c lits-rem:       552  cl-subs:     3207  v-elim:      0  v-fix:    0  time:  4.79 s
4574.84/1146.61	c vivif2 --  cl tried     2744 cl shrink        0 lits rem          0 time: 0.00
4574.84/1146.64	c vivif2 --  cl tried   111438 cl shrink        0 lits rem          0 time: 0.03
4575.24/1146.79	c asymm  cl-useful: 0/2744/2744 lits-rem:0 time: 0.15
4575.24/1146.80	c calculated reachability. Time: 0.00
4575.24/1146.80	c  N st    83   3712760       633      2744         2    111438      8336   1703011   no data   no data
4645.46/1164.35	c  F st    84   3751562       633      2744         2    149522      8336   2824746   no data   no data
4645.46/1164.35	c  N st    84   3751562       633      2744         2    149522      8336   2824746   no data   no data
4656.62/1167.12	c Decided on static restart strategy
4696.52/1177.18	c  N st    94   3779866       633      2744         2     93969      8336   1119505   no data   no data
4748.39/1190.12	c  N st    96   3815860       633      2744         2    129451      8336   2180516   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-3366636-1305410851/watcher-3366636-1305410851 -o /tmp/evaluation-result-3366636-1305410851/solver-3366636-1305410851 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3366636-1305410851.cnf 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 4800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 4830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 0.00 0.00 0.03 6/319 18383
/proc/meminfo: memFree=15677080/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=248748 CPUtime=0 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) D 18381 18383 18342 0 -1 4202496 524 0 0 0 0 0 0 0 18 0 4 0 731315823 254717952 451 33554432000 4194304 4580107 140736118898240 18446744073709551615 231895151301 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 62187 452 333 95 0 57169 0
[pid=18383/tid=18384] ppid=18381 vsize=281992 CPUtime=0 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 171 0 0 0 0 0 0 0 18 0 4 0 731315824 288759808 973 33554432000 4194304 4580107 140736118898240 18446744073709551615 231895151301 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=281992 CPUtime=0 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 153 0 0 0 0 0 0 0 24 0 4 0 731315824 288759808 976 33554432000 4194304 4580107 140736118898240 18446744073709551615 231895533751 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=282156 CPUtime=0 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) D 18381 18383 18342 0 -1 4202560 127 0 0 0 0 0 0 0 18 0 4 0 731315824 288927744 982 33554432000 4194304 4580107 140736118898240 18446744073709551615 231895151649 0 0 4096 2 0 0 0 -1 4 0 0 0

[startup+0.808634 s]
/proc/loadavg: 0.00 0.00 0.03 6/319 18383
/proc/meminfo: memFree=15677080/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=285700 CPUtime=3.2 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 5520 0 0 0 320 0 0 0 18 0 4 0 731315823 292556800 2746 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293755 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 71425 2746 377 95 0 66407 0
[pid=18383/tid=18384] ppid=18381 vsize=285700 CPUtime=0.79 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1220 0 0 0 79 0 0 0 19 0 4 0 731315824 292556800 2746 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=285700 CPUtime=0.8 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1322 0 0 0 80 0 0 0 18 0 4 0 731315824 292556800 2746 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=285700 CPUtime=0.79 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1246 0 0 0 79 0 0 0 19 0 4 0 731315824 292556800 2746 33554432000 4194304 4580107 140736118898240 18446744073709551615 4320440 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 285700

[startup+0.908614 s]
/proc/loadavg: 0.00 0.00 0.03 6/319 18383
/proc/meminfo: memFree=15677080/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=285888 CPUtime=3.6 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 5947 0 0 0 360 0 0 0 19 0 4 0 731315823 292749312 2825 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293904 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 71472 2825 377 95 0 66454 0
[pid=18383/tid=18384] ppid=18381 vsize=285888 CPUtime=0.89 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1444 0 0 0 89 0 0 0 19 0 4 0 731315824 292749312 2825 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=285888 CPUtime=0.9 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1389 0 0 0 90 0 0 0 19 0 4 0 731315824 292749312 2825 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=285888 CPUtime=0.89 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1314 0 0 0 89 0 0 0 19 0 4 0 731315824 292749312 2825 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.6
Current children cumulated vsize (KiB) 285888

[startup+1.00859 s]
/proc/loadavg: 0.00 0.00 0.03 6/319 18383
/proc/meminfo: memFree=15677080/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=285888 CPUtime=4 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 6208 0 0 0 400 0 0 0 19 0 4 0 731315823 292749312 3086 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294386 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 71472 3086 377 95 0 66454 0
[pid=18383/tid=18384] ppid=18381 vsize=285888 CPUtime=0.99 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1507 0 0 0 99 0 0 0 19 0 4 0 731315824 292749312 3086 33554432000 4194304 4580107 140736118898240 18446744073709551615 4322762 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=285888 CPUtime=1 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1449 0 0 0 100 0 0 0 19 0 4 0 731315824 292749312 3086 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=285888 CPUtime=0.99 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1392 0 0 0 99 0 0 0 19 0 4 0 731315824 292749312 3086 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294510 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4
Current children cumulated vsize (KiB) 285888

[startup+1.10858 s]
/proc/loadavg: 0.00 0.00 0.03 6/319 18383
/proc/meminfo: memFree=15677080/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=286064 CPUtime=4.4 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 6452 0 0 0 440 0 0 0 19 0 4 0 731315823 292929536 3330 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294414 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 71516 3330 377 95 0 66498 0
[pid=18383/tid=18384] ppid=18381 vsize=286064 CPUtime=1.09 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1572 0 0 0 109 0 0 0 19 0 4 0 731315824 292929536 3330 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=286064 CPUtime=1.1 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1506 0 0 0 110 0 0 0 19 0 4 0 731315824 292929536 3330 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=286064 CPUtime=1.09 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1451 0 0 0 109 0 0 0 19 0 4 0 731315824 292929536 3330 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4.4
Current children cumulated vsize (KiB) 286064

[startup+1.50051 s]
/proc/loadavg: 0.00 0.00 0.03 6/319 18383
/proc/meminfo: memFree=15677080/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=286560 CPUtime=5.97 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 9669 0 0 0 596 1 0 0 20 0 4 0 731315823 293437440 4957 33554432000 4194304 4580107 140736118898240 18446744073709551615 4416041 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 71640 4957 379 95 0 66622 0
[pid=18383/tid=18384] ppid=18381 vsize=286560 CPUtime=1.48 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 2011 0 0 0 148 0 0 0 20 0 4 0 731315824 293437440 4957 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=286560 CPUtime=1.49 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1945 0 0 0 149 0 0 0 19 0 4 0 731315824 293437440 4957 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=286560 CPUtime=1.49 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 1892 0 0 0 149 0 0 0 20 0 4 0 731315824 293437440 4957 33554432000 4194304 4580107 140736118898240 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 5.97
Current children cumulated vsize (KiB) 286560

[startup+3.1002 s]
/proc/loadavg: 0.64 0.13 0.07 9/323 18387
/proc/meminfo: memFree=15604804/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=274032 CPUtime=12.35 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 19066 0 0 0 1232 3 0 0 25 0 4 0 731315823 280608768 11131 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293097 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 68508 11131 379 95 0 63490 0
[pid=18383/tid=18384] ppid=18381 vsize=274032 CPUtime=3.06 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 4403 0 0 0 306 0 0 0 19 0 4 0 731315824 280608768 11131 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293148 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=274032 CPUtime=3.08 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 5105 0 0 0 307 1 0 0 25 0 4 0 731315824 280608768 11131 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=274032 CPUtime=3.08 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 4287 0 0 0 308 0 0 0 25 0 4 0 731315824 280608768 11131 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 12.35
Current children cumulated vsize (KiB) 274032

[startup+6.31159 s]
/proc/loadavg: 0.64 0.13 0.07 9/323 18387
/proc/meminfo: memFree=15562732/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=292568 CPUtime=25.15 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 29658 0 0 0 2511 4 0 0 25 0 4 0 731315823 299589632 15340 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 73142 15340 379 95 0 68124 0
[pid=18383/tid=18384] ppid=18381 vsize=292568 CPUtime=6.24 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 8270 0 0 0 624 0 0 0 25 0 4 0 731315824 299589632 15340 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294524 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=292568 CPUtime=6.29 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 7447 0 0 0 628 1 0 0 25 0 4 0 731315824 299589632 15340 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=292568 CPUtime=6.29 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 5939 0 0 0 629 0 0 0 25 0 4 0 731315824 299589632 15340 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 292568

[startup+12.7004 s]
/proc/loadavg: 1.23 0.26 0.12 9/323 18387
/proc/meminfo: memFree=15511432/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=297052 CPUtime=50.65 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 46876 0 0 0 5058 7 0 0 25 0 4 0 731315823 304181248 25656 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294507 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 74263 25656 379 95 0 69245 0
[pid=18383/tid=18384] ppid=18381 vsize=297052 CPUtime=12.57 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 12448 0 0 0 1256 1 0 0 25 0 4 0 731315824 304181248 25656 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=297052 CPUtime=12.68 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 10736 0 0 0 1266 2 0 0 25 0 4 0 731315824 304181248 25657 33554432000 4194304 4580107 140736118898240 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=297052 CPUtime=12.68 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 9976 0 0 0 1267 1 0 0 25 0 4 0 731315824 304181248 25657 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 50.65
Current children cumulated vsize (KiB) 297052

[startup+25.5009 s]
/proc/loadavg: 2.73 0.64 0.24 9/323 18387
/proc/meminfo: memFree=15440012/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=317292 CPUtime=101.73 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 68425 0 0 0 10162 11 0 0 25 0 4 0 731315823 324907008 34296 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294530 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 79323 34296 379 95 0 74305 0
[pid=18383/tid=18384] ppid=18381 vsize=317292 CPUtime=25.24 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 16670 0 0 0 2522 2 0 0 25 0 4 0 731315824 324907008 34296 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294080 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=317292 CPUtime=25.48 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 18907 0 0 0 2545 3 0 0 25 0 4 0 731315824 324907008 34296 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=317292 CPUtime=25.49 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 12938 0 0 0 2547 2 0 0 25 0 4 0 731315824 324907008 34296 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 101.73
Current children cumulated vsize (KiB) 317292

[startup+51.1011 s]
/proc/loadavg: 4.53 1.23 0.45 9/323 18388
/proc/meminfo: memFree=15381492/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=322868 CPUtime=203.87 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 99127 0 0 0 20368 19 0 0 25 0 4 0 731315823 330616832 41156 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294688 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 80717 41157 379 95 0 75699 0
[pid=18383/tid=18384] ppid=18381 vsize=322868 CPUtime=50.59 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 23229 0 0 0 5055 4 0 0 25 0 4 0 731315824 330616832 41157 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=322868 CPUtime=51.07 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 28120 0 0 0 5101 6 0 0 25 0 4 0 731315824 330616832 41157 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294595 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=322868 CPUtime=51.09 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 20977 0 0 0 5105 4 0 0 25 0 4 0 731315824 330616832 41157 33554432000 4194304 4580107 140736118898240 18446744073709551615 4489273 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 203.87
Current children cumulated vsize (KiB) 322868

[startup+102.3 s]
/proc/loadavg: 6.55 2.29 0.84 9/323 18389
/proc/meminfo: memFree=15288840/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=401292 CPUtime=408.15 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 141521 0 0 0 40782 33 0 0 25 0 4 0 731315823 410923008 55420 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 100323 55420 379 95 0 95305 0
[pid=18383/tid=18384] ppid=18381 vsize=401292 CPUtime=101.26 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 28087 0 0 0 10121 5 0 0 25 0 4 0 731315824 410923008 55420 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=401292 CPUtime=102.28 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 37260 0 0 0 10219 9 0 0 25 0 4 0 731315824 410923008 55420 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=401292 CPUtime=102.29 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 39394 0 0 0 10219 10 0 0 25 0 4 0 731315824 410923008 55420 33554432000 4194304 4580107 140736118898240 18446744073709551615 4321197 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 408.15
Current children cumulated vsize (KiB) 401292

[startup+162.301 s]

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

[pid=18383] ppid=18381 vsize=687152 CPUtime=2802.12 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 462955 0 0 0 280055 157 0 0 25 0 4 0 731315823 703643648 108169 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 171788 108169 379 95 0 166770 0
[pid=18383/tid=18384] ppid=18381 vsize=687152 CPUtime=695.18 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 85757 0 0 0 69492 26 0 0 25 0 4 0 731315824 703643648 108169 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=687152 CPUtime=702.3 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 124837 0 0 0 70187 43 0 0 25 0 4 0 731315824 703643648 108169 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=687152 CPUtime=702.31 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 145871 0 0 0 70178 53 0 0 25 0 4 0 731315824 703643648 108169 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 2802.12
Current children cumulated vsize (KiB) 687152

[startup+762.301 s]
/proc/loadavg: 8.11 7.46 4.52 9/323 18407
/proc/meminfo: memFree=14773788/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=660768 CPUtime=3041.49 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 492770 0 0 0 303980 169 0 0 25 0 4 0 731315823 676626432 118268 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 165192 118268 379 95 0 160174 0
[pid=18383/tid=18384] ppid=18381 vsize=660768 CPUtime=754.55 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 92012 0 0 0 75427 28 0 0 25 0 4 0 731315824 676626432 118268 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=660768 CPUtime=762.3 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 133442 0 0 0 76184 46 0 0 25 0 4 0 731315824 676626432 118268 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=660768 CPUtime=762.31 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 154686 0 0 0 76175 56 0 0 25 0 4 0 731315824 676626432 118268 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293121 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3041.49
Current children cumulated vsize (KiB) 660768

[startup+822.301 s]
/proc/loadavg: 8.17 7.59 4.75 9/323 18408
/proc/meminfo: memFree=14783768/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=661480 CPUtime=3280.91 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 512720 0 0 0 327911 180 0 0 25 0 4 0 731315823 677355520 116554 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294639 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 165370 116554 379 95 0 160352 0
[pid=18383/tid=18384] ppid=18381 vsize=661480 CPUtime=813.95 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 92534 0 0 0 81367 28 0 0 25 0 4 0 731315824 677355520 116554 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=661480 CPUtime=822.31 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 141301 0 0 0 82181 50 0 0 25 0 4 0 731315824 677355520 116554 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294612 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=661480 CPUtime=822.32 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 162609 0 0 0 82171 61 0 0 25 0 4 0 731315824 677355520 116554 33554432000 4194304 4580107 140736118898240 18446744073709551615 4295731 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3280.91
Current children cumulated vsize (KiB) 661480

[startup+882.301 s]
/proc/loadavg: 8.12 7.68 4.95 9/323 18410
/proc/meminfo: memFree=14723460/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=663576 CPUtime=3520.3 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 538319 0 0 0 351841 189 0 0 25 0 4 0 731315823 679501824 124164 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 165894 124164 379 95 0 160876 0
[pid=18383/tid=18384] ppid=18381 vsize=663576 CPUtime=873.34 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 93259 0 0 0 87306 28 0 0 25 0 4 0 731315824 679501824 124164 33554432000 4194304 4580107 140736118898240 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=663576 CPUtime=882.31 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 148812 0 0 0 88178 53 0 0 25 0 4 0 731315824 679501824 124164 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=663576 CPUtime=882.32 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 174744 0 0 0 88168 64 0 0 25 0 4 0 731315824 679501824 124164 33554432000 4194304 4580107 140736118898240 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3520.3
Current children cumulated vsize (KiB) 663576

[startup+942.3 s]
/proc/loadavg: 8.10 7.75 5.15 9/323 18412
/proc/meminfo: memFree=14658680/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=776932 CPUtime=3759.7 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 557263 0 0 0 375773 197 0 0 25 0 4 0 731315823 795578368 133284 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294458 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 194233 133284 379 95 0 189215 0
[pid=18383/tid=18384] ppid=18381 vsize=776932 CPUtime=932.73 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 95438 0 0 0 93243 30 0 0 25 0 4 0 731315824 795578368 133285 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=776932 CPUtime=942.32 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 158256 0 0 0 94176 56 0 0 25 0 4 0 731315824 795578368 133285 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=776932 CPUtime=942.33 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 179104 0 0 0 94167 66 0 0 25 0 4 0 731315824 795578368 133285 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3759.7
Current children cumulated vsize (KiB) 776932

[startup+1002.3 s]
/proc/loadavg: 8.09 7.81 5.33 9/323 18413
/proc/meminfo: memFree=14644508/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=698188 CPUtime=3999.08 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 583439 0 0 0 399700 208 0 0 25 0 4 0 731315823 714944512 137766 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294471 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 174547 137766 379 95 0 169529 0
[pid=18383/tid=18384] ppid=18381 vsize=698188 CPUtime=992.13 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 102607 0 0 0 99180 33 0 0 25 0 4 0 731315824 714944512 137766 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293170 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=698188 CPUtime=1002.31 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 165645 0 0 0 100172 59 0 0 25 0 4 0 731315824 714944512 137766 33554432000 4194304 4580107 140736118898240 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=698188 CPUtime=1002.32 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 186398 0 0 0 100162 70 0 0 25 0 4 0 731315824 714944512 137766 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3999.08
Current children cumulated vsize (KiB) 698188

[startup+1062.31 s]
/proc/loadavg: 8.08 7.86 5.50 9/323 18415
/proc/meminfo: memFree=14596096/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=698416 CPUtime=4238.52 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 605002 0 0 0 423633 219 0 0 25 0 4 0 731315823 715177984 142474 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 174604 142474 379 95 0 169586 0
[pid=18383/tid=18384] ppid=18381 vsize=698416 CPUtime=1051.53 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 103712 0 0 0 105119 34 0 0 25 0 4 0 731315824 715177984 142474 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=698416 CPUtime=1062.33 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 172688 0 0 0 106170 63 0 0 25 0 4 0 731315824 715177984 142474 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294396 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=698416 CPUtime=1062.33 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 193771 0 0 0 106160 73 0 0 25 0 4 0 731315824 715177984 142474 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4238.52
Current children cumulated vsize (KiB) 698416

[startup+1122.3 s]
/proc/loadavg: 8.13 7.91 5.66 9/323 18416
/proc/meminfo: memFree=14597172/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=870932 CPUtime=4477.88 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 620797 0 0 0 447563 225 0 0 25 0 4 0 731315823 891834368 143315 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 217733 143315 379 95 0 212715 0
[pid=18383/tid=18384] ppid=18381 vsize=870932 CPUtime=1110.9 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 104283 0 0 0 111056 34 0 0 25 0 4 0 731315824 891834368 143315 33554432000 4194304 4580107 140736118898240 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=870932 CPUtime=1122.32 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 177862 0 0 0 112166 66 0 0 25 0 4 0 731315824 891834368 143315 33554432000 4194304 4580107 140736118898240 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=870932 CPUtime=1122.32 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 201948 0 0 0 112158 74 0 0 25 0 4 0 731315824 891834368 143315 33554432000 4194304 4580107 140736118898240 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4477.88
Current children cumulated vsize (KiB) 870932

[startup+1182.3 s]
/proc/loadavg: 8.05 7.92 5.81 9/323 18418
/proc/meminfo: memFree=14565908/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=806368 CPUtime=4717.27 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 642889 0 0 0 471493 234 0 0 25 0 4 0 731315823 825720832 149501 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 201592 149501 379 95 0 196574 0
[pid=18383/tid=18384] ppid=18381 vsize=806368 CPUtime=1170.29 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 105484 0 0 0 116995 34 0 0 25 0 4 0 731315824 825720832 149501 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=806368 CPUtime=1182.31 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 188120 0 0 0 118162 69 0 0 25 0 4 0 731315824 825720832 149501 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=806368 CPUtime=1182.33 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 206458 0 0 0 118156 77 0 0 25 0 4 0 731315824 825720832 149501 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4717.27
Current children cumulated vsize (KiB) 806368



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.11 s]
/proc/loadavg: 7.78 7.88 5.85 5/318 18420
/proc/meminfo: memFree=15081632/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=753304 CPUtime=4800.33 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 648426 0 0 0 479795 238 0 0 25 0 4 0 731315823 771383296 150783 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 188326 150783 379 95 0 183308 0
[pid=18383/tid=18384] ppid=18381 vsize=753304 CPUtime=1190.89 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 105671 0 0 0 119055 34 0 0 25 0 4 0 731315824 771383296 150785 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=753304 CPUtime=1203.13 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 189521 0 0 0 120243 70 0 0 25 0 4 0 731315824 771383296 150785 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=753304 CPUtime=1203.15 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 208968 0 0 0 120237 78 0 0 25 0 4 0 731315824 771383296 150785 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 753304

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

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

[startup+1203.11 s]
/proc/loadavg: 7.78 7.88 5.85 5/318 18420
/proc/meminfo: memFree=15081632/32950928 swapFree=67085488/67111528
[pid=18383] ppid=18381 vsize=753304 CPUtime=4800.33 cores=0,2,4,6
/proc/18383/stat : 18383 (strangenight2-m) R 18381 18383 18342 0 -1 4202496 648426 0 0 0 479795 238 0 0 25 0 4 0 731315823 771383296 150783 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294533 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/18383/statm: 188326 150783 379 95 0 183308 0
[pid=18383/tid=18384] ppid=18381 vsize=753304 CPUtime=1190.89 cores=0,2,4,6
/proc/18383/task/18384/stat : 18384 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 105671 0 0 0 119055 34 0 0 25 0 4 0 731315824 771383296 150785 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=18383/tid=18385] ppid=18381 vsize=753304 CPUtime=1203.13 cores=0,2,4,6
/proc/18383/task/18385/stat : 18385 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 189521 0 0 0 120243 70 0 0 25 0 4 0 731315824 771383296 150785 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=18383/tid=18386] ppid=18381 vsize=753304 CPUtime=1203.15 cores=0,2,4,6
/proc/18383/task/18386/stat : 18386 (strangenight2-m) R 18381 18383 18342 0 -1 4202560 208968 0 0 0 120237 78 0 0 25 0 4 0 731315824 771383296 150785 33554432000 4194304 4580107 140736118898240 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 4800.33
Current children cumulated vsize (KiB) 753304

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.16
CPU time (s): 4800.41
CPU user time (s): 4797.99
CPU system time (s): 2.41163
CPU usage (%): 398.983
Max. virtual memory (cumulated for all children) (KiB): 870932

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4797.99
system time used= 2.41163
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 648429
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= 361
involuntary context switches= 21140

runsolver used 3.36249 second user time and 8.71467 second system time

The end

Launcher Data 

Begin job on node114 at 2011-05-15 00:07:31
IDJOB=3366636
IDBENCH=83045
IDSOLVER=1844
FILE ID=node114/3366636-1305410851
RUNJOBID= node114-1305410849-18360
PBS_JOBID= 13324529
Free space on /tmp= 72976 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT11/random/medium/unif-k3-r4.26-v650-c2769-S466707249-079.SATISFIABLE.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3366636-1305410851/watcher-3366636-1305410851 -o /tmp/evaluation-result-3366636-1305410851/solver-3366636-1305410851 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3366636-1305410851.cnf

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

MD5SUM BENCH= 5668e95cadc5ec51544c425c57e1c075
RANDOM SEED=1106751146

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.848
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:      15677260 kB
Buffers:        277300 kB
Cached:        6223288 kB
SwapCached:         96 kB
Active:       11899040 kB
Inactive:      4963996 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      15677260 kB
SwapTotal:    67111528 kB
SwapFree:     67085488 kB
Dirty:           10932 kB
Writeback:           0 kB
AnonPages:    10361588 kB
Mapped:          26620 kB
Slab:           306848 kB
PageTables:      37076 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 52525392 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= 72968 MiB
End job on node114 at 2011-05-15 00:27:37