Trace number 3367234

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.45 1203.94

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
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 variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.01	c Using 4 threads
0.03/0.01	c This is CryptoMiniSat 3.0.0
0.03/0.01	c WARNING: for repeatability, setting FPU to use double precision
0.03/0.01	c Reading file 'HOME/instance-3367234-1305389033.cnf'
0.03/0.01	c -- header says num vars:           1694
0.03/0.01	c -- header says num clauses:        5726
0.03/0.02	c -- clauses added:            0 learnts,         5726 normals,            0 xors
0.03/0.02	c -- vars added       1694
0.03/0.02	c Parsing time:  0.00 s
0.03/0.02	c  N st     0         0      1694      3233      2490         0     14871         0   no data   no data
0.03/0.02	c asymm  cl-useful: 0/3233/3233 lits-rem:0 time: 0.00
0.03/0.02	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:    6 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.00
0.03/0.02	c Replacing        6 vars Replaced       79 lits Time:     0.00 s 
0.03/0.03	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
0.03/0.03	c bin-w-bin subsume rem            0 bins  time:  0.00 s
0.03/0.03	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
0.03/0.03	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1667 time:  0.00 s
0.03/0.03	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
0.36/0.11	c lits-rem:         0  cl-subs:      174  v-elim:    518  v-fix:    0  time:  0.01 s
0.36/0.11	c Finding binary XORs  T:     0.00 s  found:       0
0.36/0.11	c Finding non-binary XORs:     0.00 s (found:     457, avg size: 3.0)
0.36/0.11	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     13 locsubst:     0 time:   0.00
0.36/0.11	c calculated reachability. Time: 0.00
0.36/0.11	c Calc default polars -  time:   0.00 s pos:     166 undec:     589 neg:     939
0.36/0.11	c =========================================================================================
0.36/0.11	c types(t): F = full restart, N = normal restart
0.36/0.11	c types(t): S = simplification begin/end, E = solution found
0.36/0.11	c restart types(rt): st = static, dy = dynamic
0.36/0.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
0.36/0.11	c  B st     0         0      1136      1838      1021         0      9651         0   no data   no data
0.76/0.21	c Decided on static restart strategy
1.16/0.33	c  N st     8      4915      1136      1838      1121      4755      9651    168287   no data   no data
2.77/0.78	c  N st    10     11297      1133      1838      1180      4618      9651     85208   no data   no data
4.75/1.26	c  N st    11     17040      1133      1838      1192     10272      9651    351229   no data   no data
4.75/1.26	c Finding binary XORs  T:     0.00 s  found:       1
7.55/1.92	c  F st    12     25000      1132      1829      1307     12918      9596    264741   no data   no data
7.55/1.92	c Replacing        1 vars Replaced        9 lits Time:     0.00 s 
7.55/1.92	c  N st    12     25000      1131      1829      1305     12918      9592    264737   no data   no data
9.13/2.37	c Decided on static restart strategy
9.13/2.37	c  N st    18     30000      1131      1829      1368     11387      9592    260199   no data   no data
9.13/2.37	c  S st    18     30000      1131      1829      1368     11387      9592    260199   no data   no data
9.53/2.42	c  S st    18     30505      1131      1829      1375     11879      9592    272668   no data   no data
9.53/2.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
9.53/2.44	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   1296 BRemL:    717 BRemN:      0 P:  0.6M T:  0.02
9.53/2.44	c blocked clauses removed:        0 vars:      0 tried:         284 T: 0.00 s
9.53/2.44	c bin-w-bin subsume rem            3 bins  time:  0.00 s
9.53/2.44	c subs with bin:       15  lits-rem:        47  v-fix:    0  time:  0.00 s
9.53/2.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1131 time:  0.00 s
9.53/2.44	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
9.53/2.44	c lits-rem:         0  cl-subs:        7  v-elim:      7  v-fix:    0  time:  0.00 s
9.53/2.48	c subs with bin:       29  lits-rem:      5600  v-fix:    0  time:  0.03 s
9.94/2.55	c lits-rem:       636  cl-subs:      325  v-elim:      0  v-fix:    0  time:  0.06 s
9.94/2.56	c asymm  cl-useful: 9/1816/1816 lits-rem:9 time: 0.01
9.94/2.56	c calculated reachability. Time: 0.00
9.94/2.56	c  N st    18     30505      1124      1816      1885     11407      9504    258454   no data   no data
11.54/2.90	c Finding binary XORs  T:     0.00 s  found:       0
13.18/3.33	c  N st    20     37615      1124      1816      1888     10954      9504    189377   no data   no data
15.92/4.04	c  N st    21     44015      1124      1816      1889     17213      9504    401419   no data   no data
15.92/4.05	c Finding binary XORs  T:     0.00 s  found:       0
16.73/4.28	c  S st    22     45758      1124      1816      2529     10372      9504    151147   no data   no data
17.14/4.34	c  S st    22     46261      1124      1816      2529     10873      9504    166748   no data   no data
17.14/4.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
17.14/4.36	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     39 BRemL:    671 BRemN:      6 P:  0.6M T:  0.02
17.14/4.36	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
17.14/4.36	c bin-w-bin subsume rem            1 bins  time:  0.00 s
17.14/4.36	c subs with bin:        2  lits-rem:         4  v-fix:    0  time:  0.00 s
17.14/4.36	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1124 time:  0.00 s
17.14/4.36	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
17.14/4.36	c lits-rem:         0  cl-subs:        0  v-elim:      9  v-fix:    0  time:  0.00 s
17.14/4.37	c subs with bin:        3  lits-rem:        16  v-fix:    0  time:  0.01 s
17.14/4.38	c lits-rem:       241  cl-subs:       63  v-elim:      0  v-fix:    0  time:  0.01 s
17.14/4.38	c vivif2 --  cl tried     1834 cl shrink        4 lits rem          4 time: 0.00
17.14/4.39	c vivif2 --  cl tried     9661 cl shrink     1093 lits rem       2248 time: 0.00
17.14/4.40	c asymm  cl-useful: 5/1834/1834 lits-rem:5 time: 0.01
17.14/4.40	c calculated reachability. Time: 0.00
17.14/4.40	c  N st    22     46261      1115      1834      1755      9661      9535    134041   no data   no data
23.90/6.08	c  N st    23     60659      1115      1834      1757     14740      9535    253848   no data   no data
23.90/6.08	c Finding binary XORs  T:     0.00 s  found:       0
29.09/7.30	c  N st    24     69391      1114      1834      1916     12969      9527    196019   no data   no data
29.09/7.30	c  S st    24     69391      1114      1834      1916     12969      9527    196019   no data   no data
29.09/7.36	c  S st    24     69893      1114      1834      1924     13468      9527    205366   no data   no data
29.09/7.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
29.09/7.38	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      8 BRemL:     80 BRemN:      0 P:  0.6M T:  0.02
29.09/7.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
29.09/7.38	c bin-w-bin subsume rem            2 bins  time:  0.00 s
29.09/7.38	c subs with bin:       13  lits-rem:         4  v-fix:    0  time:  0.00 s
29.09/7.38	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:   1114 time:  0.00 s
29.09/7.38	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
29.09/7.38	c lits-rem:         1  cl-subs:        0  v-elim:      3  v-fix:    0  time:  0.00 s
29.48/7.40	c subs with bin:        6  lits-rem:        88  v-fix:    0  time:  0.01 s
29.48/7.42	c lits-rem:       162  cl-subs:      185  v-elim:      0  v-fix:    0  time:  0.02 s
29.48/7.42	c vivif2 --  cl tried     1826 cl shrink        0 lits rem          0 time: 0.00
29.48/7.43	c vivif2 --  cl tried    13267 cl shrink      837 lits rem       1911 time: 0.01
29.48/7.44	c asymm  cl-useful: 15/1826/1826 lits-rem:24 time: 0.01
29.48/7.44	c calculated reachability. Time: 0.00
29.48/7.44	c  N st    24     69893      1111      1822      1821     13267      9488    200016   no data   no data
39.07/9.88	c  F st    25     87501      1111      1822      1822     19122      9488    314976   no data   no data
39.07/9.88	c  N st    25     87501      1111      1822      1822     19122      9488    314976   no data   no data
41.85/10.51	c Decided on static restart strategy
43.46/10.92	c  N st    32     95540      1110      1822      1827     27077      9488    595742   no data   no data
45.83/11.54	c Finding binary XORs  T:     0.00 s  found:       0
49.01/12.34	c  N st    34    104839      1110      1822      1828     23398      9480    452962   no data   no data
49.01/12.34	c  S st    34    104839      1110      1822      1828     23398      9480    452962   no data   no data
49.41/12.42	c  S st    34    105342      1109      1822      1852     23898      9480    464965   no data   no data
49.41/12.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
49.41/12.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:     11 BRemN:      1 P:  0.9M T:  0.02
49.41/12.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
49.41/12.45	c bin-w-bin subsume rem            0 bins  time:  0.00 s
49.41/12.45	c subs with bin:        7  lits-rem:         0  v-fix:    0  time:  0.00 s
49.41/12.45	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:   1109 time:  0.00 s
49.41/12.45	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
49.41/12.46	c lits-rem:         1  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.01 s
49.81/12.50	c subs with bin:       18  lits-rem:        10  v-fix:    0  time:  0.03 s
50.61/12.71	c lits-rem:       784  cl-subs:     2234  v-elim:      0  v-fix:    0  time:  0.21 s
50.61/12.71	c vivif2 --  cl tried     1807 cl shrink        0 lits rem          0 time: 0.00
50.61/12.74	c vivif2 --  cl tried    21530 cl shrink     4057 lits rem      13284 time: 0.02
50.61/12.76	c asymm  cl-useful: 4/1807/1807 lits-rem:4 time: 0.02
50.61/12.76	c calculated reachability. Time: 0.00
50.61/12.76	c  N st    34    105342      1109      1807      1842     21530      9412    420427   no data   no data
55.00/13.85	c  N st    35    114941      1109      1807      1842     17444      9412    238115   no data   no data
64.17/16.13	c  N st    36    129340      1108      1807      1865     17032      9412    204753   no data   no data
64.17/16.14	c Finding binary XORs  T:     0.00 s  found:       0
76.93/19.35	c  N st    37    150936      1108      1807      1867     22567      9404    379329   no data   no data
80.93/20.30	c  S st    38    158013      1108      1807      1868     29577      9404    590500   no data   no data
81.33/20.40	c  S st    38    158516      1108      1807      1869     30077      9404    602147   no data   no data
81.33/20.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
81.33/20.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     17 BRemN:      0 P:  1.1M T:  0.03
81.33/20.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81.33/20.43	c bin-w-bin subsume rem            0 bins  time:  0.00 s
81.33/20.43	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
81.33/20.43	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1108 time:  0.00 s
81.33/20.43	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
81.33/20.44	c lits-rem:         1  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
81.72/20.50	c subs with bin:        0  lits-rem:       331  v-fix:    0  time:  0.04 s
82.52/20.70	c lits-rem:       871  cl-subs:     1018  v-elim:      0  v-fix:    0  time:  0.20 s
82.52/20.70	c vivif2 --  cl tried     1803 cl shrink        0 lits rem          0 time: 0.00
82.52/20.73	c vivif2 --  cl tried    29059 cl shrink     6216 lits rem      16919 time: 0.03
82.52/20.75	c asymm  cl-useful: 2/1803/1803 lits-rem:2 time: 0.02
82.52/20.76	c calculated reachability. Time: 0.00
82.52/20.76	c  N st    38    158516      1108      1803      1857     29059      9391    567599   no data   no data
116.80/29.37	c  N st    39    207104      1108      1803      1857     24141      9391    335368   no data   no data
137.54/34.56	c  N st    40    237774      1108      1803      1866     34590      9391    663964   no data   no data
137.54/34.56	c  S st    40    237774      1108      1803      1866     34590      9391    663964   no data   no data
137.54/34.56	c Finding binary XORs  T:     0.00 s  found:       0
137.93/34.69	c  S st    40    238276      1108      1803      1868     35092      9391    675530   no data   no data
137.93/34.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
138.33/34.72	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  1.3M T:  0.03
138.33/34.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138.33/34.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138.33/34.72	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
138.33/34.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1108 time:  0.00 s
138.33/34.72	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
138.33/34.73	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
138.73/34.81	c subs with bin:       69  lits-rem:      2576  v-fix:    0  time:  0.06 s
139.95/35.18	c lits-rem:      1159  cl-subs:     1944  v-elim:      0  v-fix:    0  time:  0.37 s
139.95/35.18	c vivif2 --  cl tried     1801 cl shrink        0 lits rem          0 time: 0.00
140.38/35.22	c vivif2 --  cl tried    33079 cl shrink     6439 lits rem      17362 time: 0.04
140.38/35.25	c asymm  cl-useful: 0/1801/1801 lits-rem:0 time: 0.03
140.38/35.25	c calculated reachability. Time: 0.00
140.38/35.25	c  N st    40    238276      1108      1801      1867     33079      9386    616573   no data   no data
191.37/48.04	c  F st    41    306250      1108      1801      1867     35086      9386    551570   no data   no data
191.37/48.04	c  N st    41    306250      1108      1801      1867     35086      9386    551570   no data   no data
191.37/48.04	c Finding binary XORs  T:     0.00 s  found:       0
195.76/49.10	c Decided on static restart strategy
214.52/53.86	c  N st    51    334557      1108      1801      1940     39183      9386    686728   no data   no data
231.65/58.17	c  N st    53    357414      1108      1801      1941     37168      9386    609629   no data   no data
231.65/58.17	c  S st    53    357414      1108      1801      1941     37168      9386    609629   no data   no data
232.07/58.30	c  S st    53    357917      1108      1801      1941     37669      9386    622185   no data   no data
232.07/58.30	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
232.49/58.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     26 BRemN:      0 P:  1.7M T:  0.04
232.49/58.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
232.49/58.34	c bin-w-bin subsume rem            0 bins  time:  0.00 s
232.49/58.34	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
232.49/58.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1108 time:  0.00 s
232.49/58.34	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
232.49/58.35	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
232.83/58.40	c subs with bin:       39  lits-rem:        81  v-fix:    0  time:  0.03 s
234.03/58.77	c lits-rem:       692  cl-subs:     2128  v-elim:      0  v-fix:    0  time:  0.37 s
234.03/58.77	c vivif2 --  cl tried     1798 cl shrink        0 lits rem          0 time: 0.00
234.43/58.80	c vivif2 --  cl tried    35502 cl shrink     4036 lits rem      10827 time: 0.03
234.43/58.83	c asymm  cl-useful: 1/1798/1798 lits-rem:1 time: 0.03
234.43/58.83	c calculated reachability. Time: 0.00
234.43/58.83	c  N st    53    357917      1108      1798      1915     35502      9382    569160   no data   no data
260.37/65.40	c  N st    54    390309      1108      1798      1916     42006      9382    796924   no data   no data
298.28/74.84	c  N st    55    438898      1108      1798      1917     35952      9382    557634   no data   no data
354.47/88.98	c  N st    56    511781      1108      1798      1918     49418      9382    927692   no data   no data
354.47/88.98	c Finding binary XORs  T:     0.00 s  found:       0
374.01/93.87	c  N st    57    536875      1108      1798      1935     43810      9382    698058   no data   no data
374.01/93.87	c  S st    57    536875      1108      1798      1935     43810      9382    698058   no data   no data
374.81/94.02	c  S st    57    537382      1108      1798      1937     44312      9382    706612   no data   no data
374.81/94.02	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
374.81/94.07	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:     19 BRemN:      0 P:  1.7M T:  0.04
374.81/94.07	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
374.81/94.07	c bin-w-bin subsume rem            0 bins  time:  0.00 s
374.81/94.07	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
374.81/94.07	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1108 time:  0.00 s
374.81/94.07	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
374.81/94.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
375.20/94.13	c subs with bin:       19  lits-rem:        36  v-fix:    0  time:  0.03 s
376.40/94.49	c lits-rem:       789  cl-subs:     1390  v-elim:      0  v-fix:    0  time:  0.35 s
376.40/94.49	c vivif2 --  cl tried     1798 cl shrink        0 lits rem          0 time: 0.00
376.81/94.52	c vivif2 --  cl tried    42903 cl shrink     4148 lits rem       7818 time: 0.03
376.81/94.57	c asymm  cl-useful: 6/1798/1798 lits-rem:6 time: 0.05
376.81/94.57	c calculated reachability. Time: 0.00
376.81/94.57	c  N st    57    537382      1108      1798      1925     42903      9376    668952   no data   no data
509.98/127.90	c  N st    58    701367      1108      1798      1925     71857      9376   1463754   no data   no data
509.98/127.90	c Finding binary XORs  T:     0.00 s  found:       0
592.52/148.69	c  N st    59    806073      1108      1798      1942     65785      9376    932324   no data   no data
592.52/148.69	c  S st    59    806073      1108      1798      1942     65785      9376    932324   no data   no data
593.72/148.92	c  S st    59    806575      1107      1798      1942     66286      9376    943600   no data   no data
593.72/148.93	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
593.72/148.99	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      9 BRemN:      0 P:  2.5M T:  0.06
593.72/148.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
593.72/148.99	c bin-w-bin subsume rem            0 bins  time:  0.00 s
593.72/148.99	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
593.72/148.99	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1107 time:  0.00 s
593.72/148.99	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
594.12/149.01	c lits-rem:         1  cl-subs:        4  v-elim:      1  v-fix:    0  time:  0.01 s
594.12/149.07	c subs with bin:       17  lits-rem:       117  v-fix:    0  time:  0.03 s
604.09/151.51	c lits-rem:      2140  cl-subs:     9953  v-elim:      0  v-fix:    0  time:  2.43 s
604.09/151.51	c vivif2 --  cl tried     1794 cl shrink        2 lits rem          2 time: 0.00
604.09/151.56	c vivif2 --  cl tried    55976 cl shrink     7167 lits rem      10071 time: 0.05
604.49/151.62	c asymm  cl-useful: 3/1794/1794 lits-rem:3 time: 0.06
604.49/151.62	c calculated reachability. Time: 0.00
604.49/151.62	c  N st    59    806575      1106      1794      1936     55976      9409    781795   no data   no data
887.20/222.53	c  F st    60   1071875      1106      1794      1936     72548      9409   1276231   no data   no data
887.20/222.54	c  N st    60   1071875      1106      1794      1936     72548      9409   1276231   no data   no data
887.20/222.54	c Finding binary XORs  T:     0.00 s  found:       0
893.19/224.01	c Decided on static restart strategy
915.91/229.80	c  N st    70   1100174      1106      1794      1950     56485      9409    828440   no data   no data
956.59/239.98	c  N st    72   1136167      1106      1794      1952     91516      9409   1789360   no data   no data
993.67/249.30	c  N st    73   1168559      1106      1794      1952     77965      9409   1309195   no data   no data
1048.69/263.09	c  N st    74   1209863      1106      1794      1953     72468      9409   1134896   no data   no data
1048.69/263.09	c  S st    74   1209863      1106      1794      1953     72468      9409   1134896   no data   no data
1049.89/263.33	c  S st    74   1210365      1106      1794      1954     72968      9409   1148183   no data   no data
1049.89/263.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1050.29/263.42	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:      2 BRemN:      0 P:  3.0M T:  0.08
1050.29/263.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1050.29/263.42	c bin-w-bin subsume rem            1 bins  time:  0.00 s
1050.29/263.42	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
1050.29/263.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1106 time:  0.00 s
1050.29/263.42	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1050.29/263.44	c lits-rem:         0  cl-subs:        2  v-elim:      0  v-fix:    0  time:  0.02 s
1050.69/263.52	c subs with bin:       24  lits-rem:       110  v-fix:    0  time:  0.05 s
1059.87/265.85	c lits-rem:      1588  cl-subs:    10739  v-elim:      0  v-fix:    0  time:  2.33 s
1059.87/265.85	c vivif2 --  cl tried     1791 cl shrink        0 lits rem          0 time: 0.00
1060.27/265.91	c vivif2 --  cl tried    62205 cl shrink     7361 lits rem      19556 time: 0.06
1060.27/265.99	c asymm  cl-useful: 2/1791/1791 lits-rem:2 time: 0.08
1060.27/265.99	c calculated reachability. Time: 0.00
1060.27/265.99	c  N st    74   1210365      1106      1791      1954     62205      9353    964994   no data   no data
1159.95/290.96	c  N st    75   1283247      1106      1791      1955     86506      9353   1413630   no data   no data
1297.51/325.40	c  N st    76   1392570      1106      1791      1961     95678      9353   1620900   no data   no data
1297.51/325.41	c Finding binary XORs  T:     0.00 s  found:       0
1490.12/373.75	c  N st    77   1556554      1106      1791      1972    104235      9353   1910692   no data   no data
1650.41/413.97	c  N st    78   1710366      1106      1791      1976     93457      9353   1602573   no data   no data
1650.41/413.97	c  S st    78   1710366      1106      1791      1976     93457      9353   1602573   no data   no data
1651.61/414.24	c  S st    78   1710869      1106      1791      1982     93956      9353   1616783   no data   no data
1651.61/414.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1652.01/414.35	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     38 BRemL:     20 BRemN:      0 P:  3.8M T:  0.10
1652.01/414.35	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1652.01/414.35	c bin-w-bin subsume rem            0 bins  time:  0.00 s
1652.01/414.35	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.00 s
1652.01/414.35	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1106 time:  0.00 s
1652.01/414.35	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1652.01/414.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1653.65/414.72	c subs with bin:     1505  lits-rem:      1837  v-fix:    0  time:  0.29 s
1676.33/420.44	c lits-rem:      3057  cl-subs:     8155  v-elim:      0  v-fix:    0  time:  5.73 s
1676.33/420.44	c vivif2 --  cl tried     1789 cl shrink        0 lits rem          0 time: 0.00
1676.73/420.53	c vivif2 --  cl tried    84296 cl shrink     7370 lits rem      11045 time: 0.09
1677.13/420.65	c asymm  cl-useful: 1/1789/1789 lits-rem:1 time: 0.12
1677.13/420.65	c calculated reachability. Time: 0.00
1677.13/420.65	c  N st    78   1710869      1106      1789      2001     84296      9348   1429237   no data   no data
1677.13/420.65	c Finding binary XORs  T:     0.00 s  found:       0
2146.43/538.40	c  N st    79   2079834      1106      1789      2001     95997      9348   1600160   no data   no data
2146.83/538.41	c Finding binary XORs  T:     0.00 s  found:       0
2313.50/580.28	c  N st    80   2210870      1105      1788      2097     99728      9337   1726708   no data   no data
2313.50/580.28	c  S st    80   2210870      1105      1788      2097     99728      9337   1726708   no data   no data
2315.10/580.64	c  S st    80   2211372      1104      1788      2100    100227      9337   1740108   no data   no data
2315.10/580.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2315.51/580.78	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     89 BRemN:      0 P:  4.7M T:  0.14
2315.51/580.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2315.51/580.79	c bin-w-bin subsume rem            2 bins  time:  0.00 s
2315.51/580.79	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
2315.51/580.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1104 time:  0.00 s
2315.51/580.79	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2315.94/580.81	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2317.48/581.21	c subs with bin:      543  lits-rem:      1527  v-fix:    0  time:  0.33 s
2337.45/586.26	c lits-rem:      2467  cl-subs:     7961  v-elim:      0  v-fix:    0  time:  5.05 s
2337.45/586.26	c vivif2 --  cl tried     1787 cl shrink        0 lits rem          0 time: 0.00
2337.87/586.34	c vivif2 --  cl tried    91187 cl shrink     5698 lits rem       8437 time: 0.08
2338.22/586.47	c asymm  cl-useful: 0/1787/1787 lits-rem:0 time: 0.13
2338.22/586.47	c calculated reachability. Time: 0.00
2338.22/586.47	c  N st    80   2211372      1104      1787      2007     91187      9326   1570346   no data   no data
3072.69/770.63	c  N st    81   2711374      1104      1787      2007    114703      9326   1882579   no data   no data
3072.69/770.63	c  S st    81   2711374      1104      1787      2007    114703      9326   1882579   no data   no data
3072.69/770.64	c Finding binary XORs  T:     0.00 s  found:       0
3073.89/771.00	c  S st    81   2711879      1104      1787      2024    115207      9326   1898287   no data   no data
3073.89/771.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3075.07/771.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      7 BRemL:      4 BRemN:      0 P:  5.9M T:  0.19
3075.07/771.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3075.07/771.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3075.07/771.20	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3075.07/771.20	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1104 time:  0.00 s
3075.07/771.20	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3075.07/771.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
3075.47/771.38	c subs with bin:       60  lits-rem:        87  v-fix:    0  time:  0.09 s
3116.56/781.63	c lits-rem:      2513  cl-subs:    13443  v-elim:      0  v-fix:    0  time: 10.25 s
3116.56/781.63	c vivif2 --  cl tried     1787 cl shrink        0 lits rem          0 time: 0.00
3116.96/781.72	c vivif2 --  cl tried   101704 cl shrink     6347 lits rem       9846 time: 0.09
3117.35/781.88	c asymm  cl-useful: 1/1787/1787 lits-rem:1 time: 0.16
3117.35/781.89	c calculated reachability. Time: 0.00
3117.35/781.89	c  N st    81   2711879      1104      1787      2027    101704      9325   1652320   no data   no data
3819.50/957.98	c  N st    82   3211879      1102      1787      2035     79152      9325    926819   no data   no data
3819.50/957.98	c  S st    82   3211879      1102      1787      2035     79152      9325    926819   no data   no data
3819.50/957.99	c Finding binary XORs  T:     0.00 s  found:       0
3820.69/958.28	c  S st    82   3212385      1102      1785      2174     79087      9303    932094   no data   no data
3820.69/958.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
3821.09/958.39	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     33 BRemL:    152 BRemN:      0 P:  3.9M T:  0.11
3821.09/958.39	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3821.09/958.39	c bin-w-bin subsume rem            4 bins  time:  0.00 s
3821.09/958.39	c subs with bin:        4  lits-rem:         3  v-fix:    0  time:  0.00 s
3821.09/958.39	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1102 time:  0.00 s
3821.09/958.39	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
3821.49/958.41	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
3821.89/958.52	c subs with bin:      542  lits-rem:       263  v-fix:    0  time:  0.07 s
3822.29/958.65	c lits-rem:       570  cl-subs:      482  v-elim:      0  v-fix:    0  time:  0.13 s
3822.29/958.65	c vivif2 --  cl tried     1780 cl shrink        0 lits rem          0 time: 0.00
3822.29/958.69	c vivif2 --  cl tried    78063 cl shrink      790 lits rem       1334 time: 0.04
3823.08/958.81	c asymm  cl-useful: 0/1780/1780 lits-rem:0 time: 0.12
3823.08/958.81	c calculated reachability. Time: 0.00
3823.08/958.81	c  N st    82   3212385      1102      1780      2052     78063      9278    911474   no data   no data
4085.45/1024.64	c Finding binary XORs  T:     0.00 s  found:       0
4551.57/1141.51	c  N st    83   3712387      1101      1778      2041     89259      9264   1116585   no data   no data
4551.57/1141.51	c  S st    83   3712387      1101      1778      2041     89259      9264   1116585   no data   no data
4551.57/1141.52	c Finding binary XORs  T:     0.00 s  found:       0
4552.81/1141.86	c  S st    83   3712893      1100      1777      2058     89758      9253   1129110   no data   no data
4552.81/1141.87	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4553.16/1141.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     40 BRemL:     82 BRemN:      0 P:  3.6M T:  0.10
4553.16/1141.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4553.16/1141.98	c bin-w-bin subsume rem            1 bins  time:  0.00 s
4553.16/1141.98	c subs with bin:        2  lits-rem:         3  v-fix:    0  time:  0.00 s
4553.16/1141.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1100 time:  0.00 s
4553.16/1141.98	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4553.56/1142.00	c lits-rem:         0  cl-subs:        1  v-elim:      1  v-fix:    0  time:  0.02 s
4553.56/1142.08	c subs with bin:       23  lits-rem:       269  v-fix:    0  time:  0.04 s
4555.16/1142.43	c lits-rem:       573  cl-subs:     1404  v-elim:      0  v-fix:    0  time:  0.35 s
4555.16/1142.43	c vivif2 --  cl tried     1778 cl shrink        0 lits rem          0 time: 0.00
4555.16/1142.48	c vivif2 --  cl tried    88275 cl shrink     2087 lits rem       3352 time: 0.05
4555.95/1142.63	c asymm  cl-useful: 2/1778/1778 lits-rem:2 time: 0.15
4555.95/1142.63	c calculated reachability. Time: 0.00
4555.95/1142.63	c  N st    83   3712893      1099      1778      2005     88275      9246   1100829   no data   no data
4605.43/1155.06	c  F st    84   3751563      1099      1778      2005    125614      9246   2070916   no data   no data
4605.43/1155.06	c  N st    84   3751563      1099      1778      2005    125614      9246   2070916   no data   no data
4605.43/1155.06	c Finding binary XORs  T:     0.00 s  found:       0
4614.95/1157.45	c Decided on static restart strategy
4653.26/1167.06	c  N st    94   3779866      1099      1778      2099    153099      9246   2821819   no data   no data
4712.65/1181.98	c  N st    96   3815858      1099      1778      2099    105515      9246   1523074   no data   no data
4766.08/1195.36	c  N st    97   3848251      1099      1778      2099    136935      9246   2506928   no data   no data
4766.08/1195.36	c Finding binary XORs  T:     0.00 s  found:       0

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-3367234-1305389033/watcher-3367234-1305389033 -o /tmp/evaluation-result-3367234-1305389033/solver-3367234-1305389033 -C 4800 -W 1300 -M 15500 ./strangenight2-mt --threads=4 HOME/instance-3367234-1305389033.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: 1.63 2.02 2.63 7/386 10343
/proc/meminfo: memFree=14597672/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 412 0 0 0 0 0 0 0 25 0 4 0 729133985 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 216735178683 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 12792 352 302 95 0 7774 0
[pid=10343/tid=10344] ppid=10341 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729133985 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 47827914045362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 729133985 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 47827914044953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729133986 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 47827914044953 0 0 4096 2 0 0 0 -1 0 0 0 0

[startup+0.0156209 s]
/proc/loadavg: 1.63 2.02 2.63 7/386 10343
/proc/meminfo: memFree=14597672/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=51168 CPUtime=0.03 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 412 0 0 0 3 0 0 0 25 0 4 0 729133985 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 47827914044953 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 12792 352 302 95 0 7774 0
[pid=10343/tid=10344] ppid=10341 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729133985 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 47827914045362 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 4 0 729133985 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 47827914044953 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=51168 CPUtime=0 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 4 0 729133986 52396032 352 33554432000 4194304 4580107 140735669486688 18446744073709551615 47827914044953 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 51168

[startup+0.100568 s]
/proc/loadavg: 1.63 2.02 2.63 7/386 10343
/proc/meminfo: memFree=14597672/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=283764 CPUtime=0.36 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 2738 0 0 0 36 0 0 0 18 0 4 0 729133985 290574336 2505 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 70941 2505 378 95 0 65923 0
[pid=10343/tid=10344] ppid=10341 vsize=283764 CPUtime=0.08 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 672 0 0 0 8 0 0 0 25 0 4 0 729133985 290574336 2505 33554432000 4194304 4580107 140735669486688 18446744073709551615 4316439 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=283764 CPUtime=0.09 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 634 0 0 0 9 0 0 0 18 0 4 0 729133985 290574336 2505 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294347 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=283764 CPUtime=0.09 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 365 0 0 0 9 0 0 0 18 0 4 0 729133986 290574336 2505 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.36
Current children cumulated vsize (KiB) 283764

[startup+0.300532 s]
/proc/loadavg: 1.63 2.02 2.63 7/386 10343
/proc/meminfo: memFree=14597672/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=283920 CPUtime=1.16 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 3427 0 0 0 116 0 0 0 18 0 4 0 729133985 290734080 3194 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293090 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 70980 3194 379 95 0 65962 0
[pid=10343/tid=10344] ppid=10341 vsize=283920 CPUtime=0.28 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 846 0 0 0 28 0 0 0 25 0 4 0 729133985 290734080 3194 33554432000 4194304 4580107 140735669486688 18446744073709551615 4317211 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=283920 CPUtime=0.29 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 803 0 0 0 29 0 0 0 18 0 4 0 729133985 290734080 3194 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295507 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=283920 CPUtime=0.29 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 546 0 0 0 29 0 0 0 18 0 4 0 729133986 290734080 3194 33554432000 4194304 4580107 140735669486688 18446744073709551615 4321312 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.16
Current children cumulated vsize (KiB) 283920

[startup+0.700463 s]
/proc/loadavg: 1.63 2.02 2.63 7/386 10343
/proc/meminfo: memFree=14597672/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=285448 CPUtime=2.77 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 4794 0 0 0 276 1 0 0 18 0 4 0 729133985 292298752 3610 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 71362 3610 379 95 0 66344 0
[pid=10343/tid=10344] ppid=10341 vsize=285448 CPUtime=0.68 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1192 0 0 0 68 0 0 0 25 0 4 0 729133985 292298752 3610 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293204 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=285448 CPUtime=0.69 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1119 0 0 0 69 0 0 0 18 0 4 0 729133985 292298752 3610 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=285448 CPUtime=0.69 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 929 0 0 0 69 0 0 0 18 0 4 0 729133986 292298752 3610 33554432000 4194304 4580107 140735669486688 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2.77
Current children cumulated vsize (KiB) 285448

[startup+1.50038 s]
/proc/loadavg: 1.63 2.02 2.63 9/390 10347
/proc/meminfo: memFree=14580156/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=286648 CPUtime=5.95 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 7212 0 0 0 594 1 0 0 20 0 4 0 729133985 293527552 3720 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293979 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 71662 3720 379 95 0 66644 0
[pid=10343/tid=10344] ppid=10341 vsize=286648 CPUtime=1.46 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1685 0 0 0 146 0 0 0 25 0 4 0 729133985 293527552 3720 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=286648 CPUtime=1.49 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1730 0 0 0 149 0 0 0 19 0 4 0 729133985 293527552 3720 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295029 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=286648 CPUtime=1.49 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 1543 0 0 0 149 0 0 0 20 0 4 0 729133986 293527552 3720 33554432000 4194304 4580107 140735669486688 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 5.95
Current children cumulated vsize (KiB) 286648

[startup+3.10104 s]
/proc/loadavg: 2.14 2.12 2.66 11/390 10377
/proc/meminfo: memFree=14924560/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=278692 CPUtime=12.34 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 12369 0 0 0 1232 2 0 0 25 0 4 0 729133985 285380608 6742 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 69673 6742 380 95 0 64655 0
[pid=10343/tid=10344] ppid=10341 vsize=278692 CPUtime=3.05 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 2628 0 0 0 305 0 0 0 25 0 4 0 729133985 285380608 6742 33554432000 4194304 4580107 140735669486688 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=278692 CPUtime=3.09 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 2581 0 0 0 309 0 0 0 25 0 4 0 729133985 285380608 6742 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294430 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=278692 CPUtime=3.09 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 2470 0 0 0 309 0 0 0 25 0 4 0 729133986 285380608 6742 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293134 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 278692

[startup+6.30048 s]
/proc/loadavg: 2.14 2.12 2.66 9/390 10377
/proc/meminfo: memFree=14876456/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=283948 CPUtime=25.09 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 21505 0 0 0 2506 3 0 0 25 0 4 0 729133985 290762752 10403 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293184 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 70987 10403 380 95 0 65969 0
[pid=10343/tid=10344] ppid=10341 vsize=283948 CPUtime=6.21 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 5165 0 0 0 621 0 0 0 25 0 4 0 729133985 290762752 10403 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295084 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=283948 CPUtime=6.28 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 6360 0 0 0 628 0 0 0 25 0 4 0 729133985 290762752 10403 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293258 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=283948 CPUtime=6.29 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 3700 0 0 0 629 0 0 0 25 0 4 0 729133986 290762752 10403 33554432000 4194304 4580107 140735669486688 18446744073709551615 4321030 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 25.09
Current children cumulated vsize (KiB) 283948

[startup+12.7004 s]
/proc/loadavg: 3.04 2.31 2.72 9/390 10377
/proc/meminfo: memFree=14826160/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=299480 CPUtime=50.61 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 35739 0 0 0 5056 5 0 0 25 0 4 0 729133985 306667520 18361 33554432000 4194304 4580107 140735669486688 18446744073709551615 4416997 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 74870 18361 380 95 0 69852 0
[pid=10343/tid=10344] ppid=10341 vsize=299480 CPUtime=12.53 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 8821 0 0 0 1252 1 0 0 25 0 4 0 729133985 306667520 18361 33554432000 4194304 4580107 140735669486688 18446744073709551615 4320565 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=299480 CPUtime=12.69 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 9429 0 0 0 1268 1 0 0 25 0 4 0 729133985 306667520 18361 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=299480 CPUtime=12.68 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 7072 0 0 0 1268 0 0 0 25 0 4 0 729133986 306667520 18361 33554432000 4194304 4580107 140735669486688 18446744073709551615 4317131 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 50.61
Current children cumulated vsize (KiB) 299480

[startup+25.5011 s]
/proc/loadavg: 3.80 2.50 2.77 9/390 10378
/proc/meminfo: memFree=14777072/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=312672 CPUtime=101.65 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 51249 0 0 0 10156 9 0 0 25 0 4 0 729133985 320176128 23547 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295047 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 78168 23547 380 95 0 73150 0
[pid=10343/tid=10344] ppid=10341 vsize=312672 CPUtime=25.17 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 11292 0 0 0 2515 2 0 0 25 0 4 0 729133985 320176128 23547 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=312672 CPUtime=25.49 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 13681 0 0 0 2547 2 0 0 25 0 4 0 729133985 320176128 23547 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=312672 CPUtime=25.49 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 10074 0 0 0 2548 1 0 0 25 0 4 0 729133986 320176128 23547 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293108 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 101.65
Current children cumulated vsize (KiB) 312672

[startup+51.1006 s]
/proc/loadavg: 5.29 2.96 2.92 9/390 10378
/proc/meminfo: memFree=14722584/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=313340 CPUtime=203.73 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 75943 0 0 0 20358 15 0 0 25 0 4 0 729133985 320860160 30300 33554432000 4194304 4580107 140735669486688 18446744073709551615 4296104 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 78335 30300 380 95 0 73317 0
[pid=10343/tid=10344] ppid=10341 vsize=313340 CPUtime=50.46 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 15864 0 0 0 5043 3 0 0 25 0 4 0 729133985 320860160 30300 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294960 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=313340 CPUtime=51.09 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 21959 0 0 0 5106 3 0 0 25 0 4 0 729133985 320860160 30300 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294544 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=313340 CPUtime=51.09 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 14035 0 0 0 5106 3 0 0 25 0 4 0 729133986 320860160 30300 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 203.73
Current children cumulated vsize (KiB) 313340

[startup+102.315 s]
/proc/loadavg: 7.02 3.83 3.22 9/390 10380
/proc/meminfo: memFree=14658208/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=337188 CPUtime=407.96 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 118365 0 0 0 40770 26 0 0 25 0 4 0 729133985 345280512 39263 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293198 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 84297 39263 380 95 0 79279 0
[pid=10343/tid=10344] ppid=10341 vsize=337188 CPUtime=101.04 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 26580 0 0 0 10099 5 0 0 25 0 4 0 729133985 345280512 39263 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=337188 CPUtime=102.3 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 31695 0 0 0 10225 5 0 0 25 0 4 0 729133985 345280512 39263 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295075 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=337188 CPUtime=102.3 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 20992 0 0 0 10225 5 0 0 25 0 4 0 729133986 345280512 39263 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 407.96
Current children cumulated vsize (KiB) 337188

[startup+162.301 s]

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

[pid=10343] ppid=10341 vsize=536664 CPUtime=2800.35 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 387095 0 0 0 279918 117 0 0 25 0 4 0 729133985 549543936 84113 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294376 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 134166 84113 380 95 0 129148 0
[pid=10343/tid=10344] ppid=10341 vsize=536664 CPUtime=693.57 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 83925 0 0 0 69332 25 0 0 25 0 4 0 729133985 549543936 84113 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=536664 CPUtime=702.3 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 118112 0 0 0 70195 35 0 0 25 0 4 0 729133985 549543936 84113 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293064 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=536664 CPUtime=702.3 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 52380 0 0 0 70215 15 0 0 25 0 4 0 729133986 549543936 84113 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293691 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 2800.35
Current children cumulated vsize (KiB) 536664

[startup+762.315 s]
/proc/loadavg: 8.07 7.63 5.69 9/390 10397
/proc/meminfo: memFree=14310116/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=523996 CPUtime=3039.65 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 404371 0 0 0 303842 123 0 0 25 0 4 0 729133985 536571904 83464 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 130999 83464 380 95 0 125981 0
[pid=10343/tid=10344] ppid=10341 vsize=523996 CPUtime=752.83 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 86938 0 0 0 75257 26 0 0 25 0 4 0 729133985 536571904 83464 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=523996 CPUtime=762.31 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 124988 0 0 0 76194 37 0 0 25 0 4 0 729133985 536571904 83464 33554432000 4194304 4580107 140735669486688 18446744073709551615 4292966 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=523996 CPUtime=762.31 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 52386 0 0 0 76216 15 0 0 25 0 4 0 729133986 536571904 83464 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3039.65
Current children cumulated vsize (KiB) 523996

[startup+822.301 s]
/proc/loadavg: 8.13 7.73 5.85 9/390 10399
/proc/meminfo: memFree=14274864/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=578476 CPUtime=3278.83 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 422678 0 0 0 327753 130 0 0 25 0 4 0 729133985 592359424 91192 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 144619 91192 380 95 0 139601 0
[pid=10343/tid=10344] ppid=10341 vsize=578476 CPUtime=812.06 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 90404 0 0 0 81179 27 0 0 25 0 4 0 729133985 592359424 91192 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=578476 CPUtime=822.31 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 131457 0 0 0 82190 41 0 0 25 0 4 0 729133985 592359424 91192 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=578476 CPUtime=822.3 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 52409 0 0 0 82215 15 0 0 25 0 4 0 729133986 592359424 91192 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3278.83
Current children cumulated vsize (KiB) 578476

[startup+882.301 s]
/proc/loadavg: 8.15 7.80 5.99 9/390 10401
/proc/meminfo: memFree=14280808/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=539208 CPUtime=3518.05 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 439755 0 0 0 351667 138 0 0 25 0 4 0 729133985 552148992 88978 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 134802 88978 380 95 0 129784 0
[pid=10343/tid=10344] ppid=10341 vsize=539208 CPUtime=871.3 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 90405 0 0 0 87103 27 0 0 25 0 4 0 729133985 552148992 88978 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=539208 CPUtime=882.31 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 137925 0 0 0 88187 44 0 0 25 0 4 0 729133985 552148992 88978 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293979 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=539208 CPUtime=882.31 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 52839 0 0 0 88215 16 0 0 25 0 4 0 729133986 552148992 88978 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294386 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3518.05
Current children cumulated vsize (KiB) 539208

[startup+942.301 s]
/proc/loadavg: 8.20 7.88 6.13 9/390 10432
/proc/meminfo: memFree=14318764/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=524932 CPUtime=3757.3 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 457532 0 0 0 375583 147 0 0 25 0 4 0 729133985 537530368 96768 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294585 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 131233 96768 380 95 0 126215 0
[pid=10343/tid=10344] ppid=10341 vsize=524932 CPUtime=930.54 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 93704 0 0 0 93026 28 0 0 25 0 4 0 729133985 537530368 96768 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294504 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=524932 CPUtime=942.3 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 144444 0 0 0 94183 47 0 0 25 0 4 0 729133985 537530368 96768 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295461 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=524932 CPUtime=942.31 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 52906 0 0 0 94215 16 0 0 25 0 4 0 729133986 537530368 96768 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3757.3
Current children cumulated vsize (KiB) 524932

[startup+1002.3 s]
/proc/loadavg: 8.07 7.90 6.24 9/390 10434
/proc/meminfo: memFree=12327108/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=606920 CPUtime=3996.53 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 471000 0 0 0 399503 150 0 0 25 0 4 0 729133985 621486080 93758 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293064 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 151730 93758 380 95 0 146712 0
[pid=10343/tid=10344] ppid=10341 vsize=606920 CPUtime=989.79 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 94426 0 0 0 98951 28 0 0 25 0 4 0 729133985 621486080 93758 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=606920 CPUtime=1002.3 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 150565 0 0 0 100181 49 0 0 25 0 4 0 729133985 621486080 93758 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=606920 CPUtime=1002.3 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 52982 0 0 0 100214 16 0 0 25 0 4 0 729133986 621486080 93758 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3996.53
Current children cumulated vsize (KiB) 606920

[startup+1062.3 s]
/proc/loadavg: 8.06 7.93 6.35 9/390 10435
/proc/meminfo: memFree=11906972/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=500280 CPUtime=4235.77 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 493003 0 0 0 423418 159 0 0 25 0 4 0 729133985 512286720 85545 33554432000 4194304 4580107 140735669486688 18446744073709551615 4318689 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 125070 85545 380 95 0 120052 0
[pid=10343/tid=10344] ppid=10341 vsize=500280 CPUtime=1049.04 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 103160 0 0 0 104872 32 0 0 25 0 4 0 729133985 512286720 85545 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293251 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=500280 CPUtime=1062.31 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 157354 0 0 0 106180 51 0 0 25 0 4 0 729133985 512286720 85545 33554432000 4194304 4580107 140735669486688 18446744073709551615 4320772 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=500280 CPUtime=1062.3 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 52984 0 0 0 106214 16 0 0 25 0 4 0 729133986 512286720 85545 33554432000 4194304 4580107 140735669486688 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4235.77
Current children cumulated vsize (KiB) 500280

[startup+1122.3 s]
/proc/loadavg: 8.05 7.95 6.46 9/390 10437
/proc/meminfo: memFree=11791252/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=579096 CPUtime=4475.01 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 517508 0 0 0 447334 167 0 0 25 0 4 0 729133985 592994304 100185 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 144774 100185 380 95 0 139756 0
[pid=10343/tid=10344] ppid=10341 vsize=579096 CPUtime=1108.29 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 111725 0 0 0 110794 35 0 0 25 0 4 0 729133985 592994304 100185 33554432000 4194304 4580107 140735669486688 18446744073709551615 4318508 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=579096 CPUtime=1122.31 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 162298 0 0 0 112179 52 0 0 25 0 4 0 729133985 592994304 100185 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=579096 CPUtime=1122.31 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 56153 0 0 0 112214 17 0 0 25 0 4 0 729133986 592994304 100185 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4475.01
Current children cumulated vsize (KiB) 579096

[startup+1182.3 s]
/proc/loadavg: 8.16 7.99 6.56 9/390 10439
/proc/meminfo: memFree=11703296/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=513476 CPUtime=4714.25 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 532169 0 0 0 471252 173 0 0 25 0 4 0 729133985 525799424 96289 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295723 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 128369 96289 380 95 0 123351 0
[pid=10343/tid=10344] ppid=10341 vsize=513476 CPUtime=1167.54 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 116845 0 0 0 116717 37 0 0 25 0 4 0 729133985 525799424 96289 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=513476 CPUtime=1182.31 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 166236 0 0 0 118177 54 0 0 25 0 4 0 729133985 525799424 96289 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293216 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=513476 CPUtime=1182.3 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 58549 0 0 0 118212 18 0 0 25 0 4 0 729133986 525799424 96289 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4714.25
Current children cumulated vsize (KiB) 513476



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1203.9 s]
/proc/loadavg: 8.12 7.99 6.59 9/390 10439
/proc/meminfo: memFree=11676996/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=513460 CPUtime=4800.38 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 536327 0 0 0 479862 176 0 0 25 0 4 0 729133985 525783040 96896 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 128365 96896 380 95 0 123347 0
[pid=10343/tid=10344] ppid=10341 vsize=513460 CPUtime=1188.86 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 119284 0 0 0 118848 38 0 0 25 0 4 0 729133985 525783040 96897 33554432000 4194304 4580107 140735669486688 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=513460 CPUtime=1203.93 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 166471 0 0 0 120339 54 0 0 25 0 4 0 729133985 525783040 96897 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295354 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=513460 CPUtime=1203.92 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 58549 0 0 0 120374 18 0 0 25 0 4 0 729133986 525783040 96897 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 513460

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

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

[startup+1203.9 s]
/proc/loadavg: 8.12 7.99 6.59 9/390 10439
/proc/meminfo: memFree=11676996/32951124 swapFree=65586204/67111528
[pid=10343] ppid=10341 vsize=513460 CPUtime=4800.38 cores=0,2,4,6
/proc/10343/stat : 10343 (strangenight2-m) R 10341 10343 10272 0 -1 4202496 536327 0 0 0 479862 176 0 0 25 0 4 0 729133985 525783040 96896 33554432000 4194304 4580107 140735669486688 18446744073709551615 4293229 0 0 4096 2 18446744073709551615 0 0 17 2 0 0 0
/proc/10343/statm: 128365 96896 380 95 0 123347 0
[pid=10343/tid=10344] ppid=10341 vsize=513460 CPUtime=1188.86 cores=0,2,4,6
/proc/10343/task/10344/stat : 10344 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 119284 0 0 0 118848 38 0 0 25 0 4 0 729133985 525783040 96897 33554432000 4194304 4580107 140735669486688 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=10343/tid=10345] ppid=10341 vsize=513460 CPUtime=1203.93 cores=0,2,4,6
/proc/10343/task/10345/stat : 10345 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 166471 0 0 0 120339 54 0 0 25 0 4 0 729133985 525783040 96897 33554432000 4194304 4580107 140735669486688 18446744073709551615 4295354 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=10343/tid=10346] ppid=10341 vsize=513460 CPUtime=1203.92 cores=0,2,4,6
/proc/10343/task/10346/stat : 10346 (strangenight2-m) R 10341 10343 10272 0 -1 4202560 58549 0 0 0 120374 18 0 0 25 0 4 0 729133986 525783040 96897 33554432000 4194304 4580107 140735669486688 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 4800.38
Current children cumulated vsize (KiB) 513460

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1203.94
CPU time (s): 4800.45
CPU user time (s): 4798.67
CPU system time (s): 1.78173
CPU usage (%): 398.729
Max. virtual memory (cumulated for all children) (KiB): 635772

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4798.67
system time used= 1.78173
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 536328
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= 302
involuntary context switches= 32240

runsolver used 4.36734 second user time and 10.7024 second system time

The end

Launcher Data 

Begin job on node119 at 2011-05-14 18:03:53
IDJOB=3367234
IDBENCH=20468
IDSOLVER=1844
FILE ID=node119/3367234-1305389033
RUNJOBID= node119-1305389032-10290
PBS_JOBID= 13324436
Free space on /tmp= 73180 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3367234-1305389033/watcher-3367234-1305389033 -o /tmp/evaluation-result-3367234-1305389033/solver-3367234-1305389033 -C 4800 -W 1300 -M 15500  ./strangenight2-mt --threads=4 HOME/instance-3367234-1305389033.cnf

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

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=393354316

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      14597952 kB
Buffers:        274372 kB
Cached:        4519716 kB
SwapCached:       4756 kB
Active:       15039128 kB
Inactive:      2977784 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      14597952 kB
SwapTotal:    67111528 kB
SwapFree:     65586204 kB
Dirty:           22376 kB
Writeback:           4 kB
AnonPages:    13221188 kB
Mapped:          30464 kB
Slab:           212172 kB
PageTables:      57672 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 103011816 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= 73180 MiB
End job on node119 at 2011-05-14 18:23:59