Trace number 3400628

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)UNSAT 106346 3328.28

General information on the benchmark

Nameindustrial/jarvisalo/
eq.atree.braun.12.unsat.cnf
MD5SUM8d6acb9f6b752ad76c024133f5175c69
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark81294.6
Satisfiable
(Un)Satisfiability was proved
Number of variables1694
Number of clauses5726
Sum of the clauses size14874
Maximum clause length23
Minimum clause length1
Number of clauses of size 13
Number of clauses of size 22490
Number of clauses of size 33143
Number of clauses of size 439
Number of clauses of size 538
Number of clauses of size over 513

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400628-1306253454.cnf'
0.00/0.06	c -- header says num vars:           1694
0.00/0.06	c -- header says num clauses:        5726
1.97/0.12	c -- clauses added:            0 learnts,         5726 normals,            0 xors
1.97/0.12	c -- vars added       1694
1.97/0.12	c Parsing time:  0.01 s
1.97/0.13	c  N st     0         0      1694      3233      2490         0     14871         0   no data   no data
1.97/0.14	c asymm  cl-useful: 0/3233/3233 lits-rem:0 time: 0.01
1.97/0.17	c Flit:    12 Blit:      0 bXBeca:    0 bXProp:    6 Bins:      0 BRemL:      0 BRemN:      0 P:  0.1M T:  0.02
1.97/0.17	c Replacing        6 vars Replaced       79 lits Time:     0.00 s 
3.21/0.21	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
3.21/0.21	c bin-w-bin subsume rem            0 bins  time:  0.00 s
3.21/0.21	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
3.21/0.22	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1667 time:  0.00 s
3.21/0.22	c Removed useless bin:       0  fixed:     0  props:   0.05M  time:  0.00 s
3.21/0.28	c lits-rem:         0  cl-subs:      174  v-elim:    518  v-fix:    0  time:  0.03 s
3.21/0.28	c Finding binary XORs  T:     0.00 s  found:       0
3.21/0.29	c Finding non-binary XORs:     0.00 s (found:     457, avg size: 3.0)
3.21/0.29	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:     13 locsubst:     0 time:   0.00
3.21/0.29	c calculated reachability. Time: 0.00
3.21/0.29	c Calc default polars -  time:   0.00 s pos:     166 undec:     589 neg:     939
3.21/0.29	c =========================================================================================
3.21/0.29	c types(t): F = full restart, N = normal restart
3.21/0.29	c types(t): S = simplification begin/end, E = solution found
3.21/0.29	c restart types(rt): st = static, dy = dynamic
3.21/0.29	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
3.21/0.29	c  B st     0         0      1136      1838      1021         0      9651         0   no data   no data
5.57/0.60	c Decided on static restart strategy
5.57/1.00	c  N st     8      4915      1136      1838      1121      4755      9651    168287   no data   no data
50.15/1.74	c  N st    10     11297      1136      1838      1147      4637      9651     96525   no data   no data
75.72/2.51	c  N st    11     17043      1133      1838      1164     10321      9651    362483   no data   no data
75.72/2.51	c Finding binary XORs  T:     0.00 s  found:       1
110.87/3.64	c  F st    12     25000      1130      1829      1703     12912      9580    467007   no data   no data
110.87/3.64	c Replacing        1 vars Replaced        8 lits Time:     0.00 s 
110.87/3.64	c  N st    12     25000      1129      1829      1701     12912      9574    467003   no data   no data
133.87/4.38	c Decided on static restart strategy
133.87/4.38	c  N st    18     30002      1129      1829      1761     11350      9574    319554   no data   no data
133.87/4.38	c  S st    18     30002      1129      1829      1761     11350      9574    319554   no data   no data
137.08/4.46	c  S st    18     30505      1129      1829      1762     11851      9574    333019   no data   no data
137.08/4.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
137.08/4.48	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    307 BRemL:    174 BRemN:      0 P:  0.6M T:  0.03
137.08/4.49	c blocked clauses removed:        0 vars:      0 tried:         284 T: 0.00 s
137.08/4.49	c bin-w-bin subsume rem            2 bins  time:  0.00 s
137.08/4.49	c subs with bin:       25  lits-rem:        47  v-fix:    0  time:  0.00 s
137.08/4.49	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1129 time:  0.00 s
137.08/4.49	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
137.08/4.49	c lits-rem:         0  cl-subs:        7  v-elim:      7  v-fix:    0  time:  0.01 s
139.63/4.58	c subs with bin:       38  lits-rem:      4840  v-fix:    0  time:  0.06 s
146.03/4.72	c lits-rem:       932  cl-subs:      225  v-elim:      0  v-fix:    0  time:  0.14 s
146.03/4.73	c asymm  cl-useful: 12/1807/1807 lits-rem:12 time: 0.02
146.03/4.74	c calculated reachability. Time: 0.00
146.03/4.74	c  N st    18     30505      1122      1807      1826     11526      9482    320866   no data   no data
158.81/5.14	c Finding binary XORs  T:     0.00 s  found:       0
181.18/5.81	c  N st    20     37615      1122      1807      1841     10975      9482    246515   no data   no data
213.14/6.89	c  N st    21     44016      1122      1807      1841     17327      9482    537474   no data   no data
222.74/7.12	c  S st    22     45758      1122      1807      1955     10350      9482    178801   no data   no data
222.74/7.18	c  S st    22     46261      1122      1807      1955     10845      9482    190183   no data   no data
222.74/7.18	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
225.93/7.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:     77 BRemN:      7 P:  0.6M T:  0.02
225.93/7.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
225.93/7.20	c bin-w-bin subsume rem            0 bins  time:  0.00 s
225.93/7.20	c subs with bin:        3  lits-rem:         2  v-fix:    0  time:  0.00 s
225.93/7.21	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1122 time:  0.00 s
225.93/7.21	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
225.93/7.21	c lits-rem:         0  cl-subs:        0  v-elim:     10  v-fix:    0  time:  0.00 s
225.93/7.23	c subs with bin:        1  lits-rem:         6  v-fix:    0  time:  0.01 s
225.93/7.24	c lits-rem:       135  cl-subs:       38  v-elim:      0  v-fix:    0  time:  0.01 s
225.93/7.25	c vivif2 --  cl tried     1821 cl shrink        2 lits rem          2 time: 0.00
225.93/7.25	c vivif2 --  cl tried     9597 cl shrink     1251 lits rem       2531 time: 0.01
225.93/7.27	c asymm  cl-useful: 7/1821/1821 lits-rem:7 time: 0.01
225.93/7.27	c calculated reachability. Time: 0.00
225.93/7.27	c  N st    22     46261      1112      1821      1745      9597      9500    156873   no data   no data
299.45/9.59	c  N st    23     60660      1112      1821      1745     14772      9500    326676   no data   no data
299.45/9.59	c Finding binary XORs  T:     0.00 s  found:       0
341.02/10.87	c  N st    24     69392      1112      1821      1782     13030      9500    215299   no data   no data
341.02/10.87	c  S st    24     69392      1112      1821      1782     13030      9500    215299   no data   no data
344.83/10.95	c  S st    24     69899      1111      1821      1809     13534      9500    227875   no data   no data
344.83/10.95	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
344.83/10.98	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     14 BRemL:     23 BRemN:      0 P:  0.7M T:  0.02
344.83/10.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
344.83/10.98	c bin-w-bin subsume rem            0 bins  time:  0.00 s
344.83/10.98	c subs with bin:        5  lits-rem:         2  v-fix:    0  time:  0.00 s
344.83/10.98	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:   1111 time:  0.00 s
344.83/10.98	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
344.83/10.99	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.00 s
348.03/11.02	c subs with bin:        0  lits-rem:        12  v-fix:    0  time:  0.02 s
348.03/11.05	c lits-rem:       363  cl-subs:      101  v-elim:      0  v-fix:    0  time:  0.03 s
348.03/11.05	c vivif2 --  cl tried     1815 cl shrink        0 lits rem          0 time: 0.00
348.03/11.07	c vivif2 --  cl tried    13233 cl shrink      806 lits rem       1710 time: 0.01
348.03/11.08	c asymm  cl-useful: 14/1815/1815 lits-rem:21 time: 0.02
348.03/11.08	c calculated reachability. Time: 0.00
348.03/11.08	c  N st    24     69899      1110      1812      1791     13233      9453    219276   no data   no data
440.09/13.97	c  F st    25     87501      1110      1812      1792     19289      9453    383798   no data   no data
440.09/13.97	c  N st    25     87501      1110      1812      1792     19289      9453    383798   no data   no data
440.09/13.97	c Finding binary XORs  T:     0.00 s  found:       0
475.25/15.01	c Decided on static restart strategy
494.41/15.60	c  N st    32     95539      1110      1812      1812     14635      9453    194585   no data   no data
548.77/17.30	c  N st    34    104848      1110      1812      1885     23816      9453    499425   no data   no data
548.77/17.30	c  S st    34    104848      1110      1812      1885     23816      9453    499425   no data   no data
548.77/17.30	c Finding binary XORs  T:     0.00 s  found:       0
551.97/17.42	c  S st    34    105350      1110      1812      1929     24315      9453    516180   no data   no data
551.97/17.43	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
551.97/17.46	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      9 BRemL:     78 BRemN:      1 P:  1.1M T:  0.03
551.97/17.46	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
551.97/17.46	c bin-w-bin subsume rem            0 bins  time:  0.00 s
551.97/17.46	c subs with bin:       11  lits-rem:         2  v-fix:    0  time:  0.00 s
551.97/17.46	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:   1109 time:  0.00 s
551.97/17.46	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
551.97/17.47	c lits-rem:         1  cl-subs:        7  v-elim:      1  v-fix:    0  time:  0.01 s
555.74/17.56	c subs with bin:       84  lits-rem:       163  v-fix:    0  time:  0.05 s
561.54/17.78	c lits-rem:       987  cl-subs:     1328  v-elim:      0  v-fix:    0  time:  0.22 s
561.54/17.78	c vivif2 --  cl tried     1796 cl shrink        0 lits rem          0 time: 0.00
564.74/17.81	c vivif2 --  cl tried    22831 cl shrink     3509 lits rem       6999 time: 0.03
564.74/17.84	c asymm  cl-useful: 4/1796/1796 lits-rem:4 time: 0.03
564.74/17.84	c calculated reachability. Time: 0.00
564.74/17.84	c  N st    34    105350      1108      1796      1836     22831      9383    480916   no data   no data
631.85/19.91	c  N st    35    114949      1108      1796      1836     18653      9383    296501   no data   no data
727.74/23.01	c  N st    36    129349      1108      1796      1848     18260      9383    251625   no data   no data
727.74/23.02	c Finding binary XORs  T:     0.00 s  found:       0
881.13/27.79	c  N st    37    150945      1106      1796      1873     23703      9367    423883   no data   no data
929.08/29.22	c  S st    38    158025      1106      1796      1887     30713      9367    683996   no data   no data
932.29/29.37	c  S st    38    158528      1106      1796      1887     31214      9367    694237   no data   no data
932.29/29.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
935.49/29.41	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:     26 BRemN:      0 P:  1.2M T:  0.04
935.49/29.42	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
935.49/29.42	c bin-w-bin subsume rem            1 bins  time:  0.00 s
935.49/29.42	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.00 s
935.49/29.42	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1106 time:  0.00 s
935.49/29.42	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
935.49/29.43	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.01 s
938.69/29.55	c subs with bin:        1  lits-rem:        80  v-fix:    0  time:  0.07 s
948.26/29.89	c lits-rem:       564  cl-subs:     1262  v-elim:      0  v-fix:    0  time:  0.35 s
948.26/29.89	c vivif2 --  cl tried     1792 cl shrink        0 lits rem          0 time: 0.00
951.45/29.95	c vivif2 --  cl tried    29951 cl shrink     7371 lits rem      27124 time: 0.06
951.45/29.99	c asymm  cl-useful: 1/1792/1792 lits-rem:1 time: 0.04
951.45/29.99	c calculated reachability. Time: 0.00
951.45/29.99	c  N st    38    158528      1106      1792      1860     29951      9354    644854   no data   no data
1168.82/36.79	c  N st    39    207116      1106      1792      1860     24920      9354    301002   no data   no data
1168.82/36.79	c Finding binary XORs  T:     0.00 s  found:       0
1386.17/43.55	c  N st    40    237792      1106      1792      1879     35502      9354    645759   no data   no data
1386.17/43.55	c  S st    40    237792      1106      1792      1879     35502      9354    645759   no data   no data
1392.57/43.71	c  S st    40    238297      1106      1792      1891     36006      9354    659482   no data   no data
1392.57/43.71	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
1392.57/43.76	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     17 BRemN:      0 P:  1.5M T:  0.05
1392.57/43.76	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1392.57/43.76	c bin-w-bin subsume rem            1 bins  time:  0.00 s
1392.57/43.76	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
1392.57/43.76	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1106 time:  0.00 s
1392.57/43.76	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
1392.57/43.77	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
1395.76/43.86	c subs with bin:        2  lits-rem:        22  v-fix:    0  time:  0.05 s
1421.34/44.62	c lits-rem:       984  cl-subs:     3212  v-elim:      0  v-fix:    0  time:  0.76 s
1421.34/44.62	c vivif2 --  cl tried     1792 cl shrink        0 lits rem          0 time: 0.00
1421.34/44.66	c vivif2 --  cl tried    32792 cl shrink     5091 lits rem       8567 time: 0.04
1424.53/44.70	c asymm  cl-useful: 2/1792/1792 lits-rem:2 time: 0.04
1424.53/44.70	c calculated reachability. Time: 0.00
1424.53/44.70	c  N st    40    238297      1106      1792      1874     32792      9352    588654   no data   no data
2028.64/63.63	c  F st    41    306250      1106      1792      1874     35056      9352    589655   no data   no data
2028.64/63.63	c  N st    41    306250      1106      1792      1874     35056      9352    589655   no data   no data
2028.64/63.63	c Finding binary XORs  T:     0.00 s  found:       0
2063.80/64.82	c Decided on static restart strategy
2261.99/70.95	c  N st    51    334559      1106      1792      1909     39308      9352    610023   no data   no data
2441.00/76.60	c  N st    53    357445      1106      1792      1909     37310      9352    630185   no data   no data
2441.00/76.60	c  S st    53    357445      1106      1792      1909     37310      9352    630185   no data   no data
2447.40/76.79	c  S st    53    357949      1106      1792      1910     37813      9352    643362   no data   no data
2447.40/76.80	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
2450.59/76.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      0 BRemL:      8 BRemN:      0 P:  1.6M T:  0.05
2450.59/76.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
2450.59/76.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
2450.59/76.85	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
2450.59/76.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1106 time:  0.00 s
2450.59/76.85	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
2450.59/76.87	c lits-rem:         0  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
2454.41/76.97	c subs with bin:       62  lits-rem:        55  v-fix:    0  time:  0.06 s
2463.37/77.21	c lits-rem:      1149  cl-subs:      591  v-elim:      0  v-fix:    0  time:  0.24 s
2463.37/77.21	c vivif2 --  cl tried     1792 cl shrink        0 lits rem          0 time: 0.00
2463.37/77.25	c vivif2 --  cl tried    37160 cl shrink     4971 lits rem      11389 time: 0.05
2463.37/77.30	c asymm  cl-useful: 1/1792/1792 lits-rem:1 time: 0.04
2463.37/77.30	c calculated reachability. Time: 0.00
2463.37/77.30	c  N st    53    357949      1106      1792      1902     37160      9351    620061   no data   no data
2747.83/86.13	c  N st    54    390341      1106      1792      1902     43421      9351    765517   no data   no data
3144.21/98.57	c  N st    55    438929      1106      1792      1903     37218      9351    496218   no data   no data
3767.50/118.03	c  N st    56    511811      1106      1792      1908     50246      9351    892533   no data   no data
3767.50/118.03	c Finding binary XORs  T:     0.00 s  found:       0
4007.25/125.57	c  N st    57    536923      1106      1792      1935     44796      9351    626165   no data   no data
4007.25/125.57	c  S st    57    536923      1106      1792      1935     44796      9351    626165   no data   no data
4013.64/125.78	c  S st    57    537428      1106      1792      1936     45300      9351    642636   no data   no data
4013.64/125.79	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.00
4016.84/125.85	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      1 BRemL:     11 BRemN:      0 P:  1.8M T:  0.06
4016.84/125.85	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4016.84/125.85	c bin-w-bin subsume rem            0 bins  time:  0.00 s
4016.84/125.85	c subs with bin:        0  lits-rem:         2  v-fix:    0  time:  0.00 s
4016.84/125.85	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1106 time:  0.00 s
4016.84/125.85	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
4016.84/125.86	c lits-rem:         1  cl-subs:        0  v-elim:      0  v-fix:    0  time:  0.01 s
4020.04/125.95	c subs with bin:        2  lits-rem:         8  v-fix:    0  time:  0.04 s
4032.82/126.33	c lits-rem:       731  cl-subs:     1472  v-elim:      0  v-fix:    0  time:  0.38 s
4032.82/126.33	c vivif2 --  cl tried     1792 cl shrink        0 lits rem          0 time: 0.00
4032.82/126.38	c vivif2 --  cl tried    43826 cl shrink     4457 lits rem       8810 time: 0.05
4036.65/126.45	c asymm  cl-useful: 2/1792/1792 lits-rem:2 time: 0.07
4036.65/126.45	c calculated reachability. Time: 0.00
4036.65/126.45	c  N st    57    537428      1106      1792      1926     43826      9346    613085   no data   no data
5746.10/179.97	c  N st    58    701412      1106      1792      1926     72578      9346   1298812   no data   no data
5752.50/180.12	c Finding binary XORs  T:     0.00 s  found:       0
6721.00/210.49	c  N st    59    806145      1105      1791      1976     63473      9335   1115796   no data   no data
6721.00/210.49	c  S st    59    806145      1105      1791      1976     63473      9335   1115796   no data   no data
6721.00/210.49	c Finding binary XORs  T:     0.00 s  found:       0
6733.79/210.80	c  S st    59    806647      1105      1791      2019     63971      9335   1126337   no data   no data
6733.79/210.81	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
6736.99/210.91	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      2 BRemL:     60 BRemN:      0 P:  2.9M T:  0.10
6736.99/210.91	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6736.99/210.91	c bin-w-bin subsume rem            3 bins  time:  0.00 s
6736.99/210.91	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.00 s
6736.99/210.91	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1105 time:  0.00 s
6736.99/210.91	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
6736.99/210.94	c lits-rem:         2  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.02 s
6752.96/211.43	c subs with bin:     1318  lits-rem:      2703  v-fix:    0  time:  0.42 s
6938.38/217.25	c lits-rem:      1680  cl-subs:    10859  v-elim:      0  v-fix:    0  time:  5.82 s
6938.38/217.25	c vivif2 --  cl tried     1792 cl shrink        3 lits rem          3 time: 0.00
6941.57/217.32	c vivif2 --  cl tried    50721 cl shrink     5168 lits rem       7201 time: 0.06
6944.77/217.40	c asymm  cl-useful: 5/1792/1792 lits-rem:5 time: 0.08
6944.77/217.40	c calculated reachability. Time: 0.00
6944.77/217.40	c  N st    59    806647      1104      1792      1956     50721      9387    848010   no data   no data
9815.15/307.23	c  F st    60   1071875      1104      1792      1957     71533      9387   1299403   no data   no data
9815.15/307.24	c  N st    60   1071875      1104      1792      1957     71533      9387   1299403   no data   no data
9815.15/307.25	c Finding binary XORs  T:     0.00 s  found:       0
9873.32/309.03	c Decided on static restart strategy
10029.28/313.94	c Finding binary XORs  T:     0.00 s  found:       0
10137.97/317.37	c  N st    70   1100177      1103      1791      2160     55445      9376    830560   no data   no data
10307.39/322.61	c Finding binary XORs  T:     0.00 s  found:       0
10579.72/331.18	c  N st    72   1136170      1103      1791      2188     90626      9376   1761028   no data   no data
10940.30/342.48	c  N st    73   1168563      1103      1791      2192     76812      9376   1284977   no data   no data
11499.65/359.96	c  N st    74   1209971      1103      1791      2193     71613      9376   1181905   no data   no data
11499.65/359.96	c  S st    74   1209971      1103      1791      2193     71613      9376   1181905   no data   no data
11499.65/359.96	c Finding binary XORs  T:     0.00 s  found:       0
11512.45/360.33	c  S st    74   1210472      1103      1791      2214     72110      9376   1193429   no data   no data
11512.45/360.33	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
11515.65/360.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:      3 BRemL:    177 BRemN:      0 P:  2.9M T:  0.11
11515.65/360.45	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
11515.65/360.45	c bin-w-bin subsume rem            1 bins  time:  0.00 s
11515.65/360.45	c subs with bin:        1  lits-rem:         0  v-fix:    0  time:  0.00 s
11515.65/360.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1103 time:  0.00 s
11515.65/360.45	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
11515.65/360.48	c lits-rem:         0  cl-subs:        1  v-elim:      0  v-fix:    0  time:  0.02 s
11522.05/360.64	c subs with bin:      105  lits-rem:       211  v-fix:    0  time:  0.09 s
11614.75/363.51	c lits-rem:      1995  cl-subs:     5373  v-elim:      0  v-fix:    0  time:  2.86 s
11614.75/363.51	c vivif2 --  cl tried     1789 cl shrink        0 lits rem          0 time: 0.00
11614.75/363.59	c vivif2 --  cl tried    66632 cl shrink     6071 lits rem       9590 time: 0.08
11621.14/363.71	c asymm  cl-useful: 0/1789/1789 lits-rem:0 time: 0.12
11621.14/363.72	c calculated reachability. Time: 0.00
11621.14/363.72	c  N st    74   1210472      1103      1789      2039     66632      9343   1090769   no data   no data
12605.64/394.59	c  N st    75   1283355      1103      1789      2039     91101      9343   1818429   no data   no data
12605.64/394.59	c Finding binary XORs  T:     0.00 s  found:       0
13922.51/435.72	c  N st    76   1392678      1103      1789      2071    100762      9343   1833453   no data   no data
16080.13/503.27	c  N st    77   1556663      1103      1789      2082     56602      9342    654030   no data   no data
16080.13/503.28	c Finding binary XORs  T:     0.00 s  found:       0
18320.83/573.33	c  N st    78   1710472      1100      1788      2058     98327      9311   1665222   no data   no data
18320.83/573.33	c  S st    78   1710472      1100      1788      2058     98327      9311   1665222   no data   no data
18320.83/573.35	c Finding binary XORs  T:     0.00 s  found:       0
18336.83/573.88	c  S st    78   1710979      1098      1786      2150     98676      9289   1675404   no data   no data
18336.83/573.89	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
18343.22/574.10	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     44 BRemL:    158 BRemN:      0 P:  4.5M T:  0.21
18343.22/574.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
18343.22/574.11	c bin-w-bin subsume rem            4 bins  time:  0.00 s
18343.22/574.11	c subs with bin:        4  lits-rem:         6  v-fix:    0  time:  0.00 s
18343.22/574.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1098 time:  0.00 s
18343.22/574.11	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
18347.01/574.14	c lits-rem:         0  cl-subs:        3  v-elim:      2  v-fix:    0  time:  0.03 s
18352.82/574.39	c subs with bin:       66  lits-rem:       256  v-fix:    0  time:  0.13 s
18582.96/581.54	c lits-rem:      2046  cl-subs:     8840  v-elim:      0  v-fix:    0  time:  7.15 s
18582.96/581.54	c vivif2 --  cl tried     1787 cl shrink        0 lits rem          0 time: 0.00
18586.16/581.68	c vivif2 --  cl tried    89569 cl shrink     7802 lits rem      12093 time: 0.13
18593.15/581.91	c asymm  cl-useful: 0/1787/1787 lits-rem:0 time: 0.23
18593.15/581.91	c calculated reachability. Time: 0.00
18593.15/581.91	c  N st    78   1710979      1096      1787      2015     89569      9266   1528161   no data   no data
18593.15/581.91	c Finding binary XORs  T:     0.00 s  found:       0
20341.02/636.56	c Finding binary XORs  T:     0.00 s  found:       0
24445.29/764.91	c  N st    79   2079944      1094      1785      2034    100659      9240   1602513   no data   no data
24445.29/764.94	c Finding binary XORs  T:     0.00 s  found:       0
26680.20/834.88	c  N st    80   2210979      1091      1782      2353    104206      9207   1652890   no data   no data
26680.20/834.88	c  S st    80   2210979      1091      1782      2353    104206      9207   1652890   no data   no data
26680.20/834.90	c Finding binary XORs  T:     0.00 s  found:       0
26698.79/835.46	c  S st    80   2211482      1090      1780      2410    104695      9193   1665842   no data   no data
26698.79/835.48	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
26705.18/835.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     35 BRemL:    377 BRemN:      0 P:  4.5M T:  0.21
26705.18/835.69	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
26705.18/835.69	c bin-w-bin subsume rem            2 bins  time:  0.00 s
26705.18/835.69	c subs with bin:        4  lits-rem:         6  v-fix:    0  time:  0.00 s
26705.18/835.69	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1090 time:  0.00 s
26705.18/835.69	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
26708.37/835.72	c lits-rem:         0  cl-subs:        3  v-elim:      2  v-fix:    0  time:  0.03 s
26715.39/835.93	c subs with bin:        4  lits-rem:       166  v-fix:    0  time:  0.09 s
27219.82/851.79	c lits-rem:      4957  cl-subs:    13332  v-elim:      0  v-fix:    0  time: 15.85 s
27219.82/851.79	c vivif2 --  cl tried     1781 cl shrink        0 lits rem          0 time: 0.00
27226.21/851.92	c vivif2 --  cl tried    91214 cl shrink     5974 lits rem       8528 time: 0.13
27232.62/852.18	c asymm  cl-useful: 1/1781/1781 lits-rem:1 time: 0.26
27232.62/852.18	c calculated reachability. Time: 0.00
27232.62/852.18	c  N st    80   2211482      1088      1781      2046     91214      9181   1423494   no data   no data
35139.53/1099.56	c  N st    81   2711483      1088      1781      2046    114002      9181   1764987   no data   no data
35139.53/1099.56	c  S st    81   2711483      1088      1781      2046    114002      9181   1764987   no data   no data
35139.53/1099.58	c Finding binary XORs  T:     0.00 s  found:       0
35165.09/1100.32	c  S st    81   2711989      1081      1773      2148    114128      9099   1771052   no data   no data
35165.09/1100.34	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
35174.68/1100.64	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     70 BRemL:    221 BRemN:      0 P:  4.8M T:  0.30
35174.68/1100.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
35174.68/1100.64	c bin-w-bin subsume rem            6 bins  time:  0.00 s
35174.68/1100.64	c subs with bin:       10  lits-rem:         9  v-fix:    0  time:  0.00 s
35174.68/1100.64	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1081 time:  0.00 s
35174.68/1100.64	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
35174.68/1100.69	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.05 s
35184.28/1101.00	c subs with bin:      110  lits-rem:       795  v-fix:    0  time:  0.18 s
35913.08/1123.72	c lits-rem:      4416  cl-subs:    24046  v-elim:      0  v-fix:    0  time: 22.71 s
35913.08/1123.72	c vivif2 --  cl tried     1765 cl shrink        3 lits rem          3 time: 0.00
35916.28/1123.83	c vivif2 --  cl tried    89917 cl shrink     4711 lits rem       5930 time: 0.11
35926.49/1124.15	c asymm  cl-useful: 1/1765/1765 lits-rem:1 time: 0.32
35926.49/1124.16	c calculated reachability. Time: 0.00
35926.49/1124.16	c  N st    81   2711989      1080      1765      1986     89917      9071   1349718   no data   no data
45029.36/1408.95	c  N st    82   3211989      1080      1765      1987    142187      9071   2355221   no data   no data
45029.36/1408.95	c  S st    82   3211989      1080      1765      1987    142187      9071   2355221   no data   no data
45029.36/1408.99	c Finding binary XORs  T:     0.00 s  found:       0
45054.93/1409.76	c  S st    82   3212492      1074      1755      2135    141522      9001   2353329   no data   no data
45054.93/1409.78	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
45064.52/1410.11	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     17 BRemL:    190 BRemN:      0 P:  4.9M T:  0.32
45064.52/1410.11	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
45064.52/1410.11	c bin-w-bin subsume rem            7 bins  time:  0.00 s
45064.52/1410.11	c subs with bin:        6  lits-rem:         8  v-fix:    0  time:  0.00 s
45064.52/1410.11	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1074 time:  0.00 s
45064.52/1410.11	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
45068.34/1410.17	c lits-rem:         0  cl-subs:        2  v-elim:      2  v-fix:    0  time:  0.06 s
45080.50/1410.53	c subs with bin:       67  lits-rem:       646  v-fix:    0  time:  0.19 s
46445.36/1453.26	c lits-rem:      3858  cl-subs:    30389  v-elim:      0  v-fix:    0  time: 42.72 s
46445.36/1453.27	c vivif2 --  cl tried     1755 cl shrink        0 lits rem          0 time: 0.00
46451.76/1453.45	c vivif2 --  cl tried   110871 cl shrink     9638 lits rem      12649 time: 0.19
46461.38/1453.78	c asymm  cl-useful: 1/1755/1755 lits-rem:1 time: 0.33
46461.38/1453.79	c calculated reachability. Time: 0.00
46461.38/1453.79	c  N st    82   3212492      1072      1755      1938    110871      8982   1851846   no data   no data
46461.38/1453.79	c Finding binary XORs  T:     0.00 s  found:       0
47576.95/1488.65	c Finding binary XORs  T:     0.00 s  found:       0
54970.39/1719.92	c  N st    83   3712492      1069      1751      1814    130387      8946   2083894   no data   no data
54970.39/1719.92	c  S st    83   3712492      1069      1751      1814    130387      8946   2083894   no data   no data
54970.39/1719.96	c Finding binary XORs  T:     0.00 s  found:       0
54995.96/1720.72	c  S st    83   3712995      1065      1746      1871    129730      8908   2075719   no data   no data
54995.96/1720.74	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
55005.55/1721.00	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     89 BRemL:    182 BRemN:      0 P:  4.9M T:  0.26
55005.55/1721.01	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
55005.55/1721.01	c bin-w-bin subsume rem            0 bins  time:  0.00 s
55005.55/1721.01	c subs with bin:       11  lits-rem:        13  v-fix:    0  time:  0.00 s
55005.55/1721.01	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:   1065 time:  0.00 s
55005.55/1721.01	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
55005.55/1721.06	c lits-rem:         0  cl-subs:        3  v-elim:      3  v-fix:    0  time:  0.05 s
55037.50/1722.06	c subs with bin:     1037  lits-rem:      3390  v-fix:    0  time:  0.85 s
55782.29/1745.30	c lits-rem:      2389  cl-subs:    23369  v-elim:      0  v-fix:    0  time: 23.24 s
55782.29/1745.30	c vivif2 --  cl tried     1743 cl shrink        0 lits rem          0 time: 0.00
55785.48/1745.44	c vivif2 --  cl tried   104850 cl shrink     8145 lits rem      11640 time: 0.14
55792.50/1745.71	c asymm  cl-useful: 3/1743/1743 lits-rem:5 time: 0.27
55792.50/1745.72	c calculated reachability. Time: 0.00
55792.50/1745.72	c  N st    83   3712995      1062      1742      1757    104850      8888   1591165   no data   no data
56594.17/1770.71	c  F st    84   3751563      1062      1742      1757    143191      8888   2750504   no data   no data
56594.17/1770.71	c  N st    84   3751563      1062      1742      1757    143191      8888   2750504   no data   no data
56594.17/1770.71	c Finding binary XORs  T:     0.00 s  found:       0
56715.63/1774.50	c Decided on static restart strategy
56777.00/1776.43	c Finding binary XORs  T:     0.00 s  found:       0
57202.15/1789.74	c  N st    94   3779869      1062      1742      1881     90979      8888   1195257   no data   no data
57202.15/1789.74	c Finding binary XORs  T:     0.00 s  found:       0
57808.85/1808.75	c  N st    96   3815862      1062      1742      1903    126314      8888   2158316   no data   no data
58176.40/1820.29	c Finding binary XORs  T:     0.00 s  found:       0
58441.70/1828.59	c  N st    97   3848255      1059      1735      1846    156102      8848   3069819   no data   no data
59263.21/1854.21	c  N st    98   3896844      1059      1735      1846    121918      8848   1800444   no data   no data
59263.21/1854.21	c Finding binary XORs  T:     0.00 s  found:       0
60554.58/1894.68	c  N st    99   3969726      1059      1735      1899    110684      8848   1730125   no data   no data
60557.78/1894.71	c Finding binary XORs  T:     0.00 s  found:       0
62661.05/1960.55	c  N st   100   4079053      1057      1731      1924    131030      8821   1966943   no data   no data
62661.05/1960.58	c Finding binary XORs  T:     0.00 s  found:       0
65637.59/2053.72	c  N st   101   4212996      1056      1729      1936     89968      8809   1041126   no data   no data
65637.59/2053.72	c  S st   101   4212996      1056      1729      1936     89968      8809   1041126   no data   no data
65640.81/2053.74	c Finding binary XORs  T:     0.00 s  found:       3
65656.12/2054.26	c  S st   101   4213498      1053      1722      1926     90420      8776   1049959   no data   no data
65656.12/2054.27	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.01
65662.53/2054.43	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    101 BRemL:    226 BRemN:      1 P:  3.5M T:  0.15
65662.53/2054.44	c Replacing        3 vars Replaced      450 lits Time:     0.01 s 
65662.53/2054.44	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
65662.53/2054.44	c bin-w-bin subsume rem           18 bins  time:  0.00 s
65662.53/2054.44	c subs with bin:       13  lits-rem:        20  v-fix:    0  time:  0.00 s
65662.53/2054.45	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1050 time:  0.00 s
65662.53/2054.45	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
65662.53/2054.48	c lits-rem:         0  cl-subs:        3  v-elim:      1  v-fix:    0  time:  0.04 s
65668.92/2054.70	c subs with bin:     1107  lits-rem:      5443  v-fix:    0  time:  0.15 s
65688.09/2055.21	c lits-rem:      1837  cl-subs:      775  v-elim:      0  v-fix:    0  time:  0.51 s
65688.09/2055.21	c vivif2 --  cl tried     1709 cl shrink        0 lits rem          0 time: 0.00
65688.09/2055.27	c vivif2 --  cl tried    88154 cl shrink     1354 lits rem       1658 time: 0.06
65694.50/2055.49	c asymm  cl-useful: 1/1709/1709 lits-rem:1 time: 0.22
65694.50/2055.50	c calculated reachability. Time: 0.00
65697.69/2055.50	c  N st   101   4213498      1049      1709      1774     88153      8711   1010969   no data   no data
70214.27/2196.83	c  N st   102   4459475      1049      1709      1774    151047      8711   2316572   no data   no data
70214.27/2196.86	c Finding binary XORs  T:     0.00 s  found:       4
74599.82/2334.11	c  N st   103   4713498      1042      1691      1966    125999      8622   1782017   no data   no data
74599.82/2334.11	c  S st   103   4713498      1042      1691      1966    125999      8622   1782017   no data   no data
74603.64/2334.14	c Finding binary XORs  T:     0.00 s  found:       1
74634.98/2335.12	c  S st   103   4713998      1038      1684      1909    125704      8565   1777154   no data   no data
74634.98/2335.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      1 locsubst:     0 time:   0.08
74644.55/2335.40	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     19 BRemL:    238 BRemN:      0 P:  3.8M T:  0.20
74644.55/2335.43	c Replacing        5 vars Replaced     1755 lits Time:     0.03 s 
74644.55/2335.43	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
74644.55/2335.43	c bin-w-bin subsume rem           27 bins  time:  0.00 s
74644.55/2335.44	c subs with bin:       12  lits-rem:        18  v-fix:    0  time:  0.00 s
74644.55/2335.44	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:   1032 time:  0.00 s
74644.55/2335.44	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
74644.55/2335.48	c lits-rem:         0  cl-subs:        5  v-elim:      5  v-fix:    0  time:  0.04 s
74657.35/2335.81	c subs with bin:      751  lits-rem:      3883  v-fix:    0  time:  0.22 s
74993.62/2346.36	c lits-rem:      2368  cl-subs:    16503  v-elim:      0  v-fix:    0  time: 10.55 s
74993.62/2346.36	c vivif2 --  cl tried     1666 cl shrink        3 lits rem          4 time: 0.00
74996.18/2346.45	c vivif2 --  cl tried    96450 cl shrink     2866 lits rem       3792 time: 0.09
75005.77/2346.72	c asymm  cl-useful: 2/1666/1666 lits-rem:2 time: 0.27
75005.77/2346.73	c calculated reachability. Time: 0.00
75005.77/2346.73	c  N st   103   4713998      1027      1666      1639     96450      8500   1262251   no data   no data
75005.77/2346.73	c Finding binary XORs  T:     0.00 s  found:       0
85841.80/2685.77	c  N st   104   5213998      1027      1666      1641    124135      8500   1718532   no data   no data
85841.80/2685.77	c  S st   104   5213998      1027      1666      1641    124135      8500   1718532   no data   no data
85844.99/2685.81	c Finding binary XORs  T:     0.00 s  found:       6
85870.57/2686.63	c  S st   104   5214500      1018      1636      1924    122843      8379   1697921   no data   no data
85870.57/2686.65	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
85880.16/2686.92	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     65 BRemL:    327 BRemN:      0 P:  5.0M T:  0.26
85880.16/2686.98	c Replacing        6 vars Replaced     6488 lits Time:     0.06 s 
85880.16/2686.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
85880.16/2686.98	c bin-w-bin subsume rem           24 bins  time:  0.00 s
85880.16/2686.98	c subs with bin:       12  lits-rem:         5  v-fix:    0  time:  0.00 s
85880.16/2686.98	c Subs w/ non-existent bins:      2 l-rem:      2 v-fix:     0 done:   1012 time:  0.00 s
85880.16/2686.98	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
85883.36/2687.03	c lits-rem:         0  cl-subs:        2  v-elim:      1  v-fix:    0  time:  0.05 s
85899.34/2687.50	c subs with bin:      539  lits-rem:      3242  v-fix:    0  time:  0.35 s
86228.55/2697.82	c lits-rem:      2943  cl-subs:    15031  v-elim:      0  v-fix:    0  time: 10.32 s
86228.55/2697.82	c vivif2 --  cl tried     1621 cl shrink        0 lits rem          0 time: 0.00
86231.76/2697.93	c vivif2 --  cl tried   107102 cl shrink     4609 lits rem       5780 time: 0.11
86241.94/2698.25	c asymm  cl-useful: 3/1621/1621 lits-rem:8 time: 0.32
86241.94/2698.25	c calculated reachability. Time: 0.00
86241.94/2698.25	c  N st   104   5214500      1011      1621      1625    107101      8312   1436720   no data   no data
86241.94/2698.26	c Finding binary XORs  T:     0.00 s  found:       0
87030.86/2722.95	c Finding binary XORs  T:     0.00 s  found:       0
98042.69/3067.49	c  N st   105   5714500      1009      1613      1684    199217      8286   2983000   no data   no data
98042.69/3067.49	c  S st   105   5714500      1009      1613      1684    199217      8286   2983000   no data   no data
98071.45/3068.32	c Finding binary XORs  T:     0.00 s  found:       9
98094.50/3069.10	c Replacing       10 vars Replaced     4829 lits Time:     0.06 s 
98109.81/3069.51	c  S st   105   5715003       984      1574      1938    174837      8072   2509677   no data   no data
98109.81/3069.53	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.02
98122.61/3069.98	c Flit:     1 Blit:      0 bXBeca:    0 bXProp:    0 Bins:     94 BRemL:    392 BRemN:      0 P:  9.0M T:  0.44
98122.61/3069.98	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
98122.61/3069.98	c bin-w-bin subsume rem           52 bins  time:  0.00 s
98122.61/3069.98	c subs with bin:       19  lits-rem:        14  v-fix:    0  time:  0.00 s
98122.61/3069.98	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:    983 time:  0.00 s
98122.61/3069.98	c Removed useless bin:       0  fixed:     0  props:   0.02M  time:  0.00 s
98126.42/3070.04	c lits-rem:         0  cl-subs:        7  v-elim:      5  v-fix:    0  time:  0.06 s
98164.81/3071.22	c subs with bin:     1492  lits-rem:      8251  v-fix:    0  time:  0.98 s
100126.80/3132.61	c lits-rem:     11144  cl-subs:    52403  v-elim:      0  v-fix:    0  time: 61.38 s
100126.80/3132.61	c vivif2 --  cl tried     1547 cl shrink        2 lits rem          2 time: 0.00
100130.61/3132.75	c vivif2 --  cl tried   118328 cl shrink     4579 lits rem       5557 time: 0.13
100142.77/3133.11	c asymm  cl-useful: 5/1546/1546 lits-rem:7 time: 0.36
100142.77/3133.12	c calculated reachability. Time: 0.00
100142.77/3133.12	c  N st   105   5715003       978      1545      1567    118326      7950   1675483   no data   no data
100142.77/3133.12	c Finding binary XORs  T:     0.00 s  found:       1
106345.69/3327.72	c Following stats are for *FIRST FINISHED THREAD ONLY*
106345.69/3327.72	c num threads              : 32         
106345.69/3327.72	c restarts                 : 106        
106345.69/3327.72	c dynamic restarts         : 0          
106345.69/3327.72	c static restarts          : 106        
106345.69/3327.72	c full restarts            : 5          
106345.69/3327.72	c total simplify time      : 3.48       
106345.69/3327.72	c learnts DL2              : 0          
106345.69/3327.72	c learnts size 2           : 11436      
106345.69/3327.72	c learnts size 1           : 373         (22.02     % of vars)
106345.69/3327.72	c filedLit time            : 2.30        (0.07      % time)
106345.69/3327.72	c v-elim SatELite          : 572         (33.77     % vars)
106345.69/3327.72	c SatELite time            : 170.46      (5.14      % time)
106345.69/3327.72	c v-elim xor               : 14          (0.83      % vars)
106345.69/3327.72	c xor elim time            : 0.18        (0.01      % time)
106345.69/3327.72	c num binary xor trees     : 123        
106345.69/3327.72	c binxor trees' crown      : 281         (2.28      leafs/tree)
106345.69/3327.72	c bin xor find time        : 0.06       
106345.69/3327.72	c OTF clause improved      : 163822      (0.03      clauses/conflict)
106345.69/3327.72	c OTF impr. size diff      : 178094      (1.09       lits/clause)
106345.69/3327.72	c OTF cl watch-shrink      : 3741930     (0.63      clauses/conflict)
106345.69/3327.72	c OTF cl watch-sh-lit      : 12256671    (3.28       lits/clause)
106345.69/3327.72	c tried to recurMin cls    : 1218272     (20.58      % of conflicts)
106345.69/3327.72	c updated cache            : 30105       (0.02       lits/tried recurMin)
106345.69/3327.72	c unit cls recevied        : 134         (35.92     % of units)
106345.69/3327.72	c unit cls sent            : 51          (13.67     % of units)
106345.69/3327.72	c bin cls recevied         : 6843       
106345.69/3327.72	c bin cls sent             : 407        
106345.69/3327.72	c clauses over max glue    : 0           (0.00      % of all clauses)
106345.69/3327.72	c conflicts                : 5918625     (1782.98   / sec)
106345.69/3327.72	c decisions                : 6723355     (1.06      % random)
106345.69/3327.72	c bogo-props               : 410463515440 (123651899.97 / sec)
106345.69/3327.72	c conflict literals        : 157636644   (61.63     % deleted)
106345.69/3327.72	c Memory used              : 5657.98     MB
106345.69/3327.72	c single-thread CPU time   : 3319.51     s
106345.69/3327.72	c all-threads sum CPU time : 106312.10   s
106345.69/3327.72	s UNSATISFIABLE

Verifier Data 

No possible verification on an UNSAT instance

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400628-1306253454/watcher-3400628-1306253454 -o /tmp/evaluation-result-3400628-1306253454/solver-3400628-1306253454 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400628-1306253454.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): 272730423296 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 272730474496 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 26.62 27.86 30.08 1/413 9240
/proc/meminfo: memFree=255170876/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=338000 CPUtime=0.81 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) R 9238 9240 9036 0 -1 4202496 469 0 0 0 81 0 0 0 25 0 32 0 736831817 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 84500 409 300 95 0 79482 0
[pid=9240/tid=9241] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 0 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738714028 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=338000 CPUtime=0 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713623 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713629 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713623 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713623 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713625 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713616 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=338000 CPUtime=0.02 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 736831818 346112000 409 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713619 0 0 4096 2 0 0 0 -1 27 0 0 0

[startup+0.121405 s]
/proc/loadavg: 26.62 27.86 30.08 1/413 9240
/proc/meminfo: memFree=255170876/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=1525312 CPUtime=1.97 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) R 9238 9240 9036 0 -1 4202496 7909 0 0 0 144 53 0 0 17 0 32 0 736831817 1561919488 7750 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9240/statm: 381328 7751 347 95 0 376310 0
[pid=9240/tid=9241] ppid=9238 vsize=1525312 CPUtime=0.04 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 184 0 0 0 4 0 0 0 17 0 32 0 736831818 1561919488 7753 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 240 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7753 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604480060259808 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=1525312 CPUtime=0.04 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 258 0 0 0 3 1 0 0 17 0 32 0 736831818 1561919488 7757 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293261 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=1525312 CPUtime=0.03 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 286 0 0 0 1 2 0 0 17 0 32 0 736831818 1561919488 7764 268435456000 4194304 4580107 140735043895136 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 267 0 0 0 3 2 0 0 17 0 32 0 736831818 1561919488 7764 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604477290601952 0 0 -1 28 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 214 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7765 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 199 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7767 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 254 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7769 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 204 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7769 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604498490334688 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 248 0 0 0 3 2 0 0 17 0 32 0 736831818 1561919488 7774 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=1525312 CPUtime=0.06 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 252 0 0 0 5 1 0 0 17 0 32 0 736831818 1561919488 7775 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650604748 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=1525312 CPUtime=0.06 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 233 0 0 0 5 1 0 0 17 0 32 0 736831818 1561919488 7776 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293225 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 240 0 0 0 3 2 0 0 17 0 32 0 736831818 1561919488 7779 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604482970435040 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 221 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7782 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927024 0 0 -1 14 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 281 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7784 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604502318005728 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=1525312 CPUtime=0.06 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 251 0 0 0 5 1 0 0 17 0 32 0 736831818 1561919488 7785 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 202 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7786 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566929144 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 164 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7787 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=1525312 CPUtime=0.07 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 258 0 0 0 6 1 0 0 18 0 32 0 736831818 1561919488 7789 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=1525312 CPUtime=0.05 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 229 0 0 0 4 1 0 0 17 0 32 0 736831818 1561919488 7792 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604478912945632 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 263 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7793 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566929664 0 0 -1 24 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 217 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7801 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 229 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7805 268435456000 4194304 4580107 140735043895136 18446744073709551615 4222056 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 240 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7806 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 222 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7807 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=1525308 CPUtime=0.05 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 238 0 0 0 4 1 0 0 17 0 32 0 736831818 1561915392 7810 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604480120323552 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=1525308 CPUtime=0.07 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 259 0 0 0 6 1 0 0 18 0 32 0 736831818 1561915392 7822 268435456000 4194304 4580107 140735043895136 18446744073709551615 4234883 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=1525304 CPUtime=0.04 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 202 0 0 0 3 1 0 0 17 0 32 0 736831818 1561911296 7822 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=1525304 CPUtime=0.06 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 215 0 0 0 4 2 0 0 17 0 32 0 736831818 1561911296 7823 268435456000 4194304 4580107 140735043895136 18446744073709551615 4489504 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=1525304 CPUtime=0.06 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 269 0 0 0 5 1 0 0 17 0 32 0 736831818 1561911296 7827 268435456000 4194304 4580107 140735043895136 18446744073709551615 4292881 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=1525304 CPUtime=0.06 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 243 0 0 0 4 2 0 0 17 0 32 0 736831818 1561911296 7828 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 1.97
Current children cumulated vsize (KiB) 1525312

[startup+0.203412 s]
/proc/loadavg: 26.62 27.86 30.08 1/413 9240
/proc/meminfo: memFree=255170876/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=1984652 CPUtime=3.21 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) S 9238 9240 9036 0 -1 4202496 11841 0 0 0 241 80 0 0 17 0 32 0 736831817 2032283648 11616 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 16 0 0 0
/proc/9240/statm: 496163 11625 372 95 0 491145 0
[pid=9240/tid=9241] ppid=9238 vsize=1984652 CPUtime=0.08 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 275 0 0 0 7 1 0 0 17 0 32 0 736831818 2032283648 11628 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 368 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11628 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566933504 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=1984652 CPUtime=0.07 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 378 0 0 0 6 1 0 0 17 0 32 0 736831818 2032283648 11632 268435456000 4194304 4580107 140735043895136 18446744073709551615 4402466 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=1984652 CPUtime=0.08 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 392 0 0 0 5 3 0 0 17 0 32 0 736831818 2032283648 11636 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 397 0 0 0 6 3 0 0 17 0 32 0 736831818 2032283648 11639 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604480120323552 0 0 -1 8 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 350 0 0 0 8 1 0 0 17 0 32 0 736831818 2032283648 11642 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 321 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11646 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604498574024160 0 0 -1 19 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 460 0 0 0 7 3 0 0 17 0 32 0 736831818 2032283648 11650 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 312 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11657 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 386 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11660 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604502760775136 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 479 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11660 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 373 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11664 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 323 0 0 0 7 3 0 0 17 0 32 0 736831818 2032283648 11670 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446744071566927584 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) D 9238 9240 9036 0 -1 4202560 394 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11674 268435456000 4194304 4580107 140735043895136 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=1984652 CPUtime=0.1 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 421 0 0 0 8 2 0 0 17 0 32 0 736831818 2032283648 11676 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651060958 0 0 4096 2 18446604503424982496 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=1984652 CPUtime=0.09 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 351 0 0 0 7 2 0 0 17 0 32 0 736831818 2032283648 11687 268435456000 4194304 4580107 140735043895136 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=1984652 CPUtime=0.08 cores=0-31

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

[pid=9240/tid=9270] ppid=9238 vsize=5920984 CPUtime=3321.81 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 160224 0 0 0 332075 106 0 0 25 0 32 0 736831818 6063087616 1096277 268435456000 4194304 4580107 140735043895136 18446744073709551615 4321284 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=5920984 CPUtime=3321.84 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 46847 0 0 0 332150 34 0 0 25 0 32 0 736831818 6063087616 1096277 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294533 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 106200
Current children cumulated vsize (KiB) 5920984

[startup+3325.8 s]
/proc/loadavg: 32.02 32.05 31.99 33/445 9372
/proc/meminfo: memFree=250777864/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=5920984 CPUtime=106302 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) R 9238 9240 9036 0 -1 4202496 5253228 0 0 0 10626875 3362 0 0 25 0 32 0 736831817 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 1480246 1097782 379 95 0 1475228 0
[pid=9240/tid=9241] ppid=9238 vsize=5920984 CPUtime=3316.59 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 167223 0 0 0 331554 105 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295687 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 171482 0 0 0 332393 108 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=5920984 CPUtime=3324.98 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 188954 0 0 0 332383 115 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293097 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=5920984 CPUtime=3324.95 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 119424 0 0 0 332427 68 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 182081 0 0 0 332395 104 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 160397 0 0 0 332397 102 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=5920984 CPUtime=3312.71 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 185527 0 0 0 331153 118 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=5920984 CPUtime=3318.76 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176316 0 0 0 331758 118 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295676 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 159668 0 0 0 332403 98 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4304880 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 162015 0 0 0 332390 110 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4305229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 181863 0 0 0 332382 118 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=5920984 CPUtime=3325.02 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176451 0 0 0 332389 113 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293184 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 203875 0 0 0 332367 134 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294634 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=5920984 CPUtime=3301.67 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 163844 0 0 0 330057 110 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294952 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 159810 0 0 0 332403 96 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294380 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=5920984 CPUtime=3325.02 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 126071 0 0 0 332414 88 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294963 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 162289 0 0 0 332399 102 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=5920984 CPUtime=3324.98 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 174484 0 0 0 332385 113 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=5920984 CPUtime=3323.16 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 190820 0 0 0 332166 150 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=5920984 CPUtime=3324.98 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 201976 0 0 0 332382 116 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294356 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=5920984 CPUtime=3324.96 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 182282 0 0 0 332395 101 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294974 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=5920984 CPUtime=3323.97 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 169010 0 0 0 332300 97 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 162251 0 0 0 332396 104 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=5920984 CPUtime=3324.92 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 145660 0 0 0 332399 93 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4397329 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=5920984 CPUtime=3325 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 174988 0 0 0 332395 105 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294955 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=5920984 CPUtime=3324.99 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 170827 0 0 0 332388 111 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=5920984 CPUtime=3323.98 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 141697 0 0 0 332302 96 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=5920984 CPUtime=3281.5 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 197109 0 0 0 328020 130 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=5920984 CPUtime=3324.91 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 140343 0 0 0 332397 94 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4293682 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=5920984 CPUtime=3325.01 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 160224 0 0 0 332395 106 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4294358 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=5920984 CPUtime=3325.04 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 46847 0 0 0 332470 34 0 0 25 0 32 0 736831818 6063087616 1097782 268435456000 4194304 4580107 140735043895136 18446744073709551615 4295401 0 0 4096 2 0 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 106302
Current children cumulated vsize (KiB) 5920984

[startup+3327.4 s]
/proc/loadavg: 32.02 32.05 31.99 3/445 9372
/proc/meminfo: memFree=250831888/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=5793768 CPUtime=106345 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) S 9238 9240 9036 0 -1 4202496 5253811 0 0 0 10631148 3364 0 0 25 0 32 0 736831817 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 1448442 1083616 379 95 0 1443424 0
[pid=9240/tid=9241] ppid=9238 vsize=5793768 CPUtime=3317.91 cores=0-31
/proc/9240/task/9241/stat : 9241 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 167223 0 0 0 331686 105 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604479047966176 0 0 -1 14 0 0 0
[pid=9240/tid=9242] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9242/stat : 9242 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 171482 0 0 0 332525 108 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604487484931552 0 0 -1 2 0 0 0
[pid=9240/tid=9243] ppid=9238 vsize=5793768 CPUtime=3326.3 cores=0-31
/proc/9240/task/9243/stat : 9243 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 188998 0 0 0 332515 115 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604478912945632 0 0 -1 15 0 0 0
[pid=9240/tid=9244] ppid=9238 vsize=5793768 CPUtime=3326.27 cores=0-31
/proc/9240/task/9244/stat : 9244 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 119424 0 0 0 332559 68 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604503424982496 0 0 -1 8 0 0 0
[pid=9240/tid=9245] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9245/stat : 9245 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 182110 0 0 0 332527 104 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446744071566927784 0 0 -1 28 0 0 0
[pid=9240/tid=9246] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9246/stat : 9246 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 160435 0 0 0 332529 102 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604504459042272 0 0 -1 24 0 0 0
[pid=9240/tid=9247] ppid=9238 vsize=5793768 CPUtime=3314.02 cores=0-31
/proc/9240/task/9247/stat : 9247 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 185567 0 0 0 331284 118 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604498574024160 0 0 -1 1 0 0 0
[pid=9240/tid=9248] ppid=9238 vsize=5793768 CPUtime=3320.38 cores=0-31
/proc/9240/task/9248/stat : 9248 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176316 0 0 0 331920 118 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738689220 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=9240/tid=9249] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9249/stat : 9249 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 159689 0 0 0 332535 98 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604504747884000 0 0 -1 5 0 0 0
[pid=9240/tid=9250] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9250/stat : 9250 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 162021 0 0 0 332521 111 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604563862167008 0 0 -1 6 0 0 0
[pid=9240/tid=9251] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9251/stat : 9251 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 181889 0 0 0 332514 118 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604480120323552 0 0 -1 9 0 0 0
[pid=9240/tid=9252] ppid=9238 vsize=5793768 CPUtime=3326.64 cores=0-31
/proc/9240/task/9252/stat : 9252 (strangenight2-m) R 9238 9240 9036 0 -1 4202560 176451 0 0 0 332551 113 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 4305283 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 203904 0 0 0 332499 134 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604504680955360 0 0 -1 13 0 0 0
[pid=9240/tid=9254] ppid=9238 vsize=5793768 CPUtime=3302.96 cores=0-31
/proc/9240/task/9254/stat : 9254 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 163886 0 0 0 330186 110 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604501773319648 0 0 -1 31 0 0 0
[pid=9240/tid=9255] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9255/stat : 9255 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 159810 0 0 0 332535 96 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604480999210464 0 0 -1 3 0 0 0
[pid=9240/tid=9256] ppid=9238 vsize=5793768 CPUtime=3326.34 cores=0-31
/proc/9240/task/9256/stat : 9256 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 126071 0 0 0 332546 88 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604482368462304 0 0 -1 17 0 0 0
[pid=9240/tid=9257] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9257/stat : 9257 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 162326 0 0 0 332530 102 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604505290005984 0 0 -1 18 0 0 0
[pid=9240/tid=9258] ppid=9238 vsize=5793768 CPUtime=3326.3 cores=0-31
/proc/9240/task/9258/stat : 9258 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 174519 0 0 0 332517 113 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604476332203488 0 0 -1 19 0 0 0
[pid=9240/tid=9259] ppid=9238 vsize=5793768 CPUtime=3324.48 cores=0-31
/proc/9240/task/9259/stat : 9259 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 190820 0 0 0 332298 150 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604492786793952 0 0 -1 4 0 0 0
[pid=9240/tid=9260] ppid=9238 vsize=5793768 CPUtime=3326.3 cores=0-31
/proc/9240/task/9260/stat : 9260 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 202019 0 0 0 332514 116 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604501865184736 0 0 -1 12 0 0 0
[pid=9240/tid=9261] ppid=9238 vsize=5793768 CPUtime=3326.28 cores=0-31
/proc/9240/task/9261/stat : 9261 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 182309 0 0 0 332527 101 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604502798368224 0 0 -1 20 0 0 0
[pid=9240/tid=9262] ppid=9238 vsize=5793768 CPUtime=3325.29 cores=0-31
/proc/9240/task/9262/stat : 9262 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 169010 0 0 0 332432 97 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604498666585568 0 0 -1 16 0 0 0
[pid=9240/tid=9263] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9263/stat : 9263 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 162251 0 0 0 332528 104 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604502760775136 0 0 -1 21 0 0 0
[pid=9240/tid=9264] ppid=9238 vsize=5793768 CPUtime=3326.25 cores=0-31
/proc/9240/task/9264/stat : 9264 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 145760 0 0 0 332531 94 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604481063362016 0 0 -1 22 0 0 0
[pid=9240/tid=9265] ppid=9238 vsize=5793768 CPUtime=3326.32 cores=0-31
/proc/9240/task/9265/stat : 9265 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 174988 0 0 0 332527 105 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604505996156384 0 0 -1 7 0 0 0
[pid=9240/tid=9266] ppid=9238 vsize=5793768 CPUtime=3326.31 cores=0-31
/proc/9240/task/9266/stat : 9266 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 170827 0 0 0 332520 111 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604498490334688 0 0 -1 25 0 0 0
[pid=9240/tid=9267] ppid=9238 vsize=5793768 CPUtime=3325.3 cores=0-31
/proc/9240/task/9267/stat : 9267 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 141697 0 0 0 332434 96 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604482970435040 0 0 -1 26 0 0 0
[pid=9240/tid=9268] ppid=9238 vsize=5793768 CPUtime=3282.82 cores=0-31
/proc/9240/task/9268/stat : 9268 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 197140 0 0 0 328152 130 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604479243599328 0 0 -1 11 0 0 0
[pid=9240/tid=9269] ppid=9238 vsize=5793768 CPUtime=3326.23 cores=0-31
/proc/9240/task/9269/stat : 9269 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 140378 0 0 0 332529 94 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604477290601952 0 0 -1 29 0 0 0
[pid=9240/tid=9270] ppid=9238 vsize=5793768 CPUtime=3326.33 cores=0-31
/proc/9240/task/9270/stat : 9270 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 160224 0 0 0 332527 106 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604480060259808 0 0 -1 30 0 0 0
[pid=9240/tid=9271] ppid=9238 vsize=5793768 CPUtime=3326.36 cores=0-31
/proc/9240/task/9271/stat : 9271 (strangenight2-m) S 9238 9240 9036 0 -1 4202560 46847 0 0 0 332602 34 0 0 25 0 32 0 736831818 5932818432 1083616 268435456000 4194304 4580107 140735043895136 18446744073709551615 47167738713652 0 0 4096 2 18446604502318005728 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 106345
Current children cumulated vsize (KiB) 5793768

[startup+3327.8 s]
/proc/loadavg: 32.02 32.05 31.99 3/445 9372
/proc/meminfo: memFree=250831888/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=0 CPUtime=106346 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) Z 9238 9240 9036 0 -1 4203548 5253815 0 0 0 10631209 3374 0 0 19 0 2 0 736831817 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 0 0 0 0 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=0 CPUtime=3326.41 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4203588 203904 0 0 0 332499 142 0 0 19 0 2 0 736831818 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 106346
Current children cumulated vsize (KiB) 0

[startup+3328.2 s]
/proc/loadavg: 32.02 32.05 31.99 3/445 9372
/proc/meminfo: memFree=250831888/264257624 swapFree=67111528/67111528
[pid=9240] ppid=9238 vsize=0 CPUtime=106346 cores=0-31
/proc/9240/stat : 9240 (strangenight2-m) Z 9238 9240 9036 0 -1 4203548 5253815 0 0 0 10631209 3414 0 0 19 0 2 0 736831817 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 0 0 0 0
/proc/9240/statm: 0 0 0 0 0 0 0
[pid=9240/tid=9253] ppid=9238 vsize=0 CPUtime=3326.81 cores=0-31
/proc/9240/task/9253/stat : 9253 (strangenight2-m) R 9238 9240 9036 0 -1 4203588 203904 0 0 0 332499 182 0 0 20 0 2 0 736831818 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 13 0 0 0
Current children cumulated CPU time (s) 106346
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 3328.28
CPU time (s): 106346
CPU user time (s): 106312
CPU system time (s): 34.2268
CPU usage (%): 3195.23
Max. virtual memory (cumulated for all children) (KiB): 6049432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 106312
system time used= 34.2268
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5253815
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= 57815
involuntary context switches= 212505

runsolver used 19.0201 second user time and 74.8646 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 18:10:54
IDJOB=3400628
IDBENCH=20468
IDSOLVER=1886
FILE ID=node200/3400628-1306253454
RUNJOBID= node200-1306253326-9050
PBS_JOBID= 13411758
Free space on /tmp= 62048 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/jarvisalo/eq.atree.braun.12.unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400628-1306253454/watcher-3400628-1306253454 -o /tmp/evaluation-result-3400628-1306253454/solver-3400628-1306253454 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400628-1306253454.cnf

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

MD5SUM BENCH= 8d6acb9f6b752ad76c024133f5175c69
RANDOM SEED=917571116

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.049
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.09
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.049
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.07
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.049
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.049
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.09
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.049
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.17
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.049
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.08
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.049
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.06
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.049
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.08
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.049
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.049
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.09
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.049
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	: 3990.09
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.049
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.02
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.049
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.17
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.049
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.049
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	: 3989.98
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.049
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.06
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.049
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.04
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.049
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.09
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.049
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.09
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.049
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.049
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.05
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.049
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.07
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.049
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.08
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.049
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.23
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.049
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	: 3990.06
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.049
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.09
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.049
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.08
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.049
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.09
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.049
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.049
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.09
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.049
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.05
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.049
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.06
clflush size	: 64
cache_alignment	: 64
address sizes	: 44 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     264257624 kB
MemFree:      255171040 kB
Buffers:        463564 kB
Cached:        8215192 kB
SwapCached:          0 kB
Active:        7766744 kB
Inactive:       981076 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255171040 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:            6048 kB
Writeback:           0 kB
AnonPages:       69436 kB
Mapped:          14664 kB
Slab:           255340 kB
PageTables:       4816 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   175540 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= 62040 MiB
End job on node200 at 2011-05-24 19:06:22