Trace number 3400662

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 148113 4691.76

General information on the benchmark

NameAPPLICATIONS/
bitverif/maxxor/maxxor128.cnf
MD5SUM065c126f0d55807310a398728b44423f
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark148113
Satisfiable
(Un)Satisfiability was proved
Number of variables200440
Number of clauses599015
Sum of the clauses size1397699
Maximum clause length3
Minimum clause length1
Number of clauses of size 12
Number of clauses of size 2399342
Number of clauses of size 3199671
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.03	c Using 32 threads
1.58/0.09	c This is CryptoMiniSat 3.0.0
1.58/0.09	c WARNING: for repeatability, setting FPU to use double precision
1.58/0.09	c Reading file 'HOME/instance-3400662-1306308391.cnf'
1.58/0.12	c -- header says num vars:         200440
1.58/0.12	c -- header says num clauses:      599015
84.04/5.61	c -- clauses added:            0 learnts,       599015 normals,            0 xors
84.04/5.61	c -- vars added     200440
84.04/5.61	c Parsing time:  0.85 s
84.04/5.61	c  N st     0         0    200440    199671    399342         0   1397697         0   no data   no data
143.49/7.50	c asymm  cl-useful: 0/849/199654 lits-rem:0 time: 1.86
1374.01/46.06	c Flit:     6 Blit:     92 bXBeca:    0 bXProp:   91 Bins:      0 BRemL:      0 BRemN:      0 P: 200.2M T: 38.55
1377.82/46.21	c Replacing       91 vars Replaced     2708 lits Time:     0.15 s 
1389.29/46.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
1392.42/46.64	c bin-w-bin subsume rem            0 bins  time:  0.08 s
1398.24/46.81	c subs with bin:        0  lits-rem:         0  v-fix:    0  time:  0.17 s
1589.81/53.64	c Subs w/ non-existent bins:     15 l-rem:      0 v-fix:    13 done:  53709 time:  6.44 s
1599.82/53.94	c Removed useless bin:       0  fixed:     0  props:  20.00M  time:  0.29 s
1767.44/60.67	c lits-rem:         0  cl-subs:     1437  v-elim:  66744  v-fix:    0  time:  4.12 s
1770.03/60.78	c Finding binary XORs  T:     0.10 s  found:      11
1772.81/60.90	c Replacing       11 vars Replaced      176 lits Time:     0.11 s 
1782.98/61.25	c Finding non-binary XORs:     0.18 s (found:    8004, avg size: 3.0)
1782.98/61.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
1782.98/61.30	c calculated reachability. Time: 0.01
1785.89/61.36	c Calc default polars -  time:   0.06 s pos:    1767 undec:   80392 neg:  118281
1785.89/61.36	c =========================================================================================
1785.89/61.36	c types(t): F = full restart, N = normal restart
1785.89/61.36	c types(t): S = simplification begin/end, E = solution found
1785.89/61.36	c restart types(rt): st = static, dy = dynamic
1785.89/61.36	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1785.89/61.36	c  B st     0         0    133465    179059    248871         0   1158666         0   no data   no data
2142.90/72.90	c  N dy    19      4043    133465    179059    249077      3786   1158666    168772      8.78      9.62
2277.00/81.92	c  N dy    44      8256    133404    179059    251317      7647   1158666    261758     10.36     11.12
2323.46/88.42	c  N dy    62     13031    133404    179059    251582     12076   1158666    352812     10.93     11.53
2512.69/116.73	c Finding binary XORs  T:     0.09 s  found:    1543
2514.64/116.84	c Replacing     1543 vars Replaced    36361 lits Time:     0.11 s 
2807.25/126.32	c  N dy    82     17118    131861    175538    256310     14774   1147737    448926     11.16     32.29
3110.87/135.88	c  N dy    98     21165    131861    175538    264437      9902   1147737     94114     10.61     11.48
3251.47/140.21	c Finding binary XORs  T:     0.09 s  found:    1749
3254.67/140.32	c Replacing     1749 vars Replaced    49764 lits Time:     0.11 s 
3456.05/146.64	c  F st   119     25000    130112    171947    260430     11833   1136964    184395     10.92      3.91
3494.39/147.81	c  N st   120     25250    130112    171947    260431     12082   1136964    206123     10.92   no data
3817.21/157.97	c  N dy   125     30000    130112    171947    267943     16676   1136964    301960     10.92   no data
3817.21/157.97	c  S st   125     30000    130112    171947    267943     16676   1136964    301960     10.92   no data
3881.13/159.97	c  S st   125     30503    130112    171947    267987     17134   1136964    310913     10.92   no data
3884.34/160.05	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
4680.23/184.91	c Flit:     1 Blit:      0 bXBeca:    0 bXProp: 1231 Bins:  14768 BRemL:     27 BRemN:      1 P: 200.0M T: 24.86
4683.43/185.09	c Replacing     1247 vars Replaced    54234 lits Time:     0.16 s 
4689.83/185.22	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
4689.83/185.29	c bin-w-bin subsume rem         4850 bins  time:  0.06 s
4696.22/185.45	c subs with bin:     4641  lits-rem:       783  v-fix:    0  time:  0.16 s
4808.10/188.91	c Subs w/ non-existent bins:    664 l-rem:   2828 v-fix:     0 done:  75204 time:  3.43 s
4827.27/189.57	c Removed useless bin:     122  fixed:     0  props:  20.00M  time:  0.65 s
4878.39/191.17	c lits-rem:       160  cl-subs:     1560  v-elim:  56078  v-fix:    0  time:  1.33 s
4881.59/191.28	c subs with bin:     1086  lits-rem:        89  v-fix:    0  time:  0.07 s
4891.16/191.51	c lits-rem:        51  cl-subs:      113  v-elim:      0  v-fix:    0  time:  0.14 s
4939.12/193.05	c asymm  cl-useful: 482/17112/191651 lits-rem:483 time: 1.55
4939.12/193.10	c calculated reachability. Time: 0.01
4942.31/193.10	c  N dy   125     30503     72786    191651    117435      7480   1025210     77993     10.92   no data
4942.31/193.17	c Finding binary XORs  T:     0.06 s  found:     416
5213.97/201.68	c  N dy   140     35482     72783    191651    129259     12285   1025208    182207     10.61     11.21
5217.17/201.79	c Finding binary XORs  T:     0.07 s  found:    3181
5223.57/201.91	c Replacing     3597 vars Replaced    98675 lits Time:     0.12 s 
5444.08/208.90	c  N dy   155     39689     69186    183855    121956     14393    998139    251387     10.71     11.52
5623.71/214.49	c  N dy   170     43852     69186    183855    122002     10033    998137     99554     10.60     11.27
5732.40/217.88	c  S st   182     45754     69186    183855    124276     11887    998137    142601     10.56   no data
5767.55/218.94	c Finding binary XORs  T:     0.06 s  found:    1006
5770.11/219.03	c Replacing     1006 vars Replaced    32944 lits Time:     0.09 s 
5786.11/219.53	c  S st   182     46259     68180    181309    121793     11539    989931    141333     10.56   no data
5789.31/219.60	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
6460.52/240.68	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:   6107 BRemL:      2 BRemN:      0 P: 200.1M T: 21.07
6463.71/240.77	c Replacing        1 vars Replaced       37 lits Time:     0.07 s 
6467.53/240.90	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
6470.73/240.94	c bin-w-bin subsume rem         4141 bins  time:  0.04 s
6473.29/241.08	c subs with bin:     5375  lits-rem:       567  v-fix:    0  time:  0.13 s
6521.24/242.59	c Subs w/ non-existent bins:   1403 l-rem:   7261 v-fix:     0 done:  68179 time:  1.51 s
6537.85/243.07	c Removed useless bin:     199  fixed:     0  props:  12.68M  time:  0.48 s
6553.20/243.51	c lits-rem:         0  cl-subs:        4  v-elim:    763  v-fix:    0  time:  0.42 s
6556.40/243.63	c subs with bin:      595  lits-rem:        91  v-fix:    0  time:  0.08 s
6562.80/243.86	c lits-rem:        35  cl-subs:      118  v-elim:      0  v-fix:    0  time:  0.15 s
6626.71/245.86	c asymm  cl-useful: 70/12539/175987 lits-rem:70 time: 1.99
6626.71/245.90	c calculated reachability. Time: 0.01
6629.91/245.90	c  N dy   182     46259     67416    175987    123416     10235    989584    112485     10.56   no data
6629.91/245.96	c Finding binary XORs  T:     0.06 s  found:       0
6847.05/252.73	c  N dy   204     50277     67415    175987    129295     14123    989580    214554     10.81     11.41
7058.03/259.34	c  N dy   233     54344     67415    175987    129328     18116    989580    333080     11.09     28.79
7083.59/260.16	c Finding binary XORs  T:     0.07 s  found:    1497
7086.79/260.26	c Replacing     1497 vars Replaced    44645 lits Time:     0.10 s 
7265.80/265.84	c  N dy   247     58468     65918    173473    128563     20865    979445    410121     11.00     11.83
7483.17/272.71	c  N dy   259     62645     65918    173473    128598     24942    979445    478231     10.86     11.53
7636.60/277.49	c Finding binary XORs  T:     0.06 s  found:     887
7639.79/277.59	c Replacing      887 vars Replaced    29247 lits Time:     0.10 s 
7796.43/282.40	c  N dy   285     66744     65031    171811    127970     14917    973189    154762     10.96     11.83
7901.89/285.79	c  S st   295     69388     65031    171811    129016     17512    973189    215144     10.96     10.90
7947.27/287.17	c  S st   295     69889     65031    171811    129050     17975    973189    224823     10.96   no data
7949.83/287.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
8682.41/310.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  278 Bins:   3972 BRemL:      8 BRemN:      0 P: 200.0M T: 22.90
8685.64/310.25	c Replacing      278 vars Replaced    15888 lits Time:     0.08 s 
8688.20/310.38	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
8691.36/310.42	c bin-w-bin subsume rem         2691 bins  time:  0.04 s
8694.57/310.56	c subs with bin:     1860  lits-rem:         6  v-fix:    0  time:  0.13 s
8745.72/312.15	c Subs w/ non-existent bins:      4 l-rem:      0 v-fix:     0 done:  64753 time:  1.60 s
8758.48/312.51	c Removed useless bin:       2  fixed:     0  props:  11.06M  time:  0.36 s
8768.09/312.86	c lits-rem:         0  cl-subs:        3  v-elim:     14  v-fix:    0  time:  0.35 s
8774.48/313.06	c subs with bin:      731  lits-rem:       315  v-fix:    0  time:  0.14 s
8784.07/313.31	c lits-rem:        56  cl-subs:      165  v-elim:      0  v-fix:    0  time:  0.16 s
8854.40/315.60	c asymm  cl-useful: 84/5475/169426 lits-rem:84 time: 2.30
8858.22/315.64	c calculated reachability. Time: 0.01
8858.22/315.65	c  N dy   295     69889     64739    169426    129642     16781    968078    217867     10.96   no data
9116.49/323.74	c Finding binary XORs  T:     0.06 s  found:      99
9151.65/324.80	c  N dy   318     74623     64739    169426    129674     21443    968077    332988     10.99     12.18
9391.40/332.32	c  N dy   334     79531     64738    169426    137727     26265    968077    464963     10.93     12.44
9464.90/334.61	c Finding binary XORs  T:     0.07 s  found:    1175
9468.10/334.72	c Replacing     1274 vars Replaced    45873 lits Time:     0.11 s 
9768.55/344.18	c  N dy   360     84685     63464    167419    148899     30279    959626    614197     10.92     11.80
9944.36/349.68	c  F st   374     87501     63464    167419    150514     33049    959626    675022     10.90      7.92
10104.19/354.69	c  N st   379     90800     63464    167419    150527     19231    959626    240355     10.90   no data
10388.69/363.50	c Finding binary XORs  T:     0.07 s  found:     615
10519.72/367.68	c  N dy   394     96698     63464    167419    151874     25029    959626    410958     10.86     11.83
10884.12/379.01	c  N dy   424    102945     63464    167419    153367     31193    959626    588775     10.91     28.84
10971.05/381.76	c  S st   435    104833     63464    167419    153378     33050    959626    641847     10.90      8.39
11008.77/382.97	c  S st   435    105334     63464    167419    153393     33534    959626    655068     10.90   no data
11011.97/383.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
11890.89/410.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  204 Bins:   8981 BRemL:      1 BRemN:      0 P: 200.0M T: 27.46
11894.08/410.65	c Replacing      819 vars Replaced    37231 lits Time:     0.11 s 
11900.49/410.80	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
11900.49/410.85	c bin-w-bin subsume rem         2880 bins  time:  0.05 s
11903.68/411.00	c subs with bin:      831  lits-rem:         4  v-fix:    0  time:  0.15 s
11942.04/412.16	c Subs w/ non-existent bins:      2 l-rem:      0 v-fix:     0 done:  62645 time:  1.17 s
11952.25/412.42	c Removed useless bin:       0  fixed:     0  props:   7.61M  time:  0.26 s
11961.22/412.79	c lits-rem:         0  cl-subs:        1  v-elim:     10  v-fix:    0  time:  0.37 s
11980.40/413.30	c subs with bin:      349  lits-rem:      1396  v-fix:    0  time:  0.40 s
11993.17/413.74	c lits-rem:       662  cl-subs:      642  v-elim:      0  v-fix:    0  time:  0.31 s
12066.70/416.04	c asymm  cl-useful: 22/3404/165079 lits-rem:22 time: 2.30
12066.70/416.08	c calculated reachability. Time: 0.01
12066.70/416.09	c  N dy   435    105334     62635    165079    157294     31205    952481    623327     10.90   no data
12069.90/416.15	c Finding binary XORs  T:     0.07 s  found:      41
12172.19/419.34	c Finding binary XORs  T:     0.07 s  found:     757
12175.39/419.45	c Replacing      798 vars Replaced    32454 lits Time:     0.11 s 
12549.97/431.21	c  N dy   461    112332     61837    163830    181519     37337    947274    888123     10.83     11.42
12948.92/443.68	c  N dy   489    119688     61837    163830    183859     25239    947273    400608     10.74     11.33
13323.52/455.36	c Finding binary XORs  T:     0.07 s  found:     446
13421.99/458.48	c  N dy   518    127567     61837    163830    184814     33008    947273    614827     10.67     11.42
13696.89/467.09	c Finding binary XORs  T:     0.07 s  found:     173
13700.09/467.20	c Replacing      619 vars Replaced    27273 lits Time:     0.11 s 
13863.09/472.27	c  N dy   561    135732     61218    162690    191811     40356    942947    896658     10.71     11.45
14403.30/489.13	c  N dy   601    144505     61218    162690    193603     28046    942947    443389     10.70     11.33
14793.28/501.30	c Finding binary XORs  T:     0.07 s  found:     252
14927.53/505.58	c  N dy   641    153729     61212    162669    195770     37081    942799    704543     10.67     11.30
15141.68/512.29	c  S st   659    158001     61212    162669    196554     41279    942799    809923     10.67     10.57
15183.23/513.60	c  S st   659    158505     61212    162669    196560     41776    942799    830472     10.67   no data
15187.02/513.70	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.09
16049.47/540.60	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   68 Bins:   4284 BRemL:     33 BRemN:      0 P: 200.0M T: 26.90
16052.67/540.72	c Replacing      320 vars Replaced    16772 lits Time:     0.10 s 
16055.86/540.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
16059.06/540.92	c bin-w-bin subsume rem         3388 bins  time:  0.05 s
16062.26/541.08	c subs with bin:      326  lits-rem:         6  v-fix:    0  time:  0.16 s
16097.42/542.17	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  60892 time:  1.09 s
16104.45/542.40	c Removed useless bin:       0  fixed:     0  props:   6.14M  time:  0.22 s
16116.58/542.77	c lits-rem:         3  cl-subs:       13  v-elim:      7  v-fix:    0  time:  0.37 s
16142.14/543.59	c subs with bin:      149  lits-rem:      2884  v-fix:    0  time:  0.71 s
16158.14/544.02	c lits-rem:       704  cl-subs:      635  v-elim:      0  v-fix:    0  time:  0.32 s
16225.27/546.12	c asymm  cl-useful: 33/2280/161670 lits-rem:33 time: 2.10
16225.27/546.16	c calculated reachability. Time: 0.01
16225.27/546.17	c  N dy   659    158505     60885    161670    196341     40241    939767    795071     10.67   no data
16468.21/553.74	c Finding binary XORs  T:     0.07 s  found:     259
16864.54/566.12	c  N dy   702    168923     60885    161670    199043     30031    939767    428111     10.66     11.45
17606.17/589.36	c  N dy   756    179747     60885    161670    200337     40736    939767    777925     10.68     11.31
17852.25/597.01	c Finding binary XORs  T:     0.07 s  found:     111
18450.00/615.80	c  N dy   814    191603     60885    161670    207672     52389    939765   1195401     10.76     11.56
18453.20/615.86	c Finding binary XORs  T:     0.07 s  found:      26
19336.06/643.43	c  N dy   868    203870     60885    161670    209048     42685    939765    811315     10.80     12.28
19952.34/662.72	c Finding binary XORs  T:     0.07 s  found:      64
20300.76/673.67	c  N dy   925    216888     60884    161670    210409     55544    939765   1314729     10.84     13.93
21090.30/698.31	c  N dy   995    231187     60884    161670    211421     46640    939765    821334     10.96     11.68
21473.86/710.39	c  S st  1032    237757     60884    161670    211756     53127    939765   1094296     11.00   no data
21512.22/711.58	c  S st  1032    238257     60884    161670    211758     53624    939765   1130239     11.00   no data
21516.04/711.68	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
22493.54/742.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   37 Bins:   3796 BRemL:      4 BRemN:      0 P: 200.0M T: 30.54
22496.70/742.40	c Replacing      497 vars Replaced    24424 lits Time:     0.17 s 
22503.72/742.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
22506.27/742.61	c bin-w-bin subsume rem          727 bins  time:  0.05 s
22509.47/742.78	c subs with bin:       71  lits-rem:         1  v-fix:    0  time:  0.17 s
22535.68/743.60	c Subs w/ non-existent bins:      1 l-rem:      1 v-fix:     0 done:  60387 time:  0.82 s
22544.64/743.81	c Removed useless bin:       0  fixed:     0  props:   4.95M  time:  0.20 s
22554.23/744.17	c lits-rem:         6  cl-subs:        8  v-elim:      2  v-fix:    0  time:  0.37 s
22627.76/746.46	c subs with bin:       61  lits-rem:      4061  v-fix:    0  time:  2.14 s
22650.12/747.19	c lits-rem:      1293  cl-subs:     1026  v-elim:      0  v-fix:    0  time:  0.62 s
22704.48/748.82	c asymm  cl-useful: 0/1171/160701 lits-rem:0 time: 1.63
22704.48/748.87	c calculated reachability. Time: 0.01
22704.48/748.87	c  N dy  1032    238257     60385    160701    212941     51704    936166   1081792     11.00   no data
22707.68/748.94	c Finding binary XORs  T:     0.07 s  found:       4
23148.80/762.79	c Finding binary XORs  T:     0.07 s  found:      31
23867.99/785.27	c  N dy  1108    253554     60383    160698    226587     43071    936145    612949     11.12     11.99
24794.97/814.21	c Finding binary XORs  T:     0.07 s  found:      17
24856.34/816.19	c  N dy  1207    269788     60381    160673    228010     59077    936034   1393675     11.27     12.43
25821.04/846.39	c Finding binary XORs  T:     0.07 s  found:      13
26092.75/854.86	c  N dy  1293    287352     60381    160673    233579     51642    936034    826653     11.37     12.09
26866.29/879.03	c Finding binary XORs  T:     0.07 s  found:       8
27166.74/888.47	c  N dy  1396    305917     60381    160673    237376     69970    936034   1712704     11.52     12.25
27185.92/889.04	c  F st  1399    306250     60381    160673    237378     70300    936034   1732005     11.52   no data
27189.11/889.15	c Replacing       73 vars Replaced     2131 lits Time:     0.11 s 
27639.83/903.29	c Finding binary XORs  T:     0.07 s  found:       4
28320.68/924.55	c  N dy  1485    325543     60308    160551    242546     63347    935538   1245527     11.62     12.26
29427.30/959.15	c Finding binary XORs  T:     0.07 s  found:      10
29538.54/962.62	c  N dy  1611    345830     60308    160551    244052     56596    935538    709523     11.87     12.88
30372.83/988.75	c  S st  1668    357385     60307    160551    246172     68022    935538   1255012     11.90      6.96
30408.00/989.91	c  S st  1668    357885     60307    160551    246175     68517    935538   1300600     11.90   no data
30411.81/990.01	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.10
31159.12/1013.34	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    3 Bins:   3650 BRemL:   1196 BRemN:      0 P: 200.0M T: 23.32
31165.52/1013.51	c Replacing       17 vars Replaced      600 lits Time:     0.16 s 
31168.71/1013.67	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
31171.92/1013.73	c bin-w-bin subsume rem          262 bins  time:  0.05 s
31178.31/1013.91	c subs with bin:       44  lits-rem:        23  v-fix:    0  time:  0.18 s
31210.27/1014.95	c Subs w/ non-existent bins:      2 l-rem:      1 v-fix:     0 done:  60290 time:  1.02 s
31216.67/1015.15	c Removed useless bin:       2  fixed:     0  props:   4.10M  time:  0.21 s
31229.44/1015.50	c lits-rem:         9  cl-subs:        3  v-elim:     14  v-fix:    0  time:  0.35 s
31299.76/1017.75	c subs with bin:       96  lits-rem:      2192  v-fix:    0  time:  2.09 s
31322.16/1018.46	c lits-rem:      1176  cl-subs:     1167  v-elim:      0  v-fix:    0  time:  0.59 s
31376.49/1020.14	c asymm  cl-useful: 2/1682/160472 lits-rem:5 time: 1.69
31376.49/1020.19	c calculated reachability. Time: 0.01
31376.49/1020.20	c  N dy  1668    357885     60276    160471    248200     66665    935308   1243703     11.90   no data
31379.69/1020.27	c Finding binary XORs  T:     0.07 s  found:       0
32002.99/1039.76	c Finding binary XORs  T:     0.07 s  found:      14
32514.40/1055.71	c  N dy  1806    377964     60273    160465    254483     58765    935239    693408     12.26     21.76
33642.78/1091.00	c  N dy  1913    398326     60272    160465    255520     78886    935237   1875525     12.48     13.20
34135.05/1106.47	c Finding binary XORs  T:     0.07 s  found:       8
34777.50/1126.58	c  N dy  2048    418393     60271    160464    256625     70044    935214   1157545     12.73     19.11
35093.96/1136.42	c Finding binary XORs  T:     0.07 s  found:       6
35781.21/1158.00	c  N dy  2143    438438     60269    160458    261937     89797    935160   2492334     12.89     16.42
37005.42/1196.30	c  N dy  2280    458477     60264    160458    263100     80191    935158   1637930     13.15     13.86
37283.52/1204.98	c Finding binary XORs  T:     0.07 s  found:       6
38207.30/1233.88	c  N dy  2393    478636     60262    160430    264187     99444    934952   2971923     13.32     14.16
39367.63/1270.19	c  N dy  2487    499220     60262    160430    265198     89976    934941   1821955     13.39     14.29
39448.17/1272.67	c Finding binary XORs  T:     0.07 s  found:       8
40652.58/1310.37	c  N dy  2614    519262     60261    160426    269025    109736    934900   3551174     13.60     15.51
41301.49/1330.65	c Finding binary XORs  T:     0.07 s  found:       9
41659.48/1341.86	c  S st  2717    536827     60255    160393    271915     96571    934721   2115720     13.73   no data
41707.42/1343.35	c  S st  2717    537328     60253    160393    272340     97067    934721   2173995     13.73   no data
41710.62/1343.46	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.11
42385.07/1364.58	c Flit:     0 Blit:      2 bXBeca:    0 bXProp:   19 Bins:   1542 BRemL:    881 BRemN:      0 P: 200.1M T: 21.12
42391.47/1364.79	c Replacing       71 vars Replaced     3341 lits Time:     0.19 s 
42397.86/1364.95	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
42397.86/1365.01	c bin-w-bin subsume rem          247 bins  time:  0.06 s
42404.92/1365.19	c subs with bin:      147  lits-rem:       123  v-fix:    0  time:  0.18 s
42429.83/1365.98	c Subs w/ non-existent bins:      2 l-rem:     21 v-fix:     0 done:  60181 time:  0.78 s
42436.85/1366.16	c Removed useless bin:       4  fixed:     0  props:   3.62M  time:  0.19 s
42449.01/1366.54	c lits-rem:         8  cl-subs:       46  v-elim:     52  v-fix:    0  time:  0.37 s
42532.11/1369.12	c subs with bin:     2501  lits-rem:      6349  v-fix:    0  time:  2.33 s
42573.67/1370.44	c lits-rem:      2838  cl-subs:     1355  v-elim:      0  v-fix:    0  time:  1.20 s
42621.61/1371.95	c asymm  cl-useful: 23/926/160141 lits-rem:71 time: 1.51
42624.80/1372.00	c calculated reachability. Time: 0.01
42624.80/1372.01	c  N dy  2717    537328     60129    160125    272306     90970    933435   1858399     13.73   no data
42967.47/1382.78	c Finding binary XORs  T:     0.08 s  found:      21
43829.89/1409.78	c  N dy  2838    557532     60123    160101    279034    110831    933304   3579420     13.96     14.71
44462.78/1429.56	c Finding binary XORs  T:     0.08 s  found:      28
45098.91/1449.44	c  N dy  2970    577559     60114    160092    287372     96658    933185   2112174     14.15     16.05
45882.66/1473.94	c Finding binary XORs  T:     0.08 s  found:      17
46393.45/1489.90	c  N dy  3094    597627     60109    160088    289031    116366    933129   3859724     14.33     45.66
46649.17/1497.93	c Finding binary XORs  T:     0.08 s  found:      34
47608.74/1527.93	c  N dy  3196    618725     60102    160063    298823    104388    933039   2216300     14.45     15.56
47611.30/1528.08	c Finding binary XORs  T:     0.08 s  found:      29
48212.23/1546.81	c Finding binary XORs  T:     0.08 s  found:      31
48867.50/1567.41	c  N dy  3313    639012     60075    160014    318933    124360    932822   4172197     14.61     16.06
48982.56/1570.96	c Finding binary XORs  T:     0.08 s  found:      37
50008.61/1603.06	c  N dy  3430    659063     60065    159955    321652    110557    932483   2812783     14.77     20.81
50155.67/1607.66	c Finding binary XORs  T:     0.08 s  found:      64
51140.16/1638.47	c  N dy  3530    679156     60056    159903    323873    130282    932239   4812998     14.91     19.26
51667.56/1654.98	c Finding binary XORs  T:     0.08 s  found:      24
52409.14/1678.10	c  N dy  3619    699211     60053    159892    327614    115310    932175   2589946     14.98     41.38
52866.23/1692.40	c Finding binary XORs  T:     0.08 s  found:      73
53783.63/1721.12	c  N dy  3766    719415     60045    159890    333125    135177    932161   4782853     15.17     15.98
54135.24/1732.11	c Finding binary XORs  T:     0.08 s  found:      58
55165.11/1764.33	c  N dy  3889    739877     60033    159850    337978    119275    931883   3015987     15.30     16.31
56554.96/1807.88	c  N dy  4017    760217     60030    159850    338882    139397    931868   5457015     15.49     17.19
56692.42/1812.13	c Finding binary XORs  T:     0.08 s  found:      25
57872.51/1849.06	c  N dy  4125    781542     60026    159803    339663    123410    931699   2886104     15.63     17.07
58587.90/1871.41	c Finding binary XORs  T:     0.08 s  found:      42
59204.82/1890.74	c  N dy  4261    801560     60008    159750    342275    142678    931419   5452249     15.82     17.14
59511.69/1900.33	c  S st  4293    805992     60008    159750    342277    147078    931419   6064410     15.87   no data
59563.46/1901.93	c  S st  4293    806494     60008    159750    342277    147575    931413   6122495     15.87   no data
59566.02/1902.06	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
60285.22/1924.54	c Flit:     0 Blit:      1 bXBeca:    0 bXProp:   24 Bins:  18156 BRemL:    353 BRemN:      0 P: 200.2M T: 22.48
60301.83/1925.07	c Replacing      507 vars Replaced   108756 lits Time:     0.51 s 
60307.59/1925.24	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
60310.79/1925.32	c bin-w-bin subsume rem         7863 bins  time:  0.08 s
60317.18/1925.53	c subs with bin:     1115  lits-rem:      2091  v-fix:    0  time:  0.21 s
60355.54/1926.71	c Subs w/ non-existent bins:     18 l-rem:   1344 v-fix:     0 done:  59503 time:  1.18 s
60358.74/1926.89	c Removed useless bin:      29  fixed:     0  props:   3.42M  time:  0.18 s
60374.71/1927.38	c lits-rem:       135  cl-subs:      212  v-elim:    482  v-fix:    0  time:  0.48 s
60467.42/1930.21	c subs with bin:     3216  lits-rem:      7490  v-fix:    0  time:  2.38 s
60576.07/1933.68	c lits-rem:      5115  cl-subs:     1890  v-elim:      0  v-fix:    0  time:  3.35 s
60620.84/1935.03	c asymm  cl-useful: 55/456/158535 lits-rem:166 time: 1.35
60620.84/1935.09	c calculated reachability. Time: 0.01
60620.84/1935.09	c  N dy  4293    806494     59021    158498    344261    126469    921935   3147016     15.87   no data
60624.01/1935.17	c Finding binary XORs  T:     0.08 s  found:      12
61924.94/1975.84	c  N dy  4413    826590     59018    158498    346458    114613    921898   2399018     15.96     18.20
62650.54/1998.56	c Finding binary XORs  T:     0.08 s  found:      13
63220.15/2016.33	c  N dy  4532    846655     59017    158479    348404    134365    921746   4771958     16.17     27.84
64613.15/2059.94	c  N dy  4666    866990     58992    158479    349799    115952    921735   1960781     16.42     17.66
65885.30/2099.71	c Finding binary XORs  T:     0.08 s  found:      52
65936.43/2101.38	c  N dy  4804    887095     58987    158364    352705    135106    921164   4653497     16.67     39.22
67448.33/2148.64	c  N dy  4933    908490     58982    158364    354429    116660    921160   1577810     16.90     18.31
67931.61/2163.74	c Finding binary XORs  T:     0.08 s  found:      36
68775.48/2190.12	c  N dy  5015    929317     58967    158333    358638    137245    920983   4085846     16.94     17.88
70165.31/2233.68	c  N dy  5140    949356     58966    158333    359565    157114    920981   6842904     17.14     81.44
70865.32/2255.59	c Finding binary XORs  T:     0.08 s  found:      88
71472.61/2274.56	c  N dy  5259    969390     58957    158269    373480    136295    920703   3321050     17.29     64.74
72134.29/2295.22	c Finding binary XORs  T:     0.08 s  found:      33
72872.66/2318.37	c  N dy  5373    989576     58952    158259    376221    156117    920635   6162434     17.44     18.66
73917.85/2351.02	c Finding binary XORs  T:     0.08 s  found:      59
74317.37/2363.59	c  N dy  5493   1009607     58905    158089    382474    133989    919883   2690261     17.60     24.79
75685.41/2406.35	c  N dy  5624   1029701     58890    158089    384605    153946    919877   5997857     17.80     19.00
75950.72/2414.69	c Finding binary XORs  T:     0.09 s  found:      82
76947.94/2445.81	c  N dy  5756   1049718     58873    158039    387032    173748    919612   9185087     17.99     92.84
77900.46/2475.70	c Finding binary XORs  T:     0.09 s  found:      38
78293.60/2487.98	c  N dy  5865   1069728     58857    157920    389087    149736    919064   4189117     18.07     19.11
78456.61/2493.03	c  F st  5872   1071875     58857    157920    389602    151845    919064   4356552     18.07   no data
78466.21/2493.33	c Replacing      413 vars Replaced    64154 lits Time:     0.30 s 
78808.13/2504.09	c Finding binary XORs  T:     0.08 s  found:      30
79792.62/2534.80	c  N dy  5958   1090256     58423    157634    408814    169262    917611   7163398     18.16     19.41
79795.82/2534.99	c Finding binary XORs  T:     0.09 s  found:      49
81195.84/2578.80	c  N dy  6101   1110324     58391    157546    409470    145334    917244   3193777     18.36     32.59
81493.07/2588.08	c Finding binary XORs  T:     0.09 s  found:      63
82634.12/2623.72	c  N dy  6199   1130360     58379    157399    413743    164914    916631   6201811     18.45     19.47
82944.78/2633.46	c Finding binary XORs  T:     0.09 s  found:      96
83890.78/2663.11	c Finding binary XORs  T:     0.09 s  found:     144
84177.87/2672.03	c  N dy  6329   1150460     58228    156829    435222    184195    914070  10380155     18.69     46.33
85504.26/2713.51	c Finding binary XORs  T:     0.09 s  found:      76
85632.11/2717.57	c  N dy  6455   1170509     58199    156723    438464    158682    913551   4906066     18.83     47.46
86232.97/2736.36	c Finding binary XORs  T:     0.09 s  found:     180
86246.35/2736.74	c Replacing      638 vars Replaced    68624 lits Time:     0.39 s 
87281.23/2769.18	c  N dy  6586   1191712     57542    156173    449120    179003    910758   8288809     19.00     20.23
87626.35/2779.90	c Finding binary XORs  T:     0.09 s  found:      60
88355.55/2802.79	c Finding binary XORs  T:     0.09 s  found:     123
88728.88/2814.41	c  S st  6702   1209742     57524    156008    459049    150547    909826   2914005     19.18   no data
88773.64/2815.84	c  S st  6702   1210245     57524    156008    459049    151047    909819   2971560     19.18   no data
88777.40/2815.98	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.13
89531.06/2839.58	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   39 Bins:   1326 BRemL:    885 BRemN:      0 P: 200.1M T: 23.45
89540.66/2839.87	c Replacing      223 vars Replaced    23518 lits Time:     0.28 s 
89547.05/2840.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
89550.84/2840.13	c bin-w-bin subsume rem        15276 bins  time:  0.10 s
89556.62/2840.39	c subs with bin:     3186  lits-rem:      3369  v-fix:    0  time:  0.26 s
89610.97/2842.08	c Subs w/ non-existent bins:     79 l-rem:   2616 v-fix:     1 done:  57301 time:  1.68 s
89617.38/2842.27	c Removed useless bin:      30  fixed:     0  props:   5.31M  time:  0.20 s
89636.54/2842.89	c lits-rem:       718  cl-subs:     1134  v-elim:    892  v-fix:    0  time:  0.61 s
89703.63/2844.93	c subs with bin:    14536  lits-rem:     24814  v-fix:    0  time:  1.76 s
89735.59/2845.99	c lits-rem:      2186  cl-subs:     2114  v-elim:      0  v-fix:    0  time:  0.95 s
89773.96/2847.18	c vivif2 --  cl tried   151725 cl shrink     1352 lits rem       3476 time: 1.18
89800.16/2847.94	c vivif2 --  cl tried   121428 cl shrink    17208 lits rem      92742 time: 0.76
89847.50/2849.46	c asymm  cl-useful: 2/272/151580 lits-rem:6 time: 1.52
89853.87/2849.69	c calculated reachability. Time: 0.17
89853.87/2849.69	c  N dy  6702   1210245     56408    151578    434244    120989    883278   1910199     19.18   no data
90416.34/2867.27	c Finding binary XORs  T:     0.66 s  found:     232
91618.16/2904.90	c  N dy  6760   1230990     56322    151354    442650    141455    882432   5672628     19.12     20.18
92996.41/2947.97	c  N dy  6847   1251086     56300    151354    443532    161407    882412   9490721     19.13     20.45
94574.65/2997.31	c  N dy  6941   1271177     56277    151354    444318    181326    882400  13858621     19.16     23.99
95194.71/3016.77	c Finding binary XORs  T:     0.80 s  found:     167
95945.91/3040.24	c  N dy  7034   1291192     56240    150988    451595    141755    880624   5046403     19.19     86.87
97035.78/3074.30	c Finding binary XORs  T:     0.83 s  found:     148
97324.07/3083.34	c  N dy  7140   1311247     56238    150893    453715    161557    880293   8603266     19.22     31.15
98598.77/3123.26	c Finding binary XORs  T:     0.86 s  found:      60
98605.16/3123.46	c Replacing      607 vars Replaced    49028 lits Time:     0.19 s 
98732.99/3127.48	c  N dy  7229   1331477     55620    150521    458316    132260    878423   2494559     19.25     21.77
99985.98/3166.68	c  N dy  7336   1351584     55576    150521    459887    152244    878400   6361619     19.28     20.53
101543.20/3215.37	c  N dy  7434   1371598     55568    150521    460749    172073    878390   9681940     19.30     31.55
102856.23/3256.44	c Finding binary XORs  T:     0.90 s  found:      97
102923.34/3258.59	c  N dy  7554   1391631     55550    150257    460135    141935    877079   3755668     19.37     27.73
104323.32/3302.30	c  N dy  7655   1411644     55535    150257    462128    161801    877078   7568164     19.39     20.65
105895.92/3351.56	c  N dy  7777   1432188     55529    150257    463045    182166    877078  11563195     19.47     20.81
106586.29/3373.11	c Finding binary XORs  T:     0.94 s  found:     204
107692.81/3407.74	c Finding binary XORs  T:     0.94 s  found:     130
107720.98/3408.66	c  N dy  7888   1452287     55491    149998    472441    150437    875851   5097845     19.53     20.63
109293.56/3457.88	c  N dy  8020   1472366     55476    149998    473363    170385    875846   9732843     19.64     27.74
109712.27/3470.96	c Finding binary XORs  T:     0.94 s  found:      75
110958.71/3509.95	c  N dy  8158   1492376     55445    149894    478800    189289    875308  14337242     19.75     23.22
111713.02/3533.56	c Finding binary XORs  T:     0.96 s  found:      77
111722.60/3533.83	c Replacing      583 vars Replaced    69008 lits Time:     0.26 s 
112518.49/3558.77	c  N dy  8278   1512533     54871    149513    480671    156119    873080   5825313     19.84     21.06
113100.23/3576.91	c Finding binary XORs  T:     0.97 s  found:     255
114097.48/3608.10	c  N dy  8396   1532562     54839    149393    490286    175366    872443  10499556     19.89     40.73
114314.81/3614.93	c Finding binary XORs  T:     0.98 s  found:     103
115628.46/3656.01	c Finding binary XORs  T:     0.98 s  found:     132
115791.47/3661.17	c  N dy  8531   1552644     54810    149273    506725    193810    871807  14883658     19.99     48.24
117318.19/3708.98	c  N dy  8682   1572718     54750    149273    510205    162421    871803   6908849     20.08     35.10
117536.09/3715.79	c Finding binary XORs  T:     0.99 s  found:     167
117551.46/3716.28	c Replacing      657 vars Replaced   143228 lits Time:     0.49 s 
118401.65/3742.82	c Finding binary XORs  T:     1.00 s  found:     111
119101.66/3764.78	c  N dy  8805   1592796     54067    148643    528930    179855    868607  11642506     20.16     35.42
119357.34/3772.73	c Finding binary XORs  T:     1.00 s  found:     104
120686.90/3814.35	c Finding binary XORs  T:     0.99 s  found:     317
120824.32/3818.65	c  N dy  8956   1613041     53985    148337    541767    145069    866991   2450398     20.30     21.45
122323.34/3865.51	c  N dy  9030   1634114     53969    148337    545762    165962    866977   6739455     20.29     22.98
122518.30/3871.68	c Finding binary XORs  T:     0.95 s  found:     206
122534.27/3872.17	c Replacing      738 vars Replaced   138908 lits Time:     0.48 s 
123438.80/3900.45	c Finding binary XORs  T:     0.95 s  found:     219
123905.50/3915.06	c  N dy  9153   1654160     53196    147930    574947    182905    864650  11043680     20.34     22.36
124110.71/3921.50	c Finding binary XORs  T:     0.94 s  found:     186
125458.84/3963.69	c Finding binary XORs  T:     0.93 s  found:     151
125468.43/3963.92	c Replacing      556 vars Replaced    67144 lits Time:     0.23 s 
125494.00/3964.77	c  N dy  9273   1674188     52585    147511    593549    147642    862563   2954933     20.38     61.04
126977.09/4011.14	c  N dy  9377   1694247     52537    147511    595779    167547    862559   6961721     20.41     22.01
127271.12/4020.37	c Finding binary XORs  T:     0.93 s  found:     208
128281.12/4051.97	c Finding binary XORs  T:     0.93 s  found:     123
128294.51/4052.39	c  S st  9477   1710247     52491    147088    614319    181543    860785  10156048     20.46     19.59
128348.25/4054.05	c  S st  9477   1710747     52491    147088    614322    182039    860785  10221017     20.46   no data
128354.65/4054.20	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.16
129121.74/4078.26	c Flit:     0 Blit:      3 bXBeca:    0 bXProp:   25 Bins:    999 BRemL:     30 BRemN:      0 P: 200.2M T: 23.99
129147.30/4079.02	c Replacing      356 vars Replaced   106420 lits Time:     0.75 s 
129150.51/4079.19	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.01 s
129156.91/4079.34	c bin-w-bin subsume rem        52184 bins  time:  0.15 s
129166.50/4079.66	c subs with bin:     5304  lits-rem:      6693  v-fix:    0  time:  0.32 s
129297.56/4083.73	c Subs w/ non-existent bins:    192 l-rem:   5114 v-fix:     1 done:  49220 time:  4.06 s
129307.14/4084.00	c Removed useless bin:     205  fixed:     0  props:  15.07M  time:  0.28 s
129329.51/4084.74	c lits-rem:       776  cl-subs:     1516  v-elim:   1413  v-fix:    0  time:  0.73 s
129419.65/4087.53	c subs with bin:     9593  lits-rem:     18487  v-fix:    0  time:  2.39 s
129498.92/4090.09	c lits-rem:      3815  cl-subs:     3833  v-elim:      0  v-fix:    0  time:  2.46 s
129553.27/4091.76	c vivif2 --  cl tried   140412 cl shrink     2512 lits rem       4283 time: 1.67
129630.59/4094.12	c vivif2 --  cl tried   129709 cl shrink    40944 lits rem     188583 time: 2.36
129674.73/4095.58	c asymm  cl-useful: 0/252/140222 lits-rem:0 time: 1.45
129690.70/4096.02	c calculated reachability. Time: 0.39
129690.70/4096.03	c  N dy  9477   1710747     50721    140222    543504    126740    812552   2739671     20.46   no data
130381.09/4117.62	c Finding binary XORs  T:     1.32 s  found:     334
130966.59/4135.94	c  N dy  9495   1730815     50631    139990    559896    145686    811189   7132617     20.38     21.50
131480.59/4152.00	c Finding binary XORs  T:     1.22 s  found:     124
132500.17/4183.93	c  N dy  9529   1751250     50563    139805    577923    120950    810172   2468250     20.31     22.67
132819.83/4193.97	c Finding binary XORs  T:     1.21 s  found:     183
132826.22/4194.19	c Replacing      641 vars Replaced    62684 lits Time:     0.22 s 
133884.72/4227.24	c  N dy  9584   1771272     49862    139419    578230    139356    808168   5599118     20.26     21.42
134670.41/4251.84	c Finding binary XORs  T:     1.22 s  found:     258
135172.20/4267.56	c  N dy  9664   1791598     49802    139002    579983    154770    805819   9359203     20.25     23.10
135968.11/4292.44	c Finding binary XORs  T:     1.23 s  found:     407
135990.50/4293.10	c Replacing      665 vars Replaced   268372 lits Time:     0.66 s 
136460.31/4307.86	c  N dy  9732   1811918     49035    138196    586363    119255    801530   2440181     20.22     21.46
136895.05/4321.49	c Finding binary XORs  T:     1.23 s  found:     327
137706.91/4346.86	c  N dy  9800   1832074     48946    137973    590936    138270    800437   6027037     20.19     21.26
138812.86/4381.41	c Finding binary XORs  T:     1.23 s  found:     272
138828.81/4382.00	c Replacing      599 vars Replaced   199199 lits Time:     0.58 s 
138934.25/4385.26	c  N dy  9851   1852335     48294    137338    589382    152836    797167   9214120     20.16     21.43
139816.47/4412.83	c Finding binary XORs  T:     1.23 s  found:     170
140357.28/4429.78	c  N dy  9921   1873088     48217    137121    602913    119140    795922   2370641     20.14     21.33
141168.52/4455.17	c Finding binary XORs  T:     1.23 s  found:     252
141555.30/4467.26	c  N dy  9989   1893380     48169    136931    604242    137219    794794   6121487     20.10     21.75
142590.86/4499.64	c Finding binary XORs  T:     1.24 s  found:     484
142610.05/4500.24	c Replacing      906 vars Replaced   285370 lits Time:     0.60 s 
142664.36/4501.90	c  N dy 10041   1913576     47045    135495    604696    150165    787721   8903443     20.07     21.26
144026.05/4544.52	c  N dy 10122   1935130     46956    135495    610505    171539    787702  12768461     20.05     21.31
144070.81/4545.92	c Finding binary XORs  T:     1.23 s  found:     288
144749.00/4567.19	c Finding binary XORs  T:     1.24 s  found:     206
144758.00/4567.46	c Replacing      494 vars Replaced    63613 lits Time:     0.28 s 
145065.47/4577.05	c  N dy 10180   1956490     46282    134497    631597    132568    782633   5470731     20.03     21.69
145301.33/4584.43	c Finding binary XORs  T:     1.23 s  found:     319
146123.42/4610.14	c Finding binary XORs  T:     1.24 s  found:     268
146135.58/4610.58	c Replacing      587 vars Replaced   141648 lits Time:     0.44 s 
146212.30/4612.96	c  N dy 10239   1976754     45555    133521    646934    145237    777418   7782200     19.99     21.30
146848.41/4632.89	c Finding binary XORs  T:     1.24 s  found:     383
147238.36/4645.09	c  N dy 10270   1997039     45366    132994    666325    153543    774864   8579028     19.94     21.34
147676.27/4658.80	c Finding binary XORs  T:     1.24 s  found:     964
147685.84/4659.04	c Replacing     1347 vars Replaced   105757 lits Time:     0.24 s 
147913.38/4666.16	c  N dy 10294   2017054     43198    127446    654088    116074    748370   3235528     19.89     20.97
148110.55/4689.52	c Following stats are for *FIRST FINISHED THREAD ONLY*
148110.55/4689.52	c num threads              : 32         
148110.55/4689.52	c restarts                 : 10374      
148110.55/4689.52	c dynamic restarts         : 10344      
148110.55/4689.52	c static restarts          : 30         
148110.55/4689.52	c full restarts            : 4          
148110.55/4689.52	c total simplify time      : 73.84      
148110.55/4689.52	c learnts DL2              : 0          
148110.55/4689.52	c learnts size 2           : 1984686    
148110.55/4689.52	c learnts size 1           : 8258        (4.12      % of vars)
148110.55/4689.52	c filedLit time            : 180.92      (3.90      % time)
148110.55/4689.52	c v-elim SatELite          : 126038      (62.88     % vars)
148110.55/4689.52	c SatELite time            : 32.39       (0.70      % time)
148110.55/4689.52	c v-elim xor               : 0           (0.00      % vars)
148110.55/4689.52	c xor elim time            : 0.78        (0.02      % time)
148110.55/4689.52	c num binary xor trees     : 7974       
148110.55/4689.52	c binxor trees' crown      : 26713       (3.35      leafs/tree)
148110.55/4689.52	c bin xor find time        : 53.04      
148110.55/4689.52	c OTF clause improved      : 18818       (0.01      clauses/conflict)
148110.55/4689.52	c OTF impr. size diff      : 32009       (1.70       lits/clause)
148110.55/4689.52	c OTF cl watch-shrink      : 1379065     (0.64      clauses/conflict)
148110.55/4689.52	c OTF cl watch-sh-lit      : 32316835    (23.43      lits/clause)
148110.55/4689.52	c tried to recurMin cls    : 541787      (25.05      % of conflicts)
148110.55/4689.52	c updated cache            : 114547      (0.21       lits/tried recurMin)
148110.55/4689.52	c unit cls recevied        : 1271        (15.39     % of units)
148110.55/4689.52	c unit cls sent            : 264         (3.20      % of units)
148110.55/4689.52	c bin cls recevied         : 863748     
148110.55/4689.52	c bin cls sent             : 29997      
148110.55/4689.52	c clauses over max glue    : 0           (0.00      % of all clauses)
148110.55/4689.52	c conflicts                : 2163206     (465.82    / sec)
148110.55/4689.52	c decisions                : 15114502    (0.31      % random)
148110.55/4689.52	c bogo-props               : 72522556620 (15616886.45 / sec)
148110.55/4689.52	c conflict literals        : 274743368   (40.37     % deleted)
148110.55/4689.52	c Memory used              : 31626.78    MB
148110.55/4689.52	c single-thread CPU time   : 4643.86     s
148110.55/4689.52	c all-threads sum CPU time : 147934.20   s
148110.55/4689.52	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-3400662-1306308391/watcher-3400662-1306308391 -o /tmp/evaluation-result-3400662-1306308391/solver-3400662-1306308391 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400662-1306308391.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: 29.63 31.63 31.94 1/413 13837
/proc/meminfo: memFree=255151212/264257624 swapFree=67111528/67111528
[pid=13837] ppid=13835 vsize=338000 CPUtime=0.84 cores=0-31
/proc/13837/stat : 13837 (strangenight2-m) R 13835 13837 13811 0 -1 4202496 469 0 0 0 84 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510557 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13837/statm: 84500 409 300 95 0 79482 0
[pid=13837/tid=13838] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13838/stat : 13838 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13837/tid=13839] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13839/stat : 13839 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13837/tid=13840] ppid=13835 vsize=338000 CPUtime=0 cores=0-31
/proc/13837/task/13840/stat : 13840 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13837/tid=13841] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13841/stat : 13841 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510544 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13837/tid=13842] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13842/stat : 13842 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13837/tid=13843] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13843/stat : 13843 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13837/tid=13844] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13844/stat : 13844 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13837/tid=13845] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13845/stat : 13845 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510551 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13837/tid=13846] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13846/stat : 13846 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13837/tid=13847] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13847/stat : 13847 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13837/tid=13848] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13848/stat : 13848 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13837/tid=13849] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13849/stat : 13849 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13837/tid=13850] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13850/stat : 13850 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13837/tid=13851] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13851/stat : 13851 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510551 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13837/tid=13853] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13853/stat : 13853 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13837/tid=13854] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13854/stat : 13854 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510557 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13837/tid=13855] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13855/stat : 13855 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13837/tid=13856] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13856/stat : 13856 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13837/tid=13857] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13857/stat : 13857 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510544 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13837/tid=13858] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13858/stat : 13858 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13837/tid=13859] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13859/stat : 13859 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13837/tid=13860] ppid=13835 vsize=338000 CPUtime=0 cores=0-31
/proc/13837/task/13860/stat : 13860 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13837/tid=13861] ppid=13835 vsize=338000 CPUtime=0 cores=0-31
/proc/13837/task/13861/stat : 13861 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13837/tid=13862] ppid=13835 vsize=338000 CPUtime=0.01 cores=0-31
/proc/13837/task/13862/stat : 13862 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 1 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13837/tid=13863] ppid=13835 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13837/task/13863/stat : 13863 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13837/tid=13864] ppid=13835 vsize=338000 CPUtime=0 cores=0-31
/proc/13837/task/13864/stat : 13864 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510962 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13837/tid=13865] ppid=13835 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13837/task/13865/stat : 13865 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13837/tid=13866] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13866/stat : 13866 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325622 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13837/tid=13867] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13867/stat : 13867 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325622 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13837/tid=13868] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13868/stat : 13868 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325622 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510544 0 0 4096 2 0 0 0 -1 19 0 0 0

[startup+0.060498 s]
/proc/loadavg: 29.63 31.63 31.94 1/413 13837
/proc/meminfo: memFree=255151212/264257624 swapFree=67111528/67111528
[pid=13837] ppid=13835 vsize=338000 CPUtime=1.58 cores=0-31
/proc/13837/stat : 13837 (strangenight2-m) R 13835 13837 13811 0 -1 4202496 469 0 0 0 158 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510551 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13837/statm: 84500 409 300 95 0 79482 0
[pid=13837/tid=13838] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13838/stat : 13838 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13837/tid=13839] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13839/stat : 13839 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13837/tid=13840] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13840/stat : 13840 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13837/tid=13841] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13841/stat : 13841 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13837/tid=13842] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13842/stat : 13842 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510544 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13837/tid=13843] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13843/stat : 13843 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13837/tid=13844] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13844/stat : 13844 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 23 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13837/tid=13845] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13845/stat : 13845 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13837/tid=13846] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13846/stat : 13846 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13837/tid=13847] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13847/stat : 13847 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13837/tid=13848] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13848/stat : 13848 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510557 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13837/tid=13849] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13849/stat : 13849 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13837/tid=13850] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13850/stat : 13850 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13837/tid=13851] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13851/stat : 13851 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 24 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510551 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13837/tid=13853] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13853/stat : 13853 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=13837/tid=13854] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13854/stat : 13854 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510544 0 0 4096 2 0 0 0 -1 18 0 0 0
[pid=13837/tid=13855] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13855/stat : 13855 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=13837/tid=13856] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13856/stat : 13856 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=13837/tid=13857] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13857/stat : 13857 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=13837/tid=13858] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13858/stat : 13858 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=13837/tid=13859] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13859/stat : 13859 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=13837/tid=13860] ppid=13835 vsize=338000 CPUtime=0.02 cores=0-31
/proc/13837/task/13860/stat : 13860 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510547 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=13837/tid=13861] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13861/stat : 13861 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=13837/tid=13862] ppid=13835 vsize=338000 CPUtime=0.03 cores=0-31
/proc/13837/task/13862/stat : 13862 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 3 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510557 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=13837/tid=13863] ppid=13835 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13837/task/13863/stat : 13863 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=13837/tid=13864] ppid=13835 vsize=338000 CPUtime=0 cores=0-31
/proc/13837/task/13864/stat : 13864 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 0 0 0 0 0 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510962 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13837/tid=13865] ppid=13835 vsize=338000 CPUtime=0.04 cores=0-31
/proc/13837/task/13865/stat : 13865 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 4 0 0 0 25 0 32 0 742325621 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=13837/tid=13866] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13866/stat : 13866 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325622 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=13837/tid=13867] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13867/stat : 13867 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325622 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510544 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=13837/tid=13868] ppid=13835 vsize=338000 CPUtime=0.05 cores=0-31
/proc/13837/task/13868/stat : 13868 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 1 0 0 0 5 0 0 0 25 0 32 0 742325622 346112000 409 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510553 0 0 4096 2 0 0 0 -1 19 0 0 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 338000

[startup+0.103687 s]
/proc/loadavg: 29.63 31.63 31.94 1/413 13837
/proc/meminfo: memFree=255151212/264257624 swapFree=67111528/67111528
[pid=13837] ppid=13835 vsize=732396 CPUtime=2.75 cores=0-31
/proc/13837/stat : 13837 (strangenight2-m) D 13835 13837 13811 0 -1 4202496 1236 0 0 0 267 8 0 0 18 0 32 0 742325621 749973504 1076 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 18446744073709551615 0 0 17 4 0 0 0
/proc/13837/statm: 183099 1080 322 95 0 178081 0
[pid=13837/tid=13838] ppid=13835 vsize=732396 CPUtime=0.09 cores=0-31
/proc/13837/task/13838/stat : 13838 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 27 0 0 0 9 0 0 0 24 0 32 0 742325621 749973504 1080 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=13837/tid=13839] ppid=13835 vsize=732396 CPUtime=0.08 cores=0-31
/proc/13837/task/13839/stat : 13839 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 47 0 0 0 8 0 0 0 24 0 32 0 742325621 749973504 1092 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=13837/tid=13840] ppid=13835 vsize=732396 CPUtime=0.06 cores=0-31
/proc/13837/task/13840/stat : 13840 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 11 0 0 0 6 0 0 0 24 0 32 0 742325621 749973504 1092 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=13837/tid=13841] ppid=13835 vsize=732396 CPUtime=0.08 cores=0-31
/proc/13837/task/13841/stat : 13841 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 7 0 0 0 8 0 0 0 24 0 32 0 742325621 749973504 1092 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=13837/tid=13842] ppid=13835 vsize=797932 CPUtime=0.09 cores=0-31
/proc/13837/task/13842/stat : 13842 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 19 0 0 0 9 0 0 0 24 0 32 0 742325621 817082368 1099 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=13837/tid=13843] ppid=13835 vsize=797936 CPUtime=0.08 cores=0-31
/proc/13837/task/13843/stat : 13843 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 19 0 0 0 8 0 0 0 24 0 32 0 742325621 817086464 1105 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=13837/tid=13844] ppid=13835 vsize=797936 CPUtime=0.08 cores=0-31
/proc/13837/task/13844/stat : 13844 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 44 0 0 0 8 0 0 0 18 0 32 0 742325621 817086464 1112 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=13837/tid=13845] ppid=13835 vsize=797936 CPUtime=0.08 cores=0-31
/proc/13837/task/13845/stat : 13845 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 81 0 0 0 8 0 0 0 18 0 32 0 742325621 817086464 1125 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=13837/tid=13846] ppid=13835 vsize=732400 CPUtime=0.08 cores=0-31
/proc/13837/task/13846/stat : 13846 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 15 0 0 0 8 0 0 0 25 0 32 0 742325621 749977600 1129 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=13837/tid=13847] ppid=13835 vsize=732404 CPUtime=0.08 cores=0-31
/proc/13837/task/13847/stat : 13847 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 10 0 0 0 8 0 0 0 25 0 32 0 742325621 749981696 1150 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=13837/tid=13848] ppid=13835 vsize=863476 CPUtime=0.09 cores=0-31
/proc/13837/task/13848/stat : 13848 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 10 0 0 0 9 0 0 0 25 0 32 0 742325621 884199424 1154 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=13837/tid=13849] ppid=13835 vsize=863476 CPUtime=0.08 cores=0-31
/proc/13837/task/13849/stat : 13849 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 42 0 0 0 8 0 0 0 25 0 32 0 742325621 884199424 1166 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=13837/tid=13850] ppid=13835 vsize=863476 CPUtime=0.08 cores=0-31
/proc/13837/task/13850/stat : 13850 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 30 0 0 0 8 0 0 0 25 0 32 0 742325621 884199424 1171 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650955819 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=13837/tid=13851] ppid=13835 vsize=863480 CPUtime=0.08 cores=0-31
/proc/13837/task/13851/stat : 13851 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 9 0 0 0 8 0 0 0 25 0 32 0 742325621 884203520 1173 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=863480 CPUtime=0.08 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) D 13835 13837 13811 0 -1 4202560 10 0 0 0 8 0 0 0 25 0 32 0 742325621 884203520 1174 268435456000 4194304 4580107 140737163017584 18446744073709551615 258650999114 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=13837/tid=13853] ppid=13835 vsize=863484 CPUtime=0.08 cores=0-31
/proc/13837/task/13853/stat : 13853 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 5 0 0 0 8 0 0 0 25 0 32 0 742325621 884207616 1190 268435456000 4194304 4580107 140737163017584 18446744073709551615 258651060958 0 0 4096 2 18446744071566932664 0 0 -1 17 0 0 0
[pid=13837/tid=13854] ppid=13835 vsize=797964 CPUtime=0.08 cores=0-31

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

/proc/13837/stat : 13837 (strangenight2-m) S 13835 13837 13811 0 -1 4202496 17624877 0 0 0 14793094 17640 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13837/statm: 8096455 6547872 473 95 0 8091437 0
[pid=13837/tid=13838] ppid=13835 vsize=32385820 CPUtime=4628.11 cores=0-31
/proc/13837/task/13838/stat : 13838 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 567466 0 0 0 462227 584 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604478997839328 0 0 -1 25 0 0 0
[pid=13837/tid=13839] ppid=13835 vsize=32385820 CPUtime=4626.94 cores=0-31
/proc/13837/task/13839/stat : 13839 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 584789 0 0 0 462049 645 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505339157984 0 0 -1 3 0 0 0
[pid=13837/tid=13840] ppid=13835 vsize=32385820 CPUtime=4647.87 cores=0-31
/proc/13837/task/13840/stat : 13840 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 565978 0 0 0 464222 565 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159486148 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13837/tid=13841] ppid=13835 vsize=32385820 CPUtime=4629.73 cores=0-31
/proc/13837/task/13841/stat : 13841 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 608627 0 0 0 462373 600 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505243467232 0 0 -1 4 0 0 0
[pid=13837/tid=13842] ppid=13835 vsize=32385820 CPUtime=4628.27 cores=0-31
/proc/13837/task/13842/stat : 13842 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 705492 0 0 0 462176 651 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604498577104352 0 0 -1 7 0 0 0
[pid=13837/tid=13843] ppid=13835 vsize=32385820 CPUtime=4628.72 cores=0-31
/proc/13837/task/13843/stat : 13843 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 528483 0 0 0 462324 548 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477622074848 0 0 -1 15 0 0 0
[pid=13837/tid=13844] ppid=13835 vsize=32385820 CPUtime=4630.24 cores=0-31
/proc/13837/task/13844/stat : 13844 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 518037 0 0 0 462432 592 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604481016028640 0 0 -1 2 0 0 0
[pid=13837/tid=13845] ppid=13835 vsize=32385820 CPUtime=4631.51 cores=0-31
/proc/13837/task/13845/stat : 13845 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 573108 0 0 0 462569 582 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477945929184 0 0 -1 21 0 0 0
[pid=13837/tid=13846] ppid=13835 vsize=32385820 CPUtime=4625.02 cores=0-31
/proc/13837/task/13846/stat : 13846 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 566363 0 0 0 461954 548 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604474544168416 0 0 -1 18 0 0 0
[pid=13837/tid=13847] ppid=13835 vsize=32385820 CPUtime=4617.95 cores=0-31
/proc/13837/task/13847/stat : 13847 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 659017 0 0 0 461230 565 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604474263027168 0 0 -1 29 0 0 0
[pid=13837/tid=13848] ppid=13835 vsize=32385820 CPUtime=4631.15 cores=0-31
/proc/13837/task/13848/stat : 13848 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 608494 0 0 0 462548 567 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604481063362016 0 0 -1 0 0 0 0
[pid=13837/tid=13849] ppid=13835 vsize=32385820 CPUtime=4613.34 cores=0-31
/proc/13837/task/13849/stat : 13849 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 565053 0 0 0 460811 523 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604504305966560 0 0 -1 16 0 0 0
[pid=13837/tid=13850] ppid=13835 vsize=32385820 CPUtime=4634.94 cores=0-31
/proc/13837/task/13850/stat : 13850 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 531416 0 0 0 462920 574 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604479248481760 0 0 -1 13 0 0 0
[pid=13837/tid=13851] ppid=13835 vsize=32385820 CPUtime=4613.07 cores=0-31
/proc/13837/task/13851/stat : 13851 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 604826 0 0 0 460830 477 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604474912644576 0 0 -1 31 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=32385820 CPUtime=4630.57 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 540841 0 0 0 462488 569 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604497997929952 0 0 -1 16 0 0 0
[pid=13837/tid=13853] ppid=13835 vsize=32385820 CPUtime=4628.1 cores=0-31
/proc/13837/task/13853/stat : 13853 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 622765 0 0 0 462300 510 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604483832020448 0 0 -1 8 0 0 0
[pid=13837/tid=13854] ppid=13835 vsize=32385820 CPUtime=4631.59 cores=0-31
/proc/13837/task/13854/stat : 13854 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 497127 0 0 0 462611 548 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604502917791200 0 0 -1 12 0 0 0
[pid=13837/tid=13855] ppid=13835 vsize=32385820 CPUtime=4631.1 cores=0-31
/proc/13837/task/13855/stat : 13855 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 523150 0 0 0 462531 579 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477386792416 0 0 -1 30 0 0 0
[pid=13837/tid=13856] ppid=13835 vsize=32385820 CPUtime=4627.9 cores=0-31
/proc/13837/task/13856/stat : 13856 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 533011 0 0 0 462288 502 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477810466272 0 0 -1 28 0 0 0
[pid=13837/tid=13857] ppid=13835 vsize=32385820 CPUtime=4616.72 cores=0-31
/proc/13837/task/13857/stat : 13857 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 521227 0 0 0 461121 551 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604502070672864 0 0 -1 26 0 0 0
[pid=13837/tid=13858] ppid=13835 vsize=32385820 CPUtime=4630.21 cores=0-31
/proc/13837/task/13858/stat : 13858 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 529996 0 0 0 462505 516 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604567054007776 0 0 -1 1 0 0 0
[pid=13837/tid=13859] ppid=13835 vsize=32385820 CPUtime=4628.65 cores=0-31
/proc/13837/task/13859/stat : 13859 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 569647 0 0 0 462324 541 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604501953027552 0 0 -1 24 0 0 0
[pid=13837/tid=13860] ppid=13835 vsize=32385820 CPUtime=4631.47 cores=0-31
/proc/13837/task/13860/stat : 13860 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 492541 0 0 0 462705 442 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505704496608 0 0 -1 6 0 0 0
[pid=13837/tid=13861] ppid=13835 vsize=32385820 CPUtime=4630.84 cores=0-31
/proc/13837/task/13861/stat : 13861 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 550212 0 0 0 462551 533 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505866321376 0 0 -1 22 0 0 0
[pid=13837/tid=13862] ppid=13835 vsize=32385820 CPUtime=4616.33 cores=0-31
/proc/13837/task/13862/stat : 13862 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 562762 0 0 0 461040 593 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 4502095 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13837/tid=13863] ppid=13835 vsize=32385820 CPUtime=4632.7 cores=0-31
/proc/13837/task/13863/stat : 13863 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 533778 0 0 0 462678 592 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505072328160 0 0 -1 17 0 0 0
[pid=13837/tid=13864] ppid=13835 vsize=32385820 CPUtime=4632.37 cores=0-31
/proc/13837/task/13864/stat : 13864 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 472647 0 0 0 462686 551 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604498446892512 0 0 -1 20 0 0 0
[pid=13837/tid=13865] ppid=13835 vsize=32385820 CPUtime=4624.4 cores=0-31
/proc/13837/task/13865/stat : 13865 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 491843 0 0 0 461932 508 0 0 25 0 32 0 742325621 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446744071566926384 0 0 -1 23 0 0 0
[pid=13837/tid=13866] ppid=13835 vsize=32385820 CPUtime=4634.22 cores=0-31
/proc/13837/task/13866/stat : 13866 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 597796 0 0 0 462873 549 0 0 25 0 32 0 742325622 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505148325344 0 0 -1 10 0 0 0
[pid=13837/tid=13867] ppid=13835 vsize=32385820 CPUtime=4629.79 cores=0-31
/proc/13837/task/13867/stat : 13867 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 471691 0 0 0 462443 536 0 0 25 0 32 0 742325622 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604493992803808 0 0 -1 9 0 0 0
[pid=13837/tid=13868] ppid=13835 vsize=32385820 CPUtime=4627.31 cores=0-31
/proc/13837/task/13868/stat : 13868 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 426080 0 0 0 462297 434 0 0 25 0 32 0 742325622 33163079680 6547872 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477285383648 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 148107
Current children cumulated vsize (KiB) 32385820

[startup+4689.5 s]
/proc/loadavg: 23.53 30.09 31.36 3/445 14008
/proc/meminfo: memFree=228915544/264257624 swapFree=67111528/67111528
[pid=13837] ppid=13835 vsize=32385820 CPUtime=148111 cores=0-31
/proc/13837/stat : 13837 (strangenight2-m) S 13835 13837 13811 0 -1 4202496 17625067 0 0 0 14793414 17640 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13837/statm: 8096455 6548062 473 95 0 8091437 0
[pid=13837/tid=13838] ppid=13835 vsize=32385820 CPUtime=4628.11 cores=0-31
/proc/13837/task/13838/stat : 13838 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 567466 0 0 0 462227 584 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604478997839328 0 0 -1 25 0 0 0
[pid=13837/tid=13839] ppid=13835 vsize=32385820 CPUtime=4626.94 cores=0-31
/proc/13837/task/13839/stat : 13839 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 584789 0 0 0 462049 645 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505339157984 0 0 -1 3 0 0 0
[pid=13837/tid=13840] ppid=13835 vsize=32385820 CPUtime=4649.47 cores=0-31
/proc/13837/task/13840/stat : 13840 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 565978 0 0 0 464382 565 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159486148 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=13837/tid=13841] ppid=13835 vsize=32385820 CPUtime=4629.73 cores=0-31
/proc/13837/task/13841/stat : 13841 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 608627 0 0 0 462373 600 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505243467232 0 0 -1 4 0 0 0
[pid=13837/tid=13842] ppid=13835 vsize=32385820 CPUtime=4628.27 cores=0-31
/proc/13837/task/13842/stat : 13842 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 705492 0 0 0 462176 651 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604498577104352 0 0 -1 7 0 0 0
[pid=13837/tid=13843] ppid=13835 vsize=32385820 CPUtime=4628.72 cores=0-31
/proc/13837/task/13843/stat : 13843 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 528483 0 0 0 462324 548 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477622074848 0 0 -1 15 0 0 0
[pid=13837/tid=13844] ppid=13835 vsize=32385820 CPUtime=4630.24 cores=0-31
/proc/13837/task/13844/stat : 13844 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 518037 0 0 0 462432 592 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604481016028640 0 0 -1 2 0 0 0
[pid=13837/tid=13845] ppid=13835 vsize=32385820 CPUtime=4631.51 cores=0-31
/proc/13837/task/13845/stat : 13845 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 573108 0 0 0 462569 582 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477945929184 0 0 -1 21 0 0 0
[pid=13837/tid=13846] ppid=13835 vsize=32385820 CPUtime=4625.02 cores=0-31
/proc/13837/task/13846/stat : 13846 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 566363 0 0 0 461954 548 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604474544168416 0 0 -1 18 0 0 0
[pid=13837/tid=13847] ppid=13835 vsize=32385820 CPUtime=4617.95 cores=0-31
/proc/13837/task/13847/stat : 13847 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 659017 0 0 0 461230 565 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604474263027168 0 0 -1 29 0 0 0
[pid=13837/tid=13848] ppid=13835 vsize=32385820 CPUtime=4631.15 cores=0-31
/proc/13837/task/13848/stat : 13848 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 608494 0 0 0 462548 567 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604481063362016 0 0 -1 0 0 0 0
[pid=13837/tid=13849] ppid=13835 vsize=32385820 CPUtime=4613.34 cores=0-31
/proc/13837/task/13849/stat : 13849 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 565053 0 0 0 460811 523 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604504305966560 0 0 -1 16 0 0 0
[pid=13837/tid=13850] ppid=13835 vsize=32385820 CPUtime=4634.94 cores=0-31
/proc/13837/task/13850/stat : 13850 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 531416 0 0 0 462920 574 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604479248481760 0 0 -1 13 0 0 0
[pid=13837/tid=13851] ppid=13835 vsize=32385820 CPUtime=4613.07 cores=0-31
/proc/13837/task/13851/stat : 13851 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 604826 0 0 0 460830 477 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604474912644576 0 0 -1 31 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=32385820 CPUtime=4630.57 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 540841 0 0 0 462488 569 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604497997929952 0 0 -1 16 0 0 0
[pid=13837/tid=13853] ppid=13835 vsize=32385820 CPUtime=4628.1 cores=0-31
/proc/13837/task/13853/stat : 13853 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 622765 0 0 0 462300 510 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604483832020448 0 0 -1 8 0 0 0
[pid=13837/tid=13854] ppid=13835 vsize=32385820 CPUtime=4631.59 cores=0-31
/proc/13837/task/13854/stat : 13854 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 497127 0 0 0 462611 548 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604502917791200 0 0 -1 12 0 0 0
[pid=13837/tid=13855] ppid=13835 vsize=32385820 CPUtime=4631.1 cores=0-31
/proc/13837/task/13855/stat : 13855 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 523150 0 0 0 462531 579 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477386792416 0 0 -1 30 0 0 0
[pid=13837/tid=13856] ppid=13835 vsize=32385820 CPUtime=4627.9 cores=0-31
/proc/13837/task/13856/stat : 13856 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 533011 0 0 0 462288 502 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477810466272 0 0 -1 28 0 0 0
[pid=13837/tid=13857] ppid=13835 vsize=32385820 CPUtime=4616.72 cores=0-31
/proc/13837/task/13857/stat : 13857 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 521227 0 0 0 461121 551 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604502070672864 0 0 -1 26 0 0 0
[pid=13837/tid=13858] ppid=13835 vsize=32385820 CPUtime=4630.21 cores=0-31
/proc/13837/task/13858/stat : 13858 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 529996 0 0 0 462505 516 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604567054007776 0 0 -1 1 0 0 0
[pid=13837/tid=13859] ppid=13835 vsize=32385820 CPUtime=4628.65 cores=0-31
/proc/13837/task/13859/stat : 13859 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 569647 0 0 0 462324 541 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604501953027552 0 0 -1 24 0 0 0
[pid=13837/tid=13860] ppid=13835 vsize=32385820 CPUtime=4631.47 cores=0-31
/proc/13837/task/13860/stat : 13860 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 492541 0 0 0 462705 442 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505704496608 0 0 -1 6 0 0 0
[pid=13837/tid=13861] ppid=13835 vsize=32385820 CPUtime=4630.84 cores=0-31
/proc/13837/task/13861/stat : 13861 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 550212 0 0 0 462551 533 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505866321376 0 0 -1 22 0 0 0
[pid=13837/tid=13862] ppid=13835 vsize=32385820 CPUtime=4617.93 cores=0-31
/proc/13837/task/13862/stat : 13862 (strangenight2-m) R 13835 13837 13811 0 -1 4202560 562952 0 0 0 461200 593 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 4290931 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=13837/tid=13863] ppid=13835 vsize=32385820 CPUtime=4632.7 cores=0-31
/proc/13837/task/13863/stat : 13863 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 533778 0 0 0 462678 592 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505072328160 0 0 -1 17 0 0 0
[pid=13837/tid=13864] ppid=13835 vsize=32385820 CPUtime=4632.37 cores=0-31
/proc/13837/task/13864/stat : 13864 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 472647 0 0 0 462686 551 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604498446892512 0 0 -1 20 0 0 0
[pid=13837/tid=13865] ppid=13835 vsize=32385820 CPUtime=4624.4 cores=0-31
/proc/13837/task/13865/stat : 13865 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 491843 0 0 0 461932 508 0 0 25 0 32 0 742325621 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446744071566926384 0 0 -1 23 0 0 0
[pid=13837/tid=13866] ppid=13835 vsize=32385820 CPUtime=4634.22 cores=0-31
/proc/13837/task/13866/stat : 13866 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 597796 0 0 0 462873 549 0 0 25 0 32 0 742325622 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604505148325344 0 0 -1 10 0 0 0
[pid=13837/tid=13867] ppid=13835 vsize=32385820 CPUtime=4629.79 cores=0-31
/proc/13837/task/13867/stat : 13867 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 471691 0 0 0 462443 536 0 0 25 0 32 0 742325622 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604493992803808 0 0 -1 9 0 0 0
[pid=13837/tid=13868] ppid=13835 vsize=32385820 CPUtime=4627.31 cores=0-31
/proc/13837/task/13868/stat : 13868 (strangenight2-m) S 13835 13837 13811 0 -1 4202560 426080 0 0 0 462297 434 0 0 25 0 32 0 742325622 33163079680 6548062 268435456000 4194304 4580107 140737163017584 18446744073709551615 47351159510580 0 0 4096 2 18446604477285383648 0 0 -1 27 0 0 0
Current children cumulated CPU time (s) 148111
Current children cumulated vsize (KiB) 32385820

[startup+4691.1 s]
/proc/loadavg: 23.53 30.09 31.36 2/415 14008
/proc/meminfo: memFree=234706584/264257624 swapFree=67111528/67111528
[pid=13837] ppid=13835 vsize=0 CPUtime=148112 cores=0-31
/proc/13837/stat : 13837 (strangenight2-m) Z 13835 13837 13811 0 -1 4203548 17625071 0 0 0 14793419 17801 0 0 18 0 2 0 742325621 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13837/statm: 0 0 0 0 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=0 CPUtime=4632.14 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) R 13835 13837 13811 0 -1 4203588 540841 0 0 0 462488 726 0 0 20 0 2 0 742325621 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 148112
Current children cumulated vsize (KiB) 0

[startup+4691.53 s]
/proc/loadavg: 23.53 30.09 31.36 2/415 14008
/proc/meminfo: memFree=249887652/264257624 swapFree=67111528/67111528
[pid=13837] ppid=13835 vsize=0 CPUtime=148113 cores=0-31
/proc/13837/stat : 13837 (strangenight2-m) Z 13835 13837 13811 0 -1 4203548 17625071 0 0 0 14793419 17844 0 0 18 0 2 0 742325621 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13837/statm: 0 0 0 0 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=0 CPUtime=4632.57 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) R 13835 13837 13811 0 -1 4203588 540841 0 0 0 462488 769 0 0 21 0 2 0 742325621 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 148113
Current children cumulated vsize (KiB) 0

[startup+4691.7 s]
/proc/loadavg: 23.53 30.09 31.36 2/415 14008
/proc/meminfo: memFree=249887652/264257624 swapFree=67111528/67111528
[pid=13837] ppid=13835 vsize=0 CPUtime=148113 cores=0-31
/proc/13837/stat : 13837 (strangenight2-m) Z 13835 13837 13811 0 -1 4203548 17625071 0 0 0 14793419 17861 0 0 18 0 2 0 742325621 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 5 0 0 0
/proc/13837/statm: 0 0 0 0 0 0 0
[pid=13837/tid=13852] ppid=13835 vsize=0 CPUtime=4632.74 cores=0-31
/proc/13837/task/13852/stat : 13852 (strangenight2-m) R 13835 13837 13811 0 -1 4203588 540841 0 0 0 462488 786 0 0 21 0 2 0 742325621 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 148113
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 4691.76
CPU time (s): 148113
CPU user time (s): 147934
CPU system time (s): 178.666
CPU usage (%): 3156.87
Max. virtual memory (cumulated for all children) (KiB): 32658044

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 147934
system time used= 178.666
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17625071
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= 2951594
involuntary context switches= 310740

runsolver used 26.559 second user time and 105.987 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-25 09:26:32
IDJOB=3400662
IDBENCH=70815
IDSOLVER=1886
FILE ID=node200/3400662-1306308391
RUNJOBID= node200-1306308391-13825
PBS_JOBID= 13411781
Free space on /tmp= 62036 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT09/APPLICATIONS/bitverif/maxxor/maxxor128.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400662-1306308391/watcher-3400662-1306308391 -o /tmp/evaluation-result-3400662-1306308391/solver-3400662-1306308391 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400662-1306308391.cnf

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

MD5SUM BENCH= 065c126f0d55807310a398728b44423f
RANDOM SEED=759008314

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:      255151740 kB
Buffers:        466140 kB
Cached:        8230708 kB
SwapCached:          0 kB
Active:        7781956 kB
Inactive:       983952 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255151740 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           15936 kB
Writeback:           0 kB
AnonPages:       70136 kB
Mapped:          14208 kB
Slab:           255704 kB
PageTables:       3944 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   189024 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= 62028 MiB
End job on node200 at 2011-05-25 10:44:44