Trace number 3400860

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) 160004 5006.8

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.05	c Using 32 threads
0.00/0.07	c This is CryptoMiniSat 3.0.0
0.00/0.07	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.07	c Reading file 'HOME/instance-3400860-1307064266.cnf'
0.00/0.09	c -- header says num vars:           4264
0.00/0.09	c -- header says num clauses:       14751
3.68/0.29	c -- clauses added:            0 learnts,        14751 normals,            0 xors
3.68/0.29	c -- vars added       4264
3.68/0.29	c Parsing time:  0.03 s
3.68/0.29	c  N st     0         0      4264     10534      4212         0     40026         0   no data   no data
6.10/0.62	c asymm  cl-useful: 0/10533/10533 lits-rem:0 time: 0.33
6.10/0.69	c Flit:   170 Blit:   1223 bXBeca:    0 bXProp:  344 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.05
6.10/0.69	c Cleaning up after failed var search:     0.01 s 
6.10/0.70	c Replacing      344 vars Replaced     2881 lits Time:     0.00 s 
6.10/0.72	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6.10/0.72	c bin-w-bin subsume rem            0 bins  time:  0.00 s
6.10/0.72	c subs with bin:      204  lits-rem:       136  v-fix:    0  time:  0.00 s
6.10/0.72	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1165 time:  0.00 s
6.10/0.72	c Removed useless bin:       0  fixed:     0  props:   0.04M  time:  0.00 s
19.24/0.76	c lits-rem:         0  cl-subs:        4  v-elim:    163  v-fix:    0  time:  0.02 s
19.24/0.76	c Finding binary XORs  T:     0.00 s  found:       1
19.24/0.76	c Replacing        1 vars Replaced       12 lits Time:     0.00 s 
19.24/0.77	c Finding non-binary XORs:     0.00 s (found:     506, avg size: 3.0)
19.24/0.77	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     11 locsubst:     2 time:   0.00
19.24/0.77	c calculated reachability. Time: 0.00
19.24/0.77	c Calc default polars -  time:   0.00 s pos:     209 undec:    3307 neg:     748
19.24/0.77	c =========================================================================================
19.24/0.77	c types(t): F = full restart, N = normal restart
19.24/0.77	c types(t): S = simplification begin/end, E = solution found
19.24/0.77	c restart types(rt): st = static, dy = dynamic
19.24/0.77	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
19.24/0.77	c  B st     0         0       990       852       771         0      5826         0   no data   no data
24.07/0.93	c Decided on static restart strategy
33.60/1.26	c  N st     8      4917       970       852      1099      4497      5826    155004   no data   no data
52.70/1.83	c  N st    10     11299       967       852      1603      4759      5826    114812   no data   no data
52.70/1.83	c Finding binary XORs  T:     0.00 s  found:       1
52.70/1.83	c Replacing       28 vars Replaced     1609 lits Time:     0.00 s 
65.47/2.21	c  N st    11     17044       858       625      1496     10319      4755    273832   no data   no data
81.43/2.76	c  F st    12     25001       857       625      1634     12960      4755    355298   no data   no data
81.43/2.76	c Replacing        2 vars Replaced       30 lits Time:     0.00 s 
81.43/2.76	c  N st    12     25001       850       613      1600     12955      4682    354108   no data   no data
81.43/2.77	c Finding binary XORs  T:     0.00 s  found:       0
94.24/3.14	c Decided on static restart strategy
94.24/3.14	c  N st    18     30002       850       613      1714     11436      4682    265956   no data   no data
94.24/3.14	c  S st    18     30002       850       613      1714     11436      4682    265956   no data   no data
94.24/3.18	c  S st    18     30504       850       613      1714     11936      4682    276663   no data   no data
94.24/3.18	c x-sub:     1 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
97.43/3.23	c Flit:     2 Blit:      2 bXBeca:    1 bXProp:    1 Bins:    525 BRemL:    264 BRemN:      0 P:  0.7M T:  0.04
97.43/3.23	c Replacing        2 vars Replaced       48 lits Time:     0.00 s 
97.43/3.23	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
97.43/3.23	c bin-w-bin subsume rem           72 bins  time:  0.00 s
97.43/3.23	c subs with bin:       40  lits-rem:         4  v-fix:    0  time:  0.00 s
97.43/3.23	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    844 time:  0.00 s
97.43/3.24	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
97.43/3.24	c lits-rem:         0  cl-subs:        5  v-elim:      0  v-fix:    0  time:  0.00 s
100.61/3.31	c subs with bin:       65  lits-rem:      2953  v-fix:    0  time:  0.03 s
100.61/3.40	c lits-rem:       493  cl-subs:      483  v-elim:      0  v-fix:    0  time:  0.09 s
103.82/3.41	c asymm  cl-useful: 1/563/563 lits-rem:1 time: 0.01
103.82/3.41	c calculated reachability. Time: 0.00
103.82/3.41	c  N st    18     30504       844       563      1860     11383      4487    259802   no data   no data
103.82/3.41	c Finding binary XORs  T:     0.00 s  found:       0
119.77/4.00	c  N st    20     37616       843       563      1890     10843      4487    248952   no data   no data
138.95/4.58	c  N st    21     44017       843       563      1891     17172      4487    460716   no data   no data
138.95/4.59	c Finding binary XORs  T:     0.00 s  found:       0
142.70/4.71	c  S st    22     45757       840       561      2129     10097      4467    168905   no data   no data
145.93/4.76	c  S st    22     46258       840       561      2129     10597      4467    180012   no data   no data
145.93/4.76	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
145.93/4.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     65 BRemL:    221 BRemN:      0 P:  0.7M T:  0.04
145.93/4.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
145.93/4.80	c bin-w-bin subsume rem           75 bins  time:  0.00 s
145.93/4.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
145.93/4.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.00 s
145.93/4.80	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
148.49/4.80	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
148.49/4.83	c subs with bin:        6  lits-rem:        93  v-fix:    0  time:  0.02 s
148.49/4.85	c lits-rem:       184  cl-subs:       56  v-elim:      0  v-fix:    0  time:  0.02 s
148.49/4.85	c vivif2 --  cl tried      561 cl shrink        0 lits rem          0 time: 0.00
148.49/4.86	c vivif2 --  cl tried    10535 cl shrink     2508 lits rem       6135 time: 0.01
148.49/4.87	c asymm  cl-useful: 1/561/561 lits-rem:1 time: 0.01
148.49/4.87	c calculated reachability. Time: 0.00
148.49/4.87	c  N st    22     46258       840       561      1901     10532      4464    172305   no data   no data
196.43/6.36	c  N st    23     60655       840       561      1902     15121      4464    365827   no data   no data
196.43/6.36	c Finding binary XORs  T:     0.00 s  found:       0
228.40/7.32	c  N st    24     69387       840       561      1987     12987      4464    227916   no data   no data
228.40/7.32	c  S st    24     69387       840       561      1987     12987      4464    227916   no data   no data
228.40/7.37	c  S st    24     69891       840       561      2004     13488      4464    239671   no data   no data
228.40/7.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
231.60/7.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     28 BRemL:     90 BRemN:      0 P:  0.8M T:  0.04
231.60/7.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
231.60/7.41	c bin-w-bin subsume rem           10 bins  time:  0.00 s
231.60/7.41	c subs with bin:        6  lits-rem:         1  v-fix:    0  time:  0.00 s
231.60/7.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    840 time:  0.00 s
231.60/7.42	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
231.60/7.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.00 s
231.60/7.46	c subs with bin:        3  lits-rem:       398  v-fix:    0  time:  0.02 s
231.60/7.49	c lits-rem:       134  cl-subs:      159  v-elim:      0  v-fix:    0  time:  0.03 s
231.60/7.49	c vivif2 --  cl tried      555 cl shrink        0 lits rem          0 time: 0.00
234.75/7.50	c vivif2 --  cl tried    13326 cl shrink     1672 lits rem       7714 time: 0.01
234.75/7.52	c asymm  cl-useful: 8/555/555 lits-rem:28 time: 0.01
234.75/7.52	c calculated reachability. Time: 0.00
234.75/7.52	c  N st    24     69891       840       547      1940     13326      4439    228097   no data   no data
298.65/9.51	c  F st    25     87501       840       547      1940     19022      4439    455691   no data   no data
298.65/9.51	c  N st    25     87501       840       547      1940     19022      4439    455691   no data   no data
298.65/9.52	c Finding binary XORs  T:     0.00 s  found:       0
314.63/10.02	c Decided on static restart strategy
324.24/10.32	c  N st    32     95548       840       547      2117     26993      4439    727466   no data   no data
336.99/10.79	c Finding binary XORs  T:     0.00 s  found:       2
353.59/11.26	c  N st    34    104836       838       543      2243     23418      4421    576062   no data   no data
353.59/11.26	c  S st    34    104836       838       543      2243     23418      4421    576062   no data   no data
356.84/11.35	c  S st    34    105338       838       543      2340     23916      4421    589949   no data   no data
356.84/11.35	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
359.36/11.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     10 BRemL:    239 BRemN:      0 P:  1.4M T:  0.06
359.36/11.41	c Replacing        2 vars Replaced       88 lits Time:     0.00 s 
359.36/11.41	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
359.36/11.41	c bin-w-bin subsume rem           32 bins  time:  0.00 s
359.36/11.41	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
359.36/11.41	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    836 time:  0.00 s
359.36/11.41	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
359.36/11.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
362.55/11.53	c subs with bin:       13  lits-rem:       903  v-fix:    0  time:  0.08 s
368.99/11.71	c lits-rem:      1326  cl-subs:      302  v-elim:      0  v-fix:    0  time:  0.17 s
368.99/11.71	c vivif2 --  cl tried      543 cl shrink        0 lits rem          0 time: 0.00
368.99/11.75	c vivif2 --  cl tried    23601 cl shrink     6454 lits rem      31756 time: 0.05
368.99/11.78	c asymm  cl-useful: 1/543/543 lits-rem:4 time: 0.02
368.99/11.78	c calculated reachability. Time: 0.00
368.99/11.78	c  N st    34    105338       836       542      2077     23601      4411    544362   no data   no data
407.31/12.97	c  N st    35    114937       836       542      2077     19308      4411    369124   no data   no data
407.31/12.97	c Finding binary XORs  T:     0.00 s  found:       0
464.83/14.79	c  N st    36    129334       836       542      2089     18738      4411    351856   no data   no data
557.51/17.60	c  N st    37    150930       836       542      2139     24375      4411    593567   no data   no data
557.51/17.60	c Finding binary XORs  T:     0.00 s  found:       0
583.09/18.46	c  S st    38    158008       836       542      2197     31367      4411    807806   no data   no data
586.28/18.56	c  S st    38    158515       836       542      2248     31873      4411    822489   no data   no data
586.28/18.57	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
589.48/18.66	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     13 BRemL:     89 BRemN:      0 P:  1.7M T:  0.09
589.48/18.66	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
589.48/18.66	c bin-w-bin subsume rem           24 bins  time:  0.00 s
589.48/18.66	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
589.48/18.66	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    836 time:  0.00 s
589.48/18.66	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
589.48/18.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
595.87/18.86	c subs with bin:        2  lits-rem:       827  v-fix:    0  time:  0.12 s
611.85/19.36	c lits-rem:      1022  cl-subs:      683  v-elim:      0  v-fix:    0  time:  0.50 s
611.85/19.36	c vivif2 --  cl tried      541 cl shrink        0 lits rem          0 time: 0.00
615.04/19.44	c vivif2 --  cl tried    31188 cl shrink     9470 lits rem      40081 time: 0.07
615.04/19.47	c asymm  cl-useful: 1/541/541 lits-rem:4 time: 0.03
615.04/19.47	c calculated reachability. Time: 0.00
615.04/19.47	c  N st    38    158515       836       540      2149     31188      4407    750639   no data   no data
825.97/26.06	c  N st    39    207103       836       540      2149     25905      4407    519975   no data   no data
825.97/26.07	c Finding binary XORs  T:     0.00 s  found:       1
954.41/30.09	c  N st    40    237772       834       538      2370     36357      4393    839321   no data   no data
954.41/30.09	c  S st    40    237772       834       538      2370     36357      4393    839321   no data   no data
954.41/30.09	c Finding binary XORs  T:     0.00 s  found:       0
960.19/30.21	c  S st    40    238274       834       538      2446     36855      4393    855887   no data   no data
960.19/30.21	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.00
960.19/30.29	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    164 BRemL:    356 BRemN:      0 P:  1.9M T:  0.08
960.19/30.30	c Replacing        1 vars Replaced      320 lits Time:     0.00 s 
960.19/30.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
960.19/30.30	c bin-w-bin subsume rem           41 bins  time:  0.00 s
963.39/30.30	c subs with bin:        6  lits-rem:         0  v-fix:    0  time:  0.00 s
963.39/30.30	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    832 time:  0.00 s
963.39/30.30	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
963.39/30.31	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
966.59/30.46	c subs with bin:       17  lits-rem:       554  v-fix:    0  time:  0.10 s
995.34/31.38	c lits-rem:      1139  cl-subs:     2279  v-elim:      0  v-fix:    0  time:  0.92 s
995.34/31.38	c vivif2 --  cl tried      532 cl shrink        0 lits rem          0 time: 0.00
998.55/31.45	c vivif2 --  cl tried    34296 cl shrink     8595 lits rem      39186 time: 0.07
998.55/31.48	c asymm  cl-useful: 2/532/532 lits-rem:8 time: 0.03
998.55/31.48	c calculated reachability. Time: 0.00
998.55/31.48	c  N st    40    238274       832       530      2202     34295      4372    740878   no data   no data
1334.11/41.97	c  F st    41    306252       832       530      2202     36819      4372    908718   no data   no data
1334.11/41.97	c  N st    41    306252       832       530      2202     36819      4372    908718   no data   no data
1334.11/41.99	c Finding binary XORs  T:     0.00 s  found:       1
1356.48/42.64	c Decided on static restart strategy
1452.36/45.60	c  N st    51    334553       830       528      2666     41031      4358    918932   no data   no data
1529.08/48.08	c Finding binary XORs  T:     0.00 s  found:       0
1567.42/49.23	c  N st    53    357411       830       528      2718     39078      4358   1000647   no data   no data
1567.42/49.23	c  S st    53    357411       830       528      2718     39078      4358   1000647   no data   no data
1570.62/49.36	c  S st    53    357917       830       528      2719     39582      4358   1015520   no data   no data
1570.62/49.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
1573.81/49.45	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    1 Bins:     30 BRemL:    140 BRemN:      0 P:  2.1M T:  0.09
1573.81/49.48	c Replacing        2 vars Replaced     1180 lits Time:     0.02 s 
1573.81/49.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1573.81/49.48	c bin-w-bin subsume rem           28 bins  time:  0.00 s
1573.81/49.48	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1573.81/49.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    827 time:  0.00 s
1573.81/49.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
1573.81/49.50	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
1584.02/49.73	c subs with bin:        8  lits-rem:       910  v-fix:    0  time:  0.17 s
1596.17/50.18	c lits-rem:       390  cl-subs:      300  v-elim:      0  v-fix:    0  time:  0.44 s
1596.17/50.18	c vivif2 --  cl tried      527 cl shrink        0 lits rem          0 time: 0.00
1599.37/50.27	c vivif2 --  cl tried    39270 cl shrink    10340 lits rem      75062 time: 0.09
1602.56/50.31	c asymm  cl-useful: 1/527/527 lits-rem:4 time: 0.04
1602.56/50.31	c calculated reachability. Time: 0.00
1602.56/50.31	c  N st    53    357917       827       526      2148     39270      4342    928004   no data   no data
1755.97/55.15	c  N st    54    390309       827       526      2148     45495      4342    963142   no data   no data
1755.97/55.16	c Finding binary XORs  T:     0.00 s  found:       0
2066.00/64.85	c  N st    55    438899       827       526      2156     39090      4342    774210   no data   no data
2066.00/64.86	c Finding binary XORs  T:     0.00 s  found:       0
2507.02/78.63	c  N st    56    511781       826       525      2222     52887      4337   1215813   no data   no data
2507.02/78.65	c Finding binary XORs  T:     0.00 s  found:       1
2634.91/82.66	c  N st    57    536875       825       521      2226     47111      4325   1007575   no data   no data
2634.91/82.66	c  S st    57    536875       825       521      2226     47111      4325   1007575   no data   no data
2638.69/82.80	c  S st    57    537375       825       521      2226     47611      4325   1025730   no data   no data
2638.69/82.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
2644.47/82.93	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     89 BRemN:      0 P:  2.4M T:  0.12
2644.47/82.95	c Replacing        1 vars Replaced     2429 lits Time:     0.01 s 
2644.47/82.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2644.47/82.95	c bin-w-bin subsume rem            9 bins  time:  0.00 s
2644.47/82.95	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2644.47/82.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.00 s
2644.47/82.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
2644.47/82.97	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.02 s
2650.87/83.20	c subs with bin:       12  lits-rem:      1748  v-fix:    0  time:  0.16 s
2679.64/84.06	c lits-rem:      1584  cl-subs:     1483  v-elim:      0  v-fix:    0  time:  0.86 s
2679.64/84.06	c vivif2 --  cl tried      521 cl shrink        0 lits rem          0 time: 0.00
2682.83/84.16	c vivif2 --  cl tried    46096 cl shrink    12220 lits rem      45808 time: 0.10
2686.03/84.22	c asymm  cl-useful: 0/521/521 lits-rem:0 time: 0.06
2686.03/84.22	c calculated reachability. Time: 0.00
2686.03/84.22	c  N st    57    537375       824       521      2128     46096      4321    944690   no data   no data
3763.81/117.97	c  N st    58    701359       824       521      2128     40532      4321    609831   no data   no data
3763.81/117.97	c Finding binary XORs  T:     0.00 s  found:       0
4517.54/141.54	c  N st    59    806065       824       521      2161     70024      4321   2095560   no data   no data
4517.54/141.54	c  S st    59    806065       824       521      2161     70024      4321   2095560   no data   no data
4523.94/141.74	c  S st    59    806566       824       521      2169     70523      4321   2114219   no data   no data
4523.94/141.75	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
4530.33/141.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     27 BRemL:     44 BRemN:      0 P:  3.6M T:  0.19
4530.33/141.94	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4530.33/141.94	c bin-w-bin subsume rem            1 bins  time:  0.00 s
4530.33/141.94	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
4530.33/141.95	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.00 s
4530.33/141.95	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
4530.33/141.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
4549.51/142.51	c subs with bin:       44  lits-rem:       541  v-fix:    0  time:  0.39 s
4678.00/146.58	c lits-rem:      5261  cl-subs:     1525  v-elim:      0  v-fix:    0  time:  4.07 s
4678.00/146.58	c vivif2 --  cl tried      521 cl shrink        0 lits rem          0 time: 0.00
4686.95/146.82	c vivif2 --  cl tried    68954 cl shrink    26055 lits rem     183370 time: 0.23
4690.15/146.91	c asymm  cl-useful: 1/521/521 lits-rem:1 time: 0.09
4690.15/146.91	c calculated reachability. Time: 0.00
4690.15/146.91	c  N st    59    806566       824       521      2151     68954      4320   1865405   no data   no data
4690.15/146.92	c Finding binary XORs  T:     0.00 s  found:       0
6524.86/204.39	c  F st    60   1071875       824       521      2151     83736      4320   1770562   no data   no data
6524.86/204.39	c  N st    60   1071875       824       521      2151     83736      4320   1770562   no data   no data
6524.86/204.39	c Finding binary XORs  T:     0.00 s  found:       0
6569.62/205.75	c Decided on static restart strategy
6707.05/210.05	c  N st    70   1100180       824       521      2234     67958      4320   1436268   no data   no data
6978.75/218.52	c  N st    72   1136172       824       521      2236     58304      4320   1068056   no data   no data
7279.82/227.94	c  N st    73   1168564       824       521      2241     90420      4320   2475627   no data   no data
7570.07/237.00	c  N st    74   1209849       824       521      2241     84901      4320   2018785   no data   no data
7570.07/237.00	c  S st    74   1209849       824       521      2241     84901      4320   2018785   no data   no data
7576.46/237.22	c  S st    74   1210356       824       521      2244     85407      4320   2035434   no data   no data
7576.46/237.23	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
7582.87/237.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     35 BRemN:      0 P:  4.3M T:  0.25
7582.87/237.48	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
7582.87/237.48	c bin-w-bin subsume rem           12 bins  time:  0.00 s
7582.87/237.48	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
7582.87/237.48	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.00 s
7582.87/237.48	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
7586.07/237.52	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
7599.45/237.99	c subs with bin:        0  lits-rem:       108  v-fix:    0  time:  0.33 s
7723.52/241.84	c lits-rem:      2209  cl-subs:     1734  v-elim:      0  v-fix:    0  time:  3.85 s
7723.52/241.84	c vivif2 --  cl tried      520 cl shrink        0 lits rem          0 time: 0.00
7733.11/242.13	c vivif2 --  cl tried    83673 cl shrink    30390 lits rem     151650 time: 0.29
7736.90/242.26	c asymm  cl-useful: 0/520/520 lits-rem:0 time: 0.13
7736.90/242.27	c calculated reachability. Time: 0.00
7736.90/242.27	c  N st    74   1210356       824       520      2197     83673      4319   1832015   no data   no data
8295.65/259.75	c  N st    75   1283238       824       520      2197     59420      4319    987086   no data   no data
9184.24/287.54	c  N st    76   1392562       824       520      2199     68128      4319   1220264   no data   no data
9184.24/287.54	c Finding binary XORs  T:     0.00 s  found:       0
10501.12/328.72	c  N st    77   1556548       824       520      2200     72545      4319   1376511   no data   no data
11808.47/369.62	c  N st    78   1710356       824       520      2202     58681      4319    826357   no data   no data
11808.47/369.62	c  S st    78   1710356       824       520      2202     58681      4319    826357   no data   no data
11811.68/369.81	c  S st    78   1710859       824       520      2206     59184      4319    843835   no data   no data
11815.46/369.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11821.24/370.05	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      4 BRemN:      0 P:  3.4M T:  0.22
11821.24/370.05	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11821.24/370.05	c bin-w-bin subsume rem            1 bins  time:  0.00 s
11821.24/370.05	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
11821.24/370.05	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.00 s
11821.24/370.05	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
11821.24/370.08	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
11827.64/370.23	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.09 s
11837.23/370.56	c lits-rem:       811  cl-subs:      542  v-elim:      0  v-fix:    0  time:  0.33 s
11837.23/370.56	c vivif2 --  cl tried      520 cl shrink        0 lits rem          0 time: 0.00
11840.43/370.63	c vivif2 --  cl tried    58642 cl shrink     3135 lits rem       8542 time: 0.06
11843.64/370.72	c asymm  cl-useful: 0/520/520 lits-rem:0 time: 0.09
11843.64/370.72	c calculated reachability. Time: 0.00
11843.64/370.72	c  N st    78   1710859       824       520      2202     58642      4319    827510   no data   no data
15350.13/480.47	c  N st    79   2079823       824       520      2203     64243      4319    887625   no data   no data
15350.13/480.48	c Finding binary XORs  T:     0.00 s  found:       0
16580.76/518.90	c  N st    80   2210860       824       520      2217     66558      4319    917262   no data   no data
16580.76/518.90	c  S st    80   2210860       824       520      2217     66558      4319    917262   no data   no data
16587.15/519.11	c  S st    80   2211364       824       520      2219     67062      4319    933790   no data   no data
16587.15/519.12	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
16593.56/519.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      2 BRemN:      0 P:  3.5M T:  0.22
16593.56/519.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
16593.56/519.34	c bin-w-bin subsume rem            2 bins  time:  0.00 s
16593.56/519.34	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
16593.56/519.34	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.00 s
16593.56/519.34	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
16593.56/519.37	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.03 s
16600.54/519.57	c subs with bin:      541  lits-rem:        98  v-fix:    0  time:  0.14 s
16609.53/519.90	c lits-rem:       969  cl-subs:      377  v-elim:      0  v-fix:    0  time:  0.32 s
16609.53/519.90	c vivif2 --  cl tried      520 cl shrink        0 lits rem          0 time: 0.00
16612.72/519.96	c vivif2 --  cl tried    66144 cl shrink     2530 lits rem       6123 time: 0.07
16615.92/520.06	c asymm  cl-useful: 0/520/520 lits-rem:0 time: 0.09
16615.92/520.06	c calculated reachability. Time: 0.00
16615.92/520.06	c  N st    80   2211364       824       520      2215     66144      4319    915186   no data   no data
22219.26/695.37	c  N st    81   2711367       824       520      2215     84477      4319   1544033   no data   no data
22219.26/695.37	c  S st    81   2711367       824       520      2215     84477      4319   1544033   no data   no data
22228.80/695.63	c  S st    81   2711870       824       520      2223     84979      4319   1558752   no data   no data
22228.80/695.64	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
22235.20/695.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  4.3M T:  0.24
22235.20/695.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
22235.20/695.88	c bin-w-bin subsume rem            2 bins  time:  0.00 s
22235.20/695.89	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
22235.20/695.89	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.00 s
22235.20/695.89	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
22238.40/695.92	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.04 s
22247.99/696.25	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.22 s
22276.76/697.19	c lits-rem:       549  cl-subs:      435  v-elim:      0  v-fix:    0  time:  0.94 s
22276.76/697.19	c vivif2 --  cl tried      520 cl shrink        0 lits rem          0 time: 0.00
22283.14/697.33	c vivif2 --  cl tried    84544 cl shrink     9836 lits rem      50698 time: 0.13
22286.33/697.44	c asymm  cl-useful: 0/520/520 lits-rem:0 time: 0.11
22286.33/697.45	c calculated reachability. Time: 0.00
22286.33/697.45	c  N st    81   2711870       824       520      2220     84544      4319   1494903   no data   no data
28142.27/880.64	c  N st    82   3211870       824       520      2220    129423      4319   2670596   no data   no data
28142.27/880.64	c  S st    82   3211870       824       520      2220    129423      4319   2670596   no data   no data
28142.27/880.64	c Finding binary XORs  T:     0.00 s  found:       0
28155.07/881.04	c  S st    82   3212374       824       520      2231    129927      4319   2688742   no data   no data
28155.07/881.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
28171.04/881.53	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      3 BRemN:      0 P:  6.4M T:  0.47
28171.04/881.53	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28171.04/881.53	c bin-w-bin subsume rem            2 bins  time:  0.00 s
28171.04/881.53	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
28171.04/881.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    824 time:  0.00 s
28171.04/881.54	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
28171.04/881.59	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
28190.23/882.14	c subs with bin:        0  lits-rem:        13  v-fix:    0  time:  0.35 s
28520.08/892.47	c lits-rem:      6335  cl-subs:     5721  v-elim:      0  v-fix:    0  time: 10.33 s
28520.08/892.47	c vivif2 --  cl tried      520 cl shrink        0 lits rem          0 time: 0.00
28532.24/892.90	c vivif2 --  cl tried   124206 cl shrink    27884 lits rem      86084 time: 0.42
28541.83/893.11	c asymm  cl-useful: 0/520/520 lits-rem:0 time: 0.22
28541.83/893.12	c calculated reachability. Time: 0.00
28541.83/893.12	c  N st    82   3212374       824       520      2226    124206      4319   2480055   no data   no data
35177.66/1100.72	c  N st    83   3712375       824       520      2226    135858      4319   2975716   no data   no data
35177.66/1100.72	c  S st    83   3712375       824       520      2226    135858      4319   2975716   no data   no data
35177.66/1100.76	c Finding binary XORs  T:     0.00 s  found:       1
35190.45/1101.11	c  S st    83   3712881       823       519      2162    136361      4312   2994180   no data   no data
35190.45/1101.13	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
35203.25/1101.54	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     13 BRemN:      0 P:  5.9M T:  0.41
35206.42/1101.63	c Replacing        1 vars Replaced     5403 lits Time:     0.09 s 
35206.42/1101.63	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35206.42/1101.63	c bin-w-bin subsume rem            6 bins  time:  0.00 s
35206.42/1101.63	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
35206.42/1101.63	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    822 time:  0.00 s
35206.42/1101.63	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
35206.42/1101.70	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
35232.58/1102.49	c subs with bin:       39  lits-rem:      6324  v-fix:    0  time:  0.58 s
35628.36/1114.87	c lits-rem:      3706  cl-subs:     2438  v-elim:      0  v-fix:    0  time: 12.38 s
35628.36/1114.88	c vivif2 --  cl tried      519 cl shrink        0 lits rem          0 time: 0.00
35650.75/1115.54	c vivif2 --  cl tried   133884 cl shrink    42949 lits rem     173766 time: 0.65
35660.32/1115.80	c asymm  cl-useful: 0/519/519 lits-rem:0 time: 0.26
35660.32/1115.81	c calculated reachability. Time: 0.00
35660.32/1115.81	c  N st    83   3712881       822       519      2141    133884      4309   2731057   no data   no data
36107.79/1129.91	c  F st    84   3751562       822       519      2141     88273      4309   1281452   no data   no data
36107.79/1129.91	c  N st    84   3751562       822       519      2141     88273      4309   1281452   no data   no data
36168.51/1131.75	c Decided on static restart strategy
36405.07/1139.11	c  N st    94   3779867       822       519      2145    116209      4309   2168324   no data   no data
36779.67/1150.89	c  N st    96   3815859       822       519      2147    151619      4309   3375820   no data   no data
37162.62/1162.91	c  N st    97   3848254       822       519      2147     99082      4309   1742490   no data   no data
37629.31/1177.47	c  N st    98   3896843       822       519      2151    146659      4309   3434646   no data   no data
38569.07/1206.88	c  N st    99   3969725       822       519      2153    133313      4309   3230975   no data   no data
38569.07/1206.88	c Finding binary XORs  T:     0.00 s  found:       0
39579.15/1238.44	c  N st   100   4079051       822       519      2168    154495      4309   3909213   no data   no data
41424.10/1296.18	c  N st   101   4212881       822       519      2170    108883      4309   2032414   no data   no data
41424.10/1296.18	c  S st   101   4212881       822       519      2170    108883      4309   2032414   no data   no data
41439.45/1296.66	c  S st   101   4213384       822       519      2183    109384      4309   2051081   no data   no data
41439.45/1296.69	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
41456.03/1297.19	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:     22 BRemN:      0 P:  5.5M T:  0.50
41456.03/1297.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
41456.03/1297.19	c bin-w-bin subsume rem            3 bins  time:  0.00 s
41456.03/1297.19	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
41456.03/1297.19	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    822 time:  0.00 s
41456.03/1297.19	c Removed useless bin:       0  fixed:     0  props:   0.01M  time:  0.00 s
41459.23/1297.25	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.06 s
41477.81/1297.80	c subs with bin:        6  lits-rem:       316  v-fix:    0  time:  0.40 s
41612.04/1302.02	c lits-rem:      1416  cl-subs:     3001  v-elim:      0  v-fix:    0  time:  4.22 s
41612.04/1302.02	c vivif2 --  cl tried      519 cl shrink        0 lits rem          0 time: 0.00
41618.43/1302.23	c vivif2 --  cl tried   106377 cl shrink    12305 lits rem      51861 time: 0.21
41624.86/1302.46	c asymm  cl-useful: 0/519/519 lits-rem:0 time: 0.23
41624.86/1302.46	c calculated reachability. Time: 0.00
41624.86/1302.46	c  N st   101   4213384       822       519      2161    106377      4309   1907645   no data   no data
41624.86/1302.47	c Finding binary XORs  T:     0.00 s  found:       0
44942.80/1406.26	c  N st   102   4459360       822       519      2161    167438      4309   3498857   no data   no data
48053.00/1503.54	c  N st   103   4713384       821       519      2170    139224      4309   2579241   no data   no data
48053.00/1503.54	c  S st   103   4713384       821       519      2170    139224      4309   2579241   no data   no data
48053.00/1503.58	c Finding binary XORs  T:     0.00 s  found:       0
48069.57/1504.06	c  S st   103   4713889       821       518      2162    139694      4300   2593853   no data   no data
48069.57/1504.08	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
48088.12/1504.67	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     25 BRemN:      0 P:  6.0M T:  0.58
48088.12/1504.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
48088.12/1504.67	c bin-w-bin subsume rem            3 bins  time:  0.00 s
48088.12/1504.67	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
48088.12/1504.67	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    821 time:  0.00 s
48088.12/1504.67	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
48091.33/1504.74	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
48110.49/1505.38	c subs with bin:        6  lits-rem:       861  v-fix:    0  time:  0.45 s
48695.48/1523.65	c lits-rem:      2212  cl-subs:    16765  v-elim:      0  v-fix:    0  time: 18.26 s
48695.48/1523.65	c vivif2 --  cl tried      518 cl shrink        0 lits rem          0 time: 0.00
48705.05/1523.94	c vivif2 --  cl tried   122923 cl shrink    21676 lits rem      62485 time: 0.29
48711.45/1524.19	c asymm  cl-useful: 0/518/518 lits-rem:0 time: 0.25
48714.65/1524.20	c calculated reachability. Time: 0.00
48714.65/1524.20	c  N st   103   4713889       821       518      2134    122923      4300   2194893   no data   no data
57006.29/1783.61	c  N st   104   5213889       821       518      2134    134877      4300   2509309   no data   no data
57006.29/1783.61	c  S st   104   5213889       821       518      2134    134877      4300   2509309   no data   no data
57019.08/1784.03	c  S st   104   5214394       821       518      2138    135382      4300   2528464   no data   no data
57019.08/1784.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
57038.25/1784.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:      1 BRemN:      0 P:  6.6M T:  0.58
57038.25/1784.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
57038.25/1784.64	c bin-w-bin subsume rem            0 bins  time:  0.00 s
57038.25/1784.64	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
57038.25/1784.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    821 time:  0.00 s
57038.25/1784.64	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
57041.44/1784.71	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
57060.64/1785.32	c subs with bin:        1  lits-rem:        18  v-fix:    0  time:  0.43 s
57268.41/1791.85	c lits-rem:      5883  cl-subs:     3143  v-elim:      0  v-fix:    0  time:  6.53 s
57268.41/1791.85	c vivif2 --  cl tried      518 cl shrink        0 lits rem          0 time: 0.00
57278.60/1792.20	c vivif2 --  cl tried   132238 cl shrink    24152 lits rem      83742 time: 0.35
57290.78/1792.50	c asymm  cl-useful: 0/518/518 lits-rem:0 time: 0.30
57290.78/1792.51	c calculated reachability. Time: 0.00
57290.78/1792.51	c  N st   104   5214394       821       518      2138    132238      4300   2358867   no data   no data
64284.62/2011.36	c  N st   105   5714396       821       518      2138    117249      4300   1794408   no data   no data
64284.62/2011.36	c  S st   105   5714396       821       518      2138    117249      4300   1794408   no data   no data
64294.18/2011.69	c  S st   105   5714899       821       518      2146    117750      4300   1814190   no data   no data
64297.41/2011.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
64306.98/2012.08	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P:  5.7M T:  0.36
64306.98/2012.08	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
64306.98/2012.08	c bin-w-bin subsume rem            0 bins  time:  0.00 s
64306.98/2012.08	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
64306.98/2012.08	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    821 time:  0.00 s
64306.98/2012.08	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
64310.80/2012.13	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.05 s
64319.78/2012.47	c subs with bin:        2  lits-rem:        83  v-fix:    0  time:  0.21 s
64364.51/2013.88	c lits-rem:       936  cl-subs:     1298  v-elim:      0  v-fix:    0  time:  1.41 s
64364.51/2013.88	c vivif2 --  cl tried      518 cl shrink        0 lits rem          0 time: 0.00
64370.90/2014.05	c vivif2 --  cl tried   116450 cl shrink     9463 lits rem      35629 time: 0.17
64377.31/2014.22	c asymm  cl-useful: 0/518/518 lits-rem:0 time: 0.16
64377.31/2014.22	c calculated reachability. Time: 0.00
64377.31/2014.22	c  N st   105   5714899       821       518      2147    116450      4300   1749084   no data   no data
71831.31/2247.45	c  N st   106   6214902       821       518      2148    185988      4300   3875669   no data   no data
71831.31/2247.45	c  S st   106   6214902       821       518      2148    185988      4300   3875669   no data   no data
71831.31/2247.45	c Finding binary XORs  T:     0.00 s  found:       0
71850.49/2248.01	c  S st   106   6215405       821       518      2158    186491      4300   3893660   no data   no data
71850.49/2248.04	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
71873.50/2248.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      4 BRemN:      0 P:  9.7M T:  0.75
71873.50/2248.79	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
71873.50/2248.79	c bin-w-bin subsume rem            1 bins  time:  0.00 s
71873.50/2248.79	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
71873.50/2248.79	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    821 time:  0.00 s
71873.50/2248.79	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
71876.05/2248.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.08 s
71901.64/2249.69	c subs with bin:       43  lits-rem:       394  v-fix:    0  time:  0.52 s
72662.30/2273.51	c lits-rem:     14566  cl-subs:     4463  v-elim:      0  v-fix:    0  time: 23.82 s
72662.30/2273.51	c vivif2 --  cl tried      518 cl shrink        0 lits rem          0 time: 0.00
72694.25/2274.52	c vivif2 --  cl tried   181985 cl shrink    60251 lits rem     199687 time: 1.00
72707.05/2274.92	c asymm  cl-useful: 0/518/518 lits-rem:0 time: 0.41
72707.05/2274.93	c calculated reachability. Time: 0.00
72707.05/2274.93	c  N st   106   6215405       821       518      2153    181985      4300   3563033   no data   no data
81375.80/2546.14	c  N st   107   6715405       821       518      2154    122585      4300   1801296   no data   no data
81375.80/2546.14	c  S st   107   6715405       821       518      2154    122585      4300   1801296   no data   no data
81375.80/2546.18	c Finding binary XORs  T:     0.00 s  found:       1
81388.60/2546.59	c  S st   107   6715907       819       516      2087    120081      4286   1761392   no data   no data
81391.77/2546.62	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
81407.74/2547.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      5 BRemL:     25 BRemN:      0 P:  5.4M T:  0.51
81407.74/2547.16	c Replacing        2 vars Replaced       96 lits Time:     0.03 s 
81407.74/2547.16	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81407.74/2547.16	c bin-w-bin subsume rem            5 bins  time:  0.00 s
81407.74/2547.16	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
81407.74/2547.16	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    817 time:  0.00 s
81407.74/2547.16	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
81410.94/2547.23	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
81455.69/2548.67	c subs with bin:     2869  lits-rem:       423  v-fix:    0  time:  1.31 s
81474.87/2549.20	c lits-rem:       434  cl-subs:      221  v-elim:      0  v-fix:    0  time:  0.53 s
81474.87/2549.20	c vivif2 --  cl tried      516 cl shrink        0 lits rem          0 time: 0.00
81478.06/2549.35	c vivif2 --  cl tried   116991 cl shrink     4652 lits rem      18700 time: 0.14
81484.46/2549.58	c asymm  cl-useful: 0/516/516 lits-rem:0 time: 0.24
81484.46/2549.59	c calculated reachability. Time: 0.00
81484.46/2549.59	c  N st   107   6715907       817       516      2059    116991      4280   1663944   no data   no data
88963.98/2783.57	c  N st   108   7215908       817       516      2059    153178      4280   2725685   no data   no data
88963.98/2783.57	c  S st   108   7215908       817       516      2059    153178      4280   2725685   no data   no data
88963.98/2783.57	c Finding binary XORs  T:     0.00 s  found:       0
88979.97/2784.03	c  S st   108   7216410       817       516      2072    153679      4280   2742978   no data   no data
88979.97/2784.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
88999.13/2784.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     16 BRemN:      0 P:  7.3M T:  0.54
88999.13/2784.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
88999.13/2784.60	c bin-w-bin subsume rem            1 bins  time:  0.00 s
88999.13/2784.61	c subs with bin:        0  lits-rem:         4  v-fix:    0  time:  0.00 s
88999.13/2784.61	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    817 time:  0.00 s
88999.13/2784.61	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
88999.13/2784.68	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
89018.32/2785.29	c subs with bin:      165  lits-rem:      1871  v-fix:    0  time:  0.42 s
89312.40/2794.40	c lits-rem:      3518  cl-subs:     4588  v-elim:      0  v-fix:    0  time:  9.11 s
89312.40/2794.40	c vivif2 --  cl tried      516 cl shrink        0 lits rem          0 time: 0.00
89321.98/2794.76	c vivif2 --  cl tried   148926 cl shrink    24318 lits rem      87567 time: 0.36
89331.59/2795.01	c asymm  cl-useful: 0/516/516 lits-rem:0 time: 0.25
89331.59/2795.02	c calculated reachability. Time: 0.00
89331.59/2795.02	c  N st   108   7216410       817       516      2055    148926      4276   2539754   no data   no data
97475.68/3049.84	c  N st   109   7716410       817       516      2055    169602      4276   3893641   no data   no data
97475.68/3049.84	c  S st   109   7716410       817       516      2055    169602      4276   3893641   no data   no data
97494.87/3050.45	c  S st   109   7716913       817       516      2059    170105      4276   3910527   no data   no data
97494.87/3050.49	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
97523.62/3051.31	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  7.8M T:  0.82
97523.62/3051.31	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
97523.62/3051.31	c bin-w-bin subsume rem            0 bins  time:  0.00 s
97523.62/3051.32	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
97523.62/3051.32	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    817 time:  0.00 s
97523.62/3051.32	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
97526.84/3051.42	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.11 s
97565.19/3052.64	c subs with bin:        0  lits-rem:        44  v-fix:    0  time:  0.93 s
97942.34/3064.48	c lits-rem:      1666  cl-subs:     2005  v-elim:      0  v-fix:    0  time: 11.83 s
97942.34/3064.48	c vivif2 --  cl tried      516 cl shrink        0 lits rem          0 time: 0.00
97964.70/3065.14	c vivif2 --  cl tried   168100 cl shrink    37275 lits rem     218889 time: 0.66
97977.50/3065.54	c asymm  cl-useful: 0/516/516 lits-rem:0 time: 0.40
97977.50/3065.55	c calculated reachability. Time: 0.00
97977.50/3065.55	c  N st   109   7716913       817       516      2058    168100      4276   3625940   no data   no data
106348.74/3327.45	c  N st   110   8216915       817       516      2059    167986      4276   3037187   no data   no data
106348.74/3327.45	c  S st   110   8216915       817       516      2059    167986      4276   3037187   no data   no data
106367.91/3328.05	c  S st   110   8217421       817       516      2061    168489      4276   3055139   no data   no data
106367.91/3328.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
106394.09/3328.88	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:      1 BRemN:      0 P:  7.7M T:  0.79
106394.09/3328.88	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
106394.09/3328.88	c bin-w-bin subsume rem            0 bins  time:  0.00 s
106394.09/3328.88	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
106394.09/3328.88	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    817 time:  0.00 s
106394.09/3328.88	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
106397.29/3328.98	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
106422.27/3329.72	c subs with bin:       59  lits-rem:         6  v-fix:    0  time:  0.52 s
106764.20/3340.49	c lits-rem:      3511  cl-subs:     3465  v-elim:      0  v-fix:    0  time: 10.77 s
106764.20/3340.49	c vivif2 --  cl tried      516 cl shrink        0 lits rem          0 time: 0.00
106776.98/3340.92	c vivif2 --  cl tried   164965 cl shrink    23830 lits rem      57138 time: 0.43
106792.93/3341.33	c asymm  cl-useful: 0/516/516 lits-rem:0 time: 0.41
106792.93/3341.33	c calculated reachability. Time: 0.00
106792.93/3341.33	c  N st   110   8217421       817       516      2062    164965      4276   2897390   no data   no data
116620.37/3648.90	c  N st   111   8717423       817       516      2062    150394      4276   2322763   no data   no data
116620.37/3648.90	c  S st   111   8717423       817       516      2062    150394      4276   2322763   no data   no data
116636.35/3649.34	c  S st   111   8717927       817       516      2065    150898      4276   2342943   no data   no data
116636.35/3649.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
116652.34/3649.86	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      1 BRemN:      0 P:  7.5M T:  0.50
116652.34/3649.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
116652.34/3649.87	c bin-w-bin subsume rem            0 bins  time:  0.00 s
116652.34/3649.87	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
116652.34/3649.87	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    817 time:  0.00 s
116652.34/3649.87	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
116655.54/3649.94	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.07 s
116668.30/3650.37	c subs with bin:        0  lits-rem:        21  v-fix:    0  time:  0.27 s
116789.76/3654.19	c lits-rem:      1805  cl-subs:     5717  v-elim:      0  v-fix:    0  time:  3.82 s
116789.76/3654.19	c vivif2 --  cl tried      516 cl shrink        0 lits rem          0 time: 0.00
116796.15/3654.41	c vivif2 --  cl tried   145181 cl shrink    11557 lits rem      38610 time: 0.22
116805.73/3654.64	c asymm  cl-useful: 0/516/516 lits-rem:0 time: 0.22
116805.73/3654.64	c calculated reachability. Time: 0.00
116805.73/3654.64	c  N st   111   8717927       817       516      2064    145181      4276   2195206   no data   no data
125058.97/3912.86	c  N st   112   9217927       817       516      2064    246915      4276   5019841   no data   no data
125058.97/3912.86	c  S st   112   9217927       817       516      2064    246915      4276   5019841   no data   no data
125087.73/3913.75	c  S st   112   9218429       817       516      2066    247416      4276   5037452   no data   no data
125087.73/3913.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
125129.30/3915.01	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      0 BRemN:      0 P: 11.6M T:  1.21
125129.30/3915.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
125129.30/3915.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
125129.30/3915.01	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
125129.30/3915.01	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    817 time:  0.00 s
125129.30/3915.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
125133.07/3915.14	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
125168.23/3916.27	c subs with bin:       10  lits-rem:         1  v-fix:    0  time:  0.74 s
129546.79/4053.29	c lits-rem:     12475  cl-subs:    31022  v-elim:      0  v-fix:    0  time: 136.99 s
129546.79/4053.29	c vivif2 --  cl tried      516 cl shrink        0 lits rem          0 time: 0.00
129585.16/4054.44	c vivif2 --  cl tried   216384 cl shrink    49780 lits rem     124920 time: 1.14
129601.73/4054.95	c asymm  cl-useful: 0/516/516 lits-rem:0 time: 0.51
129601.73/4054.96	c calculated reachability. Time: 0.00
129601.73/4054.96	c  N st   112   9218429       817       516      2066    216384      4276   4206638   no data   no data
138218.81/4324.57	c  N st   113   9718432       817       516      2066    175672      4276   3001402   no data   no data
138218.81/4324.57	c  S st   113   9718432       817       516      2066    175672      4276   3001402   no data   no data
138222.02/4324.62	c Finding binary XORs  T:     0.00 s  found:       0
138241.19/4325.25	c  S st   113   9718935       816       515      2054    176153      4269   3018935   no data   no data
138241.19/4325.28	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
138269.97/4326.12	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     19 BRemL:     15 BRemN:      0 P:  8.0M T:  0.84
138269.97/4326.18	c Replacing        1 vars Replaced     1079 lits Time:     0.05 s 
138269.97/4326.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
138269.97/4326.18	c bin-w-bin subsume rem            0 bins  time:  0.00 s
138269.97/4326.18	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
138269.97/4326.18	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    815 time:  0.00 s
138269.97/4326.18	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
138273.17/4326.28	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.10 s
138298.73/4327.03	c subs with bin:       21  lits-rem:      1185  v-fix:    0  time:  0.52 s
138884.31/4345.34	c lits-rem:      5296  cl-subs:     8523  v-elim:      0  v-fix:    0  time: 18.31 s
138884.31/4345.34	c vivif2 --  cl tried      515 cl shrink        0 lits rem          0 time: 0.00
138896.50/4345.77	c vivif2 --  cl tried   167609 cl shrink    21492 lits rem      63637 time: 0.44
138912.45/4346.22	c asymm  cl-useful: 0/515/515 lits-rem:0 time: 0.45
138912.45/4346.23	c calculated reachability. Time: 0.00
138912.45/4346.23	c  N st   113   9718935       815       515      2058    167609      4266   2765192   no data   no data
138912.45/4346.23	c Finding binary XORs  T:     0.00 s  found:       0
150691.30/4714.76	c  N st   114  10218935       815       515      2059    251683      4266   5848241   no data   no data
150691.30/4714.76	c  S st   114  10218935       815       515      2059    251683      4266   5848241   no data   no data
150691.30/4714.76	c Finding binary XORs  T:     0.00 s  found:       0
150720.06/4715.64	c  S st   114  10219437       815       515      2080    252184      4266   5866757   no data   no data
150720.06/4715.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
150755.23/4716.79	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     20 BRemN:      0 P: 11.5M T:  1.11
150755.23/4716.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
150755.23/4716.80	c bin-w-bin subsume rem            5 bins  time:  0.00 s
150755.23/4716.80	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
150758.44/4716.80	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    815 time:  0.00 s
150758.44/4716.80	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
150761.64/4716.93	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.13 s
150809.58/4718.46	c subs with bin:       49  lits-rem:       257  v-fix:    0  time:  1.10 s
153376.30/4798.74	c lits-rem:     14144  cl-subs:    11713  v-elim:      0  v-fix:    0  time: 80.26 s
153376.30/4798.74	c vivif2 --  cl tried      515 cl shrink        0 lits rem          0 time: 0.00
153427.44/4800.33	c vivif2 --  cl tried   240422 cl shrink    69792 lits rem     215771 time: 1.58
153446.62/4800.94	c asymm  cl-useful: 0/515/515 lits-rem:0 time: 0.60
153446.62/4800.95	c calculated reachability. Time: 0.00
153446.62/4800.95	c  N st   114  10219437       815       515      2055    240422      4266   5310826   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: 977)

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-3400860-1307064266/watcher-3400860-1307064266 -o /tmp/evaluation-result-3400860-1307064266/solver-3400860-1307064266 -C 160000 -W 5100 -M 261000 ./strangenight2-mt --threads=32 HOME/instance-3400860-1307064266.cnf 

running on 32 cores: 0,4,8,12,16,20,24,28,1,5,9,13,17,21,25,29,2,6,10,14,18,22,26,30,3,7,11,15,19,23,27,31

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 160000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 160030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 267264000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 267315200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 29.53 31.56 31.91 1/413 9697
/proc/meminfo: memFree=263280372/264257624 swapFree=67054984/67111528
[pid=9697] ppid=9695 vsize=338000 CPUtime=0.83 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) R 9695 9697 9671 0 -1 4202496 437 0 0 0 83 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 84500 376 297 95 0 79482 0
[pid=9697/tid=9698] ppid=9695 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=338000 CPUtime=0.03 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 3 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891824 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891830 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=338000 CPUtime=0 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=338000 CPUtime=0 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651012321 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338997 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891820 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891830 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891826 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 12338998 346112000 376 268435456000 4194304 4580107 140735071953728 18446744073709551615 47849072891816 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.0971109 s]
/proc/loadavg: 29.53 31.56 31.91 1/413 9697
/proc/meminfo: memFree=263280372/264257624 swapFree=67054984/67111528
[pid=9697] ppid=9695 vsize=1191640 CPUtime=2.24 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) S 9695 9697 9671 0 -1 4202496 3407 0 0 0 190 34 0 0 17 0 32 0 12338997 1220239360 3279 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 297910 3285 331 95 0 292892 0
[pid=9697/tid=9698] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 95 0 0 0 6 1 0 0 17 0 32 0 12338997 1220239360 3289 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604641971338720 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 118 0 0 0 6 0 0 0 18 0 32 0 12338997 1220239360 3298 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349556 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 160 0 0 0 6 1 0 0 18 0 32 0 12338997 1220239360 3300 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650653015 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 104 0 0 0 6 0 0 0 18 0 32 0 12338997 1220239360 3312 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 76 0 0 0 6 1 0 0 25 0 32 0 12338997 1220239360 3314 268435456000 4194304 4580107 140735071953728 18446744073709551615 4344560 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 72 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3320 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 71 0 0 0 6 1 0 0 17 0 32 0 12338997 1220239360 3334 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 119 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3334 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=1191640 CPUtime=0.05 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 68 0 0 0 5 0 0 0 17 0 32 0 12338997 1220239360 3342 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 31 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=1191640 CPUtime=0.02 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 103 0 0 0 1 1 0 0 18 0 32 0 12338997 1220239360 3350 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604500652252640 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=1191640 CPUtime=0.04 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 68 0 0 0 3 1 0 0 25 0 32 0 12338997 1220239360 3359 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 70 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3362 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604633187065312 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 71 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3366 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 413696 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 130 0 0 0 6 0 0 0 17 0 32 0 12338997 1220239360 3371 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604641971338720 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 108 0 0 0 6 1 0 0 17 0 32 0 12338997 1220239360 3378 268435456000 4194304 4580107 140735071953728 18446744073709551615 4307821 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 86 0 0 0 6 1 0 0 17 0 32 0 12338998 1220239360 3384 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604467116449248 0 0 -1 3 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=1191640 CPUtime=0.06 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 122 0 0 0 6 0 0 0 17 0 32 0 12338998 1220239360 3391 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 73 0 0 0 6 1 0 0 17 0 32 0 12338998 1220239360 3398 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 148 0 0 0 6 1 0 0 18 0 32 0 12338998 1220239360 3409 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 119 0 0 0 6 1 0 0 17 0 32 0 12338998 1220239360 3421 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=1191640 CPUtime=0.07 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 133 0 0 0 6 1 0 0 25 0 32 0 12338998 1220239360 3424 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 69 0 0 0 5 1 0 0 17 0 32 0 12338998 1220382720 3428 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566931304 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 116 0 0 0 6 1 0 0 18 0 32 0 12338998 1220382720 3433 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349442 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 116 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3444 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 71 0 0 0 6 0 0 0 17 0 32 0 12338998 1220382720 3461 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604500020076000 0 0 -1 15 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 93 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3468 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566926824 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 91 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3479 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604642787909088 0 0 -1 19 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 87 0 0 0 6 0 0 0 25 0 32 0 12338998 1220382720 3480 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604635948359136 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=1191780 CPUtime=0.07 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 104 0 0 0 6 1 0 0 17 0 32 0 12338998 1220382720 3502 268435456000 4194304 4580107 140735071953728 18446744073709551615 4307796 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 68 0 0 0 6 0 0 0 25 0 32 0 12338998 1220382720 3514 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=1191780 CPUtime=0.06 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 69 0 0 0 6 0 0 0 25 0 32 0 12338998 1220382720 3514 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604640001891808 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 2.24
Current children cumulated vsize (KiB) 1191640

[startup+0.10409 s]
/proc/loadavg: 29.53 31.56 31.91 1/413 9697
/proc/meminfo: memFree=263280372/264257624 swapFree=67054984/67111528
[pid=9697] ppid=9695 vsize=1192340 CPUtime=2.31 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) S 9695 9697 9671 0 -1 4202496 4187 0 0 0 192 39 0 0 17 0 32 0 12338997 1220956160 4059 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 298085 4066 331 95 0 293067 0
[pid=9697/tid=9698] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 126 0 0 0 6 1 0 0 17 0 32 0 12338997 1220956160 4072 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566926944 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 162 0 0 0 6 1 0 0 18 0 32 0 12338997 1220956160 4081 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604506592950304 0 0 -1 16 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 206 0 0 0 6 1 0 0 17 0 32 0 12338997 1220956160 4083 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=1192340 CPUtime=0.07 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 158 0 0 0 6 1 0 0 18 0 32 0 12338997 1220956160 4091 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=1192472 CPUtime=0.07 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 109 0 0 0 6 1 0 0 17 0 32 0 12338997 1221091328 4094 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=1192604 CPUtime=0.06 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 78 0 0 0 6 0 0 0 17 0 32 0 12338997 1221226496 4108 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446604502398582240 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 96 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4109 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927144 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 166 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4116 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=1192604 CPUtime=0.05 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 72 0 0 0 5 0 0 0 17 0 32 0 12338997 1221226496 4118 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566927904 0 0 -1 31 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=1192604 CPUtime=0.02 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 127 0 0 0 1 1 0 0 17 0 32 0 12338997 1221226496 4126 268435456000 4194304 4580107 140735071953728 18446744073709551615 4307681 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=1192604 CPUtime=0.04 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) S 9695 9697 9671 0 -1 4202560 69 0 0 0 3 1 0 0 17 0 32 0 12338997 1221226496 4134 268435456000 4194304 4580107 140735071953728 18446744073709551615 258651060958 0 0 4096 2 18446744071566923944 0 0 -1 29 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 78 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4137 268435456000 4194304 4580107 140735071953728 18446744073709551615 4349457 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=1192604 CPUtime=0.06 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 95 0 0 0 6 0 0 0 17 0 32 0 12338997 1221226496 4151 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=1192604 CPUtime=0.06 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 161 0 0 0 6 0 0 0 17 0 32 0 12338997 1221226496 4151 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 125 0 0 0 6 1 0 0 17 0 32 0 12338997 1221226496 4165 268435456000 4194304 4580107 140735071953728 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) D 9695 9697 9671 0 -1 4202560 114 0 0 0 6 1 0 0 17 0 32 0 12338998 1221226496 4166 268435456000 4194304 4580107 140735071953728 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=1192604 CPUtime=0.07 cores=0-31

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

/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 442889 0 0 0 495549 289 0 0 25 0 32 0 12338997 13998911488 2554321 268435456000 4194304 4580107 140735071953728 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=13670812 CPUtime=4961.07 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 334692 0 0 0 495886 221 0 0 25 0 32 0 12338997 13998911488 2554321 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=13670812 CPUtime=4959.68 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470412 0 0 0 495703 265 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=13670812 CPUtime=4961.09 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 419196 0 0 0 495873 236 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4316702 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=13670812 CPUtime=4961.05 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 472289 0 0 0 495840 265 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=13670812 CPUtime=4930.43 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 465847 0 0 0 492751 292 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406385 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=13670812 CPUtime=4961.06 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 353853 0 0 0 495908 198 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4489516 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=13670812 CPUtime=4954.13 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 379227 0 0 0 495172 241 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294821 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=13670812 CPUtime=4961.06 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 453640 0 0 0 495846 260 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=13670812 CPUtime=4960.87 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 443561 0 0 0 495817 270 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=13670812 CPUtime=4960.6 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 407161 0 0 0 495792 268 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=13670812 CPUtime=4960.98 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 475775 0 0 0 495804 294 0 0 25 0 32 0 12338997 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=13670812 CPUtime=4945.79 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 351730 0 0 0 494351 228 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406451 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=13670812 CPUtime=4960.98 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 510111 0 0 0 495784 314 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=13670812 CPUtime=4957.73 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 419887 0 0 0 495500 273 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4318435 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=13670812 CPUtime=4961.11 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 435617 0 0 0 495840 271 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=13670812 CPUtime=4959.61 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 372107 0 0 0 495750 211 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=13670812 CPUtime=4955.38 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 408249 0 0 0 495289 249 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=13670812 CPUtime=4961.06 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 486897 0 0 0 495815 291 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=13670812 CPUtime=4945.19 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 450226 0 0 0 494224 295 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293222 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=13670812 CPUtime=4961.07 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 472663 0 0 0 495802 305 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=13670812 CPUtime=4910.39 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 401211 0 0 0 490779 260 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=13670812 CPUtime=4961.1 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 391251 0 0 0 495864 246 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=13670812 CPUtime=4956.83 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 468323 0 0 0 495387 296 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=13670812 CPUtime=4961.13 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 403296 0 0 0 495877 236 0 0 25 0 32 0 12338998 13998911488 2554323 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406360 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=13670812 CPUtime=4953.19 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 343527 0 0 0 495097 222 0 0 25 0 32 0 12338998 13998911488 2554324 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406355 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=13670812 CPUtime=4961.09 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 404402 0 0 0 495850 259 0 0 25 0 32 0 12338998 13998911488 2554324 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=13670812 CPUtime=4960.79 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 164940 0 0 0 495944 135 0 0 25 0 32 0 12338998 13998911488 2554324 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 158606
Current children cumulated vsize (KiB) 13670812



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5006 s]
/proc/loadavg: 32.07 32.06 32.19 33/445 12044
/proc/meminfo: memFree=252842184/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=13350792 CPUtime=160003 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) R 9695 9697 9671 0 -1 4202496 13239237 0 0 0 15992081 8228 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294974 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 3337698 2562172 379 95 0 3332680 0
[pid=9697/tid=9698] ppid=9695 vsize=13350792 CPUtime=5004.13 cores=0-31
/proc/9697/task/9698/stat : 9698 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 391326 0 0 0 500176 237 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406480 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9697/tid=9699] ppid=9695 vsize=13350792 CPUtime=5004.71 cores=0-31
/proc/9697/task/9699/stat : 9699 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 403662 0 0 0 500237 234 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293232 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9697/tid=9700] ppid=9695 vsize=13350792 CPUtime=5004.56 cores=0-31
/proc/9697/task/9700/stat : 9700 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 408920 0 0 0 500199 257 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294462 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9697/tid=9701] ppid=9695 vsize=13350792 CPUtime=5002.04 cores=0-31
/proc/9697/task/9701/stat : 9701 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 444332 0 0 0 499912 292 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4304867 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9697/tid=9702] ppid=9695 vsize=13350792 CPUtime=5004.77 cores=0-31
/proc/9697/task/9702/stat : 9702 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 335641 0 0 0 500255 222 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406440 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9697/tid=9703] ppid=9695 vsize=13350792 CPUtime=5003.36 cores=0-31
/proc/9697/task/9703/stat : 9703 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470412 0 0 0 500071 265 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406350 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9697/tid=9704] ppid=9695 vsize=13350792 CPUtime=5004.78 cores=0-31
/proc/9697/task/9704/stat : 9704 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 423799 0 0 0 500239 239 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9697/tid=9705] ppid=9695 vsize=13350792 CPUtime=5004.74 cores=0-31
/proc/9697/task/9705/stat : 9705 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 472289 0 0 0 500209 265 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9697/tid=9706] ppid=9695 vsize=13350792 CPUtime=4974.12 cores=0-31
/proc/9697/task/9706/stat : 9706 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470185 0 0 0 497118 294 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293073 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9697/tid=9707] ppid=9695 vsize=13350792 CPUtime=5004.75 cores=0-31
/proc/9697/task/9707/stat : 9707 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 356552 0 0 0 500274 201 0 0 25 0 32 0 12338997 13671211008 2562172 268435456000 4194304 4580107 140735071953728 18446744073709551615 4295272 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9697/tid=9708] ppid=9695 vsize=13350792 CPUtime=4997.82 cores=0-31
/proc/9697/task/9708/stat : 9708 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 385092 0 0 0 499538 244 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294336 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9697/tid=9709] ppid=9695 vsize=13350792 CPUtime=5004.75 cores=0-31
/proc/9697/task/9709/stat : 9709 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 453640 0 0 0 500215 260 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9697/tid=9710] ppid=9695 vsize=13350792 CPUtime=5004.56 cores=0-31
/proc/9697/task/9710/stat : 9710 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 449181 0 0 0 500182 274 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294378 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9697/tid=9711] ppid=9695 vsize=13350792 CPUtime=5004.3 cores=0-31
/proc/9697/task/9711/stat : 9711 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 407435 0 0 0 500161 269 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9697/tid=9712] ppid=9695 vsize=13350792 CPUtime=5004.67 cores=0-31
/proc/9697/task/9712/stat : 9712 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 477357 0 0 0 500172 295 0 0 25 0 32 0 12338997 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294404 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9697/tid=9713] ppid=9695 vsize=13350792 CPUtime=4989.48 cores=0-31
/proc/9697/task/9713/stat : 9713 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 351730 0 0 0 498720 228 0 0 25 0 32 0 12338998 13671211008 2562173 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9697/tid=9714] ppid=9695 vsize=13350792 CPUtime=5004.67 cores=0-31
/proc/9697/task/9714/stat : 9714 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 510111 0 0 0 500153 314 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406466 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9697/tid=9715] ppid=9695 vsize=13350792 CPUtime=5001.43 cores=0-31
/proc/9697/task/9715/stat : 9715 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 422487 0 0 0 499867 276 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294373 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9697/tid=9716] ppid=9695 vsize=13350792 CPUtime=5004.8 cores=0-31
/proc/9697/task/9716/stat : 9716 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 440162 0 0 0 500205 275 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293211 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9697/tid=9717] ppid=9695 vsize=13350792 CPUtime=5003.3 cores=0-31
/proc/9697/task/9717/stat : 9717 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 377157 0 0 0 500116 214 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294530 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9697/tid=9718] ppid=9695 vsize=13350792 CPUtime=4999.07 cores=0-31
/proc/9697/task/9718/stat : 9718 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 409629 0 0 0 499656 251 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9697/tid=9719] ppid=9695 vsize=13350792 CPUtime=5004.75 cores=0-31
/proc/9697/task/9719/stat : 9719 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 489633 0 0 0 500181 294 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9697/tid=9720] ppid=9695 vsize=13350792 CPUtime=4988.89 cores=0-31
/proc/9697/task/9720/stat : 9720 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 452939 0 0 0 498590 299 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9697/tid=9721] ppid=9695 vsize=13350792 CPUtime=5004.76 cores=0-31
/proc/9697/task/9721/stat : 9721 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 477979 0 0 0 500168 308 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294471 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=13350792 CPUtime=4952.85 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 406936 0 0 0 495021 264 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9697/tid=9723] ppid=9695 vsize=13350792 CPUtime=5004.8 cores=0-31
/proc/9697/task/9723/stat : 9723 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 392689 0 0 0 500232 248 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9697/tid=9724] ppid=9695 vsize=13350792 CPUtime=5000.52 cores=0-31
/proc/9697/task/9724/stat : 9724 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 470354 0 0 0 499754 298 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9697/tid=9725] ppid=9695 vsize=13350792 CPUtime=5004.82 cores=0-31
/proc/9697/task/9725/stat : 9725 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 403296 0 0 0 500246 236 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4406473 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9697/tid=9726] ppid=9695 vsize=13350792 CPUtime=4996.88 cores=0-31
/proc/9697/task/9726/stat : 9726 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 347101 0 0 0 499463 225 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294460 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9697/tid=9727] ppid=9695 vsize=13350792 CPUtime=5004.78 cores=0-31
/proc/9697/task/9727/stat : 9727 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 408116 0 0 0 500217 261 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9697/tid=9728] ppid=9695 vsize=13350792 CPUtime=5004.49 cores=0-31
/proc/9697/task/9728/stat : 9728 (strangenight2-m) R 9695 9697 9671 0 -1 4202560 166130 0 0 0 500312 137 0 0 25 0 32 0 12338998 13671211008 2562174 268435456000 4194304 4580107 140735071953728 18446744073709551615 4294520 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 160003
Current children cumulated vsize (KiB) 13350792

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

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

[startup+5006.5 s]
/proc/loadavg: 32.07 32.06 32.19 2/416 12045
/proc/meminfo: memFree=256783384/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=0 CPUtime=160004 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) Z 9695 9697 9671 0 -1 4203548 13239243 0 0 0 15992104 8275 0 0 25 0 2 0 12338997 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 0 0 0 0 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=0 CPUtime=4953.33 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4203588 406936 0 0 0 495022 311 0 0 25 0 2 0 12338998 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5006.7 s]
/proc/loadavg: 32.07 32.06 32.19 2/416 12045
/proc/meminfo: memFree=256783384/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=0 CPUtime=160004 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) Z 9695 9697 9671 0 -1 4203548 13239243 0 0 0 15992104 8295 0 0 25 0 2 0 12338997 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 0 0 0 0 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=0 CPUtime=4953.53 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) R 9695 9697 9671 0 -1 4203588 406936 0 0 0 495022 331 0 0 25 0 2 0 12338998 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5006.8 s]
/proc/loadavg: 32.07 32.06 32.19 2/416 12045
/proc/meminfo: memFree=256783384/264257624 swapFree=67054988/67111528
[pid=9697] ppid=9695 vsize=0 CPUtime=160004 cores=0-31
/proc/9697/stat : 9697 (strangenight2-m) Z 9695 9697 9671 0 -1 4203548 13239243 0 0 0 15992104 8305 0 0 25 0 2 0 12338997 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 26 0 0 0
/proc/9697/statm: 0 0 0 0 0 0 0
[pid=9697/tid=9722] ppid=9695 vsize=0 CPUtime=4953.63 cores=0-31
/proc/9697/task/9722/stat : 9722 (strangenight2-m) S 9695 9697 9671 0 -1 4203588 406936 0 0 0 495022 341 0 0 25 0 2 0 12338998 0 0 268435456000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 11 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 5006.8
CPU time (s): 160004
CPU user time (s): 159921
CPU system time (s): 83.0514
CPU usage (%): 3195.73
Max. virtual memory (cumulated for all children) (KiB): 13751952

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159921
system time used= 83.0514
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13239243
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= 83041
involuntary context switches= 345260

runsolver used 28.3367 second user time and 112.218 second system time

The end

Launcher Data 

Begin job on node200 at 2011-06-03 03:24:26
IDJOB=3400860
IDBENCH=84237
IDSOLVER=1886
FILE ID=node200/3400860-1307064266
RUNJOBID= node200-1307064266-9685
PBS_JOBID= 13497817
Free space on /tmp= 61744 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT03/industrial/kukula/addm_bench/am_7_7.shuffled-as.sat03-363.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400860-1307064266/watcher-3400860-1307064266 -o /tmp/evaluation-result-3400860-1307064266/solver-3400860-1307064266 -C 160000 -W 5100 -M 261000  ./strangenight2-mt --threads=32 HOME/instance-3400860-1307064266.cnf

TIME LIMIT= 160000 seconds
MEMORY LIMIT= 261000 MiB
NBCORE= 32

MD5SUM BENCH= c7f51e1ee7556440ab29e1c4bfe29538
RANDOM SEED=268500903

node200.alineos.net Linux 2.6.18-194.el5 #1 SMP Fri Apr 2 14:58:14 EDT 2010

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 32
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 64
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 0
cpu cores	: 8
apicid		: 96
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.14
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 34
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 66
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 1
cpu cores	: 8
apicid		: 98
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.04
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 36
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 68
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 2
cpu cores	: 8
apicid		: 100
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 38
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 70
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 3
cpu cores	: 8
apicid		: 102
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 16
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 8
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.03
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 17
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 48
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 18
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 80
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 19
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 8
cpu cores	: 8
apicid		: 112
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.09
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 20
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 9
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.02
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 21
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 50
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.11
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 22
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 82
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 23
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 9
cpu cores	: 8
apicid		: 114
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 24
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 10
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3989.99
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 25
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 52
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 26
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 84
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.07
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 27
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 10
cpu cores	: 8
apicid		: 116
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.10
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 28
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 0
siblings	: 8
core id		: 11
cpu cores	: 8
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.05
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 29
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 1
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 54
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 30
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 2
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 86
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.35
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]

processor	: 31
vendor_id	: GenuineIntel
cpu family	: 6
model		: 46
model name	: Intel(R) Xeon(R) CPU           X7550  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.043
cache size	: 18432 KB
physical id	: 3
siblings	: 8
core id		: 11
cpu cores	: 8
apicid		: 118
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 ssse3 cx16 xtpr sse4_1 sse4_2 popcnt lahf_lm
bogomips	: 3990.08
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      263280528 kB
Buffers:         46040 kB
Cached:         774336 kB
SwapCached:       7940 kB
Active:          73700 kB
Inactive:       764668 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      263280528 kB
SwapTotal:    67111528 kB
SwapFree:     67054984 kB
Dirty:            5836 kB
Writeback:           4 kB
AnonPages:       16492 kB
Mapped:           7392 kB
Slab:            53056 kB
PageTables:       4184 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   184464 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296372 kB
VmallocChunk: 34359440603 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 61736 MiB
End job on node200 at 2011-06-03 04:47:54