Trace number 3400622

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-2-mt (fixed)? (TO) 160006 5020.61

General information on the benchmark

Nameindustrial/palacios/hard/
sortnet-7-ipc5-h15-unsat.cnf
MD5SUM0683489092a5eb0c881dd17c2c45d08e
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables105623
Number of clauses374254
Sum of the clauses size911890
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2269133
Number of clauses of size 399944
Number of clauses of size 4407
Number of clauses of size 5309
Number of clauses of size over 54333

Solver Data 

0.00/0.00	c Outputting solution to console
0.00/0.02	c Using 32 threads
0.00/0.05	c This is CryptoMiniSat 3.0.0
0.00/0.05	c WARNING: for repeatability, setting FPU to use double precision
0.00/0.05	c Reading file 'HOME/instance-3400622-1306242803.cnf'
0.00/0.07	c -- header says num vars:         106701
0.00/0.07	c -- header says num clauses:      374254
46.08/3.34	c -- clauses added:            0 learnts,       374254 normals,            0 xors
46.08/3.34	c -- vars added     106701
46.08/3.34	c Parsing time:  0.52 s
46.08/3.34	c  N st     0         0    106701    104865    269005         0    911122         0   no data   no data
104.90/5.27	c asymm  cl-useful: 0/266/104865 lits-rem:0 time: 1.91
1297.12/42.55	c Flit:    84 Blit:      0 bXBeca:    0 bXProp: 8528 Bins:      0 BRemL:      0 BRemN:      0 P: 200.0M T: 37.26
1303.47/42.70	c Replacing     8528 vars Replaced   418509 lits Time:     0.14 s 
1303.47/42.77	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
1306.63/42.83	c bin-w-bin subsume rem        25902 bins  time:  0.06 s
1310.44/42.98	c subs with bin:       11  lits-rem:     30320  v-fix:    0  time:  0.14 s
1423.98/46.53	c Subs w/ non-existent bins:      0 l-rem:      0 v-fix:     0 done:  91561 time:  3.53 s
1433.57/46.89	c Removed useless bin:    2992  fixed:     0  props:  20.00M  time:  0.36 s
1467.95/47.90	c lits-rem:      2650  cl-subs:    16763  v-elim:  32653  v-fix:    0  time:  0.83 s
1467.95/47.95	c Finding binary XORs  T:     0.04 s  found:      11
1467.95/47.98	c Replacing       11 vars Replaced      115 lits Time:     0.04 s 
1470.74/48.09	c Finding non-binary XORs:     0.06 s (found:       0, avg size: nan)
1470.74/48.09	c calculated reachability. Time: 0.00
1473.58/48.11	c Calc default polars -  time:   0.02 s pos:   21307 undec:   42486 neg:   42908
1473.58/48.11	c =========================================================================================
1473.58/48.11	c types(t): F = full restart, N = normal restart
1473.58/48.11	c types(t): S = simplification begin/end, E = solution found
1473.58/48.11	c restart types(rt): st = static, dy = dynamic
1473.58/48.11	c  t rt  Rest     Confl      Vars   NormCls    BinCls   Learnts    ClLits    LtLits
1473.58/48.11	c  B st     0         0     65297     92322    161027         0    688928         0   no data   no data
1609.69/52.46	c  N dy    17      4145     65297     92322    161255      3803    688922    109852      7.03      7.55
1775.23/57.63	c  N dy    36      8150     65282     92322    161851      7602    688922    189859      7.23      7.64
1963.84/63.53	c  N dy    61     12248     65282     92322    164457     11521    688917    285565      7.40      7.85
2018.17/65.26	c Finding binary XORs  T:     0.04 s  found:     285
2158.82/69.62	c  N dy    82     16484     65279     91701    164433     15682    685955    386287      7.51      8.17
2388.96/76.84	c  N dy    99     21435     65274     91701    166267     10947    685955    147803      7.48      7.90
2593.53/83.26	c  F st   125     25000     65274     91701    168887     14427    685955    263919      7.68   no data
2596.73/83.32	c Replacing      285 vars Replaced     2956 lits Time:     0.04 s 
2682.96/86.03	c  N st   127     25627     64988     91469    168290     15036    683975    280579      7.68   no data
2747.51/88.04	c Finding binary XORs  T:     0.04 s  found:     200
2935.47/93.94	c  N dy   131     30000     64988     91469    168295     19297    683975    442221      7.68   no data
2935.47/93.94	c  S st   131     30000     64988     91469    168295     19297    683975    442221      7.68   no data
2980.23/95.36	c  S st   131     30500     64988     91469    169831     19651    683975    451178      7.68   no data
2983.42/95.40	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
4035.02/128.38	c Flit:     4 Blit:      0 bXBeca:    0 bXProp: 8333 Bins: 445072 BRemL:   6282 BRemN:   1890 P: 200.0M T: 32.91
4041.39/128.57	c Replacing     8533 vars Replaced   636670 lits Time:     0.18 s 
4044.59/128.64	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4048.44/128.78	c bin-w-bin subsume rem        92649 bins  time:  0.14 s
4057.39/129.04	c subs with bin:    11252  lits-rem:     61469  v-fix:    0  time:  0.26 s
4175.64/132.77	c Subs w/ non-existent bins:    499 l-rem:   4063 v-fix:     0 done:  56451 time:  3.72 s
4189.03/133.16	c Removed useless bin:   15996  fixed:     0  props:  20.00M  time:  0.38 s
4224.19/134.24	c lits-rem:      9015  cl-subs:    24089  v-elim:  37634  v-fix:    0  time:  0.96 s
4224.19/134.31	c subs with bin:      193  lits-rem:      2248  v-fix:    0  time:  0.05 s
4229.94/134.42	c lits-rem:       796  cl-subs:     1419  v-elim:      0  v-fix:    0  time:  0.08 s
4259.35/135.42	c asymm  cl-useful: 1335/3165/88886 lits-rem:7654 time: 1.00
4262.58/135.43	c calculated reachability. Time: 0.00
4262.58/135.43	c  N dy   131     30500     18817     88584    162509      8807    440876    275784      7.68   no data
4262.58/135.46	c Finding binary XORs  T:     0.03 s  found:       5
4364.83/138.67	c  N dy   152     34787     18817     88584    162524     12998    440875    351362      7.68      8.10
4455.60/141.65	c  N dy   161     38809     18817     88584    164503     16960    440874    425702      7.62      8.11
4539.59/144.79	c  N dy   174     43177     18817     88584    164508     11023    440874    288550      7.54      8.04
4547.54/145.05	c Finding binary XORs  T:     0.03 s  found:       9
4594.34/146.88	c  S st   189     45750     18817     88584    270549     13553    440874    544989      7.57      7.87
4605.31/147.33	c  S st   189     46252     18817     88584    270587     14016    440874    551416      7.57   no data
4605.31/147.36	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
4762.66/156.63	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:  341 Bins: 151031 BRemL:  16992 BRemN:   1918 P: 87.9M T:  8.96
4762.66/156.69	c Replacing      355 vars Replaced   123869 lits Time:     0.05 s 
4764.38/156.74	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
4766.05/156.84	c bin-w-bin subsume rem       109823 bins  time:  0.10 s
4767.66/156.97	c subs with bin:     7850  lits-rem:     13283  v-fix:    0  time:  0.12 s
4774.50/157.38	c Subs w/ non-existent bins:   1516 l-rem:   2816 v-fix:     0 done:  18462 time:  0.41 s
4776.19/157.49	c Removed useless bin:    5780  fixed:     0  props:   5.10M  time:  0.10 s
4779.06/157.69	c lits-rem:       975  cl-subs:     2714  v-elim:   1982  v-fix:    0  time:  0.19 s
4780.66/157.77	c subs with bin:       45  lits-rem:       721  v-fix:    0  time:  0.06 s
4782.26/157.86	c lits-rem:       314  cl-subs:      564  v-elim:      0  v-fix:    0  time:  0.07 s
4785.46/158.07	c vivif2 --  cl tried    80194 cl shrink     1886 lits rem       2743 time: 0.21
4787.15/158.12	c vivif2 --  cl tried    12741 cl shrink     1805 lits rem       3208 time: 0.04
4798.80/158.86	c asymm  cl-useful: 145/4765/79124 lits-rem:202 time: 0.75
4800.48/158.93	c calculated reachability. Time: 0.05
4800.48/158.93	c  N dy   189     46252     16480     79121    242678     12719    376831    491457      7.57   no data
4803.71/159.14	c Finding binary XORs  T:     0.21 s  found:     109
4947.74/166.11	c Finding binary XORs  T:     0.16 s  found:       0
4960.98/166.53	c  N dy   201     50310     16480     79121    360171     16693    376831    794573      7.49      7.90
5043.32/169.50	c  N dy   209     54779     16480     79121    360218     21070    376831    862865      7.38      7.80
5146.17/173.13	c Finding binary XORs  T:     0.16 s  found:       0
5184.25/174.57	c  N dy   215     59037     16480     79121    470776     25276    376831   1155148      7.28      7.69
5270.49/177.78	c  N dy   229     63099     16480     79121    486922     29289    376831   1255425      7.23      8.59
5382.64/181.48	c  N dy   243     67891     16480     79121    486949     18475    376831   1028643      7.19      7.68
5440.06/183.32	c Finding binary XORs  T:     0.17 s  found:       0
5449.65/183.67	c  S st   247     69378     16480     79121    518892     19930    376831   1114112      7.17   no data
5468.82/184.21	c  S st   247     69879     16480     79121    518920     20401    376831   1122371      7.17   no data
5468.82/184.25	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
5698.25/191.45	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:   17 Bins:  24592 BRemL:  55998 BRemN:    113 P: 60.1M T:  7.20
5698.25/191.51	c Replacing      126 vars Replaced    13284 lits Time:     0.06 s 
5701.48/191.56	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
5710.40/191.83	c bin-w-bin subsume rem       231718 bins  time:  0.27 s
5713.63/191.94	c subs with bin:     1951  lits-rem:       303  v-fix:    0  time:  0.11 s
5723.07/192.30	c Subs w/ non-existent bins:    287 l-rem:      3 v-fix:     0 done:  16354 time:  0.35 s
5726.25/192.36	c Removed useless bin:     991  fixed:     0  props:   2.30M  time:  0.06 s
5729.45/192.48	c lits-rem:       173  cl-subs:      549  v-elim:    123  v-fix:    0  time:  0.12 s
5733.27/192.60	c subs with bin:       43  lits-rem:       240  v-fix:    0  time:  0.09 s
5739.03/192.74	c lits-rem:       605  cl-subs:      500  v-elim:      0  v-fix:    0  time:  0.11 s
5745.41/192.93	c vivif2 --  cl tried    76556 cl shrink      236 lits rem        315 time: 0.19
5745.41/193.00	c vivif2 --  cl tried    19753 cl shrink     1818 lits rem       4045 time: 0.07
5777.31/193.99	c asymm  cl-useful: 525/13664/76499 lits-rem:540 time: 0.99
5780.51/194.05	c calculated reachability. Time: 0.04
5780.51/194.05	c  N dy   247     69879     16231     76494    248215     19741    364301    573294      7.17   no data
5863.48/196.67	c Finding binary XORs  T:     0.17 s  found:       8
5943.94/199.21	c  N dy   259     76701     16231     76494    248238     26484    364301    688184      7.08      7.47
5984.86/200.44	c Finding binary XORs  T:     0.16 s  found:       0
6084.58/203.60	c  N dy   283     81933     16231     76494    273382     31650    364301    827041      7.06      7.48
6147.77/205.56	c Finding binary XORs  T:     0.16 s  found:       0
6218.09/207.80	c  N dy   305     87203     16231     76494    289919     36857    364301    950917      7.04      7.53
6230.87/208.11	c  F st   307     87501     16231     76494    289924     37150    364301    956628      7.04      6.16
6230.87/208.15	c Replacing        8 vars Replaced     1535 lits Time:     0.04 s 
6384.28/212.93	c  N dy   314     92806     16223     76494    297778     23356    364301    708532      7.04      7.44
6471.16/215.64	c Finding binary XORs  T:     0.16 s  found:       0
6550.45/218.11	c  N dy   343     98838     16223     76494    304713     29333    364301    827982      7.03      7.44
6700.65/222.80	c  S st   373    104819     16223     76494    304887     35229    364301    928571      7.01      5.75
6717.26/223.33	c  S st   373    105321     16223     76494    304907     35710    364301    936510      7.01   no data
6717.26/223.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
6943.56/230.49	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  35726 BRemL:  65195 BRemN:    467 P: 54.0M T:  7.11
6946.76/230.54	c Replacing        1 vars Replaced      231 lits Time:     0.05 s 
6946.76/230.59	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
6949.96/230.65	c bin-w-bin subsume rem        35402 bins  time:  0.06 s
6953.16/230.75	c subs with bin:      294  lits-rem:        85  v-fix:    0  time:  0.10 s
6963.34/231.10	c Subs w/ non-existent bins:     19 l-rem:      0 v-fix:     0 done:  16222 time:  0.34 s
6966.57/231.16	c Removed useless bin:     313  fixed:     0  props:   1.98M  time:  0.06 s
6969.13/231.28	c lits-rem:         3  cl-subs:      530  v-elim:    180  v-fix:    0  time:  0.12 s
6975.52/231.49	c subs with bin:       29  lits-rem:       295  v-fix:    0  time:  0.15 s
6985.11/231.77	c lits-rem:      1064  cl-subs:      737  v-elim:      0  v-fix:    0  time:  0.25 s
6991.51/231.95	c vivif2 --  cl tried    76032 cl shrink       90 lits rem        140 time: 0.18
6998.52/232.12	c vivif2 --  cl tried    34579 cl shrink     5517 lits rem      13239 time: 0.17
7029.86/233.17	c asymm  cl-useful: 34/3531/75973 lits-rem:102 time: 1.04
7033.69/233.23	c calculated reachability. Time: 0.04
7033.69/233.23	c  N dy   373    105321     16042     75939    226266     34567    360745    748785      7.01   no data
7036.88/233.39	c Finding binary XORs  T:     0.16 s  found:       9
7221.61/239.18	c  N dy   416    112147     16042     75939    227882     41303    360745    871100      7.02      7.41
7301.53/241.66	c Finding binary XORs  T:     0.15 s  found:       0
7406.97/244.90	c  N dy   455    119427     16042     75939    238644     27323    360745    604640      7.02      7.53
7585.96/250.54	c  N dy   492    127107     16042     75939    240388     34933    360745    738270      7.01      7.39
7784.02/256.76	c Finding binary XORs  T:     0.15 s  found:       3
7787.22/256.89	c  N dy   533    135352     16042     75939    242687     43116    360745    886266      7.01      7.42
7988.59/263.13	c  N dy   563    144027     16042     75939    242939     29312    360745    621747      6.98      7.38
8221.87/270.46	c  N dy   604    153492     16042     75939    245491     38705    360745    798555      6.97      7.44
8343.31/274.24	c Finding binary XORs  T:     0.15 s  found:       3
8346.51/274.33	c  S st   628    157984     16042     75939    246527     43169    360745    876698      6.97   no data
8359.29/274.79	c  S st   628    158487     16042     75939    246550     43648    360745    883351      6.97   no data
8362.50/274.82	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.03
8598.97/282.20	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:  71221 BRemL:  51739 BRemN:    569 P: 53.8M T:  7.37
8598.97/282.25	c Replacing       21 vars Replaced     9732 lits Time:     0.05 s 
8602.17/282.30	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
8602.17/282.34	c bin-w-bin subsume rem         7692 bins  time:  0.04 s
8605.36/282.45	c subs with bin:      195  lits-rem:        30  v-fix:    0  time:  0.10 s
8615.54/282.79	c Subs w/ non-existent bins:     10 l-rem:      1 v-fix:     0 done:  16021 time:  0.34 s
8618.76/282.85	c Removed useless bin:     284  fixed:     0  props:   1.79M  time:  0.05 s
8621.33/282.97	c lits-rem:        55  cl-subs:       95  v-elim:     90  v-fix:    0  time:  0.12 s
8627.72/283.17	c subs with bin:       40  lits-rem:       234  v-fix:    0  time:  0.15 s
8640.49/283.53	c lits-rem:      1368  cl-subs:      827  v-elim:      0  v-fix:    0  time:  0.33 s
8646.89/283.71	c vivif2 --  cl tried    75800 cl shrink       36 lits rem         77 time: 0.18
8650.70/283.91	c vivif2 --  cl tried    42316 cl shrink     6647 lits rem      14238 time: 0.20
8685.82/284.93	c asymm  cl-useful: 26/3122/75792 lits-rem:78 time: 1.02
8685.82/284.99	c calculated reachability. Time: 0.04
8685.82/284.99	c  N dy   628    158487     15931     75766    239577     42313    358015    838177      6.97   no data
8691.58/285.15	c Finding binary XORs  T:     0.16 s  found:       6
8953.60/293.30	c  N dy   690    168663     15931     75766    246000     29937    358015    615275      6.99      7.51
8988.76/294.43	c Finding binary XORs  T:     0.15 s  found:       1
9068.67/297.02	c Finding binary XORs  T:     0.15 s  found:       2
9213.06/301.44	c  N dy   737    179476     15931     75766    284102     40651    358015    878377      6.96      7.34
9318.61/304.78	c Finding binary XORs  T:     0.15 s  found:       0
9519.31/311.08	c  N dy   803    191137     15931     75766    293509     52245    358015   1116071      6.98      7.35
9832.55/320.89	c  N dy   868    203358     15931     75766    294692     41298    358015    880115      6.99      8.43
10148.99/330.75	c Finding binary XORs  T:     0.15 s  found:       7
10184.14/331.90	c  N dy   930    216427     15931     75766    300676     54280    358015   1144330      6.98      7.40
10532.56/342.72	c  N dy  1005    230290     15931     75766    301251     43953    358015    894189      6.99      7.54
10724.99/348.74	c  S st  1041    237731     15931     75766    301274     51349    358015   1036151      7.00   no data
10743.54/349.33	c  S st  1041    238231     15931     75766    301291     51829    358015   1047145      7.00   no data
10743.54/349.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
10971.08/356.50	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  12447 BRemL:  51579 BRemN:     50 P: 54.1M T:  7.13
10974.32/356.55	c Replacing       18 vars Replaced     6330 lits Time:     0.05 s 
10976.84/356.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
10976.84/356.66	c bin-w-bin subsume rem        28090 bins  time:  0.06 s
10980.07/356.76	c subs with bin:      159  lits-rem:       147  v-fix:    0  time:  0.10 s
10989.63/357.04	c Subs w/ non-existent bins:      7 l-rem:      1 v-fix:     0 done:  15913 time:  0.27 s
10989.63/357.09	c Removed useless bin:     114  fixed:     0  props:   1.75M  time:  0.05 s
10996.03/357.21	c lits-rem:        16  cl-subs:       37  v-elim:     13  v-fix:    0  time:  0.12 s
11002.42/357.45	c subs with bin:       13  lits-rem:       127  v-fix:    0  time:  0.17 s
11015.19/357.84	c lits-rem:      1241  cl-subs:      877  v-elim:      0  v-fix:    0  time:  0.36 s
11021.58/358.03	c vivif2 --  cl tried    75579 cl shrink       10 lits rem         26 time: 0.19
11027.98/358.25	c vivif2 --  cl tried    50930 cl shrink     6475 lits rem      15434 time: 0.23
11059.95/359.28	c asymm  cl-useful: 23/2699/75574 lits-rem:69 time: 1.03
11063.14/359.34	c calculated reachability. Time: 0.04
11063.14/359.34	c  N dy  1041    238231     15900     75551    232459     50930    356997    883309      7.00   no data
11066.35/359.49	c Finding binary XORs  T:     0.15 s  found:       0
11217.16/364.16	c Finding binary XORs  T:     0.15 s  found:       0
11488.22/372.64	c  N dy  1129    253437     15900     75551    249978     40208    356997    689827      7.02      7.43
11564.93/375.11	c Finding binary XORs  T:     0.15 s  found:       1
11926.08/386.37	c  N dy  1228    269624     15900     75551    252708     56300    356997   1002923      7.05      9.48
12395.95/401.04	c  N dy  1346    287027     15900     75551    252796     46971    356997    781654      7.08      7.45
12908.01/417.06	c  N dy  1467    305471     15900     75551    253094     65294    356997   1135610      7.11      7.53
12929.74/417.70	c  F st  1472    306250     15900     75551    253095     66065    356997   1150072      7.11   no data
12929.74/417.75	c Replacing        1 vars Replaced      131 lits Time:     0.05 s 
13425.14/433.24	c  N dy  1555    325046     15899     75551    253259     57136    356997    935906      7.12      7.56
13508.22/435.88	c Finding binary XORs  T:     0.15 s  found:       3
13773.46/444.13	c Finding binary XORs  T:     0.15 s  found:       3
13990.73/450.98	c  N dy  1677    345141     15899     75551    262549     48838    356997    756929      7.14      9.66
14307.10/460.83	c  S st  1748    357349     15899     75551    262613     60959    356997    983533      7.15      7.41
14323.07/461.38	c  S st  1748    357852     15899     75551    262619     61455    356997    994777      7.15   no data
14326.27/461.42	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
14565.95/468.94	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    6 Bins:  45745 BRemL:  42546 BRemN:    293 P: 56.3M T:  7.52
14565.95/469.00	c Replacing       12 vars Replaced     5801 lits Time:     0.05 s 
14569.11/469.04	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
14569.11/469.09	c bin-w-bin subsume rem        11463 bins  time:  0.05 s
14572.35/469.19	c subs with bin:      106  lits-rem:        58  v-fix:    0  time:  0.10 s
14581.91/469.49	c Subs w/ non-existent bins:      1 l-rem:      0 v-fix:     0 done:  15887 time:  0.29 s
14585.14/469.54	c Removed useless bin:     184  fixed:     0  props:   1.71M  time:  0.06 s
14588.30/469.67	c lits-rem:         5  cl-subs:       16  v-elim:     91  v-fix:    0  time:  0.13 s
14597.91/469.90	c subs with bin:       17  lits-rem:       108  v-fix:    0  time:  0.17 s
14607.46/470.29	c lits-rem:      1248  cl-subs:      953  v-elim:      0  v-fix:    0  time:  0.36 s
14613.86/470.48	c vivif2 --  cl tried    75616 cl shrink       37 lits rem         79 time: 0.19
14623.46/470.72	c vivif2 --  cl tried    60140 cl shrink     5688 lits rem      14262 time: 0.23
14652.23/471.65	c asymm  cl-useful: 0/2670/75601 lits-rem:0 time: 0.94
14655.42/471.71	c calculated reachability. Time: 0.04
14655.42/471.72	c  N dy  1748    357852     15796     75601    243603     60138    355899    928199      7.15   no data
14658.62/471.87	c Finding binary XORs  T:     0.15 s  found:       0
14923.91/480.13	c Finding binary XORs  T:     0.15 s  found:       0
15249.96/490.35	c  N dy  1871    377871     15796     75601    263610     50070    355899    752063      7.18      7.68
15793.33/507.34	c  N dy  1995    397920     15796     75601    265284     69999    355899   1146319      7.21      8.66
15818.92/508.17	c Finding binary XORs  T:     0.15 s  found:       1
16378.29/525.66	c  N dy  2126    417956     15796     75601    265390     59303    355899    895400      7.23      7.71
16659.58/534.46	c Finding binary XORs  T:     0.15 s  found:       5
16979.24/544.43	c  N dy  2259    438492     15796     75601    267951     79717    355899   1312775      7.26      7.65
17349.99/556.06	c Finding binary XORs  T:     0.15 s  found:       0
17529.00/561.67	c  N dy  2382    458725     15796     75601    272655     68371    355899   1031004      7.27      7.68
18088.41/579.18	c  N dy  2497    478797     15796     75601    274466     88291    355899   1441980      7.29      7.96
18149.10/581.08	c Finding binary XORs  T:     0.15 s  found:       0
18682.87/597.75	c  N dy  2632    498899     15796     75601    275549     75764    355899   1163625      7.31      7.72
19277.39/616.33	c  N dy  2744    519200     15796     75601    275695     62648    355899    853972      7.32      7.79
19750.48/631.19	c  S st  2848    536778     15796     75601    275794     80131    355899   1188811      7.33   no data
19772.85/631.88	c  S st  2848    537285     15796     75601    275798     80632    355899   1199572      7.33   no data
19776.05/631.92	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
20018.97/639.52	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    2 Bins:  22346 BRemL:  49032 BRemN:    180 P: 58.3M T:  7.60
20018.97/639.57	c Replacing        8 vars Replaced     2087 lits Time:     0.05 s 
20022.17/639.62	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
20022.17/639.67	c bin-w-bin subsume rem        10897 bins  time:  0.04 s
20025.36/639.77	c subs with bin:       61  lits-rem:        32  v-fix:    0  time:  0.10 s
20034.96/640.07	c Subs w/ non-existent bins:      7 l-rem:      1 v-fix:     0 done:  15788 time:  0.31 s
20038.16/640.13	c Removed useless bin:     193  fixed:     0  props:   1.78M  time:  0.06 s
20041.94/640.26	c lits-rem:         3  cl-subs:       11  v-elim:     62  v-fix:    0  time:  0.13 s
20050.93/640.53	c subs with bin:       16  lits-rem:       103  v-fix:    0  time:  0.19 s
20070.11/641.14	c lits-rem:      1648  cl-subs:     1269  v-elim:      0  v-fix:    0  time:  0.59 s
20077.14/641.34	c vivif2 --  cl tried    75651 cl shrink       30 lits rem         40 time: 0.19
20086.09/641.65	c vivif2 --  cl tried    79001 cl shrink     7283 lits rem      17527 time: 0.32
20118.06/642.69	c asymm  cl-useful: 10/2609/75648 lits-rem:30 time: 1.04
20121.26/642.75	c calculated reachability. Time: 0.04
20121.26/642.75	c  N dy  2848    537285     15726     75638    231510     79001    355013   1076235      7.33   no data
20127.65/642.90	c Finding binary XORs  T:     0.15 s  found:       2
20319.46/648.93	c Finding binary XORs  T:     0.15 s  found:       0
20735.02/661.93	c  N dy  2987    557368     15726     75638    244650     98959    355013   1499301      7.35      7.78
20945.96/668.56	c Finding binary XORs  T:     0.15 s  found:       0
21313.55/680.05	c  N dy  3109    577387     15726     75638    245221     83719    355013   1185242      7.37     10.75
21908.73/698.68	c  N dy  3227    597629     15726     75638    245330     68579    355013    835596      7.38      7.80
22544.21/718.50	c  N dy  3353    618671     15726     75638    245548     89495    355013   1258368      7.39      7.81
23180.32/738.45	c  N dy  3497    638753     15726     75638    245643     73151    355013    883485      7.41      7.82
23774.85/757.01	c  N dy  3636    658768     15726     75638    245949     93043    355013   1293925      7.43      7.83
24430.15/777.55	c  N dy  3764    680188     15726     75638    246001     76908    355013    915766      7.45      7.89
25059.86/797.26	c  N dy  3911    700243     15726     75638    246057     96848    355013   1327752      7.46      7.91
25702.96/817.32	c  N dy  4052    720286     15726     75638    246206     78316    355013    898706      7.48      8.13
26277.72/835.33	c  N dy  4168    740293     15726     75638    246277     98206    355013   1307562      7.50      7.90
26354.42/837.74	c Finding binary XORs  T:     0.15 s  found:       0
26936.82/855.93	c  N dy  4311    760384     15726     75638    249461    118167    355013   1725847      7.51      8.29
27175.94/863.42	c Finding binary XORs  T:     0.15 s  found:       0
27578.43/876.09	c  N dy  4443    780467     15726     75638    249485     98610    355013   1295060      7.53      7.98
28239.22/896.75	c  N dy  4579    800514     15726     75638    249679    118536    355013   1721710      7.55      8.37
28409.24/902.03	c  S st  4610    805927     15726     75638    249683    123922    355013   1832497      7.55   no data
28434.18/902.81	c  S st  4610    806428     15726     75638    249686    124420    355013   1842331      7.55   no data
28434.18/902.85	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.04
28690.54/910.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    8 Bins:  22198 BRemL:  44424 BRemN:    571 P: 63.8M T:  8.03
28693.74/910.94	c Replacing       11 vars Replaced      285 lits Time:     0.05 s 
28693.74/910.99	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
28696.29/911.03	c bin-w-bin subsume rem         5824 bins  time:  0.04 s
28699.49/911.13	c subs with bin:      149  lits-rem:       121  v-fix:    0  time:  0.10 s
28709.08/911.41	c Subs w/ non-existent bins:      3 l-rem:      0 v-fix:     0 done:  15715 time:  0.28 s
28709.08/911.48	c Removed useless bin:     269  fixed:     0  props:   1.96M  time:  0.07 s
28715.48/911.63	c lits-rem:        30  cl-subs:       17  v-elim:     52  v-fix:    0  time:  0.15 s
28731.46/912.16	c subs with bin:       16  lits-rem:       168  v-fix:    0  time:  0.39 s
28811.38/914.63	c lits-rem:      3634  cl-subs:     1890  v-elim:      0  v-fix:    0  time:  2.43 s
28817.77/914.82	c vivif2 --  cl tried    75564 cl shrink       39 lits rem        107 time: 0.19
28836.95/915.43	c vivif2 --  cl tried   121880 cl shrink    18422 lits rem      48426 time: 0.61
28866.35/916.41	c asymm  cl-useful: 3/2012/75553 lits-rem:9 time: 0.98
28869.55/916.48	c calculated reachability. Time: 0.04
28869.55/916.48	c  N dy  4610    806428     15663     75550    217301    121878    353019   1693913      7.55   no data
28875.30/916.63	c Finding binary XORs  T:     0.15 s  found:       0
29175.77/926.10	c Finding binary XORs  T:     0.15 s  found:       0
29476.24/935.44	c  N dy  4740    826522     15663     75550    228668    100442    353019   1257033      7.56      9.43
29939.75/949.97	c Finding binary XORs  T:     0.15 s  found:       0
30096.98/954.89	c  N dy  4855    846601     15663     75550    230423    120392    353019   1672573      7.57      8.73
30508.71/967.74	c Finding binary XORs  T:     0.15 s  found:       0
30716.50/974.21	c  N dy  4984    866632     15663     75550    233056     99098    353019   1192565      7.58     12.10
31170.37/988.50	c Finding binary XORs  T:     0.15 s  found:       0
31387.75/995.25	c  N dy  5135    886672     15663     75550    235277    119011    353019   1622508      7.60     11.28
32066.01/1016.44	c  N dy  5268    907230     15663     75550    235666     97060    353019   1107482      7.62      8.03
32695.07/1036.21	c  N dy  5402    927503     15663     75550    236033    117219    353019   1522839      7.63      8.08
32902.85/1042.63	c Finding binary XORs  T:     0.15 s  found:       0
33405.35/1058.32	c  N dy  5545    947903     15663     75550    237339     94148    353019   1001020      7.65      8.11
34038.24/1078.16	c  N dy  5675    968334     15663     75550    237846    114458    353019   1430782      7.66      8.13
34088.75/1079.79	c Finding binary XORs  T:     0.15 s  found:       0
34696.08/1098.79	c  N dy  5798    989231     15663     75550    242517    135237    353019   1868363      7.67      8.11
35389.74/1120.41	c  N dy  5930   1009316     15663     75550    242537    110895    353019   1321773      7.68      8.54
36096.15/1142.58	c  N dy  6059   1029318     15663     75550    243291    130765    353019   1749338      7.70      8.83
36390.83/1151.76	c Finding binary XORs  T:     0.15 s  found:       0
36805.78/1164.78	c  N dy  6197   1049332     15663     75550    244900    105341    353019   1154680      7.71      8.57
37451.44/1184.96	c  N dy  6334   1069461     15663     75550    245034    125353    353019   1594231      7.72      8.23
37531.36/1187.44	c  F st  6353   1071876     15663     75550    245034    127751    353019   1643890      7.72      8.29
37819.06/1196.46	c Finding binary XORs  T:     0.14 s  found:       1
38154.70/1206.94	c  N dy  6459   1089566     15663     75550    248214    145334    353019   2038481      7.73      8.14
38813.17/1227.58	c  N dy  6588   1109602     15663     75550    248675    118800    353019   1403994      7.74      8.41
39462.05/1247.89	c  N dy  6711   1129676     15663     75550    248685    138738    353019   1827926      7.75      8.18
40191.46/1270.62	c  N dy  6852   1149759     15663     75550    248839    111310    353019   1204483      7.76     10.06
40826.94/1290.59	c  N dy  6990   1169830     15663     75550    248864    131272    353019   1634843      7.78     10.48
41494.99/1311.41	c  N dy  7110   1189860     15663     75550    248896    151195    353019   2067572      7.78      8.20
42198.22/1333.49	c  S st  7231   1209642     15663     75550    248904    122366    353019   1391739      7.79   no data
42227.63/1334.32	c  S st  7231   1210145     15663     75550    248904    122868    353019   1404397      7.79   no data
42227.63/1334.37	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
42498.71/1342.89	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    1 Bins:  28906 BRemL:  39628 BRemN:    342 P: 63.6M T:  8.51
42501.91/1342.96	c Replacing        2 vars Replaced      110 lits Time:     0.06 s 
42505.12/1343.00	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
42505.12/1343.05	c bin-w-bin subsume rem         8119 bins  time:  0.04 s
42508.94/1343.15	c subs with bin:       77  lits-rem:        53  v-fix:    0  time:  0.10 s
42517.89/1343.49	c Subs w/ non-existent bins:     14 l-rem:      0 v-fix:     0 done:  15661 time:  0.34 s
42521.09/1343.56	c Removed useless bin:     255  fixed:     0  props:   2.04M  time:  0.07 s
42527.48/1343.73	c lits-rem:        11  cl-subs:        8  v-elim:     20  v-fix:    0  time:  0.16 s
42537.08/1344.05	c subs with bin:       18  lits-rem:       166  v-fix:    0  time:  0.22 s
42575.44/1345.26	c lits-rem:      2446  cl-subs:     2041  v-elim:      0  v-fix:    0  time:  1.18 s
42582.45/1345.46	c vivif2 --  cl tried    75509 cl shrink       39 lits rem         83 time: 0.20
42594.61/1345.88	c vivif2 --  cl tried   119816 cl shrink     6183 lits rem      17179 time: 0.42
42632.93/1347.05	c asymm  cl-useful: 0/2623/75494 lits-rem:0 time: 1.16
42636.16/1347.11	c calculated reachability. Time: 0.04
42636.16/1347.11	c  N dy  7231   1210145     15641     75494    226314    119814    351666   1313816      7.79   no data
42639.32/1347.26	c Finding binary XORs  T:     0.15 s  found:       0
43042.09/1359.86	c Finding binary XORs  T:     0.15 s  found:       0
43345.78/1369.33	c  N dy  7354   1230191     15641     75494    243271    139734    351666   1794270      7.80      9.02
44135.29/1394.01	c  N dy  7486   1250343     15641     75494    244662    159749    351666   2235774      7.81      8.24
44586.65/1408.15	c Finding binary XORs  T:     0.15 s  found:       0
44777.78/1414.13	c  N dy  7611   1270405     15641     75494    245505    129240    351666   1514833      7.82      8.57
45471.42/1435.80	c  N dy  7755   1290491     15641     75494    245533    149213    351666   1956184      7.83      8.69
46187.46/1458.25	c  N dy  7897   1310519     15641     75494    245582    118971    351666   1251680      7.84      9.28
46817.15/1477.91	c  N dy  8019   1330578     15641     75494    245590    138884    351666   1678672      7.84      9.36
47523.57/1500.05	c  N dy  8149   1350645     15641     75494    245607    158828    351666   2111425      7.85      8.29
48233.19/1522.20	c  N dy  8271   1370716     15641     75494    245636    127715    351666   1383712      7.86      8.31
48869.31/1542.20	c  N dy  8378   1390849     15641     75494    245839    147696    351666   1799594      7.87      8.37
49639.66/1566.26	c  N dy  8516   1411088     15641     75494    246125    167817    351666   2247132      7.88      8.46
50358.84/1588.72	c  N dy  8658   1431176     15641     75494    246215    135647    351666   1517535      7.89      9.87
51132.40/1612.98	c  N dy  8811   1451524     15641     75494    246838    155893    351666   1990505      7.90      8.40
51873.96/1636.18	c  N dy  8957   1471560     15641     75494    247253    175799    351666   2434109      7.91      9.96
51880.36/1636.32	c Finding binary XORs  T:     0.15 s  found:       2
52635.40/1659.96	c  N dy  9091   1491615     15641     75494    247312    142421    351666   1624470      7.92      9.00
53444.10/1685.27	c  N dy  9218   1512178     15641     75494    247383    162851    351666   2072001      7.93      8.39
54274.55/1711.24	c  N dy  9344   1532227     15641     75494    247386    128446    351666   1256531      7.94      9.57
54974.58/1733.15	c  N dy  9471   1552401     15641     75494    248061    148509    351666   1687546      7.94      8.40
55725.74/1756.64	c  N dy  9617   1572503     15641     75494    248138    168487    351666   2120457      7.95     10.88
56499.31/1780.89	c  N dy  9744   1592535     15641     75494    248594    132975    351666   1311185      7.96      8.42
57215.29/1803.20	c  N dy  9899   1612558     15641     75494    248998    152887    351666   1761477      7.97      8.45
57886.58/1824.25	c Finding binary XORs  T:     0.14 s  found:       3
57995.27/1827.60	c  N dy 10043   1632957     15641     75494    249064    173167    351666   2216667      7.98      8.63
58800.78/1852.85	c  N dy 10184   1652974     15641     75494    249524    137017    351666   1348880      7.99      8.96
59507.20/1874.92	c  N dy 10318   1673112     15641     75494    249755    157029    351666   1793895      8.00      8.54
60287.14/1899.37	c  N dy 10467   1693255     15641     75494    249874    177058    351666   2253291      8.01      8.57
60955.20/1920.28	c  S st 10572   1710145     15641     75494    249944    193845    351666   2623377      8.02      7.79
60990.37/1921.38	c  S st 10572   1710649     15641     75494    249945    194348    351666   2635703      8.02   no data
60993.57/1921.44	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.05
61274.86/1930.22	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  26119 BRemL:  41252 BRemN:    254 P: 73.6M T:  8.79
61274.86/1930.30	c Replacing        5 vars Replaced     1141 lits Time:     0.07 s 
61278.06/1930.34	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
61278.06/1930.39	c bin-w-bin subsume rem         8039 bins  time:  0.04 s
61281.25/1930.49	c subs with bin:        8  lits-rem:        20  v-fix:    0  time:  0.10 s
61294.04/1930.81	c Subs w/ non-existent bins:     12 l-rem:      0 v-fix:     0 done:  15636 time:  0.32 s
61294.04/1930.89	c Removed useless bin:     272  fixed:     0  props:   2.27M  time:  0.08 s
61300.43/1931.07	c lits-rem:         3  cl-subs:       32  v-elim:     39  v-fix:    0  time:  0.18 s
61323.44/1931.76	c subs with bin:        8  lits-rem:       227  v-fix:    0  time:  0.48 s
61501.80/1937.35	c lits-rem:      5943  cl-subs:     2931  v-elim:      0  v-fix:    0  time:  5.56 s
61508.19/1937.54	c vivif2 --  cl tried    75544 cl shrink       26 lits rem         35 time: 0.19
61540.16/1938.50	c vivif2 --  cl tried   188877 cl shrink    26865 lits rem      76294 time: 0.96
61569.56/1939.45	c asymm  cl-useful: 1/1581/75538 lits-rem:3 time: 0.95
61572.12/1939.52	c calculated reachability. Time: 0.04
61572.12/1939.52	c  N dy 10572   1710649     15597     75537    223247    188877    350601   2417422      8.02   no data
61575.32/1939.67	c Finding binary XORs  T:     0.15 s  found:       0
62035.61/1954.05	c Finding binary XORs  T:     0.15 s  found:       0
62300.93/1962.30	c  N dy 10699   1730663     15597     75537    238134    151231    350601   1633508      8.03      9.72
62687.70/1974.42	c Finding binary XORs  T:     0.15 s  found:       1
63048.89/1985.77	c  N dy 10822   1750689     15597     75537    242211    171148    350601   2100910      8.03      8.87
63844.83/2010.65	c  N dy 10966   1770822     15597     75537    242223    191166    350601   2547691      8.04      8.51
64394.59/2027.82	c Finding binary XORs  T:     0.15 s  found:       0
64611.97/2034.65	c  N dy 11114   1790917     15597     75537    243654    152927    350601   1630688      8.05      9.19
65379.13/2058.60	c  N dy 11254   1810997     15597     75537    243659    172890    350601   2089855      8.06      8.53
66168.68/2083.37	c  N dy 11390   1831226     15597     75537    243866    193014    350601   2529598      8.07      8.51
66964.60/2108.25	c  N dy 11529   1851330     15597     75537    243902    153791    350601   1601523      8.08      8.76
67712.59/2131.67	c  N dy 11662   1871735     15597     75537    243913    174099    350601   2051718      8.08      8.58
68528.30/2157.19	c  N dy 11804   1892290     15597     75537    244050    194517    350601   2516724      8.09      8.71
69349.16/2182.88	c  N dy 11939   1912444     15597     75537    244122    154517    350601   1565817      8.10      8.53
70173.85/2208.69	c  N dy 12080   1932502     15597     75537    244377    174452    350601   2026006      8.11     12.96
71068.87/2236.64	c  N dy 12215   1952766     15597     75537    244388    194613    350601   2489140      8.11      8.55
71944.68/2264.10	c  N dy 12335   1972806     15597     75537    244400    153572    350601   1485982      8.12      8.70
72798.16/2290.74	c  N dy 12477   1992893     15597     75537    244585    173534    350601   1940699      8.13      9.57
73683.58/2318.48	c  N dy 12617   2012981     15597     75537    244679    193494    350601   2391498      8.13     10.53
74614.41/2347.55	c  N dy 12744   2033046     15597     75537    245220    213441    350601   2871567      8.14      8.73
75371.33/2371.22	c  N dy 12875   2053096     15597     75537    245220    171324    350601   1838307      8.15      9.23
75860.40/2386.53	c Finding binary XORs  T:     0.14 s  found:       0
76158.31/2395.91	c  N dy 13011   2073097     15597     75537    247892    191222    350601   2297517      8.15      8.69
76490.10/2406.26	c Finding binary XORs  T:     0.14 s  found:       0
76963.20/2421.11	c  N dy 13131   2093220     15597     75537    248125    211213    350601   2751602      8.16      8.60
77778.93/2446.58	c  N dy 13273   2113292     15597     75537    248380    168167    350601   1717027      8.16     11.66
78542.26/2470.45	c  N dy 13397   2133332     15597     75537    248456    188075    350601   2149032      8.17      9.38
79347.76/2495.68	c  N dy 13526   2153391     15597     75537    248475    207995    350601   2603034      8.17      8.64
79549.13/2501.99	c Finding binary XORs  T:     0.14 s  found:       0
80194.82/2522.12	c  N dy 13656   2173522     15597     75537    251135    163978    350601   1570314      8.18      8.61
80971.57/2546.45	c  N dy 13781   2193706     15597     75537    251316    184067    350601   2027156      8.18      8.62
81662.02/2568.05	c  S st 13892   2210651     15597     75537    251488    200899    350601   2414263      8.19   no data
81693.96/2569.03	c  S st 13892   2211155     15597     75537    251488    201403    350601   2425494      8.19   no data
81693.96/2569.09	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
81972.06/2577.74	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  26262 BRemL:  34261 BRemN:     77 P: 72.5M T:  8.65
81975.26/2577.82	c Replacing        1 vars Replaced      321 lits Time:     0.07 s 
81975.26/2577.87	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
81978.46/2577.91	c bin-w-bin subsume rem         9534 bins  time:  0.04 s
81981.66/2578.01	c subs with bin:       15  lits-rem:        42  v-fix:    0  time:  0.10 s
81991.25/2578.37	c Subs w/ non-existent bins:     18 l-rem:      0 v-fix:     0 done:  15596 time:  0.36 s
81995.07/2578.45	c Removed useless bin:      92  fixed:     0  props:   2.21M  time:  0.08 s
82000.82/2578.64	c lits-rem:         8  cl-subs:        6  v-elim:      7  v-fix:    0  time:  0.18 s
82020.01/2579.23	c subs with bin:       13  lits-rem:       111  v-fix:    0  time:  0.41 s
82144.68/2583.16	c lits-rem:      4015  cl-subs:     2623  v-elim:      0  v-fix:    0  time:  3.90 s
82151.07/2583.36	c vivif2 --  cl tried    75522 cl shrink       11 lits rem         33 time: 0.20
82179.84/2584.24	c vivif2 --  cl tried   198711 cl shrink    19759 lits rem      57764 time: 0.88
82211.80/2585.20	c asymm  cl-useful: 0/1542/75522 lits-rem:0 time: 0.96
82211.80/2585.27	c calculated reachability. Time: 0.04
82211.80/2585.27	c  N dy 13892   2211155     15589     75522    232410    198711    350089   2300174      8.19   no data
82218.20/2585.42	c Finding binary XORs  T:     0.15 s  found:       0
82631.19/2598.37	c Finding binary XORs  T:     0.15 s  found:       0
83116.41/2613.62	c  N dy 14039   2231433     15589     75522    248520    218846    350089   2784309      8.20      8.67
83464.81/2624.42	c Finding binary XORs  T:     0.15 s  found:       0
83944.28/2639.47	c  N dy 14177   2251465     15589     75522    251506    171899    350089   1731734      8.20      8.66
84746.59/2664.56	c  N dy 14325   2271538     15589     75522    251696    191838    350089   2186752      8.21      8.65
85593.66/2691.01	c  N dy 14468   2291990     15589     75522    251704    212159    350089   2650484      8.22      8.74
86485.47/2719.00	c  N dy 14612   2312074     15589     75522    252552    166163    350089   1544000      8.23      8.68
87272.46/2743.56	c  N dy 14743   2332133     15589     75522    252731    186098    350089   2008691      8.23      8.83
88058.14/2768.12	c  N dy 14865   2352136     15589     75522    252732    205965    350089   2462575      8.24      8.72
88917.99/2795.09	c  N dy 14985   2372197     15589     75522    252732    225914    350089   2924530      8.24     10.93
89765.72/2821.53	c  N dy 15124   2392522     15589     75522    252733    179268    350089   1797526      8.25      8.69
90612.77/2848.08	c  N dy 15259   2412600     15589     75522    252900    199221    350089   2286475      8.25      9.04
91484.73/2875.41	c  N dy 15402   2432614     15589     75522    252917    219091    350089   2736975      8.26      9.52
92386.12/2903.57	c  N dy 15543   2452688     15589     75522    252919    239056    350089   3190370      8.27      8.96
93223.59/2929.76	c  N dy 15690   2472757     15589     75522    253053    190848    350089   1996973      8.27      8.71
93888.46/2950.57	c Finding binary XORs  T:     0.14 s  found:       0
94003.54/2954.15	c  N dy 15801   2493097     15589     75522    253128    211033    350089   2444211      8.28      8.77
94902.38/2982.26	c  N dy 15957   2513130     15589     75522    253252    230914    350089   2896846      8.28      9.06
95790.36/3010.04	c  N dy 16079   2533226     15589     75522    253328    181964    350089   1733298      8.29      9.61
96579.90/3034.74	c  N dy 16196   2553290     15589     75522    253473    201897    350089   2181050      8.29     11.13
97420.57/3061.08	c  N dy 16330   2573471     15589     75522    253483    221954    350089   2634442      8.30      8.85
98337.97/3089.76	c  N dy 16469   2593543     15589     75522    254720    241916    350089   3096198      8.30      8.76
98942.71/3108.70	c Finding binary XORs  T:     0.14 s  found:       0
99217.00/3117.26	c  N dy 16610   2613744     15589     75522    255530    192058    350089   1935581      8.31      9.07
100051.28/3143.35	c  N dy 16747   2633802     15589     75522    255530    211965    350089   2389310      8.32      8.77
100198.30/3147.92	c Finding binary XORs  T:     0.14 s  found:       0
100901.54/3169.98	c  N dy 16870   2653858     15589     75522    258120    231886    350089   2851197      8.32      9.01
101847.69/3199.52	c  N dy 17010   2673948     15589     75522    258122    251832    350089   3302761      8.32      8.79
102666.01/3225.17	c  N dy 17141   2694145     15589     75522    258191    201059    350089   2079346      8.33      8.78
103401.22/3248.14	c  S st 17264   2711155     15589     75522    258195    217958    350089   2481065      8.33   no data
103433.18/3249.18	c  S st 17264   2711659     15589     75522    258195    218461    350089   2494398      8.33   no data
103436.37/3249.24	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.06
103720.85/3258.15	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:  11156 BRemL:  34669 BRemN:     30 P: 76.6M T:  8.90
103720.85/3258.20	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
103724.67/3258.24	c bin-w-bin subsume rem         7543 bins  time:  0.04 s
103727.91/3258.34	c subs with bin:        1  lits-rem:        11  v-fix:    0  time:  0.10 s
103740.02/3258.71	c Subs w/ non-existent bins:      9 l-rem:      0 v-fix:     0 done:  15589 time:  0.37 s
103740.02/3258.79	c Removed useless bin:      66  fixed:     0  props:   2.19M  time:  0.08 s
103746.41/3258.99	c lits-rem:         0  cl-subs:        0  v-elim:      7  v-fix:    0  time:  0.19 s
103765.59/3259.57	c subs with bin:        3  lits-rem:        42  v-fix:    0  time:  0.39 s
103877.47/3263.07	c lits-rem:      3736  cl-subs:     2368  v-elim:      0  v-fix:    0  time:  3.47 s
103883.87/3263.27	c vivif2 --  cl tried    75533 cl shrink        4 lits rem          4 time: 0.20
103912.63/3264.17	c vivif2 --  cl tried   215359 cl shrink    16772 lits rem      52383 time: 0.89
103944.59/3265.18	c asymm  cl-useful: 0/1462/75533 lits-rem:0 time: 1.01
103947.80/3265.25	c calculated reachability. Time: 0.04
103947.80/3265.25	c  N dy 17264   2711659     15582     75533    225368    215358    349889   2339223      8.33   no data
103954.19/3265.40	c Finding binary XORs  T:     0.15 s  found:       0
104213.13/3273.56	c Finding binary XORs  T:     0.15 s  found:       0
104858.68/3293.80	c  N dy 17393   2731680     15582     75533    232218    235251    349889   2818457      8.34     10.45
105760.11/3322.01	c  N dy 17533   2751742     15582     75533    232810    255200    349889   3286114      8.35     12.59
106626.34/3349.01	c  N dy 17669   2771765     15582     75533    233169    201603    349889   2028872      8.35     10.51
107441.45/3374.56	c  N dy 17797   2792450     15582     75533    233233    222156    349889   2502527      8.35      8.85
108260.38/3400.13	c Finding binary XORs  T:     0.15 s  found:       0
108349.25/3403.00	c  N dy 17924   2812462     15582     75533    236319    242005    349889   2958601      8.36      9.55
109269.84/3431.71	c  N dy 18054   2832539     15582     75533    236493    189103    349889   1682112      8.36     12.29
110116.92/3458.22	c  N dy 18192   2852547     15582     75533    236493    208974    349889   2144296      8.37     11.57
110947.98/3484.28	c  N dy 18314   2872603     15582     75533    236703    228880    349889   2596432      8.37      9.00
111881.97/3513.50	c  N dy 18445   2892699     15582     75533    236703    248841    349889   3069057      8.38      9.50
112785.98/3541.72	c  N dy 18562   2912750     15582     75533    236703    194907    349889   1758164      8.38     10.27
113649.00/3568.78	c  N dy 18697   2933391     15582     75533    236704    215394    349889   2214828      8.38      8.84
114512.07/3595.78	c  N dy 18831   2953734     15582     75533    236797    235618    349889   2681452      8.39      8.85
115410.26/3623.88	c  N dy 18958   2973950     15582     75533    236798    255708    349889   3160422      8.39      9.21
116321.27/3652.31	c  N dy 19075   2994352     15582     75533    236803    201302    349889   1844127      8.39      8.90
117139.55/3677.90	c  N dy 19183   3014595     15582     75533    236907    221397    349889   2309237      8.39      8.84
117989.82/3704.51	c  N dy 19306   3034707     15582     75533    237050    241359    349889   2752235      8.40      8.93
118942.38/3734.34	c  N dy 19447   3054798     15582     75533    237050    261337    349889   3218514      8.40     10.20
119910.91/3764.65	c  N dy 19583   3074922     15582     75533    237157    205185    349889   1882736      8.41      8.94
120901.82/3795.67	c  N dy 19712   3094959     15582     75533    237278    225082    349889   2344626      8.41     11.00
121106.40/3802.05	c Finding binary XORs  T:     0.14 s  found:       0
121927.89/3827.76	c  N dy 19860   3114979     15582     75533    238893    244969    349889   2815503      8.42      9.03
122755.78/3853.60	c Finding binary XORs  T:     0.15 s  found:       0
123046.68/3862.77	c  N dy 19992   3134998     15582     75533    240587    264855    349889   3283377      8.42     14.25
124072.74/3894.87	c  N dy 20119   3155048     15582     75533    240589    207916    349889   1908367      8.43      8.98
124970.95/3922.97	c  N dy 20260   3175145     15582     75533    240878    227893    349889   2366056      8.43      8.88
125859.58/3950.78	c  N dy 20390   3195152     15582     75533    240878    247774    349889   2830259      8.44      9.26
126607.56/3974.16	c  S st 20494   3211662     15582     75533    240878    264140    349889   3198779      8.44   no data
126642.72/3975.25	c  S st 20494   3212164     15582     75533    240879    264639    349889   3209545      8.44   no data
126645.92/3975.32	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.07
126939.99/3984.55	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:   4658 BRemL:  21800 BRemN:     51 P: 83.1M T:  9.23
126943.19/3984.60	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
126943.19/3984.64	c bin-w-bin subsume rem         3351 bins  time:  0.04 s
126946.38/3984.74	c subs with bin:        2  lits-rem:         0  v-fix:    0  time:  0.10 s
126959.19/3985.15	c Subs w/ non-existent bins:      6 l-rem:      0 v-fix:     0 done:  15582 time:  0.41 s
126962.38/3985.25	c Removed useless bin:     113  fixed:     0  props:   2.39M  time:  0.10 s
126969.40/3985.46	c lits-rem:         0  cl-subs:        2  v-elim:      8  v-fix:    0  time:  0.22 s
126994.27/3986.30	c subs with bin:        2  lits-rem:        23  v-fix:    0  time:  0.54 s
127170.05/3991.71	c lits-rem:      3961  cl-subs:     2637  v-elim:      0  v-fix:    0  time:  5.38 s
127173.25/3991.90	c vivif2 --  cl tried    75537 cl shrink        2 lits rem          2 time: 0.20
127217.98/3993.21	c vivif2 --  cl tried   261950 cl shrink    29808 lits rem      88685 time: 1.30
127247.36/3994.16	c asymm  cl-useful: 0/1298/75537 lits-rem:0 time: 0.95
127250.59/3994.23	c calculated reachability. Time: 0.04
127250.59/3994.23	c  N dy 20494   3212164     15574     75537    219442    261950    349540   3043726      8.44   no data
127253.14/3994.38	c Finding binary XORs  T:     0.15 s  found:       0
127735.84/4009.44	c Finding binary XORs  T:     0.15 s  found:       0
128228.09/4024.82	c  N dy 20609   3232212     15574     75537    221597    281848    349540   3503217      8.44      9.05
129107.12/4052.40	c  N dy 20725   3252292     15574     75537    221729    222423    349540   2182759      8.44     10.84
129986.16/4079.82	c  N dy 20855   3272694     15574     75537    222021    242701    349540   2652837      8.45      8.97
130929.11/4109.34	c  N dy 20983   3292762     15574     75537    222037    262644    349540   3125007      8.45      9.35
131878.48/4139.02	c  N dy 21127   3312851     15574     75537    222084    282606    349540   3589071      8.45      8.99
132815.05/4168.34	c  N dy 21238   3333110     15574     75537    222144    223808    349540   2139848      8.46      8.92
133774.00/4198.38	c  N dy 21352   3353201     15574     75537    222709    243755    349540   2605351      8.46      9.58
134807.09/4230.68	c  N dy 21477   3373340     15574     75537    222734    263766    349540   3081991      8.46      9.02
135880.50/4264.28	c  N dy 21607   3393363     15574     75537    222771    283648    349540   3549571      8.47      9.18
136807.48/4293.23	c  N dy 21711   3413496     15574     75537    222772    223782    349540   2092553      8.47      9.00
137683.30/4320.69	c  N dy 21838   3433581     15574     75537    222775    243722    349540   2544949      8.47     10.68
138600.72/4349.38	c  N dy 21960   3453660     15574     75537    222806    263670    349540   2990631      8.47     11.08
139534.06/4378.59	c  N dy 22074   3473745     15574     75537    223060    283619    349540   3451920      8.47     11.50
140525.00/4409.52	c  N dy 22200   3493923     15574     75537    223060    223023    349540   2012292      8.48      8.99
141526.12/4440.82	c  N dy 22320   3514217     15574     75537    223122    243140    349540   2465679      8.48      9.06
142554.56/4473.02	c  N dy 22453   3534282     15574     75537    223146    263058    349540   2941800      8.48      9.02
142557.80/4473.17	c Finding binary XORs  T:     0.15 s  found:       0
143662.80/4507.79	c  N dy 22581   3554324     15574     75537    223240    282948    349540   3405075      8.49      9.09
144717.64/4540.75	c  N dy 22682   3574340     15574     75537    223243    221420    349540   1917353      8.49      9.48
145631.83/4569.30	c  N dy 22810   3594482     15574     75537    223288    241442    349540   2398052      8.49      8.98
146526.83/4597.38	c  N dy 22931   3614649     15574     75537    223422    261478    349540   2869070      8.49      8.98
147495.39/4627.68	c  N dy 23063   3634768     15574     75537    223641    281449    349540   3323159      8.50      9.06
148511.86/4659.45	c  N dy 23186   3654961     15574     75537    223643    301483    349540   3786174      8.50      8.97
149538.56/4691.52	c  N dy 23321   3675063     15574     75537    223717    238588    349540   2263108      8.51      8.96
150576.78/4724.06	c  N dy 23452   3695100     15574     75537    223744    258471    349540   2717656      8.51      9.04
151487.80/4752.52	c  S st 23571   3712164     15574     75537    223744    275408    349540   3106657      8.51   no data
151526.14/4753.78	c  S st 23571   3712669     15574     75537    223744    275913    349540   3121572      8.51   no data
151529.34/4753.86	c x-sub:     0 x-cut:      0 vfix:      0 v-elim:      0 locsubst:     0 time:   0.08
151859.16/4764.13	c Flit:     0 Blit:      0 bXBeca:    0 bXProp:    0 Bins:    140 BRemL:   6336 BRemN:      7 P: 96.7M T: 10.27
151859.16/4764.18	c blocked clauses removed:        0 vars:      0 tried:           0 T: 0.00 s
151859.16/4764.22	c bin-w-bin subsume rem          899 bins  time:  0.04 s
151864.95/4764.32	c subs with bin:        3  lits-rem:         0  v-fix:    0  time:  0.10 s
151877.73/4764.72	c Subs w/ non-existent bins:      7 l-rem:      0 v-fix:     0 done:  15574 time:  0.40 s
151880.94/4764.81	c Removed useless bin:       9  fixed:     0  props:   2.36M  time:  0.09 s
151887.33/4765.06	c lits-rem:         0  cl-subs:        0  v-elim:      1  v-fix:    0  time:  0.25 s
151916.09/4765.92	c subs with bin:        5  lits-rem:         2  v-fix:    0  time:  0.57 s
152114.27/4772.14	c lits-rem:      4108  cl-subs:     2642  v-elim:      0  v-fix:    0  time:  6.19 s
152120.67/4772.34	c vivif2 --  cl tried    75526 cl shrink        0 lits rem          0 time: 0.20
152162.22/4773.66	c vivif2 --  cl tried   273266 cl shrink    25932 lits rem      78851 time: 1.31
152197.41/4774.76	c asymm  cl-useful: 0/1342/75526 lits-rem:0 time: 1.11
152200.59/4774.83	c calculated reachability. Time: 0.04
152200.59/4774.83	c  N dy 23571   3712669     15573     75526    216485    273266    349463   2994035      8.51   no data
153360.94/4811.15	c  N dy 23699   3732740     15573     75526    216592    293196    349463   3469030      8.52      9.46
154499.47/4846.73	c  F st 23840   3751563     15573     75526    216817    226506    349463   1934070      8.52      8.67
154553.19/4848.44	c  N st 23843   3752750     15573     75526    216817    227686    349463   1965388      8.52   no data
155413.66/4875.38	c  N dy 23942   3772801     15573     75526    216956    247600    349463   2432954      8.52      9.01
156365.56/4905.17	c  N dy 24074   3792978     15573     75526    216960    267656    349463   2909334      8.53      9.12
157340.52/4935.65	c  N dy 24215   3813015     15573     75526    217135    287562    349463   3379438      8.53      9.00
158392.16/4968.52	c  N dy 24347   3833655     15573     75526    217137    308064    349463   3873508      8.53      9.06
159287.16/4996.54	c  N dy 24462   3853820     15573     75526    217244    243264    349463   2266619      8.54      9.03

Verifier Data 

ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected)
Got answer: <no 's ' line found>

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 961)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3400622-1306242803/watcher-3400622-1306242803 -o /tmp/evaluation-result-3400622-1306242803/solver-3400622-1306242803 -C 160000 -W 5100 -M 266338304 ./strangenight2-mt --threads=32 HOME/instance-3400622-1306242803.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: 32.08 31.84 31.89 1/413 8504
/proc/meminfo: memFree=255165252/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=338000 CPUtime=0.7 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) R 8502 8504 8414 0 -1 4202496 466 0 0 0 70 0 0 0 24 0 32 0 735766785 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 84500 406 300 95 0 79482 0
[pid=8504/tid=8505] ppid=8502 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8504/task/8505/stat : 8505 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 4 0 0 0 3 0 0 0 21 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8504/tid=8506] ppid=8502 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8504/task/8506/stat : 8506 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 3 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8504/tid=8507] ppid=8502 vsize=338000 CPUtime=0.03 cores=0-31
/proc/8504/task/8507/stat : 8507 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 3 0 0 0 21 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8504/tid=8508] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8508/stat : 8508 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538519 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8504/tid=8509] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8509/stat : 8509 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538519 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8504/tid=8510] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8510/stat : 8510 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8504/tid=8511] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8511/stat : 8511 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 21 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538512 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8504/tid=8512] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8512/stat : 8512 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 0 0 0 0 2 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8504/tid=8513] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8513/stat : 8513 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538525 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8504/tid=8514] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8514/stat : 8514 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8504/tid=8515] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8515/stat : 8515 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8504/tid=8516] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8516/stat : 8516 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8504/tid=8517] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8517/stat : 8517 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538512 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8504/tid=8518] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8518/stat : 8518 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 22 0 32 0 735766786 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538519 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8504/tid=8519] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8519/stat : 8519 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538519 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8504/tid=8521] ppid=8502 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8504/task/8521/stat : 8521 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 0 0 0 0 1 0 0 0 23 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8504/tid=8522] ppid=8502 vsize=338000 CPUtime=0 cores=0-31
/proc/8504/task/8522/stat : 8522 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 0 0 0 0 23 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8504/tid=8523] ppid=8502 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8504/task/8523/stat : 8523 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 1 0 0 0 23 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8504/tid=8524] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8524/stat : 8524 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538525 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8504/tid=8525] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8525/stat : 8525 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 23 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8504/tid=8526] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8526/stat : 8526 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538525 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8504/tid=8527] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8527/stat : 8527 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538519 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8504/tid=8528] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8528/stat : 8528 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8504/tid=8529] ppid=8502 vsize=338000 CPUtime=0.01 cores=0-31
/proc/8504/task/8529/stat : 8529 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 1 0 0 0 24 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8504/tid=8530] ppid=8502 vsize=338000 CPUtime=0 cores=0-31
/proc/8504/task/8530/stat : 8530 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538928 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8504/tid=8531] ppid=8502 vsize=338000 CPUtime=0 cores=0-31
/proc/8504/task/8531/stat : 8531 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 0 0 0 0 0 0 0 0 24 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8504/tid=8532] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8532/stat : 8532 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 24 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538515 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8504/tid=8533] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8533/stat : 8533 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538519 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8504/tid=8534] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8534/stat : 8534 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8504/tid=8535] ppid=8502 vsize=338000 CPUtime=0.02 cores=0-31
/proc/8504/task/8535/stat : 8535 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 1 0 0 0 2 0 0 0 25 0 32 0 735766787 346112000 406 268435456000 4194304 4580107 140734172017248 18446744073709551615 47728426538521 0 0 4096 2 0 0 0 -1 25 0 0 0

[startup+0.106843 s]
/proc/loadavg: 32.08 31.84 31.89 1/413 8504
/proc/meminfo: memFree=255165252/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=1278172 CPUtime=1.79 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) S 8502 8504 8414 0 -1 4202496 12367 0 0 0 89 90 0 0 17 0 32 0 735766785 1308848128 12226 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 319543 12227 335 95 0 314525 0
[pid=8504/tid=8505] ppid=8502 vsize=1278172 CPUtime=0.05 cores=0-31
/proc/8504/task/8505/stat : 8505 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 339 0 0 0 3 2 0 0 17 0 32 0 735766786 1308848128 12239 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650616986 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8504/tid=8506] ppid=8502 vsize=1278172 CPUtime=0.05 cores=0-31
/proc/8504/task/8506/stat : 8506 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 388 0 0 0 3 2 0 0 17 0 32 0 735766786 1308848128 12242 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650653008 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8504/tid=8507] ppid=8502 vsize=1278172 CPUtime=0.05 cores=0-31
/proc/8504/task/8507/stat : 8507 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 306 0 0 0 3 2 0 0 17 0 32 0 735766786 1308848128 12256 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446744071566925064 0 0 -1 4 0 0 0
[pid=8504/tid=8508] ppid=8502 vsize=1278172 CPUtime=0.05 cores=0-31
/proc/8504/task/8508/stat : 8508 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 336 0 0 0 3 2 0 0 17 0 32 0 735766786 1308848128 12256 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604633054600672 0 0 -1 24 0 0 0
[pid=8504/tid=8509] ppid=8502 vsize=1278172 CPUtime=0.05 cores=0-31
/proc/8504/task/8509/stat : 8509 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 417 0 0 0 3 2 0 0 17 0 32 0 735766786 1308848128 12279 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604630210051552 0 0 -1 12 0 0 0
[pid=8504/tid=8510] ppid=8502 vsize=1278172 CPUtime=0.05 cores=0-31
/proc/8504/task/8510/stat : 8510 (strangenight2-m) D 8502 8504 8414 0 -1 4202560 431 0 0 0 3 2 0 0 17 0 32 0 735766786 1308848128 12301 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8504/tid=8511] ppid=8502 vsize=1278436 CPUtime=0.05 cores=0-31
/proc/8504/task/8511/stat : 8511 (strangenight2-m) D 8502 8504 8414 0 -1 4202560 330 0 0 0 3 2 0 0 17 0 32 0 735766786 1309118464 12309 268435456000 4194304 4580107 140734172017248 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8504/tid=8512] ppid=8502 vsize=1278568 CPUtime=0.05 cores=0-31
/proc/8504/task/8512/stat : 8512 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 366 0 0 0 3 2 0 0 22 0 32 0 735766786 1309253632 12315 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604476247268832 0 0 -1 0 0 0 0
[pid=8504/tid=8513] ppid=8502 vsize=1278568 CPUtime=0.04 cores=0-31
/proc/8504/task/8513/stat : 8513 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 290 0 0 0 2 2 0 0 17 0 32 0 735766786 1309253632 12326 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650999207 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8504/tid=8514] ppid=8502 vsize=1278568 CPUtime=0.04 cores=0-31
/proc/8504/task/8514/stat : 8514 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 427 0 0 0 2 2 0 0 17 0 32 0 735766786 1309253632 12335 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604643754597856 0 0 -1 23 0 0 0
[pid=8504/tid=8515] ppid=8502 vsize=1278568 CPUtime=0.04 cores=0-31
/proc/8504/task/8515/stat : 8515 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 275 0 0 0 2 2 0 0 22 0 32 0 735766786 1309253632 12337 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604632767651296 0 0 -1 7 0 0 0
[pid=8504/tid=8516] ppid=8502 vsize=1278568 CPUtime=0.06 cores=0-31
/proc/8504/task/8516/stat : 8516 (strangenight2-m) D 8502 8504 8414 0 -1 4202560 446 0 0 0 3 3 0 0 17 0 32 0 735766786 1309253632 12343 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650653097 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8504/tid=8517] ppid=8502 vsize=1278568 CPUtime=0.05 cores=0-31
/proc/8504/task/8517/stat : 8517 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 293 0 0 0 3 2 0 0 17 0 32 0 735766786 1309253632 12351 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604642951052768 0 0 -1 16 0 0 0
[pid=8504/tid=8518] ppid=8502 vsize=1278568 CPUtime=0.04 cores=0-31
/proc/8504/task/8518/stat : 8518 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 326 0 0 0 2 2 0 0 17 0 32 0 735766786 1309253632 12390 268435456000 4194304 4580107 140734172017248 18446744073709551615 4349571 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8504/tid=8519] ppid=8502 vsize=1278700 CPUtime=0.06 cores=0-31
/proc/8504/task/8519/stat : 8519 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 422 0 0 0 3 3 0 0 17 0 32 0 735766787 1309388800 12416 268435456000 4194304 4580107 140734172017248 18446744073709551615 4354920 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=1278700 CPUtime=0.04 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) D 8502 8504 8414 0 -1 4202560 350 0 0 0 2 2 0 0 17 0 32 0 735766787 1309388800 12421 268435456000 4194304 4580107 140734172017248 18446744073709551615 4306964 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8504/tid=8521] ppid=8502 vsize=1278700 CPUtime=0.03 cores=0-31
/proc/8504/task/8521/stat : 8521 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 269 0 0 0 2 1 0 0 17 0 32 0 735766787 1309388800 12431 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604638154538464 0 0 -1 27 0 0 0
[pid=8504/tid=8522] ppid=8502 vsize=1286904 CPUtime=0.02 cores=0-31
/proc/8504/task/8522/stat : 8522 (strangenight2-m) D 8502 8504 8414 0 -1 4202560 365 0 0 0 0 2 0 0 23 0 32 0 735766787 1317789696 12475 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8504/tid=8523] ppid=8502 vsize=1287036 CPUtime=0.04 cores=0-31
/proc/8504/task/8523/stat : 8523 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 402 0 0 0 1 3 0 0 17 0 32 0 735766787 1317924864 12483 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446744071566931264 0 0 -1 29 0 0 0
[pid=8504/tid=8524] ppid=8502 vsize=1287036 CPUtime=0.04 cores=0-31
/proc/8504/task/8524/stat : 8524 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 457 0 0 0 2 2 0 0 17 0 32 0 735766787 1317924864 12491 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446744071566925064 0 0 -1 26 0 0 0
[pid=8504/tid=8525] ppid=8502 vsize=1287036 CPUtime=0.04 cores=0-31
/proc/8504/task/8525/stat : 8525 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 420 0 0 0 2 2 0 0 17 0 32 0 735766787 1317924864 12528 268435456000 4194304 4580107 140734172017248 18446744073709551615 4511029 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8504/tid=8526] ppid=8502 vsize=1287036 CPUtime=0.04 cores=0-31
/proc/8504/task/8526/stat : 8526 (strangenight2-m) D 8502 8504 8414 0 -1 4202560 325 0 0 0 2 2 0 0 17 0 32 0 735766787 1317924864 12530 268435456000 4194304 4580107 140734172017248 18446744073709551615 4311330 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8504/tid=8527] ppid=8502 vsize=1287036 CPUtime=0.05 cores=0-31
/proc/8504/task/8527/stat : 8527 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 438 0 0 0 2 3 0 0 17 0 32 0 735766787 1317924864 12552 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650653031 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8504/tid=8528] ppid=8502 vsize=1287036 CPUtime=0.05 cores=0-31
/proc/8504/task/8528/stat : 8528 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 426 0 0 0 2 3 0 0 17 0 32 0 735766787 1317924864 12581 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604635158060512 0 0 -1 17 0 0 0
[pid=8504/tid=8529] ppid=8502 vsize=1287036 CPUtime=0.05 cores=0-31
/proc/8504/task/8529/stat : 8529 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 466 0 0 0 2 3 0 0 17 0 32 0 735766787 1317924864 12585 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650624912 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8504/tid=8530] ppid=8502 vsize=1295240 CPUtime=0.03 cores=0-31
/proc/8504/task/8530/stat : 8530 (strangenight2-m) D 8502 8504 8414 0 -1 4202560 421 0 0 0 0 3 0 0 17 0 32 0 735766787 1326325760 12595 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650652667 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8504/tid=8531] ppid=8502 vsize=1295372 CPUtime=0.04 cores=0-31
/proc/8504/task/8531/stat : 8531 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 429 0 0 0 1 3 0 0 17 0 32 0 735766787 1326460928 12644 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604643754597856 0 0 -1 19 0 0 0
[pid=8504/tid=8532] ppid=8502 vsize=1303576 CPUtime=0.04 cores=0-31
/proc/8504/task/8532/stat : 8532 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 444 0 0 0 2 2 0 0 17 0 32 0 735766787 1334861824 12652 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8504/tid=8533] ppid=8502 vsize=1303576 CPUtime=0.05 cores=0-31
/proc/8504/task/8533/stat : 8533 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 375 0 0 0 2 3 0 0 25 0 32 0 735766787 1334861824 12671 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446744071566931944 0 0 -1 21 0 0 0
[pid=8504/tid=8534] ppid=8502 vsize=1311780 CPUtime=0.05 cores=0-31
/proc/8504/task/8534/stat : 8534 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 422 0 0 0 2 3 0 0 17 0 32 0 735766787 1343262720 12674 268435456000 4194304 4580107 140734172017248 18446744073709551615 258650615249 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8504/tid=8535] ppid=8502 vsize=1311780 CPUtime=0.04 cores=0-31
/proc/8504/task/8535/stat : 8535 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 357 0 0 0 2 2 0 0 17 0 32 0 735766787 1343262720 12731 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446744071566924744 0 0 -1 25 0 0 0
Current children cumulated CPU time (s) 1.79
Current children cumulated vsize (KiB) 1278172

[startup+0.204919 s]
/proc/loadavg: 32.08 31.84 31.89 1/413 8504
/proc/meminfo: memFree=255165252/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=1411284 CPUtime=3.62 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) R 8502 8504 8414 0 -1 4202496 26324 0 0 0 142 220 0 0 17 0 32 0 735766785 1445154816 23284 268435456000 4194304 4580107 140734172017248 18446744073709551615 4349571 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 352821 23311 335 95 0 347803 0
[pid=8504/tid=8505] ppid=8502 vsize=1411284 CPUtime=0.11 cores=0-31
/proc/8504/task/8505/stat : 8505 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 812 0 0 0 4 7 0 0 17 0 32 0 735766786 1445154816 23246 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604630210051552 0 0 -1 1 0 0 0
[pid=8504/tid=8506] ppid=8502 vsize=1411024 CPUtime=0.12 cores=0-31
/proc/8504/task/8506/stat : 8506 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 788 0 0 0 5 7 0 0 17 0 32 0 735766786 1444888576 23332 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8504/tid=8507] ppid=8502 vsize=1411024 CPUtime=0.1 cores=0-31
/proc/8504/task/8507/stat : 8507 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 839 0 0 0 5 5 0 0 17 0 32 0 735766786 1444888576 23338 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8504/tid=8508] ppid=8502 vsize=1411024 CPUtime=0.1 cores=0-31
/proc/8504/task/8508/stat : 8508 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 761 0 0 0 5 5 0 0 17 0 32 0 735766786 1444888576 23357 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8504/tid=8509] ppid=8502 vsize=1411024 CPUtime=0.11 cores=0-31
/proc/8504/task/8509/stat : 8509 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 790 0 0 0 5 6 0 0 17 0 32 0 735766786 1444888576 23361 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604505638165984 0 0 -1 12 0 0 0
[pid=8504/tid=8510] ppid=8502 vsize=1411024 CPUtime=0.12 cores=0-31
/proc/8504/task/8510/stat : 8510 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 980 0 0 0 5 7 0 0 17 0 32 0 735766786 1444888576 23376 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604630210051552 0 0 -1 28 0 0 0
[pid=8504/tid=8511] ppid=8502 vsize=1411024 CPUtime=0.1 cores=0-31
/proc/8504/task/8511/stat : 8511 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 755 0 0 0 4 6 0 0 17 0 32 0 735766786 1444888576 23380 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604499757342176 0 0 -1 8 0 0 0
[pid=8504/tid=8512] ppid=8502 vsize=1411024 CPUtime=0.1 cores=0-31
/proc/8504/task/8512/stat : 8512 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 826 0 0 0 5 5 0 0 17 0 32 0 735766786 1444888576 23389 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604633150537184 0 0 -1 0 0 0 0
[pid=8504/tid=8513] ppid=8502 vsize=1411540 CPUtime=0.1 cores=0-31
/proc/8504/task/8513/stat : 8513 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 700 0 0 0 4 6 0 0 17 0 32 0 735766786 1445416960 23410 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8504/tid=8514] ppid=8502 vsize=1411540 CPUtime=0.11 cores=0-31
/proc/8504/task/8514/stat : 8514 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 811 0 0 0 4 7 0 0 17 0 32 0 735766786 1445416960 23434 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604499345513952 0 0 -1 23 0 0 0
[pid=8504/tid=8515] ppid=8502 vsize=1411280 CPUtime=0.11 cores=0-31
/proc/8504/task/8515/stat : 8515 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 723 0 0 0 4 7 0 0 17 0 32 0 735766786 1445150720 23453 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651061007 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8504/tid=8516] ppid=8502 vsize=1411280 CPUtime=0.11 cores=0-31
/proc/8504/task/8516/stat : 8516 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 895 0 0 0 4 7 0 0 17 0 32 0 735766786 1445150720 23538 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604633054600672 0 0 -1 22 0 0 0
[pid=8504/tid=8517] ppid=8502 vsize=1411280 CPUtime=0.11 cores=0-31
/proc/8504/task/8517/stat : 8517 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 791 0 0 0 4 7 0 0 17 0 32 0 735766786 1445150720 23558 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8504/tid=8518] ppid=8502 vsize=1411280 CPUtime=0.11 cores=0-31
/proc/8504/task/8518/stat : 8518 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 790 0 0 0 4 7 0 0 17 0 32 0 735766786 1445150720 23568 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 0 0 0 -1 20 0 0 0
[pid=8504/tid=8519] ppid=8502 vsize=1411280 CPUtime=0.12 cores=0-31
/proc/8504/task/8519/stat : 8519 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 885 0 0 0 5 7 0 0 17 0 32 0 735766787 1445150720 23573 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604499345513952 0 0 -1 3 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=1411280 CPUtime=0.11 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) S 8502 8504 8414 0 -1 4202560 799 0 0 0 4 7 0 0 17 0 32 0 735766787 1445150720 23580 268435456000 4194304 4580107 140734172017248 18446744073709551615 258651060958 0 0 4096 2 18446604490076790240 0 0 -1 5 0 0 0
[pid=8504/tid=8521] ppid=8502 vsize=1411280 CPUtime=0.09 cores=0-31

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

/proc/8504/task/8526/stat : 8526 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 297979 0 0 0 494542 277 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8504/tid=8527] ppid=8502 vsize=20529908 CPUtime=4945.96 cores=0-31
/proc/8504/task/8527/stat : 8527 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 337186 0 0 0 494294 302 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8504/tid=8528] ppid=8502 vsize=20529908 CPUtime=4945.43 cores=0-31
/proc/8504/task/8528/stat : 8528 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 334913 0 0 0 494258 285 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8504/tid=8529] ppid=8502 vsize=20529908 CPUtime=4948.51 cores=0-31
/proc/8504/task/8529/stat : 8529 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 361739 0 0 0 494554 297 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4292941 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8504/tid=8530] ppid=8502 vsize=20529908 CPUtime=4945.45 cores=0-31
/proc/8504/task/8530/stat : 8530 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 239868 0 0 0 494311 234 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294436 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8504/tid=8531] ppid=8502 vsize=20529908 CPUtime=4946.71 cores=0-31
/proc/8504/task/8531/stat : 8531 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 389039 0 0 0 494406 265 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8504/tid=8532] ppid=8502 vsize=20529908 CPUtime=4944.98 cores=0-31
/proc/8504/task/8532/stat : 8532 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 281116 0 0 0 494247 251 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293241 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8504/tid=8533] ppid=8502 vsize=20529908 CPUtime=4945.63 cores=0-31
/proc/8504/task/8533/stat : 8533 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 294412 0 0 0 494313 250 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8504/tid=8534] ppid=8502 vsize=20529908 CPUtime=4948.54 cores=0-31
/proc/8504/task/8534/stat : 8534 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 267017 0 0 0 494608 246 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4316709 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8504/tid=8535] ppid=8502 vsize=20529908 CPUtime=4950.74 cores=0-31
/proc/8504/task/8535/stat : 8535 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 126188 0 0 0 494916 158 0 0 25 0 32 0 735766787 21022625792 4435331 268435456000 4194304 4580107 140734172017248 18446744073709551615 4318699 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 158194
Current children cumulated vsize (KiB) 20529908



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+5018.9 s]
/proc/loadavg: 32.02 32.06 32.07 33/445 8685
/proc/meminfo: memFree=237316928/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=20490980 CPUtime=160004 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) R 8502 8504 8414 0 -1 4202496 10406984 0 0 0 15991230 9152 0 0 25 0 32 0 735766785 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 5122745 4455083 763 95 0 5117727 0
[pid=8504/tid=8505] ppid=8502 vsize=20490980 CPUtime=5001.46 cores=0-31
/proc/8504/task/8505/stat : 8505 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 298470 0 0 0 499875 271 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294546 0 0 4096 2 0 0 0 -1 1 0 0 0
[pid=8504/tid=8506] ppid=8502 vsize=20490980 CPUtime=5008.07 cores=0-31
/proc/8504/task/8506/stat : 8506 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 297262 0 0 0 500548 259 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 13 0 0 0
[pid=8504/tid=8507] ppid=8502 vsize=20490980 CPUtime=5010.24 cores=0-31
/proc/8504/task/8507/stat : 8507 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 379367 0 0 0 500662 362 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 24 0 0 0
[pid=8504/tid=8508] ppid=8502 vsize=20490980 CPUtime=5000.28 cores=0-31
/proc/8504/task/8508/stat : 8508 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 312396 0 0 0 499742 286 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294376 0 0 4096 2 0 0 0 -1 7 0 0 0
[pid=8504/tid=8509] ppid=8502 vsize=20490980 CPUtime=5011.81 cores=0-31
/proc/8504/task/8509/stat : 8509 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 400493 0 0 0 500793 388 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 28 0 0 0
[pid=8504/tid=8510] ppid=8502 vsize=20490980 CPUtime=5000.44 cores=0-31
/proc/8504/task/8510/stat : 8510 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 362789 0 0 0 499716 328 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 16 0 0 0
[pid=8504/tid=8511] ppid=8502 vsize=20490980 CPUtime=5003.87 cores=0-31
/proc/8504/task/8511/stat : 8511 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 341058 0 0 0 500088 299 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4295404 0 0 4096 2 0 0 0 -1 15 0 0 0
[pid=8504/tid=8512] ppid=8502 vsize=20490980 CPUtime=4976.99 cores=0-31
/proc/8504/task/8512/stat : 8512 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 340559 0 0 0 497414 285 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4295727 0 0 4096 2 0 0 0 -1 27 0 0 0
[pid=8504/tid=8513] ppid=8502 vsize=20490980 CPUtime=4987.8 cores=0-31
/proc/8504/task/8513/stat : 8513 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 350830 0 0 0 498464 316 0 0 25 0 32 0 735766786 20982763520 4455083 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 23 0 0 0
[pid=8504/tid=8514] ppid=8502 vsize=20490980 CPUtime=5002 cores=0-31
/proc/8504/task/8514/stat : 8514 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 322872 0 0 0 499880 320 0 0 25 0 32 0 735766786 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 4 0 0 0
[pid=8504/tid=8515] ppid=8502 vsize=20490980 CPUtime=5007.87 cores=0-31
/proc/8504/task/8515/stat : 8515 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 367719 0 0 0 500482 305 0 0 25 0 32 0 735766786 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 17 0 0 0
[pid=8504/tid=8516] ppid=8502 vsize=20490980 CPUtime=5001.89 cores=0-31
/proc/8504/task/8516/stat : 8516 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 352490 0 0 0 499863 326 0 0 25 0 32 0 735766786 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 10 0 0 0
[pid=8504/tid=8517] ppid=8502 vsize=20490980 CPUtime=4995.52 cores=0-31
/proc/8504/task/8517/stat : 8517 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 308842 0 0 0 499249 303 0 0 25 0 32 0 735766786 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294507 0 0 4096 2 0 0 0 -1 0 0 0 0
[pid=8504/tid=8518] ppid=8502 vsize=20490980 CPUtime=4997.33 cores=0-31
/proc/8504/task/8518/stat : 8518 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 378944 0 0 0 499465 268 0 0 25 0 32 0 735766786 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 8 0 0 0
[pid=8504/tid=8519] ppid=8502 vsize=20490980 CPUtime=5000.51 cores=0-31
/proc/8504/task/8519/stat : 8519 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 344187 0 0 0 499775 276 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4320708 0 0 4096 2 0 0 0 -1 9 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=20490980 CPUtime=4962.65 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 327975 0 0 0 496000 265 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293229 0 0 4096 2 0 0 0 -1 31 0 0 0
[pid=8504/tid=8521] ppid=8502 vsize=20490980 CPUtime=5000.14 cores=0-31
/proc/8504/task/8521/stat : 8521 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 329109 0 0 0 499733 281 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293904 0 0 4096 2 0 0 0 -1 12 0 0 0
[pid=8504/tid=8522] ppid=8502 vsize=20490980 CPUtime=5006.54 cores=0-31
/proc/8504/task/8522/stat : 8522 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 318181 0 0 0 500374 280 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 21 0 0 0
[pid=8504/tid=8523] ppid=8502 vsize=20490980 CPUtime=5003.73 cores=0-31
/proc/8504/task/8523/stat : 8523 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 365458 0 0 0 500085 288 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293182 0 0 4096 2 0 0 0 -1 14 0 0 0
[pid=8504/tid=8524] ppid=8502 vsize=20490980 CPUtime=4974.66 cores=0-31
/proc/8504/task/8524/stat : 8524 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 337165 0 0 0 497185 281 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294624 0 0 4096 2 0 0 0 -1 3 0 0 0
[pid=8504/tid=8525] ppid=8502 vsize=20490980 CPUtime=5005 cores=0-31
/proc/8504/task/8525/stat : 8525 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 288919 0 0 0 500225 275 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 2 0 0 0
[pid=8504/tid=8526] ppid=8502 vsize=20490980 CPUtime=5004.8 cores=0-31
/proc/8504/task/8526/stat : 8526 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 298028 0 0 0 500203 277 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 6 0 0 0
[pid=8504/tid=8527] ppid=8502 vsize=20490980 CPUtime=5002.56 cores=0-31
/proc/8504/task/8527/stat : 8527 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 338160 0 0 0 499953 303 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4292938 0 0 4096 2 0 0 0 -1 25 0 0 0
[pid=8504/tid=8528] ppid=8502 vsize=20490980 CPUtime=5002.05 cores=0-31
/proc/8504/task/8528/stat : 8528 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 335824 0 0 0 499918 287 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294220 0 0 4096 2 0 0 0 -1 5 0 0 0
[pid=8504/tid=8529] ppid=8502 vsize=20490980 CPUtime=5005.12 cores=0-31
/proc/8504/task/8529/stat : 8529 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 361739 0 0 0 500215 297 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 30 0 0 0
[pid=8504/tid=8530] ppid=8502 vsize=20490980 CPUtime=5002.06 cores=0-31
/proc/8504/task/8530/stat : 8530 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 239868 0 0 0 499972 234 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4321636 0 0 4096 2 0 0 0 -1 22 0 0 0
[pid=8504/tid=8531] ppid=8502 vsize=20490980 CPUtime=5003.32 cores=0-31
/proc/8504/task/8531/stat : 8531 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 389039 0 0 0 500067 265 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293288 0 0 4096 2 0 0 0 -1 11 0 0 0
[pid=8504/tid=8532] ppid=8502 vsize=20490980 CPUtime=5001.59 cores=0-31
/proc/8504/task/8532/stat : 8532 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 281116 0 0 0 499908 251 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293911 0 0 4096 2 0 0 0 -1 29 0 0 0
[pid=8504/tid=8533] ppid=8502 vsize=20490980 CPUtime=5002.23 cores=0-31
/proc/8504/task/8533/stat : 8533 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 295352 0 0 0 499972 251 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294585 0 0 4096 2 0 0 0 -1 19 0 0 0
[pid=8504/tid=8534] ppid=8502 vsize=20490980 CPUtime=5005.15 cores=0-31
/proc/8504/task/8534/stat : 8534 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 267017 0 0 0 500269 246 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4293151 0 0 4096 2 0 0 0 -1 26 0 0 0
[pid=8504/tid=8535] ppid=8502 vsize=20490980 CPUtime=5007.36 cores=0-31
/proc/8504/task/8535/stat : 8535 (strangenight2-m) R 8502 8504 8414 0 -1 4202560 126188 0 0 0 500577 159 0 0 25 0 32 0 735766787 20982763520 4455084 268435456000 4194304 4580107 140734172017248 18446744073709551615 4294426 0 0 4096 2 0 0 0 -1 20 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 20490980

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

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

[startup+5019.1 s]
/proc/loadavg: 32.02 32.06 32.07 33/445 8685
/proc/meminfo: memFree=237316928/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=0 CPUtime=160004 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) Z 8502 8504 8414 0 -1 4203548 10406985 0 0 0 15991254 9169 0 0 25 0 2 0 735766785 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 0 0 0 0 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=0 CPUtime=4962.83 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) R 8502 8504 8414 0 -1 4203588 327975 0 0 0 496001 282 0 0 25 0 2 0 735766787 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 31 0 0 0
Current children cumulated CPU time (s) 160004
Current children cumulated vsize (KiB) 0

[startup+5019.9 s]
/proc/loadavg: 32.02 32.06 32.07 2/416 8686
/proc/meminfo: memFree=241121356/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=0 CPUtime=160005 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) Z 8502 8504 8414 0 -1 4203548 10406985 0 0 0 15991254 9248 0 0 25 0 2 0 735766785 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 0 0 0 0 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=0 CPUtime=4963.63 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) R 8502 8504 8414 0 -1 4203588 327975 0 0 0 496001 362 0 0 25 0 2 0 735766787 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5020.3 s]
/proc/loadavg: 32.02 32.06 32.07 2/416 8686
/proc/meminfo: memFree=241121356/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=0 CPUtime=160005 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) Z 8502 8504 8414 0 -1 4203548 10406985 0 0 0 15991254 9288 0 0 25 0 2 0 735766785 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 0 0 0 0 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=0 CPUtime=4964.03 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) R 8502 8504 8414 0 -1 4203588 327975 0 0 0 496001 402 0 0 25 0 2 0 735766787 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160005
Current children cumulated vsize (KiB) 0

[startup+5020.52 s]
/proc/loadavg: 32.02 32.06 32.07 2/416 8686
/proc/meminfo: memFree=252941532/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=0 CPUtime=160006 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) Z 8502 8504 8414 0 -1 4203548 10406985 0 0 0 15991254 9310 0 0 25 0 2 0 735766785 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 0 0 0 0 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=0 CPUtime=4964.25 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) R 8502 8504 8414 0 -1 4203588 327975 0 0 0 496001 424 0 0 25 0 2 0 735766787 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

[startup+5020.6 s]
/proc/loadavg: 32.02 32.06 32.07 2/416 8686
/proc/meminfo: memFree=252941532/264257624 swapFree=67111528/67111528
[pid=8504] ppid=8502 vsize=0 CPUtime=160006 cores=0-31
/proc/8504/stat : 8504 (strangenight2-m) Z 8502 8504 8414 0 -1 4203548 10406985 0 0 0 15991254 9312 0 0 25 0 2 0 735766785 0 0 268435456000 0 0 0 0 0 0 0 4096 2 18446744073709551615 0 0 17 18 0 0 0
/proc/8504/statm: 0 0 0 0 0 0 0
[pid=8504/tid=8520] ppid=8502 vsize=0 CPUtime=4964.27 cores=0-31
/proc/8504/task/8520/stat : 8520 (strangenight2-m) S 8502 8504 8414 0 -1 4203588 327975 0 0 0 496001 426 0 0 25 0 2 0 735766787 0 0 268435456000 0 0 0 0 0 0 2147483391 4096 2 18446744073709551615 0 0 -1 16 0 0 0
Current children cumulated CPU time (s) 160006
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 8504 and gives
#  childrusage.ru_utime.tv_sec=159912
#  childrusage.ru_utime.tv_usec=541598
#  childrusage.ru_stime.tv_sec=93
#  childrusage.ru_stime.tv_usec=125842
# CPU time returned by wait4() is 160006
# while last known CPU time is 160006
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 5020.61
CPU time (s): 160006
CPU user time (s): 159913
CPU system time (s): 93.12
CPU usage (%): 3186.98
Max. virtual memory (cumulated for all children) (KiB): 20679008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 159913
system time used= 93.1258
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10406985
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= 877088
involuntary context switches= 325785

runsolver used 28.9086 second user time and 112.87 second system time

The end

Launcher Data 

Begin job on node200 at 2011-05-24 15:13:24
IDJOB=3400622
IDBENCH=20406
IDSOLVER=1886
FILE ID=node200/3400622-1306242803
RUNJOBID= node200-1306242574-8428
PBS_JOBID= 13411755
Free space on /tmp= 62040 MiB

SOLVER NAME= CryptoMiniSat Strange-Night-2-mt (fixed)
BENCH NAME= SAT07/industrial/palacios/hard/sortnet-7-ipc5-h15-unsat.cnf
COMMAND LINE= ./strangenight2-mt --threads=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3400622-1306242803/watcher-3400622-1306242803 -o /tmp/evaluation-result-3400622-1306242803/solver-3400622-1306242803 -C 160000 -W 5100 -M 266338304  ./strangenight2-mt --threads=32 HOME/instance-3400622-1306242803.cnf

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

MD5SUM BENCH= 0683489092a5eb0c881dd17c2c45d08e
RANDOM SEED=1410845250

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:      255165664 kB
Buffers:        463148 kB
Cached:        8219912 kB
SwapCached:          0 kB
Active:        7771804 kB
Inactive:       980460 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     264257624 kB
LowFree:      255165664 kB
SwapTotal:    67111528 kB
SwapFree:     67111528 kB
Dirty:           11636 kB
Writeback:           0 kB
AnonPages:       69576 kB
Mapped:          14720 kB
Slab:           254468 kB
PageTables:       5028 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  199240340 kB
Committed_AS:   190628 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= 62032 MiB
End job on node200 at 2011-05-24 16:37:05