Trace number 3369622

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-1-mt (fixed)? (TO) 4800.27 1202.25

General information on the benchmark

NameSAT03/industrial/kukula/addm_bench/
am_7_7.shuffled-as.sat03-363.cnf
MD5SUMc7f51e1ee7556440ab29e1c4bfe29538
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables4264
Number of clauses14751
Sum of the clauses size40035
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 24214
Number of clauses of size 310535
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 2.9.0
0.00/0.00	c compiled with gcc version 4.4.5
0.00/0.00	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.00	c Reading file 'HOME/instance-3369622-1305415880.cnf'
0.00/0.00	c -- header says num vars:           4264
0.00/0.00	c -- header says num clauses:       14751
0.00/0.85	c -- clauses added:            0 learnts,        14751 normals,            0 xors
0.00/0.85	c -- vars added       4264
0.00/0.85	c Parsing time:  0.02 s
0.00/0.85	c  N st     0         0      4264     10534      4212         0     40026         0   no data   no data  --
0.00/0.85	c asymm  cl-useful: 0/10533/10533 lits-rem:0 time: 0.35
0.00/0.85	c Flit:   170 Blit:   1223 bXBeca:    0 bXProp:  344 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
0.00/0.85	c Cleaning up after failed var search:     0.01 s 
0.00/0.85	c Replacing      344 vars Replaced     2881 lits Time:     0.00 s 
0.00/0.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.00/0.85	c subs with bin:      204  lits-rem:       136  v-fix:    0  time:  0.00 s
0.00/0.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1165 time:  0.00 s
0.00/0.85	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
0.00/0.85	c lits-rem:         0  cl-subs:       42  v-elim:    166  v-fix:    0  time:  0.02 s
0.00/0.85	c Finding binary XORs  T:     0.00 s  found:       1
0.00/0.85	c Replacing        1 vars Replaced       12 lits Time:     0.00 s 
0.00/0.85	c Finding non-binary XORs:     0.00 s (found:     493, avg size: 3.0)
0.00/0.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     2 time:   0.00
0.00/0.85	c calculated reachability. Time: 0.00
0.00/0.85	c Calc default polars -  time:   0.00 s pos:     205 undec:    3318 neg:     741
0.00/0.85	c =========================================================================================
0.00/0.85	c types(t): F = full restart, N = normal restart
0.00/0.85	c types(t): S = simplification begin/end, E = solution found
0.00/0.85	c restart types(rt): st = static, dy = dynamic
0.00/0.85	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.00/0.85	c  B st     0         0       997       914       774         0      6000         0   no data   no data  --
0.00/0.85	c Decided on static restart strategy
0.00/0.85	c  N st     8      4917       972       914      1042      4543      6000    137429   no data   no data  --
0.00/0.85	c  N st    10     11303       968       914      1284      4731      6000    105411   no data   no data  --
0.00/0.85	c Finding binary XORs  T:     0.00 s  found:       2
0.00/0.85	c Replacing       28 vars Replaced      732 lits Time:     0.00 s 
0.46/1.05	c  N st    11     17046       917       748      1254     10367      5296    349875   no data   no data  --
5.22/1.35	c  F st    12     25000       897       712      1383     12948      5118    304523   no data   no data  --
5.22/1.35	c Replacing        7 vars Replaced      208 lits Time:     0.00 s 
5.22/1.35	c  N st    12     25000       889       708      1353     12947      5072    304494   no data   no data  --
5.22/1.35	c Finding binary XORs  T:     0.00 s  found:       0
6.01/1.60	c Decided on static restart strategy
6.01/1.60	c  N st    18     30000       888       704      1394     10398      5046    250457   no data   no data  --
6.01/1.60	c  S st    18     30000       888       704      1394     10398      5046    250457   no data   no data  --
6.41/1.63	c  S st    18     30501       886       704      1402     10885      5046    262453   no data   no data  --
6.41/1.64	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
6.41/1.64	c Cache  BProp: 3 Set: 0 BXProp: 0 T: 0.00
6.41/1.67	c Flit:     8 Blit:     11 bXBeca:    0 bXProp:    5 Bins:    730 BRemL:    153 BRemN:      0 P:  0.7M T:  0.13
6.41/1.67	c Replacing        6 vars Replaced      207 lits Time:     0.00 s 
6.41/1.68	c bin-w-bin subsume rem           29 bins  time:  0.00 s
6.77/1.71	c subs with bin:      102  lits-rem:      4204  v-fix:    0  time:  0.13 s
6.77/1.72	c Subs w/ non-existent bins:      0 l-rem:   1688 v-fix:     0 done:    310 time:  0.02 s
6.77/1.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7.56/1.99	c lits-rem:       499  cl-subs:      469  v-elim:      3  v-fix:    0  time:  1.09 s
7.56/2.00	c asymm  cl-useful: 0/635/635 lits-rem:0 time: 0.03
7.56/2.00	c calculated reachability. Time: 0.00
7.56/2.00	c  N st    18     30501       857       635      1812     10328      4760    235002   no data   no data  --
9.16/2.39	c  N st    20     37613       857       635      1835     10300      4760    212403   no data   no data  --
9.16/2.40	c Finding binary XORs  T:     0.00 s  found:       0
10.76/2.78	c  N st    21     44013       857       635      1835     16637      4760    449670   no data   no data  --
11.56/2.91	c  S st    22     45751       853       635      1953      9969      4760    161125   no data   no data  --
11.56/2.94	c  S st    22     46257       853       635      1956     10471      4760    174011   no data   no data  --
11.56/2.94	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
11.56/2.94	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
11.56/2.97	c Flit:     2 Blit:      3 bXBeca:    0 bXProp:    1 Bins:    193 BRemL:    190 BRemN:      0 P:  0.7M T:  0.11
11.56/2.97	c Replacing        4 vars Replaced      110 lits Time:     0.00 s 
11.56/2.98	c bin-w-bin subsume rem           20 bins  time:  0.00 s
11.56/2.99	c subs with bin:       21  lits-rem:       452  v-fix:    0  time:  0.06 s
11.96/3.00	c Subs w/ non-existent bins:      0 l-rem:   1142 v-fix:     0 done:    735 time:  0.02 s
11.96/3.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11.96/3.09	c lits-rem:       177  cl-subs:      540  v-elim:      1  v-fix:    0  time:  0.38 s
11.96/3.09	c vivif2 --  cl tried      594 cl shrink        8 lits rem          9 time: 0.00
11.96/3.10	c vivif2 --  cl tried     9906 cl shrink     2274 lits rem       5839 time: 0.02
12.37/3.11	c asymm  cl-useful: 2/594/594 lits-rem:2 time: 0.03
12.37/3.11	c calculated reachability. Time: 0.00
12.37/3.11	c  N st    22     46257       841       594      1832      9901      4616    148095   no data   no data  --
17.18/4.37	c  N st    23     60654       841       594      1832     14606      4616    375655   no data   no data  --
17.18/4.37	c Finding binary XORs  T:     0.00 s  found:       0
19.94/5.07	c  N st    24     69386       841       594      2048     12524      4616    211001   no data   no data  --
19.94/5.07	c  S st    24     69386       841       594      2048     12524      4616    211001   no data   no data  --
20.34/5.11	c  S st    24     69888       841       594      2079     13023      4616    222318   no data   no data  --
20.34/5.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
20.34/5.11	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
20.34/5.14	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     41 BRemL:    170 BRemN:      0 P:  0.9M T:  0.12
20.34/5.15	c bin-w-bin subsume rem           32 bins  time:  0.00 s
20.34/5.17	c subs with bin:       16  lits-rem:       500  v-fix:    0  time:  0.07 s
20.34/5.17	c Subs w/ non-existent bins:      0 l-rem:    960 v-fix:     0 done:    467 time:  0.02 s
20.34/5.17	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
21.16/5.37	c lits-rem:       317  cl-subs:      103  v-elim:      0  v-fix:    0  time:  0.77 s
21.16/5.37	c vivif2 --  cl tried      588 cl shrink        0 lits rem          0 time: 0.00
21.16/5.38	c vivif2 --  cl tried    12910 cl shrink     1355 lits rem       6953 time: 0.04
21.16/5.39	c asymm  cl-useful: 9/588/588 lits-rem:31 time: 0.04
21.16/5.39	c calculated reachability. Time: 0.00
21.16/5.39	c  N st    24     69888       841       581      1925     12910      4572    211580   no data   no data  --
26.33/6.68	c  F st    25     87500       841       581      1925     18569      4572    399044   no data   no data  --
26.33/6.68	c  N st    25     87500       841       581      1925     18569      4572    399044   no data   no data  --
26.33/6.68	c Finding binary XORs  T:     0.00 s  found:       0
27.93/7.03	c Decided on static restart strategy
29.13/7.34	c  N st    32     95538       841       581      1929     26536      4572    712629   no data   no data  --
32.32/8.10	c  N st    34    104833       841       581      1932     23011      4572    532853   no data   no data  --
32.32/8.10	c  S st    34    104833       841       581      1932     23011      4572    532853   no data   no data  --
32.32/8.16	c  S st    34    105334       841       581      1949     23511      4572    549861   no data   no data  --
32.32/8.16	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
32.32/8.16	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
32.72/8.21	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:     15 BRemN:      0 P:  1.4M T:  0.18
32.72/8.23	c bin-w-bin subsume rem            1 bins  time:  0.00 s
32.72/8.28	c subs with bin:        2  lits-rem:       321  v-fix:    0  time:  0.23 s
32.72/8.29	c Subs w/ non-existent bins:      0 l-rem:   1941 v-fix:     0 done:    252 time:  0.04 s
32.72/8.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
38.73/9.78	c lits-rem:      1496  cl-subs:      362  v-elim:      0  v-fix:    0  time:  5.92 s
38.73/9.78	c vivif2 --  cl tried      580 cl shrink        0 lits rem          0 time: 0.00
39.14/9.81	c vivif2 --  cl tried    23148 cl shrink     6281 lits rem      26288 time: 0.13
39.14/9.83	c asymm  cl-useful: 5/580/580 lits-rem:11 time: 0.08
39.14/9.83	c calculated reachability. Time: 0.00
39.14/9.83	c  N st    34    105334       841       578      1945     23148      4562    509491   no data   no data  --
43.12/10.85	c  N st    35    114932       841       578      1947     18901      4562    399941   no data   no data  --
43.12/10.85	c Finding binary XORs  T:     0.00 s  found:       0
47.51/11.92	c  N st    36    129329       841       578      1970     18372      4562    303519   no data   no data  --
54.68/13.79	c  N st    37    150924       838       578      1977     23856      4562    456012   no data   no data  --
57.07/14.35	c  S st    38    158005       838       578      1981     30860      4562    692286   no data   no data  --
57.47/14.41	c  S st    38    158506       838       578      1981     31358      4562    706819   no data   no data  --
57.47/14.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
57.47/14.42	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
57.47/14.47	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:     31 BRemN:      0 P:  1.6M T:  0.20
57.47/14.50	c bin-w-bin subsume rem            2 bins  time:  0.00 s
57.87/14.56	c subs with bin:        9  lits-rem:       330  v-fix:    0  time:  0.25 s
57.87/14.56	c Subs w/ non-existent bins:      0 l-rem:    885 v-fix:     0 done:    111 time:  0.02 s
57.87/14.56	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
65.86/16.50	c lits-rem:      1461  cl-subs:     1146  v-elim:      0  v-fix:    0  time:  7.74 s
65.86/16.50	c vivif2 --  cl tried      573 cl shrink        0 lits rem          0 time: 0.00
65.86/16.55	c vivif2 --  cl tried    30181 cl shrink     9043 lits rem      35356 time: 0.18
65.86/16.57	c asymm  cl-useful: 2/573/573 lits-rem:8 time: 0.10
65.86/16.57	c calculated reachability. Time: 0.00
65.86/16.57	c  N st    38    158506       838       571      1952     30181      4527    640222   no data   no data  --
85.42/21.46	c  N st    39    207096       838       571      1952     24971      4527    419385   no data   no data  --
85.42/21.46	c Finding binary XORs  T:     0.01 s  found:       0
97.01/24.31	c  N st    40    237759       838       571      1965     35345      4527    616030   no data   no data  --
97.01/24.31	c  S st    40    237759       838       571      1965     35345      4527    616030   no data   no data  --
97.01/24.40	c  S st    40    238263       838       571      1969     35849      4527    632940   no data   no data  --
97.41/24.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
97.41/24.40	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
97.41/24.46	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     11 BRemL:      8 BRemN:      0 P:  1.9M T:  0.25
97.41/24.48	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97.80/24.52	c subs with bin:        2  lits-rem:       147  v-fix:    0  time:  0.16 s
97.80/24.53	c Subs w/ non-existent bins:      0 l-rem:   1017 v-fix:     0 done:    113 time:  0.03 s
97.80/24.53	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
105.01/26.36	c lits-rem:      2317  cl-subs:     2892  v-elim:      0  v-fix:    0  time:  7.30 s
105.01/26.36	c vivif2 --  cl tried      571 cl shrink        0 lits rem          0 time: 0.00
105.38/26.40	c vivif2 --  cl tried    32955 cl shrink     7661 lits rem      20815 time: 0.15
105.38/26.43	c asymm  cl-useful: 0/571/571 lits-rem:0 time: 0.10
105.38/26.43	c calculated reachability. Time: 0.00
105.38/26.43	c  N st    40    238263       838       571      1972     32955      4527    554745   no data   no data  --
134.53/33.75	c  F st    41    306251       838       571      1972     35241      4527    673032   no data   no data  --
134.53/33.75	c  N st    41    306251       838       571      1972     35241      4527    673032   no data   no data  --
134.53/33.75	c Finding binary XORs  T:     0.00 s  found:       0
136.93/34.31	c Decided on static restart strategy
148.12/37.20	c  N st    51    334559       837       571      2002     39528      4527    929794   no data   no data  --
157.73/39.59	c  N st    53    357394       837       571      2003     37579      4527    773882   no data   no data  --
157.73/39.59	c  S st    53    357394       837       571      2003     37579      4527    773882   no data   no data  --
158.09/39.60	c Finding binary XORs  T:     0.00 s  found:       0
158.09/39.67	c  S st    53    357902       837       570      1914     37976      4520    788594   no data   no data  --
158.09/39.67	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
158.09/39.67	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
158.49/39.73	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:      5 BRemN:      0 P:  2.0M T:  0.25
158.49/39.74	c Replacing        1 vars Replaced       31 lits Time:     0.01 s 
158.49/39.76	c bin-w-bin subsume rem            0 bins  time:  0.00 s
158.89/39.83	c subs with bin:        6  lits-rem:       145  v-fix:    0  time:  0.30 s
158.89/39.84	c Subs w/ non-existent bins:      0 l-rem:   1191 v-fix:     0 done:     88 time:  0.03 s
158.89/39.84	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
166.88/41.87	c lits-rem:      2452  cl-subs:      484  v-elim:      0  v-fix:    0  time:  8.09 s
166.88/41.87	c vivif2 --  cl tried      570 cl shrink        0 lits rem          0 time: 0.00
167.28/41.92	c vivif2 --  cl tried    37486 cl shrink     9125 lits rem      47853 time: 0.20
167.28/41.95	c asymm  cl-useful: 1/570/570 lits-rem:1 time: 0.12
167.28/41.95	c calculated reachability. Time: 0.00
167.28/41.95	c  N st    53    357902       836       570      1921     37486      4516    725425   no data   no data  --
181.25/45.49	c  N st    54    390296       836       570      1922     43952      4516   1154094   no data   no data  --
205.62/51.57	c  N st    55    438884       836       570      1923     37743      4516    705787   no data   no data  --
205.62/51.57	c Finding binary XORs  T:     0.01 s  found:       0
242.74/60.84	c  N st    56    511768       836       570      1926     51458      4516   1166637   no data   no data  --
242.74/60.84	c Finding binary XORs  T:     0.00 s  found:       0
253.12/63.41	c  N st    57    536855       836       570      1945     45698      4516    939209   no data   no data  --
253.12/63.41	c  S st    57    536855       836       570      1945     45698      4516    939209   no data   no data  --
253.52/63.51	c  S st    57    537359       836       570      1946     46201      4516    955286   no data   no data  --
253.52/63.51	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
253.52/63.51	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
253.52/63.59	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     12 BRemN:      0 P:  2.4M T:  0.31
253.93/63.62	c bin-w-bin subsume rem            0 bins  time:  0.00 s
254.35/63.71	c subs with bin:        4  lits-rem:        83  v-fix:    0  time:  0.36 s
254.35/63.72	c Subs w/ non-existent bins:      0 l-rem:   1892 v-fix:     0 done:     58 time:  0.04 s
254.35/63.72	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
263.90/66.18	c lits-rem:      1941  cl-subs:      735  v-elim:      0  v-fix:    0  time:  9.82 s
263.90/66.18	c vivif2 --  cl tried      570 cl shrink        0 lits rem          0 time: 0.00
264.30/66.24	c vivif2 --  cl tried    45462 cl shrink     9060 lits rem      43029 time: 0.24
264.30/66.28	c asymm  cl-useful: 0/570/570 lits-rem:0 time: 0.17
264.30/66.29	c calculated reachability. Time: 0.00
264.30/66.29	c  N st    57    537359       836       570      1936     45462      4516    884672   no data   no data  --
358.53/89.83	c  N st    58    701343       836       570      1937     39275      4516    585820   no data   no data  --
358.53/89.83	c Finding binary XORs  T:     0.00 s  found:       0
425.24/106.59	c  N st    59    806039       835       570      1960     68921      4516   1472397   no data   no data  --
425.24/106.59	c  S st    59    806039       835       570      1960     68921      4516   1472397   no data   no data  --
426.01/106.72	c  S st    59    806541       835       570      1964     69419      4516   1488672   no data   no data  --
426.01/106.73	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
426.01/106.73	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
426.41/106.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:     28 BRemN:      0 P:  3.3M T:  0.49
426.41/106.86	c Replacing        1 vars Replaced       29 lits Time:     0.07 s 
426.81/106.91	c bin-w-bin subsume rem            3 bins  time:  0.00 s
427.20/107.04	c subs with bin:        6  lits-rem:       109  v-fix:    0  time:  0.52 s
427.20/107.05	c Subs w/ non-existent bins:      0 l-rem:    595 v-fix:     0 done:     48 time:  0.04 s
427.20/107.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
436.78/109.45	c lits-rem:      1181  cl-subs:     1347  v-elim:      0  v-fix:    0  time:  9.56 s
436.78/109.45	c vivif2 --  cl tried      569 cl shrink        0 lits rem          0 time: 0.00
437.18/109.59	c vivif2 --  cl tried    68048 cl shrink    22166 lits rem      82175 time: 0.54
437.58/109.66	c asymm  cl-useful: 1/569/569 lits-rem:1 time: 0.28
437.58/109.66	c calculated reachability. Time: 0.00
437.58/109.66	c  N st    59    806541       834       569      1943     68048      4505   1370697   no data   no data  --
437.58/109.66	c Finding binary XORs  T:     0.00 s  found:       0
610.47/152.95	c  F st    60   1071877       834       569      1943     83469      4505   1801071   no data   no data  --
610.47/152.95	c  N st    60   1071877       834       569      1943     83469      4505   1801071   no data   no data  --
610.47/152.95	c Finding binary XORs  T:     0.01 s  found:       0
613.67/153.73	c Decided on static restart strategy
626.44/156.96	c  N st    70   1100177       834       569      1997     67538      4505   1264921   no data   no data  --
648.00/162.31	c  N st    72   1136169       834       569      1998     57959      4505   1007029   no data   no data  --
667.96/167.35	c  N st    73   1168562       834       569      1998     89848      4505   1811485   no data   no data  --
691.93/173.32	c  N st    74   1209812       834       569      1998     84452      4505   1963625   no data   no data  --
691.93/173.32	c  S st    74   1209812       834       569      1998     84452      4505   1963625   no data   no data  --
692.73/173.50	c  S st    74   1210313       834       569      1998     84952      4505   1977358   no data   no data  --
692.73/173.50	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
692.73/173.50	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
693.14/173.67	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     25 BRemL:     37 BRemN:      0 P:  4.4M T:  0.63
693.14/173.69	c Replacing        1 vars Replaced       34 lits Time:     0.09 s 
693.55/173.75	c bin-w-bin subsume rem            2 bins  time:  0.00 s
694.32/173.99	c subs with bin:       10  lits-rem:       281  v-fix:    0  time:  0.94 s
694.72/174.00	c Subs w/ non-existent bins:      0 l-rem:   1146 v-fix:     0 done:     14 time:  0.04 s
694.72/174.00	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
705.91/176.84	c lits-rem:       287  cl-subs:     1527  v-elim:      0  v-fix:    0  time: 11.34 s
705.91/176.84	c vivif2 --  cl tried      568 cl shrink        0 lits rem          0 time: 0.00
706.32/176.99	c vivif2 --  cl tried    83408 cl shrink    21633 lits rem     151341 time: 0.60
706.73/177.08	c asymm  cl-useful: 0/568/568 lits-rem:0 time: 0.38
706.73/177.09	c calculated reachability. Time: 0.00
706.73/177.09	c  N st    74   1210313       832       568      1958     83408      4495   1773938   no data   no data  --
706.73/177.09	c Finding binary XORs  T:     0.00 s  found:       0
760.20/190.41	c  N st    75   1283195       832       568      1958     59640      4495    983640   no data   no data  --
830.07/207.94	c  N st    76   1392519       831       568      1959     67429      4495   1068995   no data   no data  --
960.25/240.53	c  N st    77   1556503       831       568      1968     72993      4495   1320388   no data   no data  --
960.25/240.54	c Finding binary XORs  T:     0.01 s  found:       0
1059.27/265.38	c  N st    78   1710313       831       558      1958    115196      4447   2759301   no data   no data  --
1059.27/265.38	c  S st    78   1710313       831       558      1958    115196      4447   2759301   no data   no data  --
1061.26/265.86	c  S st    78   1710817       831       558      1962     59482      4447    820378   no data   no data  --
1061.26/265.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      2 locsubst:     0 time:   0.02
1061.26/265.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1061.66/265.96	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      6 BRemN:      0 P:  3.0M T:  0.40
1061.66/265.99	c bin-w-bin subsume rem            1 bins  time:  0.00 s
1062.08/266.04	c subs with bin:        2  lits-rem:       419  v-fix:    0  time:  0.18 s
1062.08/266.04	c Subs w/ non-existent bins:      0 l-rem:    304 v-fix:     0 done:    228 time:  0.02 s
1062.08/266.04	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1069.25/267.88	c lits-rem:      2567  cl-subs:      703  v-elim:      2  v-fix:    0  time:  7.32 s
1069.25/267.88	c vivif2 --  cl tried      558 cl shrink        0 lits rem          0 time: 0.00
1069.65/267.91	c vivif2 --  cl tried    58327 cl shrink     2033 lits rem       4669 time: 0.14
1069.65/267.96	c asymm  cl-useful: 0/558/558 lits-rem:0 time: 0.21
1069.65/267.97	c calculated reachability. Time: 0.00
1069.65/267.97	c  N st    78   1710817       827       558      1940     58327      4435    786137   no data   no data  --
1369.94/343.15	c  N st    79   2079781       827       558      1940    126731      4435   3230561   no data   no data  --
1473.73/369.11	c  N st    80   2210817       827       558      1946    130453      4435   3223851   no data   no data  --
1473.73/369.11	c  S st    80   2210817       827       558      1946    130453      4435   3223851   no data   no data  --
1473.73/369.17	c Finding binary XORs  T:     0.01 s  found:       0
1474.94/369.43	c  S st    80   2211318       826       554      1934    124288      4409   3045145   no data   no data  --
1474.94/369.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
1474.94/369.44	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
1475.72/369.69	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      4 BRemN:      0 P:  6.0M T:  1.00
1476.12/369.79	c bin-w-bin subsume rem            2 bins  time:  0.00 s
1478.12/370.20	c subs with bin:       75  lits-rem:       551  v-fix:    0  time:  1.66 s
1478.12/370.27	c Subs w/ non-existent bins:      0 l-rem:   4339 v-fix:     0 done:     48 time:  0.27 s
1478.12/370.27	c Removed useless bin:       1  fixed:     0  props:   0.01M  time:  0.00 s
1589.14/398.01	c lits-rem:       891  cl-subs:     7911  v-elim:      0  v-fix:    0  time: 110.71 s
1589.14/398.01	c vivif2 --  cl tried      553 cl shrink        0 lits rem          0 time: 0.00
1589.91/398.28	c vivif2 --  cl tried   116303 cl shrink    35165 lits rem     254471 time: 1.06
1590.71/398.41	c asymm  cl-useful: 0/553/553 lits-rem:0 time: 0.53
1590.71/398.42	c calculated reachability. Time: 0.00
1590.71/398.42	c  N st    80   2211318       826       553      1928    116303      4406   2606460   no data   no data  --
2083.83/521.91	c  N st    81   2711318       826       553      1936     76125      4406   1107522   no data   no data  --
2083.83/521.91	c  S st    81   2711318       826       553      1936     76125      4406   1107522   no data   no data  --
2083.83/521.91	c Finding binary XORs  T:     0.00 s  found:       0
2084.23/522.09	c  S st    81   2711823       826       553      1945     76628      4406   1124513   no data   no data  --
2084.63/522.10	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
2084.63/522.10	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2085.03/522.24	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     42 BRemL:      4 BRemN:      0 P:  3.8M T:  0.56
2085.03/522.28	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2085.44/522.36	c subs with bin:      170  lits-rem:       163  v-fix:    0  time:  0.34 s
2085.44/522.37	c Subs w/ non-existent bins:      0 l-rem:    337 v-fix:     0 done:     88 time:  0.02 s
2085.44/522.37	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2090.61/523.63	c lits-rem:       847  cl-subs:      309  v-elim:      0  v-fix:    0  time:  5.04 s
2090.61/523.63	c vivif2 --  cl tried      553 cl shrink        0 lits rem          0 time: 0.00
2090.61/523.69	c vivif2 --  cl tried    76149 cl shrink     3163 lits rem      12659 time: 0.21
2091.01/523.76	c asymm  cl-useful: 0/553/553 lits-rem:0 time: 0.29
2091.01/523.76	c calculated reachability. Time: 0.00
2091.01/523.76	c  N st    81   2711823       826       553      1984     76149      4406   1103703   no data   no data  --
2590.54/648.90	c  N st    82   3211826       826       553      1984    122445      4406   2920012   no data   no data  --
2590.54/648.90	c  S st    82   3211826       826       553      1984    122445      4406   2920012   no data   no data  --
2590.54/648.90	c Finding binary XORs  T:     0.00 s  found:       0
2591.72/649.13	c  S st    82   3212334       826       553      1986    122952      4406   2935000   no data   no data  --
2591.72/649.14	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
2591.72/649.14	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
2592.52/649.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.1M T:  0.85
2592.92/649.45	c bin-w-bin subsume rem            1 bins  time:  0.00 s
2594.12/649.77	c subs with bin:        1  lits-rem:        18  v-fix:    0  time:  1.27 s
2594.52/649.80	c Subs w/ non-existent bins:      0 l-rem:   3623 v-fix:     0 done:     10 time:  0.13 s
2594.52/649.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2634.05/659.74	c lits-rem:      1421  cl-subs:     3824  v-elim:      0  v-fix:    0  time: 39.65 s
2634.05/659.74	c vivif2 --  cl tried      553 cl shrink        0 lits rem          0 time: 0.00
2635.23/660.02	c vivif2 --  cl tried   119127 cl shrink    32723 lits rem     113393 time: 1.10
2636.03/660.22	c asymm  cl-useful: 0/553/553 lits-rem:0 time: 0.80
2636.03/660.22	c calculated reachability. Time: 0.00
2636.03/660.22	c  N st    82   3212334       826       553      1985    119127      4406   2718650   no data   no data  --
3132.34/784.57	c  N st    83   3712335       826       553      1987    130097      4406   2388840   no data   no data  --
3132.34/784.57	c  S st    83   3712335       826       553      1987    130097      4406   2388840   no data   no data  --
3133.55/784.85	c  S st    83   3712838       826       553      1989    130599      4406   2404421   no data   no data  --
3133.55/784.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3133.55/784.86	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3134.75/785.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      7 BRemN:      0 P:  5.3M T:  0.94
3134.75/785.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3135.57/785.34	c subs with bin:       33  lits-rem:         8  v-fix:    0  time:  0.63 s
3135.57/785.35	c Subs w/ non-existent bins:      0 l-rem:   1168 v-fix:     0 done:     38 time:  0.06 s
3135.57/785.35	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3176.66/795.65	c lits-rem:      1307  cl-subs:     4792  v-elim:      0  v-fix:    0  time: 41.09 s
3176.66/795.65	c vivif2 --  cl tried      553 cl shrink        0 lits rem          0 time: 0.00
3177.46/795.84	c vivif2 --  cl tried   125774 cl shrink    17371 lits rem      40058 time: 0.76
3178.26/796.00	c asymm  cl-useful: 0/553/553 lits-rem:0 time: 0.65
3178.26/796.01	c calculated reachability. Time: 0.00
3178.26/796.01	c  N st    83   3712838       826       553      1983    125774      4406   2228980   no data   no data  --
3216.20/805.54	c  F st    84   3751567       826       553      1983    164057      4406   3652727   no data   no data  --
3216.20/805.54	c  N st    84   3751567       826       553      1983    164057      4406   3652727   no data   no data  --
3222.59/807.13	c Decided on static restart strategy
3242.15/812.05	c  N st    94   3779875       826       553      1986    108233      4406   1924509   no data   no data  --
3250.53/814.15	c Finding binary XORs  T:     0.01 s  found:       0
3271.72/819.47	c  N st    96   3815868       825       552      1902    142129      4399   3173779   no data   no data  --
3293.69/824.93	c  N st    97   3848260       825       552      1902     89921      4399   1302825   no data   no data  --
3339.17/836.33	c  N st    98   3896848       825       552      1902    138315      4399   3555253   no data   no data  --
3407.88/853.51	c  N st    99   3969731       825       552      1903    124739      4399   2358393   no data   no data  --
3524.05/882.66	c  N st   100   4079054       825       552      1903    145224      4399   2830524   no data   no data  --
3667.78/918.62	c  N st   101   4212838       825       552      1903    101619      4399   1646580   no data   no data  --
3667.78/918.62	c  S st   101   4212838       825       552      1903    101619      4399   1646580   no data   no data  --
3668.58/918.83	c  S st   101   4213338       825       552      1906    102119      4399   1663214   no data   no data  --
3668.58/918.84	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
3668.58/918.84	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
3669.38/919.03	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     10 BRemN:      0 P:  5.0M T:  0.77
3669.38/919.05	c Replacing        1 vars Replaced      117 lits Time:     0.04 s 
3669.78/919.10	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3670.18/919.28	c subs with bin:      211  lits-rem:       340  v-fix:    0  time:  0.72 s
3670.18/919.29	c Subs w/ non-existent bins:      0 l-rem:   1062 v-fix:     0 done:    147 time:  0.04 s
3670.18/919.29	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
3678.57/921.34	c lits-rem:       398  cl-subs:      920  v-elim:      0  v-fix:    0  time:  8.18 s
3678.57/921.34	c vivif2 --  cl tried      552 cl shrink        0 lits rem          0 time: 0.00
3678.97/921.43	c vivif2 --  cl tried   100988 cl shrink     6322 lits rem      25184 time: 0.34
3679.37/921.54	c asymm  cl-useful: 0/552/552 lits-rem:0 time: 0.43
3679.37/921.54	c calculated reachability. Time: 0.00
3679.37/921.54	c  N st   101   4213338       824       552      1896    100988      4396   1599204   no data   no data  --
3955.67/990.79	c  N st   102   4459314       824       552      1896    161750      4396   3334539   no data   no data  --
4221.19/1057.22	c  N st   103   4713338       824       552      1900    134799      4396   2499094   no data   no data  --
4221.19/1057.22	c  S st   103   4713338       824       552      1900    134799      4396   2499094   no data   no data  --
4222.39/1057.56	c  S st   103   4713840       824       552      1901    135300      4396   2514846   no data   no data  --
4222.39/1057.58	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
4222.39/1057.58	c Cache  BProp: 0 Set: 0 BXProp: 0 T: 0.00
4223.99/1057.95	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  6.7M T:  1.47
4224.41/1058.04	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4225.19/1058.27	c subs with bin:        0  lits-rem:        19  v-fix:    0  time:  0.89 s
4225.19/1058.28	c Subs w/ non-existent bins:      0 l-rem:    799 v-fix:     0 done:     33 time:  0.06 s
4225.19/1058.28	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4275.50/1070.85	c lits-rem:       550  cl-subs:     7190  v-elim:      0  v-fix:    0  time: 50.18 s
4275.50/1070.85	c vivif2 --  cl tried      552 cl shrink        0 lits rem          0 time: 0.00
4276.30/1071.04	c vivif2 --  cl tried   128110 cl shrink    17945 lits rem      46698 time: 0.74
4276.70/1071.19	c asymm  cl-useful: 0/552/552 lits-rem:0 time: 0.62
4276.70/1071.19	c calculated reachability. Time: 0.00
4276.70/1071.19	c  N st   103   4713840       824       552      1899    128110      4396   2277484   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-3369622-1305415880/watcher-3369622-1305415880 -o /tmp/evaluation-result-3369622-1305415880/solver-3369622-1305415880 -C 4800 -W 1300 -M 15500 ./strangenight1-mt --threads=4 HOME/instance-3369622-1305415880.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.20 8.04 7.78 2/235 9516
/proc/meminfo: memFree=24301584/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 653188738 52465664 352 33554432000 4194304 4650419 140733714943056 18446744073709551615 47858174764978 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 12809 352 303 112 0 7774 0
[pid=9516/tid=9517] ppid=9514 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653188738 52465664 357 33554432000 4194304 4650419 140733714943056 18446744073709551615 47858174764972 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653188738 52465664 357 33554432000 4194304 4650419 140733714943056 18446744073709551615 47858174764569 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=51236 CPUtime=0 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 653188738 52465664 357 33554432000 4194304 4650419 140733714943056 18446744073709551615 47858174764569 0 0 4096 2 0 0 0 -1 1 0 0 0

[startup+0.106216 s]
/proc/loadavg: 8.20 8.04 7.78 2/235 9516
/proc/meminfo: memFree=24301584/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=287376 CPUtime=0.46 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) D 9514 9516 8848 0 -1 4202496 3935 0 0 0 45 1 0 0 18 0 4 0 653188738 294273024 3258 33554432000 4194304 4650419 140733714943056 18446744073709551615 222921437893 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 71932 3533 384 112 0 66897 0
[pid=9516/tid=9517] ppid=9514 vsize=289748 CPUtime=0.71 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) D 9514 9516 8848 0 -1 4202560 1800 0 0 0 71 0 0 0 18 0 4 0 653188738 296701952 5394 33554432000 4194304 4650419 140733714943056 18446744073709551615 4520322 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=281380 CPUtime=1 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2210 0 0 0 100 0 0 0 19 0 4 0 653188738 288133120 5716 33554432000 4194304 4650419 140733714943056 18446744073709551615 4315110 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=281380 CPUtime=0.99 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 1872 0 0 0 99 0 0 0 19 0 4 0 653188738 288133120 5716 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 287376

[startup+1.11224 s]
/proc/loadavg: 8.20 8.04 7.78 2/235 9516
/proc/meminfo: memFree=24301584/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=281664 CPUtime=4.42 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 9327 0 0 0 440 2 0 0 19 0 4 0 653188738 288423936 5882 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365343 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 70416 5882 395 112 0 65381 0
[pid=9516/tid=9517] ppid=9514 vsize=281664 CPUtime=1.09 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2188 0 0 0 109 0 0 0 19 0 4 0 653188738 288423936 5882 33554432000 4194304 4650419 140733714943056 18446744073709551615 4333308 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=281664 CPUtime=1.1 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2294 0 0 0 110 0 0 0 19 0 4 0 653188738 288423936 5882 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=281664 CPUtime=1.09 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2061 0 0 0 109 0 0 0 19 0 4 0 653188738 288423936 5882 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363444 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.42
Current children cumulated vsize (KiB) 281664

[startup+1.21222 s]
/proc/loadavg: 8.20 8.04 7.78 2/235 9516
/proc/meminfo: memFree=24301584/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=281664 CPUtime=4.82 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 9617 0 0 0 480 2 0 0 19 0 4 0 653188738 288423936 6172 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363994 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 70416 6172 395 112 0 65381 0
[pid=9516/tid=9517] ppid=9514 vsize=281664 CPUtime=1.19 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2262 0 0 0 119 0 0 0 19 0 4 0 653188738 288423936 6172 33554432000 4194304 4650419 140733714943056 18446744073709551615 4328474 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=281664 CPUtime=1.2 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2362 0 0 0 120 0 0 0 19 0 4 0 653188738 288423936 6172 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366816 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=281664 CPUtime=1.19 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2147 0 0 0 119 0 0 0 19 0 4 0 653188738 288423936 6172 33554432000 4194304 4650419 140733714943056 18446744073709551615 4315024 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 4.82
Current children cumulated vsize (KiB) 281664

[startup+1.3122 s]
/proc/loadavg: 8.20 8.04 7.78 2/235 9516
/proc/meminfo: memFree=24301584/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=281908 CPUtime=5.22 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 9889 0 0 0 520 2 0 0 19 0 4 0 653188738 288673792 6444 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365321 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 70477 6444 395 112 0 65442 0
[pid=9516/tid=9517] ppid=9514 vsize=281908 CPUtime=1.29 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2325 0 0 0 129 0 0 0 19 0 4 0 653188738 288673792 6444 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363420 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=281908 CPUtime=1.3 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2414 0 0 0 130 0 0 0 19 0 4 0 653188738 288673792 6444 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365357 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=281908 CPUtime=1.29 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2215 0 0 0 129 0 0 0 19 0 4 0 653188738 288673792 6444 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364402 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.22
Current children cumulated vsize (KiB) 281908

[startup+1.51217 s]
/proc/loadavg: 8.20 8.04 7.78 2/235 9516
/proc/meminfo: memFree=24301584/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=282244 CPUtime=6.01 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 10848 0 0 0 599 2 0 0 19 0 4 0 653188738 289017856 6151 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 70561 6151 395 112 0 65526 0
[pid=9516/tid=9517] ppid=9514 vsize=282244 CPUtime=1.49 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2608 0 0 0 149 0 0 0 19 0 4 0 653188738 289017856 6151 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365223 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=282244 CPUtime=1.49 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2699 0 0 0 149 0 0 0 20 0 4 0 653188738 289017856 6151 33554432000 4194304 4650419 140733714943056 18446744073709551615 4333403 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=282244 CPUtime=1.49 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 2319 0 0 0 149 0 0 0 20 0 4 0 653188738 289017856 6151 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 6.01
Current children cumulated vsize (KiB) 282244

[startup+3.10088 s]
/proc/loadavg: 8.42 8.09 7.79 9/245 9529
/proc/meminfo: memFree=24069072/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=289692 CPUtime=12.37 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 21513 0 0 0 1234 3 0 0 25 0 4 0 653188738 296644608 14306 33554432000 4194304 4650419 140733714943056 18446744073709551615 4520364 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 72423 14306 395 112 0 67388 0
[pid=9516/tid=9517] ppid=9514 vsize=289692 CPUtime=3.07 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 5018 0 0 0 307 0 0 0 25 0 4 0 653188738 296644608 14326 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365321 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=289692 CPUtime=3.1 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 5985 0 0 0 309 1 0 0 25 0 4 0 653188738 296644608 14326 33554432000 4194304 4650419 140733714943056 18446744073709551615 4476502 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=289692 CPUtime=3.09 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 4533 0 0 0 309 0 0 0 25 0 4 0 653188738 296644608 14326 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366828 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 289692

[startup+6.3003 s]
/proc/loadavg: 8.42 8.09 7.79 9/245 9529
/proc/meminfo: memFree=24057060/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=291792 CPUtime=25.14 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 30448 0 0 0 2509 5 0 0 25 0 4 0 653188738 298795008 18499 33554432000 4194304 4650419 140733714943056 18446744073709551615 4333937 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 72948 18499 395 112 0 67913 0
[pid=9516/tid=9517] ppid=9514 vsize=291792 CPUtime=6.25 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 8173 0 0 0 624 1 0 0 25 0 4 0 653188738 298795008 18499 33554432000 4194304 4650419 140733714943056 18446744073709551615 4476356 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=291792 CPUtime=6.29 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 7888 0 0 0 628 1 0 0 25 0 4 0 653188738 298795008 18499 33554432000 4194304 4650419 140733714943056 18446744073709551615 4331944 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=291792 CPUtime=6.28 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 5965 0 0 0 628 0 0 0 25 0 4 0 653188738 298795008 18499 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 291792

[startup+12.7011 s]
/proc/loadavg: 8.43 8.10 7.80 9/245 9529
/proc/meminfo: memFree=24039332/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=290608 CPUtime=50.69 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 46235 0 0 0 5061 8 0 0 25 0 4 0 653188738 297582592 22989 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 72652 22989 395 112 0 67617 0
[pid=9516/tid=9517] ppid=9514 vsize=290608 CPUtime=12.6 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 12677 0 0 0 1258 2 0 0 25 0 4 0 653188738 297582592 22989 33554432000 4194304 4650419 140733714943056 18446744073709551615 4438643 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=290608 CPUtime=12.69 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 11903 0 0 0 1268 1 0 0 25 0 4 0 653188738 297582592 22990 33554432000 4194304 4650419 140733714943056 18446744073709551615 4520364 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=290608 CPUtime=12.68 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 8071 0 0 0 1267 1 0 0 25 0 4 0 653188738 297582592 22990 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 50.69
Current children cumulated vsize (KiB) 290608

[startup+25.5008 s]
/proc/loadavg: 8.36 8.10 7.80 9/245 9530
/proc/meminfo: memFree=23963544/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=303440 CPUtime=101.79 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 71856 0 0 0 10165 14 0 0 25 0 4 0 653188738 310722560 37190 33554432000 4194304 4650419 140733714943056 18446744073709551615 4439103 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 75860 37190 395 112 0 70825 0
[pid=9516/tid=9517] ppid=9514 vsize=303440 CPUtime=25.31 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 19634 0 0 0 2527 4 0 0 25 0 4 0 653188738 310722560 37190 33554432000 4194304 4650419 140733714943056 18446744073709551615 4371088 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=303440 CPUtime=25.48 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 17268 0 0 0 2546 2 0 0 25 0 4 0 653188738 310722560 37190 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=303440 CPUtime=25.49 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 13629 0 0 0 2547 2 0 0 25 0 4 0 653188738 310722560 37190 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 303440

[startup+51.1011 s]
/proc/loadavg: 8.30 8.11 7.81 9/245 9530
/proc/meminfo: memFree=23402016/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=374432 CPUtime=204.01 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 113497 0 0 0 20377 24 0 0 25 0 4 0 653188738 383418368 42528 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366923 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 93608 42528 395 112 0 88573 0
[pid=9516/tid=9517] ppid=9514 vsize=374432 CPUtime=50.72 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 28758 0 0 0 5066 6 0 0 25 0 4 0 653188738 383418368 42528 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365330 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=374432 CPUtime=51.09 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 31436 0 0 0 5103 6 0 0 25 0 4 0 653188738 383418368 42528 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366845 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=374432 CPUtime=51.08 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 19892 0 0 0 5105 3 0 0 25 0 4 0 653188738 383418368 42528 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366956 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 204.01
Current children cumulated vsize (KiB) 374432

[startup+102.301 s]
/proc/loadavg: 8.22 8.12 7.83 9/245 9532
/proc/meminfo: memFree=23093564/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=384012 CPUtime=408.44 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 175525 0 0 0 40799 45 0 0 25 0 4 0 653188738 393228288 46317 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364503 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 96003 46317 395 112 0 90968 0
[pid=9516/tid=9517] ppid=9514 vsize=384012 CPUtime=101.55 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 40594 0 0 0 10145 10 0 0 25 0 4 0 653188738 393228288 46317 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366923 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=384012 CPUtime=102.29 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 52655 0 0 0 10216 13 0 0 25 0 4 0 653188738 393228288 46317 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=384012 CPUtime=102.29 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 28359 0 0 0 10222 7 0 0 25 0 4 0 653188738 393228288 46317 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366869 0 0 4096 2 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 408.44
Current children cumulated vsize (KiB) 384012

[startup+162.301 s]

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

[pid=9516] ppid=9514 vsize=729468 CPUtime=2564.59 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 624782 0 0 0 256256 203 0 0 25 0 4 0 653188738 746975232 116150 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365289 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 182367 116150 395 112 0 177332 0
[pid=9516/tid=9517] ppid=9514 vsize=729468 CPUtime=641.2 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 139022 0 0 0 64076 44 0 0 25 0 4 0 653188738 746975232 116150 33554432000 4194304 4650419 140733714943056 18446744073709551615 4432392 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=729468 CPUtime=642.31 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 195838 0 0 0 64171 60 0 0 25 0 4 0 653188738 746975232 116150 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363416 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=729468 CPUtime=638.74 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 95226 0 0 0 63842 32 0 0 25 0 4 0 653188738 746975232 116150 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363600 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2564.59
Current children cumulated vsize (KiB) 729468

[startup+702.301 s]
/proc/loadavg: 8.13 8.10 7.94 9/245 9548
/proc/meminfo: memFree=22108376/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=704552 CPUtime=2804.14 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 671134 0 0 0 280191 223 0 0 25 0 4 0 653188738 721461248 134349 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363432 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 176138 134349 395 112 0 171103 0
[pid=9516/tid=9517] ppid=9514 vsize=704552 CPUtime=701.2 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 148793 0 0 0 70070 50 0 0 25 0 4 0 653188738 721461248 134349 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364762 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=704552 CPUtime=702.31 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 211250 0 0 0 70166 65 0 0 25 0 4 0 653188738 721461248 134349 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363435 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=704552 CPUtime=698.3 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 99590 0 0 0 69796 34 0 0 25 0 4 0 653188738 721461248 134349 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364792 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 2804.14
Current children cumulated vsize (KiB) 704552

[startup+762.301 s]
/proc/loadavg: 8.13 8.11 7.95 9/245 9549
/proc/meminfo: memFree=22056264/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=780124 CPUtime=3043.71 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 701834 0 0 0 304136 235 0 0 25 0 4 0 653188738 798846976 135056 33554432000 4194304 4650419 140733714943056 18446744073709551615 4328259 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 195031 135056 395 112 0 189996 0
[pid=9516/tid=9517] ppid=9514 vsize=780124 CPUtime=761.19 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 153139 0 0 0 76068 51 0 0 25 0 4 0 653188738 798846976 135056 33554432000 4194304 4650419 140733714943056 18446744073709551615 4360517 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=780124 CPUtime=762.31 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 223805 0 0 0 76162 69 0 0 25 0 4 0 653188738 798846976 135056 33554432000 4194304 4650419 140733714943056 18446744073709551615 4313315 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=780124 CPUtime=757.86 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 103840 0 0 0 75751 35 0 0 25 0 4 0 653188738 798846976 135056 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365337 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3043.71
Current children cumulated vsize (KiB) 780124

[startup+822.301 s]
/proc/loadavg: 8.20 8.13 7.97 9/245 9551
/proc/meminfo: memFree=21954420/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=781892 CPUtime=3283.28 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 735517 0 0 0 328079 249 0 0 25 0 4 0 653188738 800657408 136137 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364785 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 195473 136137 395 112 0 190438 0
[pid=9516/tid=9517] ppid=9514 vsize=781892 CPUtime=821.2 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 157611 0 0 0 82067 53 0 0 25 0 4 0 653188738 800657408 136137 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=781892 CPUtime=822.31 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 239080 0 0 0 82156 75 0 0 25 0 4 0 653188738 800657408 136137 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=781892 CPUtime=817.43 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 107466 0 0 0 81706 37 0 0 25 0 4 0 653188738 800657408 136137 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364777 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3283.28
Current children cumulated vsize (KiB) 781892

[startup+882.301 s]
/proc/loadavg: 8.15 8.12 7.97 9/245 9553
/proc/meminfo: memFree=21941256/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=782560 CPUtime=3522.85 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 759429 0 0 0 352026 259 0 0 25 0 4 0 653188738 801341440 136244 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363426 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 195640 136244 395 112 0 190605 0
[pid=9516/tid=9517] ppid=9514 vsize=782560 CPUtime=881.2 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 164570 0 0 0 88065 55 0 0 25 0 4 0 653188738 801341440 136244 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366839 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=782560 CPUtime=882.31 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 250443 0 0 0 88151 80 0 0 25 0 4 0 653188738 801341440 136244 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365242 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=782560 CPUtime=877 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 111151 0 0 0 87661 39 0 0 25 0 4 0 653188738 801341440 136244 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364785 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3522.85
Current children cumulated vsize (KiB) 782560

[startup+942.301 s]
/proc/loadavg: 8.12 8.11 7.98 9/245 9554
/proc/meminfo: memFree=21883820/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=867252 CPUtime=3762.42 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 792231 0 0 0 375972 270 0 0 25 0 4 0 653188738 888066048 148802 33554432000 4194304 4650419 140733714943056 18446744073709551615 4367232 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 216813 148802 396 112 0 211778 0
[pid=9516/tid=9517] ppid=9514 vsize=867252 CPUtime=941.21 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 171693 0 0 0 94062 59 0 0 25 0 4 0 653188738 888066048 148802 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365246 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=867252 CPUtime=942.31 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 268211 0 0 0 94146 85 0 0 25 0 4 0 653188738 888066048 148802 33554432000 4194304 4650419 140733714943056 18446744073709551615 4433087 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=867252 CPUtime=936.57 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 115024 0 0 0 93616 41 0 0 25 0 4 0 653188738 888066048 148802 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364772 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3762.42
Current children cumulated vsize (KiB) 867252

[startup+1002.3 s]
/proc/loadavg: 8.15 8.12 7.99 9/245 9556
/proc/meminfo: memFree=21465536/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=851728 CPUtime=4001.99 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 909379 0 0 0 399900 299 0 0 25 0 4 0 653188738 872169472 154851 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365308 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 212932 154851 395 112 0 207897 0
[pid=9516/tid=9517] ppid=9514 vsize=851728 CPUtime=1001.2 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 181220 0 0 0 100057 63 0 0 25 0 4 0 653188738 872169472 154851 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364775 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=851728 CPUtime=1002.32 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 363096 0 0 0 100131 101 0 0 25 0 4 0 653188738 872169472 154851 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=851728 CPUtime=996.12 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 119055 0 0 0 99568 44 0 0 25 0 4 0 653188738 872169472 154851 33554432000 4194304 4650419 140733714943056 18446744073709551615 4363335 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4001.99
Current children cumulated vsize (KiB) 851728

[startup+1062.3 s]
/proc/loadavg: 8.15 8.12 8.00 9/245 9557
/proc/meminfo: memFree=21454084/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=851900 CPUtime=4241.56 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 939395 0 0 0 423846 310 0 0 25 0 4 0 653188738 872345600 161572 33554432000 4194304 4650419 140733714943056 18446744073709551615 4432392 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 212975 161572 395 112 0 207940 0
[pid=9516/tid=9517] ppid=9514 vsize=851900 CPUtime=1061.21 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 186660 0 0 0 106055 66 0 0 25 0 4 0 653188738 872345600 161572 33554432000 4194304 4650419 140733714943056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=851900 CPUtime=1062.32 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 373604 0 0 0 106127 105 0 0 25 0 4 0 653188738 872345600 161572 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=851900 CPUtime=1055.7 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 123045 0 0 0 105524 46 0 0 25 0 4 0 653188738 872345600 161572 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4241.56
Current children cumulated vsize (KiB) 851900

[startup+1122.3 s]
/proc/loadavg: 8.14 8.13 8.00 9/245 9559
/proc/meminfo: memFree=21323860/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=915840 CPUtime=4481.13 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 971117 0 0 0 447789 324 0 0 25 0 4 0 653188738 937820160 165420 33554432000 4194304 4650419 140733714943056 18446744073709551615 4331084 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 228960 165420 395 112 0 223925 0
[pid=9516/tid=9517] ppid=9514 vsize=915840 CPUtime=1121.2 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 196455 0 0 0 112051 69 0 0 25 0 4 0 653188738 937820160 165420 33554432000 4194304 4650419 140733714943056 18446744073709551615 4364751 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=915840 CPUtime=1122.32 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 381239 0 0 0 112124 108 0 0 25 0 4 0 653188738 937820160 165420 33554432000 4194304 4650419 140733714943056 18446744073709551615 4333632 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=915840 CPUtime=1115.25 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 127728 0 0 0 111477 48 0 0 25 0 4 0 653188738 937820160 165420 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365192 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4481.13
Current children cumulated vsize (KiB) 915840

[startup+1182.3 s]
/proc/loadavg: 8.21 8.15 8.01 9/245 9561
/proc/meminfo: memFree=21412244/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=969632 CPUtime=4720.72 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 1059378 0 0 0 471729 343 0 0 25 0 4 0 653188738 992903168 170144 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366828 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 242408 170144 395 112 0 237373 0
[pid=9516/tid=9517] ppid=9514 vsize=969632 CPUtime=1181.21 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 202483 0 0 0 118050 71 0 0 25 0 4 0 653188738 992903168 170145 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366904 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=969632 CPUtime=1182.33 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 448944 0 0 0 118116 117 0 0 25 0 4 0 653188738 992903168 170145 33554432000 4194304 4650419 140733714943056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=969632 CPUtime=1174.82 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 131859 0 0 0 117432 50 0 0 25 0 4 0 653188738 992903168 170145 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365346 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4720.72
Current children cumulated vsize (KiB) 969632



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1202.21 s]
/proc/loadavg: 8.15 8.14 8.01 9/245 9561
/proc/meminfo: memFree=21449812/32951124 swapFree=61559568/67111528
[pid=9516] ppid=9514 vsize=981440 CPUtime=4800.2 cores=1,3,5,7
/proc/9516/stat : 9516 (strangenight1-m) R 9514 9516 8848 0 -1 4202496 1098450 0 0 0 479669 351 0 0 25 0 4 0 653188738 1004994560 171075 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365227 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/9516/statm: 245360 171075 395 112 0 240325 0
[pid=9516/tid=9517] ppid=9514 vsize=981440 CPUtime=1201.13 cores=1,3,5,7
/proc/9516/task/9517/stat : 9517 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 206273 0 0 0 120040 73 0 0 25 0 4 0 653188738 1004994560 171076 33554432000 4194304 4650419 140733714943056 18446744073709551615 4366879 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9516/tid=9518] ppid=9514 vsize=981440 CPUtime=1202.24 cores=1,3,5,7
/proc/9516/task/9518/stat : 9518 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 481930 0 0 0 120102 122 0 0 25 0 4 0 653188738 1004994560 171076 33554432000 4194304 4650419 140733714943056 18446744073709551615 4476309 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9516/tid=9519] ppid=9514 vsize=981440 CPUtime=1194.58 cores=1,3,5,7
/proc/9516/task/9519/stat : 9519 (strangenight1-m) R 9514 9516 8848 0 -1 4202560 132018 0 0 0 119407 51 0 0 25 0 4 0 653188738 1004994560 171076 33554432000 4194304 4650419 140733714943056 18446744073709551615 4365227 0 0 4096 2 0 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 4800.2
Current children cumulated vsize (KiB) 981440

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1202.25
CPU time (s): 4800.27
CPU user time (s): 4796.73
CPU system time (s): 3.54446
CPU usage (%): 399.273
Max. virtual memory (cumulated for all children) (KiB): 1094260

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4796.73
system time used= 3.54446
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1098453
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= 442
involuntary context switches= 30970

runsolver used 2.34664 second user time and 6.42202 second system time

The end

Launcher Data 

Begin job on node109 at 2011-05-15 01:31:20
IDJOB=3369622
IDBENCH=84237
IDSOLVER=1846
FILE ID=node109/3369622-1305415880
RUNJOBID= node109-1305414675-9409
PBS_JOBID= 13324534
Free space on /tmp= 73228 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-1-mt (fixed)
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= ./strangenight1-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3369622-1305415880/watcher-3369622-1305415880 -o /tmp/evaluation-result-3369622-1305415880/solver-3369622-1305415880 -C 4800 -W 1300 -M 15500  ./strangenight1-mt --threads=4 HOME/instance-3369622-1305415880.cnf

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

MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=1464546993

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      24301988 kB
Buffers:        237580 kB
Cached:        2259316 kB
SwapCached:      28404 kB
Active:         104744 kB
Inactive:      8328924 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      24301988 kB
SwapTotal:    67111528 kB
SwapFree:     61559568 kB
Dirty:            7040 kB
Writeback:           0 kB
AnonPages:     5914836 kB
Mapped:          17392 kB
Slab:           122024 kB
PageTables:      30304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 17853160 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= 73212 MiB
End job on node109 at 2011-05-15 01:51:24